Dense-set equality of multiplier ideals and test ideals

Let XX be a smooth, irreducible complex algebraic variety and let fOX(X)f\in\mathcal{O}_X(X) be nonzero. Choose a model (XA,fA)(X_A,f_A) over a finitely generated Z{\mathbf Z}-subalgebra ACA\subseteq{\mathbf C}, and for each closed point tSpec(A)t\in\operatorname{Spec}(A) write (Xt,ft)(X_t,f_t) for its reduction to positive characteristic. After replacing AA by a localization if necessary, write τ(ftλ)\tau(f_t^{\lambda}) for the test ideal and J(fλ)t\mathcal{J}(f^{\lambda})_t for the reduction of the multiplier ideal. Dense-set equality conjecture. There is a dense subset TT of closed points in Spec(A)\operatorname{Spec}(A) such that

τ(ftλ)=J(fλ)tfor alltT,λR0.\tau(f_t^{\lambda})=\mathcal{J}(f^{\lambda})_t\quad\text{for all}\quad t\in T,\lambda\in{\mathbf R}_{\geq 0}.

This asks for simultaneous equality of multiplier ideals and test ideals for every nonnegative real exponent along one dense set of reductions, strengthening the known statement that equality holds for each fixed exponent at sufficiently large residue characteristic. The problem remains open.

Sources & referencesView supporting material

Primary source

Mircea Mustaţă, “An estimate for F-jumping numbers via the roots of the Bernstein-Sato polynomial”, arXiv:2209.00753 (2023).

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.