On semi-continuity problems for minimal log discrepancies (Q2634637): Difference between revisions

This paper proves two theorems concerning Shokurov's minimal log discrepancy (mld) conjectures. It is well known that these conjectures imply termination of flips, which is an important part in the minimal model program [\textit{V. V. Shokurov}, Proc. Steklov Inst. Math. 246, 315--336 (2004; Zbl 1107.14012)]. The first part proves a special case of the lower semi-continuity (LSC) conjecture for mld. For a log pair \((X,\Delta)\), it is conjectured that the function sending every closed point \(x\in X\) to \(\mathrm{mld}_x(X,\Delta)\) is lower semi-continuous. The LSC conjecture is known in the cases when (1) \(X\) is a toric variety, (2) \(\dim X\leq 3\) or (3) \(X\) is a locally complete intersection variety. The paper uses Yasuda's twisted jet stacks and shows the LSC conjecture when \(X\) is normal, \(K_X\) is \(\mathbb{Q}\)-Cartier and \(X\) has a crepant Deligne-Mumford stack resolution. In particular, this assumption is valid when \(X\) has only quotient singularities. The second part contributes as a step towards the proof of the ascending chain condition (ACC) for mld. The ACC conjecture claims that the set of all \(\mathrm{mld}_x(X,\Delta)\) satisfies ACC if we assume that \(\dim X = d\) is fixed and the coefficients of \(\Delta\) lie in a fixed DCC set. Mustaţă proposed the following ideal-adic semi-continuity conjecture which is related to the ACC conjecture by an argument of generic limit of ideals: for a log pair \((X,\Delta)\), a closed subset \(Z\) of \(X\), ideal sheaves \(\{\mathfrak{a}_i\}\) and positive real numbers \(r_i\), there exists a positive integer \(l\) such that, if ideal sheaves \(\{\mathfrak{b}_i\}\) satisfy \(\mathfrak{a}_i+I_Z^l = \mathfrak{b}_i+I_Z^l\) for every \(1\leq i\leq s\), then \(\mathrm{mld}_Z(X,\Delta,\prod_{i=1}^s \mathfrak{a}_i^{r_i}) = \mathrm{mld}_Z(X,\Delta,\prod_{i=1}^s \mathfrak{b}_i^{r_i})\). Mustaţă's conjecture is known to be true when (1) \(\mathrm{mld}_Z(X,\Delta,\prod_{i=1}^s \mathfrak{a}_i^{r_i}) = 0\), (2) \(\dim X =2\) or (3) \((X,\Delta,\prod_{i=1}^s \mathfrak{a}_i^{r_i})\) is klt. The paper shows Mustaţă's conjecture for normal toric varieties by looking into \(\mathbb{C}^*\)-actions on the crepant resolution and twisted jet stacks.