Ideal sheaf¶

Assign an ideal of functions to every open set compatibly with restriction, so local vanishing conditions glue into a global sheaf and quasi-coherent ideal sheaves determine closed subschemes.

Version: v3 · 2026-09-19 · History
Domain-specific #: 2038
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Algebraic Geometry, Sheaves of Ideals and Closed Subschemes → Mathematics

Core Idea¶

An ideal sheaf on a ringed space \((X,\mathcal O_X)\) is a subsheaf \(\mathcal I\) of \(\mathcal O_X\) such that \(\mathcal I(U)\) is an ideal of \(\mathcal O_X(U)\) for every open \(U\); on a scheme, quasi-coherent ideal sheaves correspond to closed subschemes through \(\mathcal O_X/\mathcal I\).^[1] Local ideal sections restrict compatibly and glue across overlaps, stalkwise ideal conditions encode local equations, and quotienting the structure sheaf preserves nilpotent and multiplicity information that the underlying vanishing set alone discards.

Its autonomous residual is the sheafwise local-to-global ideal object and its quotient-structure role, not a single global ideal, an arbitrary sheaf of modules, the underlying closed set, or the closed subscheme with its embedding forgotten. The identity fails when restriction compatibility fails, local sections are not ideals, global sections are substituted for sheaf data, quasi-coherence is assumed without proof, radicals erase intended nilpotents, or inverse and extension of ideals are conflated.

Recognition requires an analyst to declare the ringed space, verify subsheaf and ideal closure locally or stalkwise, check quasi-coherence on affine opens, compute the quotient sheaf, and distinguish the set-theoretic zero locus, reduced ideal, radical, and full scheme structure. Once established, it supports defining closed subschemes, encoding local equations and infinitesimal thickenings, forming intersections and sums, studying divisors and embeddings, and transporting vanishing data through morphisms without turning those uses into the definition.

How would you explain it like I'm…

No faithful explanation at this level. Any picture simple enough for a young child collapses the ideal sheaf into 'marking where things are zero', which is exactly the bare vanishing set that the concept goes beyond by keeping its patch-by-patch equations and its multiplicity and nilpotent information.

Patchwork of Equations

In one part of math, a space comes with 'functions' living on each small patch of it. An ideal sheaf picks out, on every patch, a special collection of these functions that act like the equations of a shape. The collection stays the same kind of collection when you add two of them, or multiply one by any function. The choices on different patches agree where the patches overlap, so they fit together like puzzle pieces. Dividing the functions by these equations gives the shape. That shape can remember extra things, like a point counted twice, which a plain list of points would forget.

Sheaf of Local Ideals

A ringed space is a space X where each open patch U carries a ring of functions O_X(U). An ideal sheaf I picks an ideal I(U) inside O_X(U) for every open U. These choices must restrict compatibly to smaller patches and glue across overlaps, so that I is a subsheaf. On a scheme, the well-behaved (quasi-coherent) ideal sheaves match up with closed subschemes, via the quotient O_X/I. This is different from a single global ideal, and also different from the closed set where the equations vanish. For example, the equation x² = 0 and the equation x = 0 vanish at the same point, but they give different subschemes: x² remembers a 'doubled' point. Ideal sheaves therefore keep the multiplicity information that the zero set throws away.

Let (X, O_X) be a ringed space. An ideal sheaf is a subsheaf I ⊆ O_X such that I(U) is an ideal of O_X(U) for every open U. Equivalently, it is a sub-O_X-module of O_X. Sections restrict compatibly and glue, and at each point the stalk I_x is an ideal of O_{X,x}, which encodes local equations. On a scheme, quasi-coherent ideal sheaves correspond bijectively to closed subschemes via O_X/I, but quasi-coherence must be checked on affine opens rather than assumed. The quotient keeps nilpotents and multiplicity: I and its radical can have the same zero locus but define different scheme structures. So an ideal sheaf should not be replaced by its global sections, by the underlying closed set, by the reduced ideal, or by the subscheme with its embedding forgotten. Ideal sheaves are used to define closed subschemes, infinitesimal thickenings, divisors, sums and intersections, and to pull back vanishing data along morphisms. One must not confuse inverse images and extensions of ideals.

Structural Signature¶

Carrier: a ringed space \((X,\mathcal O_X)\) and a subsheaf \(\mathcal I\subseteq\mathcal O_X\) whose sections on every open set are ideals in the corresponding ring of functions
Inputs or antecedent state: open subsets, structure-sheaf sections, restriction maps, ideal membership, stalks, local generators, quasi-coherence, quotient sheaf, vanishing locus, pullback convention, and scheme structure
Constitutive operation: Local ideal sections restrict compatibly and glue across overlaps, stalkwise ideal conditions encode local equations, and quotienting the structure sheaf preserves nilpotent and multiplicity information that the underlying vanishing set alone discards
Invariant: the subsheaf is closed under addition and multiplication by local structure-sheaf sections on every open set, and any claimed closed-subscheme correspondence includes the quasi-coherence and scheme hypotheses
Recognition test: declare the ringed space, verify subsheaf and ideal closure locally or stalkwise, check quasi-coherence on affine opens, compute the quotient sheaf, and distinguish the set-theoretic zero locus, reduced ideal, radical, and full scheme structure
Output or consequence: defining closed subschemes, encoding local equations and infinitesimal thickenings, forming intersections and sums, studying divisors and embeddings, and transporting vanishing data through morphisms
Failure boundary: restriction compatibility fails, local sections are not ideals, global sections are substituted for sheaf data, quasi-coherence is assumed without proof, radicals erase intended nilpotents, or inverse and extension of ideals are conflated

What It Is Not¶

It is not the whole field of algebraic geometry; many objects in that field do not satisfy its constitutive rule.
It is not its canonical example. For an affine scheme \(X=\operatorname{Spec} A\) and ideal \(I\subseteq A\), the associated quasi-coherent ideal sheaf \(\widetilde I\subseteq\mathcal O_X\) defines the closed subscheme \(\operatorname{Spec}(A/I)\). That is an instance, not a definition.
It is not Ideal. An ideal in one ring supplies affine algebraic data; an ideal sheaf assigns compatible ideals over all opens. A sheaf of modules need not be embedded in the structure sheaf or closed under multiplication by local functions.
It is not an unrestricted metaphor. Every closed immersion of schemes has a quasi-coherent kernel ideal sheaf, but an arbitrary ideal sheaf on a general ringed space need not enjoy the affine correspondence or define a scheme-theoretic closed immersion without additional hypotheses

Scope of Application¶

Ideal sheaf applies when the analyst can specify a ringed space \((X,\mathcal O_X)\) and a subsheaf \(\mathcal I\subseteq\mathcal O_X\) whose sections on every open set are ideals in the corresponding ring of functions and establish that the subsheaf is closed under addition and multiplication by local structure-sheaf sections on every open set, and any claimed closed-subscheme correspondence includes the quasi-coherence and scheme hypotheses. The entry uses ordinary ringed spaces and schemes; analytic, formal, logarithmic, equivariant, and derived ideal objects require their own categorical hypotheses.^[2]

Recognition. declare the ringed space, verify subsheaf and ideal closure locally or stalkwise, check quasi-coherence on affine opens, compute the quotient sheaf, and distinguish the set-theoretic zero locus, reduced ideal, radical, and full scheme structure
Comparison. Compare legitimate instances through ringed space, open cover, restriction, stalk, local generator, quasi-coherence, radical, quotient, support, nilpotents, sum, product, intersection, pullback, and closed immersion.
Boundary. Every closed immersion of schemes has a quasi-coherent kernel ideal sheaf, but an arbitrary ideal sheaf on a general ringed space need not enjoy the affine correspondence or define a scheme-theoretic closed immersion without additional hypotheses
Use. Preserve every assumption when using the identity for defining closed subschemes, encoding local equations and infinitesimal thickenings, forming intersections and sums, studying divisors and embeddings, and transporting vanishing data through morphisms.

Clarity¶

A clear claim names the carrier, governing rule, assumptions, and recognition test. This matters because ideal sheaf can mean any sheaf of ideals or specifically a quasi-coherent ideal on a scheme, and geometric prose often suppresses whether a closed set or closed subscheme is intended. The disciplined statement is that the object counts as Ideal sheaf exactly when the subsheaf is closed under addition and multiplication by local structure-sheaf sections on every open set, and any claimed closed-subscheme correspondence includes the quasi-coherence and scheme hypotheses

Identity and measurement remain separate. The identity is verified algebraically through local sections, stalks, localization, and gluing; computer algebra on one affine chart cannot certify a global claim without overlap checks. Approximation or noisy evidence may weaken a classification without changing its definition.

Manages Complexity¶

The abstraction compresses quasi-coherent and coherent ideal sheaves, reduced ideals, powers and symbolic powers, invertible ideals, ideal sheaves of divisors, analytic ideal sheaves, and formal or derived variants into a stable carrier, rule, invariant, and failure boundary. It makes comparison tractable while retaining the variables that control validity.

Compression can hide assumptions. A responsible use therefore declares ringed space, open cover, restriction, stalk, local generator, quasi-coherence, radical, quotient, support, nilpotents, sum, product, intersection, pullback, and closed immersion and returns to the full diagnostic whenever a convention or boundary case changes.

Abstract Reasoning¶

Type the carrier. Establish a ringed space \((X,\mathcal O_X)\) and a subsheaf \(\mathcal I\subseteq\mathcal O_X\) whose sections on every open set are ideals in the corresponding ring of functions and reject examples from a different problem.
Lock the rule. Express that the subsheaf is closed under addition and multiplication by local structure-sheaf sections on every open set, and any claimed closed-subscheme correspondence includes the quasi-coherence and scheme hypotheses independently of one notation or implementation.
Derive carefully. Infer defining closed subschemes, encoding local equations and infinitesimal thickenings, forming intersections and sums, studying divisors and embeddings, and transporting vanishing data through morphisms only under the stated assumptions.
Stress-test. Contrast the legitimate boundary case—Every closed immersion of schemes has a quasi-coherent kernel ideal sheaf, but an arbitrary ideal sheaf on a general ringed space need not enjoy the affine correspondence or define a scheme-theoretic closed immersion without additional hypotheses—with this counterexample: an ideal of global regular functions alone does not determine an ideal sheaf on a nonaffine scheme unless its localizations and gluing behavior are supplied.

Knowledge Transfer¶

Transfer within algebraic geometry is strong when new cases preserve the same carrier, mechanism, and diagnostic. The move from For an affine scheme \(X=\operatorname{Spec} A\) and ideal \(I\subseteq A\), the associated quasi-coherent ideal sheaf \(\widetilde I\subseteq\mathcal O_X\) defines the closed subscheme \(\operatorname{Spec}(A/I)\). to If two closed subschemes have ideal sheaves \(\mathcal I\) and \(\mathcal J\), their scheme-theoretic intersection is defined by \(\mathcal I+\mathcal J\), while the product or intersection of ideals records different union or thickening behavior. demonstrates that continuity.^[3]

Outside the domain, only the skeleton—assemble locally defined constraints into a compatible global constraint object and recover a quotient that preserves their full structure—travels automatically. The terms structure sheaf, subsheaf, ideal, stalk, restriction, gluing, quasi-coherent, quotient sheaf, closed subscheme, vanishing locus, radical, and nilpotent retain domain-specific meanings, so every role and inference must be revalidated.

Examples¶

Canonical¶

For an affine scheme \(X=\operatorname{Spec} A\) and ideal \(I\subseteq A\), the associated quasi-coherent ideal sheaf \(\widetilde I\subseteq\mathcal O_X\) defines the closed subscheme \(\operatorname{Spec}(A/I)\). Localizing on a principal affine open sends the ideal to its localization, so restrictions agree and the quotient sheaf is the structure sheaf of the embedded closed subscheme. It is canonical because the carrier, rule, invariant, and consequence are all inspectable.^[1]

Mapped back: a ringed space \((X,\mathcal O_X)\) and a subsheaf \(\mathcal I\subseteq\mathcal O_X\) whose sections on every open set are ideals in the corresponding ring of functions → Local ideal sections restrict compatibly and glue across overlaps, stalkwise ideal conditions encode local equations, and quotienting the structure sheaf preserves nilpotent and multiplicity information that the underlying vanishing set alone discards → the subsheaf is closed under addition and multiplication by local structure-sheaf sections on every open set, and any claimed closed-subscheme correspondence includes the quasi-coherence and scheme hypotheses → defining closed subschemes, encoding local equations and infinitesimal thickenings, forming intersections and sums, studying divisors and embeddings, and transporting vanishing data through morphisms

Applied / In Practice¶

If two closed subschemes have ideal sheaves \(\mathcal I\) and \(\mathcal J\), their scheme-theoretic intersection is defined by \(\mathcal I+\mathcal J\), while the product or intersection of ideals records different union or thickening behavior. The formulas are local and glue through sheaf operations; replacing every ideal by its radical would lose multiplicities and embedded infinitesimal information. It qualifies only after the same diagnostic and failure boundary are checked.^[2]

Mapped back: declared instance → recognition test → boundary check → qualified use

Structural Tensions¶

T1: Exact identity vs. practical recognition. The constitutive condition may be exact while evidence is indirect. Diagnostic: Can the reviewer state both the condition and the warrant?
T2: Canonical form vs. variants. quasi-coherent and coherent ideal sheaves, reduced ideals, powers and symbolic powers, invertible ideals, ideal sheaves of divisors, analytic ideal sheaves, and formal or derived variants can preserve or change the identity. Diagnostic: Which named role is invariant across the variants?
T3: Compression vs. hidden assumptions. The label is useful only while prerequisites remain visible. Diagnostic: Can each downstream inference be traced to a declared assumption?
T4: Autonomy vs. reduction. The candidate uses broader structures but claims the sheafwise local-to-global ideal object and its quotient-structure role, not a single global ideal, an arbitrary sheaf of modules, the underlying closed set, or the closed subscheme with its embedding forgotten. Diagnostic: Does that residual still support independent recognition after the parent and neighbors are subtracted?

Structural–Framed Character¶

The entry is structurally mixed but domain-framed. Its portable skeleton is assemble locally defined constraints into a compatible global constraint object and recover a quotient that preserves their full structure; its identity-bearing terms are structure sheaf, subsheaf, ideal, stalk, restriction, gluing, quasi-coherent, quotient sheaf, closed subscheme, vanishing locus, radical, and nilpotent. Those terms determine admissible objects, evidence, and consequences inside algebraic geometry.

Structural Core vs. Domain Accent¶

The structural core is a carrier governed by Local ideal sections restrict compatibly and glue across overlaps, stalkwise ideal conditions encode local equations, and quotienting the structure sheaf preserves nilpotent and multiplicity information that the underlying vanishing set alone discards and tested by declare the ringed space, verify subsheaf and ideal closure locally or stalkwise, check quasi-coherence on affine opens, compute the quotient sheaf, and distinguish the set-theoretic zero locus, reduced ideal, radical, and full scheme structure. The domain accent is constitutive rather than decorative, so an analogy that preserves only the skeleton is not another instance of Ideal sheaf.

This entry is a kind of Local-to-Global Aggregation.

Ideal sheaves literally organize local ideal witnesses with restriction compatibility and gluing into a global object; ideal closure and quotient geometry provide the specialization. What makes it its own entry is the sheafwise local-to-global ideal object and its quotient-structure role, not a single global ideal, an arbitrary sheaf of modules, the underlying closed set, or a closed subscheme with its embedding forgotten.

Relationships to Other Abstractions¶

Current abstraction Ideal sheaf Domain-specific

Parents (1) — outgoing typed relations

Ideal sheaf is a kind of Local-to-Global Aggregation Prime

Ideal sheaves literally organize local ideal witnesses with restriction compatibility and gluing into a global object; ideal closure and quotient geometry provide the specialization.

Hierarchy path (1) — routes to 1 parentless root

Ideal sheaf → is a kind of Local-to-Global Aggregation

Neighborhood in Abstraction Space¶

Ideal sheaf sits in a crowded region of the domain-specific corpus (27^th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Sheaf Theory & Algebraic Geometry (12 abstractions)

Nearest neighbors

Coherent sheaf — 0.91
Ringed Space — 0.90
Direct image with compact support — 0.89
Sheaf of algebras — 0.89
Completion of a ring — 0.88

Computed from structural-signature embeddings · 2026-10-25

Not to Be Confused With¶

Ideal. A subset of one ring closed under addition and multiplication by arbitrary ring elements.
Sheaf of modules. A broader module-valued sheaf that need not be a subsheaf of the structure sheaf.
Closed subset. The topological support omits nilpotent and scheme-structure data.
Structure sheaf of a closed subscheme. The quotient \(\mathcal O_X/\mathcal I\), not the kernel ideal itself.

References¶

[1] The Stacks Project Authors, 'Immersions of schemes,' Tag 01IM, especially the quasi-coherent kernel ideal of a closed immersion, version accessed 2026-08-30, https://stacks.math.columbia.edu/tag/01IM. registry ↩a ↩b Show verification details

[2] The Stacks Project Authors, 'Closed immersions and quasi-coherent sheaves,' Tag 01QX, version accessed 2026-08-30, https://stacks.math.columbia.edu/tag/01QX. registry ↩a ↩b

[3] Robin Hartshorne, Algebraic Geometry, Springer, 1977, chapter II, DOI 10.1007/978-1-4757-3849-0. registry ↩