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: v2 · 2026-08-30 · History
Domain-specific #: 2038
Origin domain: algebraic geometry
Subdomain: sheaves of ideals and closed subschemes

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.

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.

The proposed strict upward parent is prime: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. The edge is proposal-only and points to a frozen prior-baseline Prime.

The entry does not collapse into the parent because 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 A thematic neighbor is declined whenever it does not literally subsume that rule.

The prospective workspace queue contains one strict upward edge to prime:local_to_global_aggregation. No live DAG mutation is authorized.

Relationships to Other Abstractions¶

Current abstraction Ideal sheaf Domain-specific

Parents (1) — more general patterns this builds on

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

The proposed strict upward parent is prime:local_to_global_aggregation.

Hierarchy path (1) — routes to 1 parentless root

Ideal sheaf → Local-to-Global Aggregation

Neighborhood in Abstraction Space¶

Ideal sheaf sits in a moderately populated region (45^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Sheaves, Topoi & Algebraic Spaces (16 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-09-08

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

[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 ↩