Dream resolution and principalization I: enough derivations

Abstract

This is a first paper in a project on extending the dream principalization and resolution methods of [ATW24], [McQ20] and [Que22] to quasi-excellent, logarithmic and relative settings. We show that the main results of [ATW24] extend to regular schemes with enough derivations and are functorial with respect to all regular morphisms. This is already strong enough to formally imply that the same results hold in other categories, such as complex and p-adic analytic spaces. Our method has many common points with that of [ATW24], but the accent is now shifted towards the study of weighted centers and their coordinate presentations. Not only we hope that this is a bit simpler and more conceptual, this method will be easily applied in the logarithmic and relative settings in the sequel.