Perfectoid multiplier/test ideals in regular rings and bounds on symbolic powers (Q1989468): Difference between revisions

Let \((R, \mathfrak{m})\) be a regular local ring and \(\mathfrak{a}\) an ideal of \(R\). The multiplier ideals \(\mathcal{J}(R, \mathfrak{a}^t)\) in equicharacteristic 0 and test ideals \(\tau(R,\mathfrak{a}^t)\) in equicharacteristic \(p>0\) give a measure of the singularites of \(V(\mathfrak{a})\) scaled by nonnegative \(t\). The two main results of this paper are to give a mixed characteristic analog to these notions by introducing perfectoid test ideals \(\tau(R, \mathfrak{a}^t)\) and proving that the standard properties that hold for both multiplier ideals and test ideals such as: \begin{itemize} \item the containments between the multiplier/test ideals for comparable ideals scaled respect to a fixed exponent \(t\) and the reverse containments between the multiplier/test ideals for comparable scalings of a fixed ideal (Proposition 3.3), \item the unambiguity of the exponents for positive integral powers (Proposition 3.7), \item that the multiplier/test ideal is neither too small nor too big (Proposition 3.9 and Theorem 5.11), and \item the subadditivity of multiplier/test ideals (Theorem 4.4) \end{itemize} also hold for perfectoid test ideals. For a regular local ring \(R\) of mixed characteristic \((0,p)\), \(R[1/p]\) is equicharacteristic 0. The authors show that in this setting that the perfectoid test ideal \(\tau(R,\mathfrak{a}^t)\) extended to the ring \(R[1/p]\) is contained in the multiplier ideal of the ideal \((\mathfrak{a} R[1/p])^t\) in \(R[1/p]\) and conjecture the reverse containment also holds. They also define an asymptotic perfectoid test ideal of a graded sequence of ideals which they apply to the graded sequence the \(n\)th symbolic powers of a radical ideals \(I\) in a regular ring of height at most \(h\) to show \( I^{(hn)} \subseteq I^n\). The paper concludes with an illustration of the perfectoid test ideals of a nonnegatively scaled ideal generated by a single monomial in a mixed characteristic power series ring and a few open questions.