On the commutation of the test ideal with localization and completion

Authors:
Gennady Lyubeznik and Karen E. Smith

Journal:
Trans. Amer. Math. Soc. **353** (2001), 3149-3180

MSC (1991):
Primary 13A35; Secondary 13C99

Published electronically:
January 18, 2001

MathSciNet review:
1828602

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Let be a reduced ring that is essentially of finite type over an excellent regular local ring of prime characteristic. Then it is shown that the test ideal of commutes with localization and, if is local, with completion, under the additional hypothesis that the tight closure of zero in the injective hull of the residue field of every local ring of is equal to the finitistic tight closure of zero in . It is conjectured that this latter condition holds for all local rings of prime characteristic; it is proved here for all Cohen-Macaulay singularities with at most isolated non-Gorenstein singularities, and in general for all isolated singularities. In order to prove the result on the commutation of the test ideal with localization and completion, a ring of Frobenius operators associated to each -module is introduced and studied. This theory gives rise to an ideal of which defines the non-strongly F-regular locus, and which commutes with localization and completion. This ideal is conjectured to be the test ideal of in general, and shown to equal the test ideal under the hypothesis that in every local ring of .

**[AM]**Aberbach, I., and MacCrimmon, B.,*Some results on test ideals*, Proc. Edinburgh Math. Soc. (2)**42**(1999), 541-549. CMP**2000:04****[A1]**Yôichi Aoyama,*On the depth and the projective dimension of the canonical module*, Japan. J. Math. (N.S.)**6**(1980), no. 1, 61–66. MR**615014****[A2]**Yôichi Aoyama,*Some basic results on canonical modules*, J. Math. Kyoto Univ.**23**(1983), no. 1, 85–94. MR**692731****[C]**Janet Cowden Vassilev,*Test ideals in quotients of 𝐹-finite regular local rings*, Trans. Amer. Math. Soc.**350**(1998), no. 10, 4041–4051. MR**1458336**, 10.1090/S0002-9947-98-02128-X**[G]**Donna Glassbrenner,*Strong 𝐹-regularity in images of regular rings*, Proc. Amer. Math. Soc.**124**(1996), no. 2, 345–353. MR**1291770**, 10.1090/S0002-9939-96-03030-4**[Ha]**Robin Hartshorne,*Algebraic geometry*, Springer-Verlag, New York-Heidelberg, 1977. Graduate Texts in Mathematics, No. 52. MR**0463157****[HH1]**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**[HH2]**Melvin Hochster and Craig Huneke,*Tight closure and strong 𝐹-regularity*, Mém. Soc. Math. France (N.S.)**38**(1989), 119–133. Colloque en l’honneur de Pierre Samuel (Orsay, 1987). MR**1044348****[HH3]**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**[HH4]**Melvin Hochster and Craig Huneke,*Applications of the existence of big Cohen-Macaulay algebras*, Adv. Math.**113**(1995), no. 1, 45–117. MR**1332808**, 10.1006/aima.1995.1035**[HH5]**Melvin Hochster and Craig Huneke,*Indecomposable canonical modules and connectedness*, Commutative algebra: syzygies, multiplicities, and birational algebra (South Hadley, MA, 1992) Contemp. Math., vol. 159, Amer. Math. Soc., Providence, RI, 1994, pp. 197–208. MR**1266184**, 10.1090/conm/159/01509**[Ku]**Ernst Kunz,*On Noetherian rings of characteristic 𝑝*, Amer. J. Math.**98**(1976), no. 4, 999–1013. MR**0432625****[L]**Gennady Lyubeznik,*𝐹-modules: applications to local cohomology and 𝐷-modules in characteristic 𝑝>0*, J. Reine Angew. Math.**491**(1997), 65–130. MR**1476089**, 10.1515/crll.1997.491.65**[LS]**Lyubeznik, G. and Smith, K.,*Strong and weak**-regularity are equivalent for graded rings*, American Journal of Mathematics**121**(1999), 1279-1290. CMP**2000:05****[Mac]**MacCrimmon, B.,*Strong**-regularity and boundedness questions in tight closure*, University of Michigan, thesis (1996).**[Mats]**Hideyuki Matsumura,*Commutative ring theory*, 2nd ed., Cambridge Studies in Advanced Mathematics, vol. 8, Cambridge University Press, Cambridge, 1989. Translated from the Japanese by M. Reid. MR**1011461****[Na]**Masayoshi Nagata,*Local rings*, Interscience Tracts in Pure and Applied Mathematics, No. 13, Interscience Publishers a division of John Wiley & Sons New York-London, 1962. MR**0155856****[P1]**Dorin Popescu,*General Néron desingularization*, Nagoya Math. J.**100**(1985), 97–126. MR**818160****[P2]**Dorin Popescu,*General Néron desingularization and approximation*, Nagoya Math. J.**104**(1986), 85–115. MR**868439****[R]**Nicolae Radu,*Une classe d’anneaux noethériens*, Rev. Roumaine Math. Pures Appl.**37**(1992), no. 1, 79–82 (French). MR**1172271****[S1]**Smith, Karen E.,*Tight closure of parameter ideals and F-rationality*, University of Michigan, thesis (1993).**[S2]**K. E. Smith,*Tight closure of parameter ideals*, Invent. Math.**115**(1994), no. 1, 41–60. MR**1248078**, 10.1007/BF01231753**[S3]**Karen E. Smith,*Test ideals in local rings*, Trans. Amer. Math. Soc.**347**(1995), no. 9, 3453–3472. MR**1311917**, 10.1090/S0002-9947-1995-1311917-0**[S4]**Karen E. Smith,*𝐹-rational rings have rational singularities*, Amer. J. Math.**119**(1997), no. 1, 159–180. MR**1428062****[Sw]**Richard G. Swan,*Néron-Popescu desingularization*, Algebra and geometry (Taipei, 1995) Lect. Algebra Geom., vol. 2, Int. Press, Cambridge, MA, 1998, pp. 135–192. MR**1697953****[W]**Lori J. Williams,*Uniform stability of kernels of Koszul cohomology indexed by the Frobenius endomorphism*, J. Algebra**172**(1995), no. 3, 721–743. MR**1324179**, 10.1006/jabr.1995.1067

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (1991):
13A35,
13C99

Retrieve articles in all journals with MSC (1991): 13A35, 13C99

Additional Information

**Gennady Lyubeznik**

Affiliation:
Department of Mathematics, University of Minnesota, Minneapolis, Minnesota 55455

Email:
gennady@math.umn.edu

**Karen E. Smith**

Affiliation:
Department of Mathematics, University of Michigan, Ann Arbor, Michigan 48109

Email:
kesmith@math.lsa.umich.edu

DOI:
https://doi.org/10.1090/S0002-9947-01-02643-5

Keywords:
Tight closure,
test ideal,
localisation,
Frobenius action

Received by editor(s):
January 4, 1999

Received by editor(s) in revised form:
July 12, 1999, and March 25, 2000

Published electronically:
January 18, 2001

Additional Notes:
Both authors were supported by the National Science Foundation

Article copyright:
© Copyright 2001
American Mathematical Society