Finite jet detection conjecture for MJ-minimal log discrepancies

Let XX be a variety of dimension dd, let xXx\in X, and let sm(x)s_m(x) denote the invariant associated with the mm-th jet scheme at xx, while mldMJ(x,X)\operatorname{mld_{MJ}}(x,X) denotes the Mather–Jacobian minimal log discrepancy. For 0δd0\leq\delta\leq d, consider a bound depending only on δ\delta and dd.

Finite jet detection conjecture. There is a number Nδ,dN_{\delta,d} depending only on δ\delta and dd such that, if

sm(x)δ0for all mNδ,d,s_m(x)\geq\delta\geq 0\quad\text{for all }m\leq N_{\delta,d},

then

mldMJ(x,X)δ.\operatorname{mld_{MJ}}(x,X)\geq\delta.

This conjecture would provide affirmative answers to the stated positive-characteristic questions about lower semicontinuity and openness of MJ-canonical and MJ-log-canonical singularities, as well as their stability under small deformations, without assuming resolutions of singularities. It is known for δ=d1\delta=d-1, where one may take Nd1,d=5N_{d-1,d}=5; the general case remains open.

Sources & referencesView supporting material

Primary source

Shihoko Ishii and Ana Reguera, “Singularities in arbitrary characteristic via jet schemes”, arXiv:1510.05210 (2016).

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.