English

Test ideals in rings with finitely generated anti-canonical algebras

Algebraic Geometry 2019-06-25 v4 Commutative Algebra

Abstract

Many results are known about test ideals and FF-singularities for Q{\bf Q}-Gorenstein rings. In this paper we generalize many of these results to the case when the symbolic Rees algebra OXOX(KX)OX(2KX)...O_X \oplus O_X(-K_X) \oplus O_X(-2K_X) \oplus ... is finitely generated (or more generally, in the log setting for KXΔ-K_X - \Delta). In particular, we show that the FF-jumping numbers of τ(X,at)\tau(X, a^t) are discrete and rational. We show that test ideals τ(X)\tau(X) can be described by alterations as in Blickle-Schwede-Tucker (and hence show that splinters are strongly FF-regular in this setting -- recovering a result of Singh). We demonstrate that multiplier ideals reduce to test ideals under reduction modulo pp when the symbolic Rees algebra is finitely generated. We prove that Hartshorne-Speiser-Lyubeznik-Gabber type stabilization still holds. We also show that test ideals satisfy global generation properties in this setting.

Keywords

Cite

@article{arxiv.1412.6453,
  title  = {Test ideals in rings with finitely generated anti-canonical algebras},
  author = {Alberto Chiecchio and Florian Enescu and Lance Edward Miller and Karl Schwede},
  journal= {arXiv preprint arXiv:1412.6453},
  year   = {2019}
}

Comments

Lemma 2.10 was incorrect, it stated something that was too strong. We have restated Lemma 2.10 correctly we believe. Fortunately, we only needed the new weaker statement. This also corrects the published version