Equality of perfectoid test ideals and multiplier ideals after inverting p

Let (A,\frat)(A,\fra^t) be a pair, where AA is the regular ring and \fra\fra is the ideal appearing in the construction of the perfectoid test ideal \mJ\uptau(A,\frat){\mathrlap{\mJ}\,\,\uptau}(A,\fra^t). Let A[1/p]A[1/p] be the localization obtained by inverting pp, and let \mJ(A[1/p],(\fraA[1/p])t)\mJ(A[1/p],(\fra\cdot A[1/p])^t) denote the multiplier ideal of the corresponding pair over the characteristic-zero ring A[1/p]A[1/p]. Equality conjecture. One expects

\mJ\uptau(A,\frat)A[1/p]=\mJ(A[1/p],(\fraA[1/p])t).{\mathrlap{\mJ}\,\,\uptau}(A,\fra^{t})\cdot A[1/p]=\mJ(A[1/p],(\fra\cdot A[1/p])^t).

The paper proves the containment from left to right; the conjectured reverse containment would identify the perfectoid test ideal with the multiplier ideal after passing to A[1/p]A[1/p].

Sources & referencesView supporting material

Primary source

Linquan Ma and Karl Schwede, “Perfectoid multiplier/test ideals in regular rings and bounds on symbolic powers”, arXiv:1705.02300 (2018).

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.