Castelnuovo–Mumford Regularity

• Castelnuovo–Mumford regularity is a homological invariant that quantifies the complexity of graded modules and projective varieties by measuring vanishing of higher cohomologies and maximal shifts in their resolutions.
• It underpins the classification of schemes and syzygies by providing sharp bounds, such as the Eisenbud–Goto bound, and guides effective constructions in algebraic geometry.
• Applications range from analyzing Hilbert functions and degrees of generators to extending to multigraded contexts and studying special varieties like toric and matrix Schubert varieties.

Castelnuovo–Mumford regularity is a fundamental homological invariant in algebraic geometry and commutative algebra that measures the complexity of the defining equations and syzygies of coherent sheaves, graded modules, and projective varieties. It governs vanishing of higher cohomology, the degrees of generators of ideals and modules, and the stabilization of graded Betti numbers. Its role is central in the study of syzygies, Hilbert functions, and the effective construction and classification of projective schemes.

1. Definition and Foundational Formulations

Let $\mathcal{F}$ be a coherent sheaf on projective space $\mathbb{P}^r$. The sheaf is said to be $k$-regular in the sense of Castelnuovo–Mumford if for all $i > 0$,

$H^i(\mathbb{P}^r,\,\mathcal{F}(k-i)) = 0.$

The Castelnuovo–Mumford regularity of $\mathcal{F}$ is

$\mathrm{reg}(\mathcal{F}) = \min\{ k\in\mathbb{Z} \mid \mathcal{F} \text{ is $k$-regular} \}.$

For a homogeneous ideal $I$ in a polynomial ring or a standard graded algebra, one equivalently has

$$\mathrm{reg}(I) = \max\{\,j-i \mid \beta_{i,j}(I) \ne 0\,\},$$

where $\beta_{i,j}(I)$ are the graded Betti numbers in the minimal free resolution.

For a closed subscheme $\mathbb{P}^r$0, $\mathbb{P}^r$1 denotes the regularity of its ideal sheaf $\mathbb{P}^r$2.

This definition is central in both geometric and algebraic contexts (Shang, 2022, Niu et al., 2016, Trung, 2019).

2. Classical and Sharp Bounds

2.1 Eisenbud–Goto and Related Linear Bounds

A central conjecture (now disproven in full generality but holding in many important cases) is the Eisenbud–Goto bound:

$\mathbb{P}^r$3

where $\mathbb{P}^r$4 is a nondegenerate projective variety (Kwak et al., 2014, Niu, 2013, García-Marco et al., 18 Mar 2026, Nitsche, 2011). This inequality is sharp for classes such as rational normal scrolls, certain toric varieties, and smooth low-codimension varieties. Sharp classifications of equality cases exist for smooth varieties and scrolls (Kwak et al., 2014, Niu et al., 2016).

Other important linear bounds include those of Mumford, Bertram–Ein–Lazarsfeld, and Herzog–Hibi, tailored to various settings such as surfaces, toric varieties, and varieties of small genus:

• Mumford: $\mathbb{P}^r$5 for a smooth $\mathbb{P}^r$6-fold (Kwak et al., 2014).
• Bertram–Ein–Lazarsfeld: $\mathbb{P}^r$7, where $\mathbb{P}^r$8 (Rathmann, 2020).
• Herzog–Hibi (toric): For smooth simplicial toric varieties, $\mathbb{P}^r$9 (García-Marco et al., 18 Mar 2026).

2.2 Sharpness and Complete Intersection Characterization

For varieties scheme-theoretically cut out by hypersurfaces $k$0 of degrees $k$1 in $k$2, the Bertram–Ein–Lazarsfeld bound for the $k$3th power of the ideal sheaf is

$k$4

with codimension $k$5. This bound is sharp (i.e., equality holds) if and only if $k$6 is a complete intersection of hypersurfaces with these degrees. Otherwise, strict inequality occurs (Shang, 2022).

For scrolls of degree $k$7 and codimension $k$8 over a smooth curve of genus $k$9, the best possible bound is

$i > 0$0

with equality attained for rational normal scrolls ($i > 0$1) (Niu et al., 2016).

3. Structural Properties and Theoretical Frameworks

3.1 Homological and Syzygetic Interpretation

The regularity controls both vanishing of higher cohomology and stabilization of syzygy degrees. In terms of Betti numbers, it is the maximum degree shift minus the homological degree in any minimal free resolution:

$i > 0$2

where $i > 0$3 is the maximal shift in $i > 0$4 (Bruns et al., 2021, Trung, 2019).

Local cohomology gives an equivalent perspective:

$i > 0$5

with $i > 0$6 the highest degree of nonvanishing $i > 0$7.

3.2 Multigraded and Product Category Generalizations

Multigraded regularity extends the notion to modules graded by finitely generated abelian groups, using vanishing regions indexed by tuples and refined via local cohomology with respect to any finitely generated graded ideal $i > 0$8 (Botbol et al., 2011).

For modules over finite products of categories (e.g., $i > 0$9 and related structures), the CM regularity of a representation is finite if and only if it is presented in finite degree. The subcategory of finite-regularity representations is abelian (Gan et al., 2019).

4. Asymptotic, Combinatorial, and Special Family Results

4.1 Powers of Ideals and Asymptotic Linearity

For any homogeneous ideal $H^i(\mathbb{P}^r,\,\mathcal{F}(k-i)) = 0.$0 in a standard graded ring, the sequence $H^i(\mathbb{P}^r,\,\mathcal{F}(k-i)) = 0.$1 is eventually a linear function of $H^i(\mathbb{P}^r,\,\mathcal{F}(k-i)) = 0.$2:

$H^i(\mathbb{P}^r,\,\mathcal{F}(k-i)) = 0.$3

This is the theorem of Cutkosky–Herzog–Trung and Kodiyalam (Bruns et al., 2021). The result is subtle: for many ideals the stabilization index (the threshold after which linearity holds) and the constant term $H^i(\mathbb{P}^r,\,\mathcal{F}(k-i)) = 0.$4 are only partially understood.

In equivariant or symmetric families of ideals, regularity often grows linearly or is eventually bounded, with precise invariants (e.g., maximal generator exponent, "weight" of a chain) determining the behavior (Le et al., 2018).

4.2 Sharp Bounds in Finite and Zero-Dimensional Schemes

For a finite nondegenerate scheme $H^i(\mathbb{P}^r,\,\mathcal{F}(k-i)) = 0.$5 of degree $H^i(\mathbb{P}^r,\,\mathcal{F}(k-i)) = 0.$6, the universal upper bound is

$H^i(\mathbb{P}^r,\,\mathcal{F}(k-i)) = 0.$7

where $H^i(\mathbb{P}^r,\,\mathcal{F}(k-i)) = 0.$8 is the minimal dimension such that $H^i(\mathbb{P}^r,\,\mathcal{F}(k-i)) = 0.$9 admits a $\mathcal{F}$0-secant $\mathcal{F}$1-plane. Maximal regularity is achieved only when $\mathcal{F}$2 concentrates on a unique rational normal curve of degree $\mathcal{F}$3 (Lee et al., 2024).

4.3 Monomial Ideals and Combinatorics

For monomial ideals, especially quadratic square-free monomials (edge ideals of graphs), regularity can be effectively bounded using combinatorial decompositions (clique covers, separator theorems), and is tightly connected to the graph's structure (e.g., chordality, genus, forbidden subgraphs) (Blekherman et al., 2019). Hochster's formula links regularity to the nonvanishing homology of subcomplexes.

In affine semigroup rings, particularly seminormal simplicial cases, the Eisenbud–Goto bound holds and explicit combinatorial decompositions allow determination of regularity in terms of dimension and degree (Nitsche, 2011, García-Marco et al., 18 Mar 2026).

4.4 Minimal Regularity for a Given Hilbert Polynomial

Given a Hilbert polynomial $\mathcal{F}$4, the minimal possible regularity $\mathcal{F}$5 among all closed subschemes realizing $\mathcal{F}$6 can be computed via a recursive method involving minimal Hilbert functions and explicit construction of special monomial ideals (growth-height-lex Borel sets). The minimal regularity is always attained on explicitly constructed schemes (Cioffi et al., 2013).

5. Advanced Contexts and Applications

5.1 Matrix Schubert Varieties

For matrix Schubert varieties $\mathcal{F}$7, $\mathcal{F}$8 is explicitly given as the difference between the Rajchgot index $\mathcal{F}$9 and the inversion number $\mathrm{reg}(\mathcal{F}) = \min\{ k\in\mathbb{Z} \mid \mathcal{F} \text{ is $k$-regular} \}.$0 of $\mathrm{reg}(\mathcal{F}) = \min\{ k\in\mathbb{Z} \mid \mathcal{F} \text{ is $k$-regular} \}.$1:

$\mathrm{reg}(\mathcal{F}) = \min\{ k\in\mathbb{Z} \mid \mathcal{F} \text{ is $k$-regular} \}.$2

The Rajchgot index is a combinatorial statistic defined via omitted subsequences in the permutation (Pechenik et al., 2021), showing deep connections between syzygies of Schubert varieties and permutation combinatorics.

5.2 Fiber Cones, Blowup Algebras, and Ratliff–Rush Closure

The regularity of fiber cones $\mathrm{reg}(\mathcal{F}) = \min\{ k\in\mathbb{Z} \mid \mathcal{F} \text{ is $k$-regular} \}.$3 and their relationship with Rees and associated graded algebras is subtle. Under suitable depth and Cohen–Macaulayness conditions, regularities coincide, but in general strict inequalities are possible. Formulas relating the regularity of fiber cones to the reduction number, a-invariants, and Ratliff–Rush closures have been established (Jayanthan et al., 2011, Dinh et al., 2015).

6. Regularity over Scrolls and Structured Varieties

A theory of regularity for vector bundles and sheaves over scrolls (projectivizations of sums of line bundles over projective space) generalizes the classical concept, reducing to the usual definition on projective and multiprojective spaces. New splitting criteria for vector bundles are obtained, mimicking Horrocks' results for $\mathrm{reg}(\mathcal{F}) = \min\{ k\in\mathbb{Z} \mid \mathcal{F} \text{ is $k$-regular} \}.$4 and capturing the geometric structure of the ambient scroll (Malaspina et al., 10 Jan 2025).

7. Open Problems and Contemporary Significance

• Extremal and wild behavior: Though Eisenbud–Goto's conjecture is now known to fail in general for singular or badly-degenerate schemes, it holds in wide classes (smooth, toric with mild singularities, etc.), and sharp examples have been identified (Kwak et al., 2014, García-Marco et al., 18 Mar 2026).
• Asymptotics and effective computation: The precise constant and stabilization index in the linear behavior of $\mathrm{reg}(\mathcal{F}) = \min\{ k\in\mathbb{Z} \mid \mathcal{F} \text{ is $k$-regular} \}.$5 remains intricate, especially in mixed-degree and multipower situations (Bruns et al., 2021).
• Combinatorial characterizations: For monomial, toric, and Schubert-related contexts, combinatorial and geometric invariants give complete control of the regularity, but general predictions for random schemes are less accessible (Blekherman et al., 2019, Pechenik et al., 2021).
• Broader applications: Regularity bounds dictate syzygy stabilization and have implications for Hilbert schemes, splitting of vector bundles, and the homological complexity of moduli spaces (Cioffi et al., 2013, Malaspina et al., 10 Jan 2025).

Castelnuovo–Mumford regularity, thus, serves as a unifying measure of algebraic and geometric complexity, harnessed by a spectrum of results ranging from classical vanishing theorems to combinatorial and categorical generalizations, with ongoing impact in algebraic geometry, commutative algebra, and related fields.