Generalized F-signatures of Hibi rings

DOI10.1215/00192082-8827655MaRDI QIDQ2039722zbMATH OpenOpenAlexFDO

Authors Akihiro Higashitani, Yusuke Nakajima

Publication date 5 July 2021

Published in Illinois Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

\(F\)-signatureconical divisorfinite \(F\)-representation typeHibi ringstrongly \(F\)-regular ringtoric ring

Mathematics Subject Classification ID

Combinatorial aspects of commutative algebra (05E40) Algebraic aspects of posets (06A11) Characteristic (p) methods (Frobenius endomorphism) and reduction to characteristic (p); tight closure (13A35) Commutative rings defined by binomial ideals, toric rings, etc. (13F65) Toric varieties, Newton polyhedra, Okounkov bodies (14M25)

Abstract: The $F$-signature is a numerical invariant defined by the number of free direct summands in the Frobenius push-forward, and it measures singularities in positive characteristic. It can be generalized by focussing on the number of non-free direct summands. In this paper, we provide several methods to compute the (generalized) $F$-signature of a Hibi ring which is a special class of toric rings. In particular, we show that it can be computed by counting the elements in the symmetric group satisfying certain conditions. As an application, we also give the formula of the (generalized) $F$-signature for some Segre products of polynomial rings.

Review text

Let \(R\) be a \(d\)-dimensional Noetherian ring of characteristic \(p>0\). \(R\) is said to have FFRT (finite \(F\)-representation type) if there is a finite set of isomorphism classes of finitely generated indecomposable modules \(\{M_0, \ldots, M_n\}\) such that for any \(e \in \mathbb{N}\) there are \(c_{i,e} \geq 0\), such that \[R^{1/p^e} \cong M_0^{\oplus c_{0,e}}\oplus M_1^{\oplus c_{1,e}}\oplus \cdots \oplus M_n^{\oplus c_{n,e}}.\] The generalized \(F\)-signature of \(M_i\) with respect to \(R\) is \(s(M_i,R):=\underset{e \rightarrow \infty}\lim\displaystyle\frac{c_{i,e}}{p^{ed}}\). A Hibi ring is a special type of toric ring defined via a poset. For toric rings \(R\) of characteristic \(p\), it is known that \(R\) has FFRT and the indecomposable modules of \(R\) are the conical divisors of \(R\). The goal of this nice paper is to determine the generalized \(F\)-signatures for the conical divisors of a Hibi ring. The main theorem determines the generalized \(F\)-signature for a conical divisor of a Segre product of polynomial rings of dimension \(d\), which is a Hibi ring, in terms of the number of elements of the symmetric group on a set of \(d\) elements which certain descent properties. The authors claim that the methods used to prove this result can also be used to determine the generalized \(F\)-signature for a conical divisor for other Hibi rings; their running example of a Hibi ring which is not a Segre product provides an illustration of this claim.

Recommendations

• The F-signature of an affine semigroup ring
• Generalized F-signature of invariant subrings
• \(F\)-signature exists
• Quantifying singularities with differential operators
• The \(F\)-signature and strong \(F\)-regularity.

Cites work

• \(F\)-signature exists
• Alcoved polytopes. I.
• Characterizations of Regular Local Rings of Characteristic p
• Conic divisor classes over a normal monoid algebra
• Conic divisorial ideals of Hibi rings and their applications to non-commutative crepant resolutions
• Divisor class groups of affine semigroup rings associated with distributive lattices
• Divisorial linear algebra of normal semigroup rings
• F-Regularity, Test Elements, and Smooth Base Change
• Generalized F-signature of invariant subrings
• Hilbert–Kunz Multiplicity and the F-Signature
• scientific article; zbMATH DE number 3983158 (Why is no real title available?)
• scientific article; zbMATH DE number 4067064 (Why is no real title available?)
• scientific article; zbMATH DE number 3698940 (Why is no real title available?)
• scientific article; zbMATH DE number 2140846 (Why is no real title available?)
• Minimal relative Hilbert-Kunz multiplicity
• MODULES WITH FINITE F-REPRESENTATION TYPE
• Notes on Hilbert-Kunz Multiplicity of Rees Algebras
• Polytopes, Rings, and K-Theory
• Simplicity of Rings of Differential Operators in Prime Characteristic
• The \(F\)-signature and strong \(F\)-regularity.
• The asymptotic behavior of Frobenius direct images of rings of invariants
• The F-signature of an affine semigroup ring
• The Hilbert-Kunz function of rings of finite Cohen-Macaulay type
• Two theorems about maximal Cohen-Macaulay modules

Cited in

(7)

• The Frobenius complexity of Hibi rings
• Fiber cones, analytic spreads of the canonical and anticanonical ideals and limit Frobenius complexity of Hibi rings
• On the ratio of the multiplicity and the embedding dimension of Hibi rings
• FFRT properties of hypersurfaces and their F-signatures
• Lower bounds on Hilbert–Kunz multiplicities and maximal F-signatures
• Matching polytopes, Gorensteinness, and the integer decomposition property
• The existence of the \(F\)-signature for rings with large \(\mathbb Q\)-Gorenstein locus

Describes a project that uses

Uses Software

• Normaliz

This page was built for publication: Generalized \(F\)-signatures of Hibi rings

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