Phantom depth and flat base change

Author:
Neil M. Epstein

Journal:
Proc. Amer. Math. Soc. **134** (2006), 313-321

MSC (2000):
Primary 13A35; Secondary 13B40, 13C15, 13H10

Published electronically:
September 21, 2005

MathSciNet review:
2175997

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: We prove that if is a flat local homomorphism, is Cohen-Macaulay and -injective, and and share a weak test element, then a tight closure analogue of the (standard) formula for depth and regular sequences across flat base change holds. As a corollary, it follows that phantom depth commutes with completion for excellent local rings. We give examples to show that the analogue does not hold for surjective base change.

**[Abe94]**I. M. Aberbach,*Finite phantom projective dimension*, Amer. J. Math.**116**(1994), no. 2, 447–477. MR**1269611**, 10.2307/2374936**[Abe01]**Ian M. Aberbach,*Extension of weakly and strongly F-regular rings by flat maps*, J. Algebra**241**(2001), no. 2, 799–807. MR**1843326**, 10.1006/jabr.2001.8785**[AE02]**Ian M. Aberbach and Florian Enescu,*Test ideals and base change problems in tight closure theory*, Trans. Amer. Math. Soc.**355**(2003), no. 2, 619–636. MR**1932717**, 10.1090/S0002-9947-02-03162-8**[AHH93]**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**[BH97]**Winfried Bruns and Jürgen Herzog,*Cohen-Macaulay rings*, revised ed., Cambridge studies in advanced mathematics, no. 39, Cambridge University Press, Cambridge, 1997.**[BS02]**A. Bravo and K. E. Smith,*Behavior of test ideals under smooth and étale homomorphisms*, J. Algebra**247**(2002), no. 1, 78–94. MR**1873384**, 10.1006/jabr.2001.9010**[Bur72]**Lindsay Burch,*Codimension and analytic spread*, Proc. Cambridge Philos. Soc.**72**(1972), 369–373. MR**0304377****[Ene00]**Florian Enescu,*On the behavior of F-rational rings under flat base change*, J. Algebra**233**(2000), no. 2, 543–566. MR**1793916**, 10.1006/jabr.2000.8430**[Eps]**Neil Epstein,*Phantom depth and stable phantom exactness*, to appear in Trans. Amer. Math. Soc.**[Has01]**Mitsuyasu Hashimoto,*Cohen-Macaulay F-injective homomorphisms*, Geometric and combinatorial aspects of commutative algebra (Messina, 1999), Lecture Notes in Pure and Appl. Math., vol. 217, Dekker, New York, 2001, pp. 231–244. MR**1824233****[HH90]**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**[HH93]**Melvin Hochster and Craig Huneke,*Phantom homology*, Mem. Amer. Math. Soc.**103**(1993), no. 490, vi+91. MR**1144758**, 10.1090/memo/0490**[HH94]**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**[HH00]**Melvin Hochster and Craig Huneke,*Localization and test exponents for tight closure*, Michigan Math. J.**48**(2000), 305–329. Dedicated to William Fulton on the occasion of his 60th birthday. MR**1786493**, 10.1307/mmj/1030132721**[Hun96]**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****[Sin99]**Anurag K. Singh,*𝐹-regularity does not deform*, Amer. J. Math.**121**(1999), no. 4, 919–929. MR**1704481****[SS04]**Anurag K. Singh and Irena Swanson,*Associated primes of local cohomology modules and of Frobenius powers*, Int. Math. Res. Not.**33**(2004), 1703–1733. MR**2058025**, 10.1155/S1073792804133424

Retrieve articles in *Proceedings of the American Mathematical Society*
with MSC (2000):
13A35,
13B40,
13C15,
13H10

Retrieve articles in all journals with MSC (2000): 13A35, 13B40, 13C15, 13H10

Additional Information

**Neil M. Epstein**

Affiliation:
Department of Mathematics, University of Kansas, Lawrence, Kansas 66045

Address at time of publication:
Department of Mathematics, University of Michigan, Ann Arbor, Michigan 48109

Email:
epstein@math.ku.edu, neilme@umich.edu

DOI:
https://doi.org/10.1090/S0002-9939-05-08223-7

Keywords:
Tight closure,
phantom depth,
base change

Received by editor(s):
May 17, 2004

Published electronically:
September 21, 2005

Additional Notes:
The author was partially supported by the National Science Foundation.

Communicated by:
Bernd Ulrich

Article copyright:
© Copyright 2005
American Mathematical Society

The copyright for this article reverts to public domain 28 years after publication.