Generalized \(F\)-signatures of Hibi rings (Q2039722)

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.