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\). 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.

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.

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.

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

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.

Abstract Reasoning

1. 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.
2. 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.

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.

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