Test ideals in non- -Gorenstein rings

Author:
Karl Schwede

Journal:
Trans. Amer. Math. Soc. **363** (2011), 5925-5941

MSC (2010):
Primary 13A35, 14F18, 14B05

Published electronically:
June 3, 2011

MathSciNet review:
2817415

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Suppose that is an -finite normal variety in characteristic . In this paper we show that the big test ideal is equal to , where the sum is over such that is -Cartier. This affirmatively answers a question asked by various people, including Blickle, Lazarsfeld, K. Lee and K. Smith. Furthermore, we have a version of this result in the case that is not even necessarily normal.

**[AM99]**Ian M. Aberbach and Brian MacCrimmon,*Some results on test elements*, Proc. Edinburgh Math. Soc. (2)**42**(1999), no. 3, 541–549. MR**1721770**, 10.1017/S0013091500020502**[Bli04]**Manuel Blickle,*Multiplier ideals and modules on toric varieties*, Math. Z.**248**(2004), no. 1, 113–121. MR**2092724**, 10.1007/s00209-004-0655-y**[BMS08]**Manuel Blickle, Mircea Mustaţǎ, and Karen E. Smith,*Discreteness and rationality of 𝐹-thresholds*, Michigan Math. J.**57**(2008), 43–61. Special volume in honor of Melvin Hochster. MR**2492440**, 10.1307/mmj/1220879396**[DH09]**Tommaso de Fernex and Christopher D. Hacon,*Singularities on normal varieties*, Compos. Math.**145**(2009), no. 2, 393–414. MR**2501423**, 10.1112/S0010437X09003996**[Fed83]**Richard Fedder,*𝐹-purity and rational singularity*, Trans. Amer. Math. Soc.**278**(1983), no. 2, 461–480. MR**701505**, 10.1090/S0002-9947-1983-0701505-0**[Har01]**Nobuo Hara,*Geometric interpretation of tight closure and test ideals*, Trans. Amer. Math. Soc.**353**(2001), no. 5, 1885–1906 (electronic). MR**1813597**, 10.1090/S0002-9947-01-02695-2**[Har05]**Nobuo Hara,*A characteristic 𝑝 analog of multiplier ideals and applications*, Comm. Algebra**33**(2005), no. 10, 3375–3388. MR**2175438**, 10.1080/AGB-200060022**[HT04]**Nobuo Hara and Shunsuke Takagi,*On a generalization of test ideals*, Nagoya Math. J.**175**(2004), 59–74. MR**2085311****[HW02]**Nobuo Hara and Kei-Ichi Watanabe,*F-regular and F-pure rings vs. log terminal and log canonical singularities*, J. Algebraic Geom.**11**(2002), no. 2, 363–392. MR**1874118**, 10.1090/S1056-3911-01-00306-X**[HY03]**Nobuo Hara and Ken-Ichi Yoshida,*A generalization of tight closure and multiplier ideals*, Trans. Amer. Math. Soc.**355**(2003), no. 8, 3143–3174 (electronic). MR**1974679**, 10.1090/S0002-9947-03-03285-9**[Hoc07]**M. Hochster,*Foundations of tight closure theory*, Lecture notes from a course taught on the University of Michigan, Fall 2007.**[HH90]**Melvin Hochster and Craig Huneke,*Tight closure, invariant theory, and the Briançon-Skoda theorem*, J. Amer. Math. Soc.**3**(1990), no. 1, 31–116. MR**1017784**, 10.1090/S0894-0347-1990-1017784-6**[HH94]**Melvin Hochster and Craig Huneke,*𝐹-regularity, test elements, and smooth base change*, Trans. Amer. Math. Soc.**346**(1994), no. 1, 1–62. MR**1273534**, 10.1090/S0002-9947-1994-1273534-X**[HR74]**Melvin Hochster and Joel L. Roberts,*Rings of invariants of reductive groups acting on regular rings are Cohen-Macaulay*, Advances in Math.**13**(1974), 115–175. MR**0347810****[Kun76]**Ernst Kunz,*On Noetherian rings of characteristic 𝑝*, Amer. J. Math.**98**(1976), no. 4, 999–1013. MR**0432625****[Laz04]**Robert Lazarsfeld,*Positivity in algebraic geometry. II*, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 49, Springer-Verlag, Berlin, 2004. Positivity for vector bundles, and multiplier ideals. MR**2095472****[LLS08]**Robert Lazarsfeld, Kyungyong Lee, and Karen E. Smith,*Syzygies of multiplier ideals on singular varieties*, Michigan Math. J.**57**(2008), 511–521. Special volume in honor of Melvin Hochster. MR**2492466**, 10.1307/mmj/1220879422**[LS99]**Gennady Lyubeznik and Karen E. Smith,*Strong and weak 𝐹-regularity are equivalent for graded rings*, Amer. J. Math.**121**(1999), no. 6, 1279–1290. MR**1719806****[LS01]**Gennady Lyubeznik and Karen E. Smith,*On the commutation of the test ideal with localization and completion*, Trans. Amer. Math. Soc.**353**(2001), no. 8, 3149–3180 (electronic). MR**1828602**, 10.1090/S0002-9947-01-02643-5**[MR85]**V. B. Mehta and A. Ramanathan,*Frobenius splitting and cohomology vanishing for Schubert varieties*, Ann. of Math. (2)**122**(1985), no. 1, 27–40. MR**799251**, 10.2307/1971368**[SS09]**Karl Schwede and Karen E. Smith,*Globally 𝐹-regular and log Fano varieties*, Adv. Math.**224**(2010), no. 3, 863–894. MR**2628797**, 10.1016/j.aim.2009.12.020**[Sch08a]**Karl Schwede,*Centers of 𝐹-purity*, Math. Z.**265**(2010), no. 3, 687–714. MR**2644316**, 10.1007/s00209-009-0536-5**[Sch08b]**Karl Schwede,*Generalized test ideals, sharp 𝐹-purity, and sharp test elements*, Math. Res. Lett.**15**(2008), no. 6, 1251–1261. MR**2470398**, 10.4310/MRL.2008.v15.n6.a14**[Sch09]**K. Schwede,*-adjunction*, Algebra Number Theory**3**(2009), no. 8, 907-950.**[Smi00]**Karen E. Smith,*The multiplier ideal is a universal test ideal*, Comm. Algebra**28**(2000), no. 12, 5915–5929. Special issue in honor of Robin Hartshorne. MR**1808611**, 10.1080/00927870008827196**[Tak04a]**Shunsuke Takagi,*F-singularities of pairs and inversion of adjunction of arbitrary codimension*, Invent. Math.**157**(2004), no. 1, 123–146. MR**2135186**, 10.1007/s00222-003-0350-3**[Tak04b]**Shunsuke Takagi,*An interpretation of multiplier ideals via tight closure*, J. Algebraic Geom.**13**(2004), no. 2, 393–415. MR**2047704**, 10.1090/S1056-3911-03-00366-7**[Tak08]**Shunsuke Takagi,*A characteristic 𝑝 analogue of plt singularities and adjoint ideals*, Math. Z.**259**(2008), no. 2, 321–341. MR**2390084**, 10.1007/s00209-007-0227-z

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (2010):
13A35,
14F18,
14B05

Retrieve articles in all journals with MSC (2010): 13A35, 14F18, 14B05

Additional Information

**Karl Schwede**

Affiliation:
Department of Mathematics, The Pennsylvania State University, 318C McAllister Building, University Park, Pennsylvania 16802

Email:
schwede@math.psu.edu

DOI:
http://dx.doi.org/10.1090/S0002-9947-2011-05297-9

Keywords:
Tight closure,
test ideal,
$\mathbb{Q}$-Gorenstein,
log $\mathbb{Q}$-Gorenstein,
multiplier ideal,
$F$-singularities

Received by editor(s):
June 24, 2009

Received by editor(s) in revised form:
November 30, 2009

Published electronically:
June 3, 2011

Additional Notes:
The author was partially supported by a National Science Foundation postdoctoral fellowship and by RTG grant number 0502170.

Article copyright:
© Copyright 2011
American Mathematical Society

The copyright for this article reverts to public domain 28 years after publication.