---
title: Generalized F-Signature in Commutative Algebra
url: https://www.emergentmind.com/topics/generalized-f-signature
type: topic
---

# Generalized F-Signature in Commutative Algebra

The generalized F-signature is a numerical invariant in commutative algebra and singularity theory, extending the classical F-signature from rings to "pairs" and further to a variety of algebraic contexts. It quantifies the asymptotic proportion of certain types of direct summands under the iteration of the Frobenius endomorphism in characteristic $p > 0$, generalizing both the algebraic and representation-theoretic decompositions associated with the Frobenius functor. Through a combination of module theory, Cartier operators, invariant theory, and toric geometry, it detects subtle properties of singularities—such as strong F-regularity, F-purity, and F-rationality—and admits explicit computations in several key classes.

## 1. General Definition and Cartier Subalgebras

Let $R$ be a Noetherian, F-finite ring of characteristic $p>0$, equipped with a Cartier subalgebra $D = \bigoplus D_e \subseteq \mathcal{C}_R = \bigoplus_e \operatorname{Hom}_R(F_*^e R, R)$. A *pair* $(R, D)$ encodes both the algebraic structure of $R$ and the allowed $p^{-e}$-linear operators. For each $e > 0$, define the ideal
\[
I_e^D = \{ r \in R : \varphi(F_*^e r) \in m \text{ for all } \varphi \in D_e \},
\]
where $m$ is the maximal ideal.

The splitting number $a_e^D$ is the maximal number of direct summands isomorphic to $R$ in a decomposition $F_*^e R \cong R^{\oplus a_e^D} \oplus M$, with projection maps in $D_e$. Several equivalent formulations hold:
\[
a_e^D = \operatorname{length}_R(D_e / D_e^{ns}) = \operatorname{length}_R(F_*^e (R / I_e^D)) = p^{e \alpha(R)} \operatorname{length}_R(R / I_e^D),
\]
where $\alpha(R) = \log_p [k : k^p]$ (the imperfection degree over its residue field).

The *generalized F-signature* of the pair is
\[
s(R, D) = \lim_{e \to \infty,\, e \in \Gamma_D} \frac{a_e^D}{p^{e(d + \alpha(R))}},
\]
with $\Gamma_D = \{ e > 0 : a_e^D \neq 0 \}$, the set of levels at which $D_e$ has non-nilpotent elements. The existence of this limit is guaranteed for F-finite rings and any Cartier subalgebra [1107.1082].

## 2. Existence, Properties, and Positivity

The generalized F-signature $s(R,D)$ exists for any F-finite local ring and Cartier subalgebra $D$. The central dichotomy of F-signature theory remains intact:
- $s(R,D) > 0$ if and only if the pair $(R, D)$ is *strongly F-regular*; that is, for every $c \not\in \bigcup \text{minPrimes}(R)$, there exists some $e > 0$ and $\varphi \in D_e$ with $\varphi(F_*^e c) = 1$ [1107.1082].
- For non-strongly F-regular but F-pure $(R, D)$, the *F-splitting ratio*
  \[
  r_F(R, D) = \lim_{e \to \infty} \frac{a_e^D}{p^{e(\dim R/P_D + \alpha(R))}},
  \]
  measures the “undercurrent of splitting” along the largest $D$-compatible ideal $P_D$ (the splitting prime). This ratio is strictly positive and equals the F-signature of the strongly F-regular quotient $(R/P_D, D_{P_D})$.

A generalized F-signature function for pairs with exponents, such as $(R, f^t)$, tracks regularity thresholds and their order of vanishing. For such settings, the asymptotics of $s(R, f^t)$ near the F-pure threshold are controlled by the F-splitting ratio and the codimension of the splitting prime [1206.4293].

## 3. Computation and Algorithmic Approaches

Fedder-type criteria allow the F-signature and generalized F-signature to be computed via module-length formulas involving colon ideals. For $R = S/J$ in a regular local ring $(S, n)$, with a suitable Cartier subalgebra, one has:
\[
a_e(R) = p^{e \alpha(S)} \operatorname{length}_S \left( S / (n^{[p^e]} : (J^{[p^e]} : J)) \right),
\]
and thus
\[
s(R) = \lim_{e \to \infty} \frac{\operatorname{length}_S(S / (n^{[p^e]} : (J^{[p^e]} : J)))}{p^{e \dim R}}.
\]
This framework extends to pairs $(S, \mathfrak{a}^t)$ by considering sequences $b_e = \mathfrak{a}^{\lceil t(p^e - 1)\rceil}$, producing length formulas for $s(S, \mathfrak{a}^t)$ and enabling explicit calculations for monomial ideals and toric settings [1107.1082].

For toric or Hibi rings (which possess FFRT), the generalized F-signature of any reflexive conic module $M_c$ is
\[
s(M_c, R) = \operatorname{Vol}(\Delta_c),
\]
where $\Delta_c$ is an explicit polytope associated to $c$ via the poset or the cone defining the ring [1911.08720, 1110.0552]. Enumeration via polytopes and descent-conditions in the symmetric group gives highly effective combinatorial formulas.

In the context of invariant subrings $R = S^G$ (with $G$ a finite group), for each indecomposable reflexive $R$-module $M_i$ corresponding to irreducible $G$-module $V_i$,
\[
s(M_i, R) = \frac{\dim_k V_i}{|G|},
\]
provided $G$ acts without pseudo-reflections and $p \nmid |G|$. This recovers the classical McKay correspondence in the context of F-signature theory [1311.5963, 2304.12138].

## 4. Geometric and Representation-Theoretic Extensions

For section rings of globally F-regular projective varieties, the F-signature function becomes a locally Lipschitz, positively homogeneous real-valued function on the ample cone, vanishing precisely on nef but non-big divisors [2210.00566]. The generalized F-signature function $s_X(D)$ is controlled by the counting of global sections modulo splitting contribution, and is closely estimated by the volume function up to explicit error terms.

In the invariant theory setting of finite group schemes acting on polynomial rings, the generalized F-signature encodes the asymptotic Frobenius splitting data of reflexive modules. The limit decomposes as
\[
FL(A) = \frac{1}{|G|} \sum_{i=1}^r (\dim \operatorname{End}_G(V_i)) (\dim V_i) [M_i]
\]
in the Grothendieck group, revealing how indecomposable modules distribute in asymptotic Frobenius direct images. This refines the correspondence between singularity type and representation structure of $G$ [2304.12138].

Quasi-polynomiality arises in the F-signature functions of quotient singularities, with higher coefficients determined by the group-theoretic data of pseudoreflections. Notably, for small groups (no $(d-1)$-pseudoreflections), the coefficient of $p^{(d-1)e}$ vanishes identically in the generalized F-signature function's expansion [1804.01281].

## 5. Connections to Other Invariants and Theoretical Significance

The generalized F-signature subsumes the classical F-signature and further bridges to Hilbert–Kunz multiplicities, $F$-splitting ratios, and the spectrum of Frobenius-pullback summands in FFRT rings. It quantifies not only the abundance of free summands, but also the distribution of all indecomposable summands under Frobenius, thereby measuring singularity type in much finer detail.

Generalizations to F-rationality yield invariants such as the dual F-signature and the relative F-rational signature, which are defined via maximal surjective quotient maps from Frobenius-pullbacks of the canonical module or via infima over relative Hilbert–Kunz slopes. The unified invariant $s_{\mathrm{rel}}(R) = s_{\mathrm{dual}}(R)$ detects F-rationality, always satisfies $s \leq 1$, and is lower semi-continuous under localization [1911.02642].

In characteristic zero, analogues such as the *differential signature* replace the Frobenius with modules of principal parts and differential powers, preserving many of the regularity-detection and volume formula properties. In characteristic $p$, the differential signature coincides with the classical F-signature for $F$-pure rings [1810.04476].

## 6. Illustrative Examples

- **Simple normal crossings**: $R = k[[x_1, \dots, x_n]]$, $\Delta = t_1\operatorname{div}(x_1) + \cdots + t_n\operatorname{div}(x_n)$, $0 \le t_i < 1$, then $s(R, \Delta) = (1-t_1)\cdots(1-t_n)$ [1107.1082].
- **Invariant subrings**: For $G$ cyclic of order $n$ acting on $k[x, y]$, all indecomposable reflexive modules have $s(M_i, R) = 1/n$, and the ring $R$ itself has $s(R, R) = 1/n$ [1311.5963, 2304.12138].
- **Monomial ideals**: $S = k[[x_1, \dots, x_n]]$, $\mathfrak{a}$ monomial ideal with Newton polyhedron $P$, then for any $t > 0$, $s(S, \mathfrak{a}^t) = \operatorname{Vol}_{\mathbb{R}^n}(tP \cap [0,1]^n)$ [1107.1082, 2210.00566].
- **Hibi rings**: For conic divisorial ideal $M_c$, $s(M_c, R) = \operatorname{Vol}(\Delta_c)$ for an explicit polytope $\Delta_c$. For Segre products, $s(M_c, R)$ admits symmetric group enumeration formulas [1911.08720].
- **Quotient singularities**: $R = k\llbracket x_1, \dots, x_d \rrbracket^G$, the F-signature function $s(R, p^e)$ is a quasi-polynomial in $p^e$, with coefficients determined by the group and vanishing of certain reflection types [1804.01281].

## 7. Impact and Open Directions

Generalized F-signature theory unifies and extends the role of Frobenius-semistable summands in singularity detection, providing effective tools for explicit computation and deepening the structural understanding of singularities in rational, toric, and equivariant settings. It resolves questions on positivity, existence, and behavior under families, and connects with broader themes such as differential operators, Hilbert–Kunz theory, and invariant theory.

The continued development of algorithmic and combinatorial formulas, especially in the context of toric and FFRT rings, as well as systematic comparisons with characteristic-zero invariants, are active areas of research. Quantitative bounds and geometric interpretations (e.g., in terms of polytopes and volumes) suggest further analogies to birational geometry, motivic integration, and representation theory. Open problems include a full extension of F-signature concepts to mixed characteristic, higher-dimensional families, and deeper connections with derived categories and D-module theory.

---

**References:**  
[1107.1082]: "F-signature of pairs and the asymptotic behavior of Frobenius splittings,"  
[2210.00566]: "The F-signature Function on the Ample Cone,"  
[1911.08720]: "Generalized F-signatures of Hibi rings,"  
[2304.12138]: "Generalized $F$-signatures of the rings of invariants of finite group schemes,"  
[1311.5963]: "Generalized F-signature of invariant subrings,"  
[1804.01281]: "F-signature function of quotient singularities,"  
[1110.0552]: "F-Signature of Affine Toric Varieties,"  
[1206.4293]: "Relating F-Signature and F-Splitting Ratio of Pairs Using Left-Derivatives,"  
[1911.02642]: "The theory of F-rational signature,"  
[1810.04476]: "Quantifying singularities with differential operators."

Source: https://www.emergentmind.com/topics/generalized-f-signature