The multiplier–test ideal comparison conjecture

Let YY be a smooth, irreducible variety over an algebraically closed field kk of characteristic zero, and let a\mathfrak{a} be a nonzero ideal on YY. Given any model YAY_A and aA\mathfrak{a}_A for YY and a\mathfrak{a} over a subring AA of kk, finitely generated over Z\mathbf{Z}, let YsY_s and as\mathfrak{a}_s denote the corresponding fibers at a closed point sSpecAs\in\operatorname{Spec} A. The ideals J(Y,aλ)\mathcal{J}(Y,\mathfrak{a}^{\lambda}) and τ(Ys,asλ)\tau(Y_s,\mathfrak{a}_s^{\lambda}) are respectively the multiplier and generalized test ideals. The multiplier–test ideal comparison conjecture. There is a dense set of closed points SSpecAS\subset\operatorname{Spec} A such that

J(Y,aλ)s=τ(Ys,asλ)\mathcal{J}(Y,\mathfrak{a}^{\lambda})_s=\tau(Y_s,\mathfrak{a}_s^{\lambda})

for every λR0\lambda\in\mathbf{R}_{\geq 0} and every sSs\in S. The conjecture seeks equality between characteristic-zero multiplier ideals and reductions of test ideals simultaneously for all exponents; the source notes that equality for each fixed exponent is already known on an open subset, while the uniform dense-set assertion is the conjectural part.

Sources & referencesView supporting material

Primary source

Mircea Mustata, “Ordinary varieties and the comparison between multiplier ideals and test ideals II”, arXiv:1012.2915 (2011).

Additional references

2 papers in this index state this conjecture (2010). The statement above is taken from the most recent of them; the others are arXiv:1012.2818.

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.