Characteristic-free test ideals
HTML articles powered by AMS MathViewer
- by Felipe Pérez and Rebecca R. G. HTML | PDF
- Trans. Amer. Math. Soc. Ser. B 8 (2021), 754-787
Abstract:
Tight closure test ideals have been central to the classification of singularities in rings of characteristic $p>0$, and via reduction to characteristic $p>0$, in equal characteristic 0 as well. Their properties and applications have been described by Schwede and Tucker [Progress in commutative algebra 2, Walter de Gruyter, Berlin, 2012]. In this paper, we extend the notion of a test ideal to arbitrary closure operations, particularly those coming from big Cohen-Macaulay modules and algebras, and prove that it shares key properties of tight closure test ideals. Our main results show how these test ideals can be used to give a characteristic-free classification of singularities, including a few specific results on the mixed characteristic case. We also compute examples of these test ideals.References
- Yves André, La conjecture du facteur direct, Publ. Math. Inst. Hautes Études Sci. 127 (2018), 71–93 (French, with French summary). MR 3814651, DOI 10.1007/s10240-017-0097-9
- Charles W. Curtis and Irving Reiner, Methods of representation theory. Vol. I, Wiley Classics Library, John Wiley & Sons, Inc., New York, 1990. With applications to finite groups and orders; Reprint of the 1981 original; A Wiley-Interscience Publication. MR 1038525
- Geoffrey D. Dietz, Big Cohen-Macaulay algebras and seeds, Trans. Amer. Math. Soc. 359 (2007), no. 12, 5959–5989. MR 2336312, DOI 10.1090/S0002-9947-07-04252-3
- Geoffrey D. Dietz, A characterization of closure operations that induce big Cohen-Macaulay modules, Proc. Amer. Math. Soc. 138 (2010), no. 11, 3849–3862. MR 2679608, DOI 10.1090/S0002-9939-2010-10417-3
- Geoffrey D. Dietz, Axiomatic closure operations, phantom extensions, and solidity, J. Algebra 502 (2018), 123–145. MR 3774887, DOI 10.1016/j.jalgebra.2018.01.023
- Geoffrey D. Dietz and Rebecca R. G., Big Cohen-Macaulay and seed algebras in equal characteristic zero via ultraproducts, J. Commut. Algebra 11 (2019), no. 4, 511–533. MR 4039980, DOI 10.1216/jca-2019-11-4-511
- Rankeya Datta and Karen E. Smith, Frobenius and valuation rings, Algebra Number Theory 10 (2016), no. 5, 1057–1090. MR 3531362, DOI 10.2140/ant.2016.10.1057
- S. P. Dutta, Syzygies and homological conjectures, Commutative algebra (Berkeley, CA, 1987) Math. Sci. Res. Inst. Publ., vol. 15, Springer, New York, 1989, pp. 139–156. MR 1015516, DOI 10.1007/978-1-4612-3660-3_{7}
- Neil Epstein, A guide to closure operations in commutative algebra, Progress in commutative algebra 2, Walter de Gruyter, Berlin, 2012, pp. 1–37. MR 2932590
- Neil Epstein and Rebecca R. G., Closure-interior duality over complete local rings, Rocky Mountain J. Math. 51 (2021), no. 3, 823–853. MR 4302561, DOI 10.1216/rmj.2021.51.823
- Nobuo Hara, Geometric interpretation of tight closure and test ideals, Trans. Amer. Math. Soc. 353 (2001), no. 5, 1885–1906. MR 1813597, DOI 10.1090/S0002-9947-01-02695-2
- Melvin Hochster and Craig Huneke, Tight closure and strong $F$-regularity, Mém. Soc. Math. France (N.S.) 38 (1989), 119–133. Colloque en l’honneur de Pierre Samuel (Orsay, 1987). MR 1044348
- 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, Tight closure and elements of small order in integral extensions, J. Pure Appl. Algebra 71 (1991), no. 2-3, 233–247. MR 1117636, DOI 10.1016/0022-4049(91)90149-V
- Melvin Hochster and Craig Huneke, Infinite integral extensions and big Cohen-Macaulay algebras, Ann. of Math. (2) 135 (1992), no. 1, 53–89. MR 1147957, DOI 10.2307/2946563
- 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
- Jürgen Herzog, Takayuki Hibi, and Dumitru I. Stamate, The trace of the canonical module, Israel J. Math. 233 (2019), no. 1, 133–165. MR 4013970, DOI 10.1007/s11856-019-1898-y
- Melvin Hochster, Graham Leuschke, and Rebecca R. G., Big Cohen-Macaulay modules that split off small Cohen-Macaulay modules, Work in progress, 2019.
- Melvin Hochster, Topics in the homological theory of modules over commutative rings, Conference Board of the Mathematical Sciences Regional Conference Series in Mathematics, No. 24, Published for the Conference Board of the Mathematical Sciences by the American Mathematical Society, Providence, R.I., 1975. Expository lectures from the CBMS Regional Conference held at the University of Nebraska, Lincoln, Neb., June 24–28, 1974. MR 0371879, DOI 10.1090/cbms/024
- Melvin Hochster, Solid closure, Commutative algebra: syzygies, multiplicities, and birational algebra (South Hadley, MA, 1992) Contemp. Math., vol. 159, Amer. Math. Soc., Providence, RI, 1994, pp. 103–172. MR 1266182, DOI 10.1090/conm/159/01508
- Melvin Hochster, Foundations of tight closure theory, 2007 http://www.math.lsa.umich.edu/~hochster/711F07/fndtc.pdf.
- Nobuo Hara and Shunsuke Takagi, On a generalization of test ideals, Nagoya Math. J. 175 (2004), 59–74. MR 2085311, DOI 10.1017/S0027763000008904
- T. Y. Lam, Lectures on modules and rings, Graduate Texts in Mathematics, vol. 189, Springer-Verlag, New York, 1999. MR 1653294, DOI 10.1007/978-1-4612-0525-8
- Haydee Lindo, Trace ideals and centers of endomorphism rings of modules over commutative rings, J. Algebra 482 (2017), 102–130. MR 3646286, DOI 10.1016/j.jalgebra.2016.10.026
- Graham J. Leuschke and Roger Wiegand, Cohen-Macaulay representations, Mathematical Surveys and Monographs, vol. 181, American Mathematical Society, Providence, RI, 2012. MR 2919145, DOI 10.1090/surv/181
- Linquan Ma and Karl Schwede, Perfectoid multiplier/test ideals in regular rings and bounds on symbolic powers, Invent. Math. 214 (2018), no. 2, 913–955. MR 3867632, DOI 10.1007/s00222-018-0813-1
- Linquan Ma and Karl Schwede, Singularities in mixed characteristic via perfectoid big Cohen-Macaulay algebras, Preprint, arXiv:1806.09567 [math.AC], 2018.
- Rebecca Rebhuhn-Glanz, Closure Operations that Induce Big Cohen-Macaulay Modules and Algebras, and Classification of Singularities, ProQuest LLC, Ann Arbor, MI, 2016. Thesis (Ph.D.)–University of Michigan. MR 3641119
- Rebecca R.G., Closure operations that induce big Cohen-Macaulay modules and classification of singularities, J. Algebra 467 (2016), 237–267. MR 3545960, DOI 10.1016/j.jalgebra.2016.08.009
- Rebecca R. G., Closure operations that induce big Cohen-Macaulay algebras, J. Pure Appl. Algebra 222 (2018), no. 7, 1878–1897. MR 3763288, DOI 10.1016/j.jpaa.2017.08.011
- Paul C. Roberts, Fontaine rings and local cohomology, J. Algebra 323 (2010), no. 8, 2257–2269. MR 2596378, DOI 10.1016/j.jalgebra.2010.01.024
- R. Y. Sharp, Cohen-Macaulay properties for balanced big Cohen-Macaulay modules, Math. Proc. Cambridge Philos. Soc. 90 (1981), no. 2, 229–238. MR 620732, DOI 10.1017/S0305004100058680
- K. E. Smith, Tight closure of parameter ideals, Invent. Math. 115 (1994), no. 1, 41–60. MR 1248078, DOI 10.1007/BF01231753
- Karen E. Smith, The multiplier ideal is a universal test ideal, Comm. Algebra 28 (2000), no. 12, 5915–5929. Special issue in honor of Robin Hartshorne. MR 1808611, DOI 10.1080/00927870008827196
- Karl Schwede and Kevin Tucker, A survey of test ideals, Progress in commutative algebra 2, Walter de Gruyter, Berlin, 2012, pp. 39–99. MR 2932591
- Yuji Yoshino, Cohen-Macaulay modules over Cohen-Macaulay rings, London Mathematical Society Lecture Note Series, vol. 146, Cambridge University Press, Cambridge, 1990. MR 1079937, DOI 10.1017/CBO9780511600685
Additional Information
- Felipe Pérez
- Affiliation: Toronto, Ontario, Canada
- Email: felipe@layer6.ai
- Rebecca R. G.
- Affiliation: Department of Mathematics, George Mason University, Fairfax, Virginia 22030
- MR Author ID: 1177757
- ORCID: 0000-0002-7700-4312
- Email: rrebhuhn@gmu.edu
- Received by editor(s): July 3, 2019
- Received by editor(s) in revised form: June 18, 2020
- Published electronically: September 14, 2021
- © Copyright 2021 by the authors under Creative Commons Attribution 3.0 License (CC BY 3.0)
- Journal: Trans. Amer. Math. Soc. Ser. B 8 (2021), 754-787
- MSC (2020): Primary 13C14, 14B05; Secondary 13H10, 13H05, 13A35, 13P99
- DOI: https://doi.org/10.1090/btran/55
- MathSciNet review: 4312323