We construct a local invariant for resolution of singularities of two-dimensional excellent Noetherian schemes with boundary. We prove that the invariant strictly decreases at every step of the algorithm of Cossart, Jannsen and Saito.
Cite this article
Vincent Cossart, Bernd Schober, A Strictly Decreasing Invariant for Resolution of Singularities in Dimension Two. Publ. Res. Inst. Math. Sci. 56 (2020), no. 2, pp. 217–280DOI 10.4171/PRIMS/56-2-1