Frobenius and Cartier Algebras of Stanley–Reisner Rings (II)
- 35 Downloads
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.
KeywordsFrobenius algebras Cartier algebras Stanley–Reisner rings Simplicial complexes Free faces
Mathematics Subject Classification (2010)13A35 MSC 13F55
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.
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.
- 5.Blickle, M., Schwede, K.: P − 1-Linear Maps in Algebra and Geometry. In: Commutative Algebra, pp. 123–305. Springer, New York (2013)Google Scholar
- 6.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)
- 9.Grayson, D.R., Stillman, M.E.: Macaulay2, a software system for research in algebraic geometry. Available at http://www.math.uiuc.edu/Macaulay2/ (2013)
- 14.Maunder, C.: Algebraic Topoloby. Cambridge University Press, Cambridge (1980)Google Scholar