The ideal-adic semi-continuity conjecture for minimal log discrepancies

Let XX be a klt variety, let xXx \in X be a closed point, and let mx\mathfrak{m}_x denote the maximal ideal corresponding to xx. Ideal-adic semi-continuity conjecture. For every given rR>0r \in \mathbb{R}_{>0}, there exists Z0\ell \in \mathbb{Z}_{\ge 0} such that, for any ideal sheaves a\mathfrak{a} and b\mathfrak{b} on XX satisfying

a+mx=b+mx,\mathfrak{a}+\mathfrak{m}_x^\ell=\mathfrak{b}+\mathfrak{m}_x^\ell,

one has

mldx(X,ar)=mldx(X,br).\operatorname{mld}_x(X,\mathfrak{a}^r)=\operatorname{mld}_x(X,\mathfrak{b}^r).

This conjecture asserts that the minimal log discrepancy at xx is determined by a sufficiently high ideal-adic jet. The source attributes it to Mustață and Nakamura and presents it in a paper that gives a counterexample to a related conjectural property; the supplied text does not state that this conjecture itself is resolved.

Sources & referencesView supporting material

Primary source

Yusuke Nakamura and Kohsuke Shibata, “A counterexample to the PIA conjecture for minimal log discrepancies”, arXiv:2404.06164 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.