An excellent 𝐹-pure ring of prime characteristic has a big tight closure test element

Sharp, Rodney

doi:10.1090/S0002-9947-10-05166-4

An excellent $F$-pure ring of prime characteristic has a big tight closure test element
HTML articles powered by AMS MathViewer

by Rodney Y. Sharp PDF

Trans. Amer. Math. Soc. 362 (2010), 5455-5481 Request permission

Abstract:

In two recent papers, the author has developed a theory of graded annihilators of left modules over the Frobenius skew polynomial ring over a commutative Noetherian ring $R$ of prime characteristic $p$, and has shown that this theory is relevant to the theory of test elements in tight closure theory. One result of that work was that, if $R$ is local and the $R$-module structure on the injective envelope $E$ of the simple $R$-module can be extended to a structure as a torsion-free left module over the Frobenius skew polynomial ring, then $R$ is $F$-pure and has a tight closure test element. One of the central results of this paper is the converse, namely that, if $R$ is $F$-pure, then $E$ has a structure as a torsion-free left module over the Frobenius skew polynomial ring; a corollary is that every $F$-pure local ring of prime characteristic, even if it is not excellent, has a tight closure test element. These results are then used, along with embedding theorems for modules over the Frobenius skew polynomial ring, to show that every excellent (not necessarily local) $F$-pure ring of characteristic $p$ must have a so-called ‘big’ test element.

References

M. Blickle, The intersection homology $D$-module in finite characteristic, Ph.D. dissertation, University of Michigan, Ann Arbor, 2001.
M. P. Brodmann and R. Y. Sharp, Local cohomology: an algebraic introduction with geometric applications, Cambridge Studies in Advanced Mathematics, vol. 60, Cambridge University Press, Cambridge, 1998. MR 1613627, DOI 10.1017/CBO9780511629204
Richard Fedder, $F$-purity and rational singularity, Trans. Amer. Math. Soc. 278 (1983), no. 2, 461–480. MR 701505, DOI 10.1090/S0002-9947-1983-0701505-0
Robin Hartshorne and Robert Speiser, Local cohomological dimension in characteristic $p$, Ann. of Math. (2) 105 (1977), no. 1, 45–79. MR 441962, DOI 10.2307/1971025
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, DOI 10.1090/S0894-0347-1990-1017784-6
Melvin Hochster and Craig Huneke, $F$-regularity, test elements, and smooth base change, Trans. Amer. Math. Soc. 346 (1994), no. 1, 1–62. MR 1273534, DOI 10.1090/S0002-9947-1994-1273534-X
Melvin Hochster and Joel L. Roberts, Rings of invariants of reductive groups acting on regular rings are Cohen-Macaulay, Advances in Math. 13 (1974), 115–175. MR 347810, DOI 10.1016/0001-8708(74)90067-X
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, DOI 10.1016/0167-4889(95)00136-0
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, DOI 10.1090/S0002-9947-1993-1124167-6
Mordechai Katzman, Parameter-test-ideals of Cohen-Macaulay rings, Compos. Math. 144 (2008), no. 4, 933–948. MR 2441251, DOI 10.1112/S0010437X07003417
Mordechai Katzman and Rodney Y. Sharp, Uniform behaviour of the Frobenius closures of ideals generated by regular sequences, J. Algebra 295 (2006), no. 1, 231–246. MR 2188859, DOI 10.1016/j.jalgebra.2005.01.025
Gennady Lyubeznik, $F$-modules: applications to local cohomology and $D$-modules in characteristic $p>0$, J. Reine Angew. Math. 491 (1997), 65–130. MR 1476089, DOI 10.1515/crll.1997.491.65
Gennady Lyubeznik and Karen E. Smith, On the commutation of the test ideal with localization and completion, Trans. Amer. Math. Soc. 353 (2001), no. 8, 3149–3180. MR 1828602, DOI 10.1090/S0002-9947-01-02643-5
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
Rodney Y. Sharp, Graded annihilators of modules over the Frobenius skew polynomial ring, and tight closure, Trans. Amer. Math. Soc. 359 (2007), no. 9, 4237–4258. MR 2309183, DOI 10.1090/S0002-9947-07-04247-X
Rodney Y. Sharp, Graded annihilators and tight closure test ideals, J. Algebra 322 (2009), no. 9, 3410–3426. MR 2567428, DOI 10.1016/j.jalgebra.2008.08.007
Rodney Y. Sharp and Nicole Nossem, Ideals in a perfect closure, linear growth of primary decompositions, and tight closure, Trans. Amer. Math. Soc. 356 (2004), no. 9, 3687–3720. MR 2055750, DOI 10.1090/S0002-9947-04-03420-8
D. W. Sharpe and P. Vámos, Injective modules, Cambridge Tracts in Mathematics and Mathematical Physics, No. 62, Cambridge University Press, London-New York, 1972. MR 0360706
Karen E. Smith, $F$-rational rings have rational singularities, Amer. J. Math. 119 (1997), no. 1, 159–180. MR 1428062