Uniform bounds in F-finite rings and lower semi-continuity of the F-signature
HTML articles powered by AMS MathViewer
- by Thomas Polstra PDF
- Trans. Amer. Math. Soc. 370 (2018), 3147-3169 Request permission
Abstract:
This paper establishes uniform bounds in characteristic $p$ rings which are either F-finite or essentially of finite type over an excellent local ring. These uniform bounds are then used to show that the Hilbert-Kunz length functions and the normalized Frobenius splitting numbers defined on the spectrum of a ring converge uniformly to their limits, namely the Hilbert-Kunz multiplicity function and the F-signature function. From this we establish that the F-signature function is lower semi-continuous. Lower semi-continuity of the F-signature of a pair is also established. We also give a new proof of the upper semi-continuity of Hilbert-Kunz multiplicity, which was originally proven by Ilya Smirnov.References
- Ian M. Aberbach and Florian Enescu, The structure of F-pure rings, Math. Z. 250 (2005), no. 4, 791–806. MR 2180375, DOI 10.1007/s00209-005-0776-y
- Ian M. Aberbach and Graham J. Leuschke, The $F$-signature and strong $F$-regularity, Math. Res. Lett. 10 (2003), no. 1, 51–56. MR 1960123, DOI 10.4310/MRL.2003.v10.n1.a6
- Manuel Blickle, Karl Schwede, and Kevin Tucker, $F$-signature of pairs and the asymptotic behavior of Frobenius splittings, Adv. Math. 231 (2012), no. 6, 3232–3258. MR 2980498, DOI 10.1016/j.aim.2012.09.007
- Manuel Blickle, Karl Schwede, and Kevin Tucker, $F$-signature of pairs: continuity, $p$-fractals and minimal log discrepancies, J. Lond. Math. Soc. (2) 87 (2013), no. 3, 802–818. MR 3073677, DOI 10.1112/jlms/jds070
- Sankar P. Dutta, Frobenius and multiplicities, J. Algebra 85 (1983), no. 2, 424–448. MR 725094, DOI 10.1016/0021-8693(83)90106-0
- Florian Enescu and Yongwei Yao, The lower semicontinuity of the Frobenius splitting numbers, Math. Proc. Cambridge Philos. Soc. 150 (2011), no. 1, 35–46. MR 2739072, DOI 10.1017/S0305004110000484
- Melvin Hochster, Cyclic purity versus purity in excellent Noetherian rings, Trans. Amer. Math. Soc. 231 (1977), no. 2, 463–488. MR 463152, DOI 10.1090/S0002-9947-1977-0463152-5
- 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
- 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 Huneke, Hilbert-Kunz multiplicity and the F-signature, Commutative algebra, Springer, New York, 2013, pp. 485–525. MR 3051383, DOI 10.1007/978-1-4614-5292-8_{1}5
- Craig Huneke and Graham J. Leuschke, Two theorems about maximal Cohen-Macaulay modules, Math. Ann. 324 (2002), no. 2, 391–404. MR 1933863, DOI 10.1007/s00208-002-0343-3
- Ernst Kunz, On Noetherian rings of characteristic $p$, Amer. J. Math. 98 (1976), no. 4, 999–1013. MR 432625, DOI 10.2307/2374038
- Hideyuki Matsumura, Commutative algebra, 2nd ed., Mathematics Lecture Note Series, vol. 56, Benjamin/Cummings Publishing Co., Inc., Reading, Mass., 1980. MR 575344
- P. Monsky, The Hilbert-Kunz function, Math. Ann. 263 (1983), no. 1, 43–49. MR 697329, DOI 10.1007/BF01457082
- Ilya Smirnov, Upper semi-continuity of the Hilbert-Kunz multiplicity, Compos. Math. 152 (2016), no. 3, 477–488. MR 3477638, DOI 10.1112/S0010437X15007800
- Kevin Tucker, $F$-signature exists, Invent. Math. 190 (2012), no. 3, 743–765. MR 2995185, DOI 10.1007/s00222-012-0389-0
- Yongwei Yao, Observations on the $F$-signature of local rings of characteristic $p$, J. Algebra 299 (2006), no. 1, 198–218. MR 2225772, DOI 10.1016/j.jalgebra.2005.08.013
Additional Information
- Thomas Polstra
- Affiliation: Department of Mathematics, University of Missouri-Columbia, Columbia, Missouri 65211
- Email: tmpxv3@mail.missouri.edu
- Received by editor(s): June 2, 2015
- Received by editor(s) in revised form: September 24, 2015, and July 21, 2016
- Published electronically: December 19, 2017
- © Copyright 2017 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 370 (2018), 3147-3169
- MSC (2010): Primary 13A35, 13D40, 13F40, 14B05
- DOI: https://doi.org/10.1090/tran/7030
- MathSciNet review: 3766845