English

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

Commutative Algebra 2007-05-23 v1

Abstract

This paper is concerned with tight closure in a commutative Noetherian ring RR of prime characteristic pp, 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 II of RR has linear growth of primary decompositions, then tight closure (of II) commutes with localization at the powers of a single element. It is shown in this paper that, provided RR has a weak test element, linear growth of primary decompositions for other sequences of ideals of RR that approximate, in a certain sense, the sequence of Frobenius powers of II 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 II) commutes with localization at an arbitrary multiplicatively closed subset of RR. 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 II has only finitely many maximal members. This paper develops, through a careful analysis of the ideal theory of the perfect closure of RR, strategies for showing that tight closure (of a specified ideal II of RR) commutes with localization at an arbitrary multiplicatively closed subset of RR and for showing that the union of the associated primes of the tight closures of the Frobenius powers of II 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.

Keywords

Cite

@article{arxiv.math/0305137,
  title  = {Ideals in a perfect closure, linear growth of primary decompositions, and tight closure},
  author = {Rodney Y. Sharp and Nicole Nossem},
  journal= {arXiv preprint arXiv:math/0305137},
  year   = {2007}
}

Comments

This is to appear in the Transactions of the American Mathematical Society