Abstract
Let R be a finitely generated positively graded algebra over a Noetherian local ring B, and \({\mathfrak {m}}= [R]_+\) be the graded irrelevant ideal of R. We provide a local criterion characterizing the B-freeness of all the local cohomology modules \(\text {H}_{{\mathfrak {m}}}^i(M)\) of a finitely generated graded R-module M. We show that fiber-full modules are exactly the ones that satisfy this criterion. When we change B by an arbitrary Noetherian ring A, we study the fiber-full locus of a module in \({\text {Spec}}(A)\): we show that the fiber-full locus is always an open subset of \({\text {Spec}}(A)\) and that it is dense when A is generically reduced.
Similar content being viewed by others
Data Availability
Not applicable.
References
Altman, A.B., Kleiman, S.L.: Compactifying the Picard scheme. Adv. Math. 35(1), 50–112 (1980)
Brodmann, M.P., Sharp, R.Y.: Local Cohomology. Second, Cambridge Studies in Advanced Mathematics, An Algebraic Introduction with Geometric Applications, vol. 136. Cambridge University Press, Cambridge (2013)
Bruns, W., Herzog, J.: Cohen–Macaulay Rings. Cambridge Studies in Advanced Mathematics, 2nd edn. Cambridge University Press, Cambridge (1998)
Chardin, M.: Powers of ideals and the cohomology of stalks and fibers of morphisms. Algebra Number Theory 7(1), 1–18 (2013)
Chardin, M., Cid-Ruiz, Y., Simis, A.: Generic freeness of local cohomology and graded specialization. Trans. Am. Math. Soc. 375(1), 87–109 (2022)
Conca, A., Varbaro, M.: Square-free Gröbner degenerations. Invent. Math. 221(3), 713–730 (2020)
Dao, H., De Stefani, A., Ma, L.: Cohomologically Full Rings. Int Math Res Not 10, rnz203 (2019)
Eisenbud, D.: Commutative Algebra with a View Towards Algebraic Geometry, Graduate Texts in Mathematics, 150. Springer, Berlin (1995)
Hartshorne, R.: Algebraic Geometry. Graduate Texts in Mathematics, No. 52. Springer, New York (1977)
Hochster, M., Roberts, J.L.: The purity of the Frobenius and local cohomology. Adv. Math. 21(2), 117–172 (1976)
Hyry, E.: The diagonal subring and the Cohen-Macaulay property of a multigraded ring. Trans. Am. Math. Soc. 351(6), 2213–2232 (1999)
Kollár, J.: Maps between local picard groups, arXiv preprint arXiv:1407.5108 (2014)
Kollár, J., Kovács, S.J.: Deformations of log canonical and F-pure singularities. Algebraic Geom. 7(6), 758–780 (2020)
Lønsted, K., Kleiman, S.L.: Basics on families of hyperelliptic curves. Compos. Math. 38(1), 83–111 (1979)
Matsumura, H.: Commutative Ring Theory, Cambridge Studies in Advanced Mathematics, vol. 8, 1st edn. Cambridge University Press, Cambridge (1989)
Polini, C., Raicu, C., Varbaro, M., Walker, M.E.: Recent Developments in Commutative Algebra. Lecture Notes in Mathematics, vol. 2283. Springer, Cham (2021)
Schenzel, P.: On the use of local cohomology in algebra and geometry. In: Six Lectures on Commutative Algebra (Bellaterra, 1996), Progress in Mathematics, vol. 166, pp. 241–292. Birkhäuser, Basel (1998)
Smith, K.E.: Local cohomology and base change. J. Algebra 496, 11–23 (2018)
Stacks project authors, T.: The stacks project (2021)
Yu, H.: N-fiber-full modules. J. Pure Appl. Algebra 226(4), Paper No. 106899 (2022)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Cid-Ruiz, Y. Fiber-full modules and a local freeness criterion for local cohomology modules. Math. Z. 303, 30 (2023). https://doi.org/10.1007/s00209-022-03190-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00209-022-03190-6
Keywords
- Fiber-full module
- Local cohomology
- Ext module
- Freeness
- Base change
- Local duality
- Gröbner degeneration
- square-free