Castelnuovo–Mumford Regularity¶
Locate the least projective twist whose diagonal higher-cohomology vanishings persist, yielding one integer bound on global generation, Hilbert-function stabilization, and graded syzygy degrees.
Core Idea¶
Castelnuovo–Mumford regularity is an integer that marks when the higher-cohomology and syzygy behavior of a projective object has entered a controlled linear range. Fix a field k, projective space P^n_k, its twisting sheaf O(1), and a coherent sheaf F. The sheaf is m-regular when.
H^i(P^n_k, F(m-i)) = 0 for every i=1,...,n.
Its regularity is the least such m when that minimum exists; the zero sheaf is commonly assigned -infinity. This diagonal pattern—not merely eventual vanishing—is the identity. The Stacks Project gives the definition and proves that m-regularity persists upward: an m-regular sheaf is (m+1)-regular. Mumford's foundational treatment introduced the technique in the construction-oriented setting of projective algebraic geometry.
Scope of Application¶
- Coherent sheaves on projective space. The original cohomological definition supplies vanishing and global-generation thresholds.
- Projective subschemes and ideal sheaves. Regularity bounds degrees needed to generate equations and the degrees of their successive relations.
- Finitely generated graded modules. Minimal resolutions, Betti tables, local cohomology, and linear truncations give computable equivalent formulations in the standard graded setting.
- Hilbert and Quot constructions. Uniform regularity bounds for quotients with fixed Hilbert polynomial convert sheaf families into finite-dimensional section data; the Stacks Project proves the relevant boundedness step.
- Computational algebraic geometry. Regularity bounds are tied to Gröbner-basis and syzygy computation; Bayer and Mumford explicitly study regularity as a complexity measure for effective algebraic geometry.
- Projective curves, points, hypersurfaces, and arrangements. The invariant packages equation degree, higher relations, postulation, and embedding data into a common comparison scale.
- Operations on sheaves and modules. Twists, direct sums, exact sequences, hyperplane sections, tensor products under hypotheses, powers of ideals, and changes of field motivate bounds and diagnostics.
- Named extensions. Multigraded, toric, noncommutative, relative, and complex-valued variants preserve part of the role map but alter the regularity region or the equivalence theorems.
Clarity¶
Write reg(F), reg(I_X), or reg(S/I_X), never an untyped reg(X) when an offset matters. Many texts define the regularity of a subscheme by its ideal sheaf. Software may accept an ideal and return the ideal module's regularity, while a resolution command applied to the quotient returns the coordinate ring's value. Macaulay2 documents this distinction explicitly.
Manages Complexity¶
A coherent sheaf presents a triangular array of groups H^i(F(d)) over cohomological degree and twist. A minimal resolution presents a second array of Betti numbers over homological position and internal degree. Regularity draws one diagonal boundary through either array: above that boundary the required higher cohomology vanishes, and every free summand lies on or below the corresponding degree-shift line.
Abstract Reasoning¶
Cohomology audit. For each i>0, compute or prove vanishing of H^i(F(m-i)). To prove exact regularity m, also exhibit a nonzero group on the preceding diagonal or use an equivalent lower-bound witness.
Betti-diagonal audit. From a minimal resolution, record every degree b_(i,j) in homological position i, subtract i, and take the maximum. A nonminimal complex can contain cancellable equal shifts and must not be treated as exact evidence without minimization.
Knowledge Transfer¶
The invariant transfers literally among coherent sheaves, saturated ideals, coordinate modules, and minimal free resolutions only through declared equivalence conditions. The role map provides the bridge: identify the projective frame, target object, diagonal vanishings, resolution shifts, least threshold, and convention offset. This lets a geometric vanishing theorem become an algebraic syzygy bound or a Betti-table computation become a global-generation statement.
Relationships to Other Abstractions¶
Current abstraction Castelnuovo–Mumford Regularity Domain-specific
Parents (1) — more general patterns this builds on
-
Castelnuovo–Mumford Regularity is a kind of Complexity Prime
prime:complexity— instantiates. Regularity is a strict algebraic-geometric complexity measure: it compresses the latest degrees of generators and syzygies and bounds effective computation.
Hierarchy path (1) — routes to 1 parentless root
- Castelnuovo–Mumford Regularity → Complexity
Neighborhood in Abstraction Space¶
Castelnuovo–Mumford Regularity sits in a sparse region of the domain-specific corpus (74th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Algebraic Geometry & Bundle Structure (14 abstractions)
Nearest neighbors
- Euler sequence — 0.88
- Linear fractional transformation — 0.84
- Structure Theorem for Finitely Generated Modules over a Principal Ideal Domain — 0.83
- Ringed Space — 0.83
- Algebraic stack — 0.82
Computed from structural-signature embeddings · 2026-09-08