Ideals in a perfect closure, linear growth of primary decompositions, and tight closure

Authors:
Rodney Y. Sharp and Nicole Nossem

Translated by:

Journal:
Trans. Amer. Math. Soc. **356** (2004), 3687-3720

MSC (2000):
Primary 13A35, 13E05, 13A15; Secondary 13B02, 13H05, 13F40, 13J10, 16S34, 16S36

Published electronically:
January 13, 2004

MathSciNet review:
2055750

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: This paper is concerned with tight closure in a commutative Noetherian ring of prime characteristic , and is motivated by an argument of K. E. Smith and I. Swanson that shows that, if the sequence of Frobenius powers of a proper ideal of has linear growth of primary decompositions, then tight closure (of ) `commutes with localization at the powers of a single element'. It is shown in this paper that, provided has a weak test element, linear growth of primary decompositions for other sequences of ideals of that approximate, in a certain sense, the sequence of Frobenius powers of would not only be just as good in this context, but, in the presence of a certain additional finiteness property, would actually imply that tight closure (of ) commutes with localization at an arbitrary multiplicatively closed subset of .

Work of M. Katzman on the localization problem for tight closure raised the question as to whether the union of the associated primes of the tight closures of the Frobenius powers of has only finitely many maximal members. This paper develops, through a careful analysis of the ideal theory of the perfect closure of , strategies for showing that tight closure (of a specified ideal of ) commutes with localization at an arbitrary multiplicatively closed subset of and for showing that the union of the associated primes of the tight closures of the Frobenius powers of is actually a finite set. Several applications of the strategies are presented; in most of them it was already known that tight closure commutes with localization, but the resulting affirmative answers to Katzman's question in the various situations considered are believed to be new.

**1.**Ian M. Aberbach, Melvin Hochster, and Craig Huneke,*Localization of tight closure and modules of finite phantom projective dimension*, J. Reine Angew. Math.**434**(1993), 67–114. MR**1195691**, 10.1515/crll.1993.434.67**2.**Marvin J. Greenberg,*Perfect closures of rings and schemes*, Proc. Amer. Math. Soc.**16**(1965), 313–317. MR**0190169**, 10.1090/S0002-9939-1965-0190169-8**3.**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**4.**Melvin Hochster and Craig Huneke,*Infinite integral extensions and big Cohen-Macaulay algebras*, Ann. of Math. (2)**135**(1992), no. 1, 53–89. MR**1147957**, 10.2307/2946563**5.**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**6.**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**7.**Craig Huneke,*Tight closure and its applications*, CBMS Regional Conference Series in Mathematics, vol. 88, Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 1996. With an appendix by Melvin Hochster. MR**1377268****8.**Craig L. Huneke and Rodney Y. Sharp,*Bass numbers of local cohomology modules*, Trans. Amer. Math. Soc.**339**(1993), no. 2, 765–779. MR**1124167**, 10.1090/S0002-9947-1993-1124167-6**9.**D. A. Jordan,*Bijective extensions of injective ring endomorphisms*, J. London Math. Soc. (2)**25**(1982), no. 3, 435–448. MR**657500**, 10.1112/jlms/s2-25.3.435**10.**Mordechai Katzman,*Finiteness of ⋃ₑ𝐴𝑠𝑠𝐹^{𝑒}(𝑀) and its connections to tight closure*, Illinois J. Math.**40**(1996), no. 2, 330–337. MR**1398098****11.**Ernst Kunz,*Characterizations of regular local rings for characteristic 𝑝*, Amer. J. Math.**91**(1969), 772–784. MR**0252389****12.**Hideyuki Matsumura,*Commutative ring theory*, Cambridge Studies in Advanced Mathematics, vol. 8, Cambridge University Press, Cambridge, 1986. Translated from the Japanese by M. Reid. MR**879273****13.**R. Y. Sharp,*Injective modules and linear growth of primary decompositions*, Proc. Amer. Math. Soc.**128**(2000), no. 3, 717–722. MR**1641105**, 10.1090/S0002-9939-99-05170-9**14.**Karen E. Smith,*Tight closure commutes with localization in binomial rings*, Proc. Amer. Math. Soc.**129**(2001), no. 3, 667–669. MR**1706969**, 10.1090/S0002-9939-00-05626-4**15.**Karen E. Smith and Irena Swanson,*Linear bounds on growth of associated primes*, Comm. Algebra**25**(1997), no. 10, 3071–3079. MR**1465103**, 10.1080/00927879708826041**16.**Irena Swanson,*Powers of ideals. Primary decompositions, Artin-Rees lemma and regularity*, Math. Ann.**307**(1997), no. 2, 299–313. MR**1428875**, 10.1007/s002080050035

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (2000):
13A35,
13E05,
13A15,
13B02,
13H05,
13F40,
13J10,
16S34,
16S36

Retrieve articles in all journals with MSC (2000): 13A35, 13E05, 13A15, 13B02, 13H05, 13F40, 13J10, 16S34, 16S36

Additional Information

**Rodney Y. Sharp**

Affiliation:
Department of Pure Mathematics, University of Sheffield, Hicks Building, Sheffield S3 7RH, United Kingdom

Email:
R.Y.Sharp@sheffield.ac.uk

**Nicole Nossem**

Affiliation:
Department of Pure Mathematics, University of Sheffield, Hicks Building, Sheffield S3 7RH, United Kingdom

Email:
N.Nossem@sheffield.ac.uk

DOI:
https://doi.org/10.1090/S0002-9947-04-03420-8

Keywords:
Commutative Noetherian ring,
prime characteristic,
Frobenius homomorphism,
perfect closure,
tight closure,
plus closure,
(weak) test element,
primary decomposition,
linear growth of primary decompositions,
associated prime ideals,
skew polynomial ring,
skew Laurent polynomial ring,
regular ring,
pure subring,
excellent rings

Received by editor(s):
January 9, 2003

Received by editor(s) in revised form:
May 15, 2003

Published electronically:
January 13, 2004

Additional Notes:
The first author was partially supported by the Engineering and Physical Sciences Research Council of the United Kingdom (Overseas Travel Grant Number GR/S11459/01) and the Mathematical Sciences Research Institute, Berkeley.

The second author was supported by a fees-only studentship provided by the Engineering and Physical Sciences Research Council of the United Kingdom.

Article copyright:
© Copyright 2004
American Mathematical Society