A strictly decreasing invariant for resolution of singularities in dimension two
Vincent Cossart, Bernd Schober · arXiv (Cornell University) · 2014
We construct a local invariant for resolution of singularities of 2-dimensional excellent Noetherian schemes with boundary. We prove that the invariant strictly decreases at every step of the algorithm of Cossart, Jannsen and Saito.