English

Finiteness of $\bold{\bigcup_e \Ass F^e(M)}$ and its connections to tight closure

Commutative Algebra 2007-05-23 v2

Abstract

The paper shows that if the set of associated primes of Frobenius powers of ideals or a closely related set of primes is finite then if tight closure does not commute with localisation one can find a counter-example where RR is complete local and we are localizing at a prime ideal PRP \subset R with dim(R/P)=1\dim (R/P)=1. If one assumes further that for any local ring (R,m)(R,m) of prime characteristic pp and every finitely generated RR-module Mˉ\bar M the set e\AssGe(Mˉ) \bigcup_e \Ass G^e (\bar M) has finitely many maximal elements and, in addition, for every RR-module Mˉ\bar M there exists a positive integer B>0B>0 such that mqBm^{qB} kills \H_m^0(F^e(\bar M)) (or \H_m^0(G^e(\bar M))) then it is shown tight closure commutes with localization. The author then produces an example of an ideal in an hypersurface whose union of sets associated primes of all its Frobenius powers form an infinite set.

Keywords

Cite

@article{arxiv.math/0209355,
  title  = {Finiteness of $\bold{\bigcup_e \Ass F^e(M)}$ and its connections to tight closure},
  author = {Mordechai Katzman},
  journal= {arXiv preprint arXiv:math/0209355},
  year   = {2007}
}