The main proposition, Theorem 1.2, is the existence for excellent Deligne-Mumford champ of characteristic zero of a resolution functor independent of the resolution process itself. Received wisdom was that this was impossible, but the counterexamples overlooked the possibility of using weighted blow ups. The fundamental local calculations take place in complete local rings, and are elementary in nature, while being self contained and wholly independent of Hironaka's methods and all derivatives thereof, i.e. existing technology. Nevertheless Abramovich et al. (Functorial embedded resolution via weighted blowing ups, 2019.), have varied existing technology to obtain even shorter proofs of all the main theorems in the pure dimensional geometric case. Excellent patching is more technical than varieties over a field, and so easier geometric arguments are pointed out when they exist.
展开▼