Ideal-adic semi-continuity of minimal log discrepancies on surfaces (Q357534)

The ideal-adic semi-continuity of log canonicity is a special case of more general notion of the ideal-adic semi-continuity of minimal log discrepancy. The case of log canonicity has been proved [\textit{T. de Fernex} et al., Duke Math. J. 152, No. 1, 93--114 (2010; Zbl 1189.14044)] and from this we obtain the Shokurov's ACC conjecture [\textit{V. V. Shokurov}, J. Math. Sci., New York 81, No. 3, 2667--2699 (1996; Zbl 0873.14014)] for log canonical thresholds on smooth varieties. In the paper under review, the author proves the ideal-adic semi-continuity of minimal log discrepancy for surfaces. Let \((X,\Delta)\) be a pair of normal algebraic surface \(X\) over an algebraically closed field of characteristic \(0\) and an effective \({\mathbb R}\)-divisor \(\Delta\) such that \(K_X + \Delta\) is \({\mathbb R}\)-Cartier \({\mathbb R}\)-divisor. Let \(Z\) be a closed subset of \(X\) and \(I_Z\) its ideal sheaf. Also let \({\mathfrak a}_j\) (\(1\leq j\leq k\)) be ideal sheaves and consider the formal product \({\mathfrak a} = \prod_{j=1}^k{\mathfrak a}_n^{r_k}\) with \(0<r_j \in {\mathbb R}\). Then we define the minimal log discrepancy over \(Z\) to be \[ \mathrm{mld}_Z(X, \Delta,\mathfrak a)=\inf\left\{a_E(X,\Delta,\mathfrak a)\right\} \] \(E\) is a prime divisor of \(X'\) such that \(\varphi(E)\subset Z\), where \(\varphi: X'\to X\) is a proper birational morphism where \(a_E(X,\Delta,{\mathfrak a}) := 1 + \mathrm{ord}_E(K_{X'} - \varphi^*(K_X + \Delta)) - \mathrm{ord}_E{\mathfrak a}\) is the log discrepancy of \(E\). The main result of this paper is that under these hypotheses there exists \(\ell\in{\mathbb Z}\) such that \({\mathfrak a}_j + I_Z^\ell = {\mathfrak b}_j + I_Z^\ell\) \((1\leq j\leq k)\) for a formal product \({\mathfrak b} = \prod_{j=1}^k{\mathfrak b}_j^{r_j}\) implies \(\mathrm{mld}_Z(X,\Delta, {\mathfrak a}) = \mathrm{mld}_Z(X,\Delta, {\mathfrak b})\).