2002/09/26 by Mordechai Katzman
Mathematics · #math.AC #msc:13E05 #msc:13EC99 #msc:13A35 #msc:13H99
published as Illinois Journal of Mathematics 40 (1996) pp. 330-337
arxiv created 2002/09/26 · arxiv updated 2009/11/30
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 R is complete local and we are localizing at a prime ideal P ⊂ R with dim (R/P)=1. If one assumes further that for any local ring (R,m) of prime characteristic p and every finitely generated R-module M the set \bigcupe \Ass Ge ( M) has finitely many maximal elements and, in addition, for every R-module M there exists a positive integer B>0 such that mqB kills \Hm0(Fe( M)) (or \Hm0(Ge( 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.