Abstract
It is known that the Frobenius algebra of the injective hull of the residue field of a complete Stanley–Reisner ring (i.e., a formal power series ring modulo a squarefree monomial ideal) can be only principally generated or infinitely generated as algebra over its degree zero piece, and that this fact can be read off in the corresponding simplicial complex; in the infinite case, we exhibit a 1–1 correspondence between potential new generators appearing on each graded piece and certain pairs of faces of such a simplicial complex, and we use it to provide an alternative proof of the fact that these Frobenius algebras can only be either principally generated or infinitely generated.
Similar content being viewed by others
References
Àlvarez Montaner, J., Boix, A.F., Zarzuela, S.: Frobenius and Cartier algebras of Stanley-Reisner rings. J. Algebra 358, 162–177 (2012)
Àlvarez Montaner, J., Yanagawa, K.: Addendum to “Frobenius and Cartier algebras of Stanley-Reisner rings”. J. Algebra 414, 300–304 (2014)
Blickle, M.: Test ideals via algebras of p −e-linear maps. J. Algebraic Geom. 22(1), 49–83 (2013)
Blickle, M., Böckle, G.: Cartier modules: finiteness results. J. Reine Angew. Math. 661, 85–123 (2011)
Blickle, M., Schwede, K.: P − 1-Linear Maps in Algebra and Geometry. In: Commutative Algebra, pp. 123–305. Springer, New York (2013)
Boix, A.F., Zarzuela, S.: Freepairs.m2: a Macaulay2 package for computing all the maximal free pairs of a simplicial complex. Available at https://www.math.bgu.ac.il/fernanal/FreePairs.m2 (2016)
Enescu, F., Yao, Y.: The Frobenius complexity of a local ring of prime characteristic. J. Algebra 459, 133–156 (2016)
Enescu, F., Yao, Y.: On the Frobenius complexity of determinantal rings. J. Pure Appl. Algebras 222(2), 414–432 (2018)
Grayson, D.R., Stillman, M.E.: Macaulay2, a software system for research in algebraic geometry. Available at http://www.math.uiuc.edu/Macaulay2/ (2013)
Katzman, M.: A non-finitely generated algebra of Frobenius maps. Proc. Am. Math. Soc. 138(7), 2381–2383 (2010)
Katzman, M., Schwede, K., Singh, A.K., Zhang, W.: Rings of Frobenius operators. Math. Proc. Camb. Philos. Soc. 157(1), 151–167 (2014)
Kunz, E.: Characterizations of regular local rings for characteristic p. Am. J. Math. 91, 772–784 (1969)
Lyubeznik, G., Smith, K.E.: On the commutation of the test ideal with localization and completion. Trans. Am. Math. Soc. 353(8), 3149–3180 (electronic) (2001)
Maunder, C.: Algebraic Topoloby. Cambridge University Press, Cambridge (1980)
Schwede, K.: Test ideals in non-Q-Gorenstein rings. Trans. Am. Math. Soc. 363 (11), 5925–5941 (2011)
Sharp, R.Y., Yoshino, Y.: Right and left modules over the Frobenius skew polynomial ring in the F-finite case. Math. Proc. Camb. Philos. Soc. 150(3), 419–438 (2011)
Acknowledgements
The authors would like to thank Eran Nevo, Claudiu Raicu and Kevin Tucker for their comments on an earlier draft of this manuscript. Part of this work was done when the first named author visited Northwestern University funded by the CASB fellowship program.
Funding
The first author is supported by Israel Science Foundation (grant No. 844/14) and Spanish Ministerio de Economía y Competitividad MTM2016-7881-P. The second author is supported by Spanish Ministerio de Economía y Competitividad MTM2016-7881-P.
Author information
Authors and Affiliations
Corresponding author
Additional information
To our friend Lê Tuân Hoa for his 60th birthday
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Boix, A.F., Zarzuela, S. Frobenius and Cartier Algebras of Stanley–Reisner Rings (II). Acta Math Vietnam 44, 571–586 (2019). https://doi.org/10.1007/s40306-018-00314-1
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40306-018-00314-1