Frobenius and Cartier algebras of Stanley-Reisner rings
type: Item
instance of: scholarly article
title: Frobenius and Cartier algebras of Stanley-Reisner rings
zbMATH Open document ID: 1253.13007
author: Josep Àlvarez Montaner
author: Alberto Fernandez Boix
author: Santiago Zarzuela
published in: Journal of Algebra
publication date: 2012-11-09T00:00:00Z
full work available at URL: https://arxiv.org/abs/1106.5686
review text: In this nice article, the authors prove that the ring of Frobenius operators on the injective hull of a Stanley-Reisner ring of prime characteristic is either principally generated or infinitely generated. Throughout, \(R=S/I\) where \(S=kx_1, \ldots, x_n\) is the power series ring over a field of characteristic \(p>0\) and \(I\) is a square-free monomial ideal. In this case, \(I=P_1 \cap P_2 \cap \cdots \cap P_s\), where \(P_i\) are the minimal primes of \(R\). Since \(\mathcal{F}(E_r) \cong \bigoplus_{e \geq 0}\;(I^{[p^e]}:_S I)/I^{[p^e]}\), their determination of the generators for \(\mathcal{F}(E_R)\) depend on computing \((I^{[p^e]}:_S I)\). In fact, they show that \[ (I^{[p^e]}:_S I)=(P_1^{[p^e]}:_S P_1)\cap (P_2^{[p^e]}:_S P_2) \cap \cdots \cap (P_s^{[p^e]}:_S P_s). \] In the case where \(R\) is Gorenstein or when \((I^{[p^e]}:_S I)=I^{[p^e]}+(x_1x_2\cdots x_n)^{p^e-1},\) \(\mathcal{F}(E_r)\) is principally generated. Otherwise, they use a result of \textit{M. Katzman} [J. Lond. Math. Soc., II Ser. 81, No. 3, 589--607 (2010; Zbl 1197.13006)], to show that \(\mathcal{F}(E_r)\) is infinitely generated. The authors have included some nice examples of equidimensional Stanley-Reisner rings of low dimension to illustrate the principal generation of \(\mathcal{F}(E_r)\) is not tied to how close the ring is to being Gorenstein. If \(I\) is of pure height \(n-1\) or the intersection of all face ideals of height \(k\), the authors show \(\mathcal{F}(E_r)\) is principally generated. As an application, the authors use the \(R\)-Cartier algebra \(\mathcal{C}(R)\) which is the opposite ring of \(\mathcal{F}(E_r)\) to extend work of \textit{M. Blickle} [``Test ideals via algebras of \(p^{-e}\)-linear maps'', \url{arXiv:0912.2255}] to show that the \(F\)-jumping numbers of the generalized test ideals \(\tau(R,\mathfrak{a}^t)\) are a discrete set.
Mathematics Subject Classification ID: 13A35
Mathematics Subject Classification ID: 13F55
Mathematics Subject Classification ID: 13N10
Mathematics Subject Classification ID: 14G17
zbMATH DE Number: 6104620
zbMATH Keywords: Stanley-Reisner rings
zbMATH Keywords: Frobenius algebras
zbMATH Keywords: cartier algebras
reviewed by: Janet Vassilev
describes a project that uses: CoCoA
MaRDI profile type: Publication
OpenAlex ID: W2964309915
arXiv ID: 1106.5686
cites work: Generators of \(D\)-modules in positive characteristic
cites work: The intersection homology \(D\)-module in finite characteristic
cites work: Test ideals via algebras of 𝑝^{-𝑒}-linear maps
cites work: Cartier modules: Finiteness results
cites work: Discreteness and rationality of \(F\)-jumping numbers on singular varieties
cites work: Test ideals in quotients of $F$-finite regular local rings
cites work: F-Purity and Rational Singularity
cites work: Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas (Quatrième partie). Rédigé avec la colloboration de J. Dieudonné
cites work: A generalization of tight closure and multiplier ideals
cites work: Monomial Ideals
cites work: The purity of the Frobenius and local cohomology
cites work: Parameter-test-ideals of Cohen–Macaulay rings
cites work: A non-finitely generated algebra of Frobenius maps
cites work: Frobenius maps on injective hulls and their applications to tight closure
cites work: On the commutation of the test ideal with localization and completion
cites work: Test ideals in non-$\mathbb{Q}$-Gorenstein rings
cites work: A note on discreteness of 𝐹-jumping numbers
cites work: A survey of test ideals
cites work: Right and left modules over the Frobenius skew polynomial ring in theF-finite case
cites work: Combinatorics and commutative algebra.
cites work: Differential operators on monomial rings
cites work: Q4693739
DOI: 10.1016/J.JALGEBRA.2012.03.006
Recommended article: Frobenius and Cartier algebras of Stanley-Reisner rings. II
Recommended article: Addendum to ``Frobenius and Cartier algebras of Stanley-Reisner rings''
Recommended article: \(F\)-invariants of Stanley-Reisner rings
Recommended article: On the Frobenius complexity of Stanley–Reisner rings
Recommended article: Algebra retracts and Stanley-Reisner rings
Recommended article: Q3477001
Recommended article: Q3972816
Recommended article: Q4893217
Recommended article: Subalgebras of the Stanley-Reisner ring
Recommended article: Some results on the cartan matrix of a frobenius algebra
description: scientific article