Conjecture on density of indices computing the limiting minimal log discrepancy

About 14 years old · traced to

With the notation of the limiting setup, let WiW_i be varieties with log terminal singularities, and fix r1,…,rk∈R≥0r_1,\ldots,r_k\in\mathbb{R}_{\ge0}. For each ii, let oi∈Wio_i\in W_i and let aij\mathfrak{a}_{ij} be the corresponding ideals; write WW, oo, and aj\mathfrak{a}_j for the limiting objects, and let Il⊆II_l\subseteq I be the subsets from the limiting construction. Define

J:={i∈I∣mld⁡oi(Wi,∏jaijrj)=mld⁡o(W,∏jajrj)}.J:=\left\{i\in I\mathrel{\big|}\operatorname{mld}_{o_i}\left(W_i,\prod_j\mathfrak{a}_{ij}^{r_j}\right)=\operatorname{mld}_o\left(W,\prod_j\mathfrak{a}_j^{r_j}\right)\right\}.

Density conjecture. The intersection Il∩JI_l\cap J is dense for every ll.

This extends the preceding special case concerning constancy of minimal log discrepancies and is the analogue for minimal log discrepancies of the corresponding density statement for log canonical thresholds. The source does not provide evidence resolving the conjecture.

References

Primary source

Masayuki Kawakita, “Discreteness of log discrepancies over log canonical triples on a fixed pair”, arXiv:1204.5248 (2012).

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.