Equality of the big and finitistic test ideals

Let RR be an excellent Noetherian domain of characteristic p>0p>0. Denote by τfg(R)\tau_{\rm fg}(R) the finitistic test ideal and by τb(R)\tau_{\rm b}(R) the big test ideal of RR. Test ideal equality conjecture.

τb(R)=τfg(R).\tau_{\rm b}(R)=\tau_{\rm fg}(R).

The big test ideal is always contained in the finitistic test ideal, and equality is expected in general. The paper proves equality for numerically log Q\mathbb{Q}-Gorenstein pairs, while the unrestricted statement remains open.

Sources & referencesView supporting material

Primary source

Shunsuke Takagi, “Finitistic test ideals on numerically Q-Gorenstein varieties”, arXiv:1709.09383 (2018).

Additional references

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

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.