Rings of Frobenius operators

DOI10.1017/S0305004114000176MaRDI QIDQ2877367zbMATH OpenFDO

Authors Mordechai Katzman, Karl Schwede, Anurag K. Singh, Wenliang Zhang

Publication date 22 August 2014

Published in Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1304.6147

zbMATH Keywords

\(\mathbb{Q}\)-GorensteinF-jumping numbersFrobenius operatorsgauge boundedinjective hulltwisted construction

Mathematics Subject Classification ID

Characteristic (p) methods (Frobenius endomorphism) and reduction to characteristic (p); tight closure (13A35)

Abstract: Let R be a local ring of prime characteristic. We study the ring of Frobenius operators F(E), where E is the injective hull of the residue field of R. In particular, we examine the finite generation of F(E) over its degree zero component, and show that F(E) need not be finitely generated when R is a determinantal ring; nonetheless, we obtain concrete descriptions of F(E) in good generality that we use, for example, to prove the discreteness of F-jumping numbers for arbitrary ideals in determinantal rings.

Review text

Let \(R\) be a local ring of prime characteristic and \(E\) be the injective hull of its residue field. Let \(\mathcal F (E)\) be the ring of Frobenius operators of \(E\) over \(R\). This paper studies the finite generation of \(\mathcal F (E)\) over \(\mathcal F^0(E) = \text{Hom}_R(E,E)\) as a ring extension.NEWLINENEWLINEThe authors introduce a twisted construction \(\mathcal T (\mathcal R)\) associated to an \(\mathbb{N}\)-graded commutative ring \(\mathcal R\). They prove that, when \(R\) is normal and complete, the ring of Frobenius operators is isomorphic to the twisted construction associated to the anticanonical cover of \(R\). Using this result, they give an alternate proof to a result by \textit{K. Schwede} [Trans. Am. Math. Soc. 363, No. 11, 5925--5941 (2011; Zbl 1276.13008)] that states that, for a normal \(\mathbb{Q}\)-Gorenstein ring \(R\), if the order of the canonical module in the divisor class group is relatively prime to \(p\), then \(\mathcal F(E)\) is a finitely generated ring extension of \(\mathcal F^0(E)\). A conjecture is stated that asserts the converse.NEWLINENEWLINEThe paper also proves a conjecture of \textit{M. Katzman} [Proc. Am. Math. Soc. 138, No. 7, 2381--2383 (2010; Zbl 1192.13004)] confirming that determinantal ring obtained by moding out size \(2\) minors of a \(2 \times 3\) matrix of indeterminates has an infinitely generated ring of Frobenius operators over \(\mathcal F^0(E)\). The last two sections contain applications to the \(F\)-jumping numbers of ideals in a ring. Let \(R\) be a normal \(\mathbb{N}\)-graded that is finitely generated over an \(F\)-finite ring \(R_0\). Assume that the anticanonical cover of \(R\) is finitely generated as an \(R\)-algebra. It is shown in the paper that the set of \(F\)-jumping numbers of ideals in \(R\) is a subset of the real numbers with no limit points. In the last section, the authors consider a standard graded polynomial ring \(A\) over an \(F\)-finite field of prime characteristic and \(I\) a homogeneous ideal of \(A\). The authors prove that, if \(R=A/I\) has finite graded \(F\)-representation type, then the regularity of \(A/(I+J^{[p^e]})\) has linear growth with respect to \(p^e\), for each homogeneous ideal \(J\). In particular, the Cartier algebra of \(R=A/I\) is gauge bounded and the set of \(F\)-jumping numbers for ideals in \(R\) is a subset of the real numbers with no limit points.

Recommendations

• Frobenius and Cartier algebras of Stanley-Reisner rings
• On the discreteness and rationality of F-jumping coefficients
• The Frobenius complexity of a local ring of prime characteristic
• Castelnuovo-Mumford regularity and the discreteness of $F$-jumping coefficients in graded rings
• A note on discreteness of F-jumping numbers

Cites work

• \(D\)-modules over rings with finite F-representation type
• A non-finitely generated algebra of Frobenius maps
• An elementary approach to \(L\)-functions \(\text{mod }p\)
• Frobenius and Cartier algebras of Stanley-Reisner rings
• On graded rings. I
• On the commutation of the test ideal with localization and completion
• Simplicity of Rings of Differential Operators in Prime Characteristic
• Test ideals in non-\(\mathbb {Q}\)-Gorenstein rings
• Test ideals via algebras of 𝑝^{-𝑒}-linear maps
• The Geometry of Syzygies
• Twenty-four hours of local cohomology

Cited in

(22)

• The Frobenius complexity of Hibi rings
• Fiber cones, analytic spreads of the canonical and anticanonical ideals and limit Frobenius complexity of Hibi rings
• \(F\)-invariants of Stanley-Reisner rings
• Frobenius and Cartier algebras of Stanley-Reisner rings. II
• Generating functions associated to Frobenius algebras
• On the Frobenius complexity of determinantal rings
• The Frobenius exponent of Cartier subalgebras
• The Frobenius complexity of a local ring of prime characteristic
• The lower semicontinuity of the Frobenius splitting numbers
• On the existence of \(F\)-thresholds and related limits
• Discreteness of \(F\)-jumping numbers at isolated non-\(\mathbb {Q}\)-Gorenstein points
• Test ideals in rings with finitely generated anti-canonical algebras
• Positive characteristic algebraic geometry
• Local Cohomology—An Invitation
• Symbolic analytic spread: upper bounds and applications
• FFRT properties of hypersurfaces and their F-signatures
• A Koszul complex over skew polynomial rings
• Castelnuovo-Mumford regularity and the discreteness of $F$-jumping coefficients in graded rings
• Graded rings of rational twist in prime characteristic
• On the infinitely generated locus of Frobenius algebras of rings of prime characteristic
• On the finiteness of the twisted complexity for a graded ring in prime characteristic
• \(D\)-modules over rings with finite F-representation type

This page was built for publication: Rings of Frobenius operators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2877367)