Ind-Scheme¶
A functor presented as a filtered direct limit of schemes along closed immersions.
Core Idea¶
An ind-scheme extends scheme-based algebraic geometry by presenting a functor as a filtered colimit of schemes along closed immersions. Each stage is an ordinary scheme, and the directed system embeds smaller stages into larger ones. The colimit is interpreted functorially, not simply as a large set of points. This precise stage relation distinguishes an ind-scheme from any object casually called infinite-dimensional.
Infinite projective space formed from Pⁿ is a transparent example. Affine Grassmannians are a deeper one used in geometric representation theory and geometric Satake. A finite ordinary scheme can count through a constant presentation; infinite size is not the formal criterion. A formal scheme built through inverse limits of infinitesimal thickenings is a neighboring but directionally different construction. Claims about topology, smoothness, or dimension require their own stage-sensitive definitions.
Structural Signature¶
Sig role-phrases:
- functorial object — Assigns compatible sets to test schemes rather than naming only an informal infinite union. It is constitutive. Counterfactual: A bare set with no functorial structure does not specify an ind-scheme.
- filtered stage system — Organizes finite-stage schemes by a directed index so later stages absorb earlier data. It is constitutive. Counterfactual: An unrelated collection of schemes lacks a directed colimit presentation.
- closed immersions — Embed each stage as a closed subscheme of a later stage. It is constitutive. Counterfactual: Arbitrary transition maps need not define this ind-scheme presentation.
- colimit relation — Makes functorial points accessible through compatible finite stages. It is constitutive. Counterfactual: A single fixed finite stage does not express the intended growing presentation, though an ordinary scheme can be viewed trivially as an ind-scheme.
- geometric-use boundary — Lets constructions such as affine Grassmannians be studied through finite-dimensional strata. It is boundary. Counterfactual: Not every infinite-dimensional space admits the required scheme-and-closed-immersion description.
What It Is Not¶
- Any infinite set. Size without a scheme-valued filtered presentation is insufficient.
- Arbitrary direct limit. The transition maps must be closed immersions in the stated definition.
- Formal scheme. Inverse-limit thickening behavior is not this filtered ind-construction.
- Only infinite-dimensional objects. An ordinary scheme can be viewed as a constant ind-scheme.
- Closest near-miss. A filtered diagram of schemes joined by arbitrary non-closed maps resembles the notation of an ind-scheme but fails the closed-immersion transition test; by contrast, a constant ordinary-scheme diagram does qualify.
Scope of Application¶
- Infinite projective geometry. Interpret P∞ through compatible finite projective stages.
- Affine Grassmannians. Track how a large moduli functor admits finite-dimensional approximations.
- Geometric Satake. Read ind-geometric constructions without treating the limit as one finite scheme.
- Definition checking. Test directedness and closed immersions rather than informal infinite-size language.
Clarity¶
Ask for the functor, the indexed schemes, their closed embeddings, and the colimit relation. A sequence of spaces with arbitrary maps is a near miss because it lacks the specified transition type. An ordinary scheme is not excluded merely for being finite: a constant diagram qualifies. A formal scheme instead uses an inverse-thickening construction and should not be relabeled by similarity.
Manages Complexity¶
A filtered presentation turns a potentially unbounded geometric object into compatible finite-stage questions. The compression helps define points and constructions, but it can hide whether a property is stable under the embeddings or whether a different presentation changes a proposed argument.
Abstract Reasoning¶
- Identify the set-valued functor rather than only its point set.
- List the scheme stages and their directed index relation.
- Verify that transition morphisms are closed immersions.
- Describe how stage data pass into the colimit.
- Test any geometric property stage-by-stage before carrying it to an affine-Grassmannian or other use.
Knowledge Transfer¶
The filtered closed-immersion pattern transfers from projective-space towers to qualifying Grassmannian constructions. A particular Satake theorem or finite-stage geometric property does not transfer to another ind-scheme without its own compatible proof; arbitrary direct limits and inverse formal schemes are outside this construction.
Examples¶
Canonical¶
The standard inclusions P⁰ ↪ P¹ ↪ P² ↪ ··· give an ind-projective space P∞ as a direct limit. Each finite projective scheme contributes compatible points through a closed embedding, while the resulting object is not one fixed finite-dimensional projective space.
Mapped back: functorial object → P∞ on test schemes; filtered stage system → Pⁿ for increasing n; closed immersions → standard Pⁿ into Pⁿ⁺¹ inclusions; colimit relation → union over finite projective stages; geometric-use boundary → finite-stage calculations, not one finite dimension.
Applied / In Practice¶
The affine Grassmannian in geometric Satake theory is handled as an ind-scheme built from finite-dimensional approximations. Zhu's published treatment uses that geometry to connect sheaf-theoretic constructions with representations, not to claim every infinite-dimensional moduli problem is an ind-scheme.
Mapped back: functorial object → affine-Grassmannian moduli functor; filtered stage system → finite-dimensional approximating strata; closed immersions → compatible closed stage embeddings; colimit relation → ind-scheme presentation of the Grassmannian; geometric-use boundary → geometric Satake setting.
Structural Tensions¶
T1 — Infinite Object versus Finite-Stage Control. The colimit packages unbounded geometry through finite pieces, but properties must be checked against transition compatibility.
Diagnostic: Which property survives passage from each stage to the limit?
T2 — Presentation versus Intrinsic Object. Different filtered presentations may describe the same functor while an arbitrary sequence may fail the closed-immersion requirement.
Diagnostic: Is the claimed identity presentation-independent?
Structural–Framed Character¶
A provisional portable skeleton is directed assembly of compatible finite stages. An ind-scheme is a functor presented as a filtered colimit of schemes through closed immersions; formal schemes use a different inverse/adic construction.
Evaluative weight: Low; infinite-dimensional convenience is a use, not membership criterion. Human-practice-bound: Low mathematically, though a presentation is chosen. Institutional origin: Algebraic geometry supplies terminology; colimit structure establishes the identity. Vocabulary travels: Projective-space towers and qualifying Grassmannians may fit after checking embeddings. Import versus recognize: Recognize an ind-scheme by filtered closed-immersion presentation; arbitrary infinite unions import missing compatibility.
Its character: A formal ind-geometric object with portable stagewise assembly and scheme-specific morphisms.
Structural Core vs. Domain Accent¶
Skeletal core. Compatible finite stages assemble into a directed limiting object.
Domain-bound accent. The stages are schemes, maps are closed immersions, and the result is a functorial filtered colimit.
Why not prime. Directed assembly is broad; inverse formal schemes or unstructured unions are not this construction.
Instantiates / Related Primes¶
-
Related — formal scheme. Both extend ordinary schemes, but formal schemes typically involve inverse systems of thickenings rather than this filtered closed-immersion colimit.
-
Related — derived scheme. A derived enhancement changes the homotopical structure of a scheme; it does not automatically supply an ind-presentation.
Neighborhood in Abstraction Space¶
Ind-Scheme sits in a moderately populated region (50th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Recursive Construction Schemes (8 abstractions)
Nearest neighbors
- Accessible category — 0.86
- Simplicial Localization — 0.86
- Injective and Projective Model Structure — 0.86
- Direct Limit — 0.86
- Monoidal Natural Transformation — 0.86
Computed from structural-signature embeddings · 2026-10-08
Not to Be Confused With¶
- Infinite set. Tell: Are there scheme stages and a functorial colimit?
- Formal scheme. Tell: Is the construction an inverse thickening rather than a filtered union?
- Derived scheme. Tell: Is homotopical structure being confused with ind-size?
- Infinite-dimensional manifold. Tell: Are the transition objects schemes with closed immersions?
References¶
- Xinwen Zhu, An introduction to affine Grassmannians and the geometric Satake equivalence: https://arxiv.org/abs/1603.05593
- Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Ind-scheme (revision 1244008653).
- Preserved source candidate: http://www.math.uchicago.edu/~mitya/langlands/hitchin/BD-hitchin.pdf
- Preserved source candidate: https://web.archive.org/web/20150105083234/http://www.math.uchicago.edu/~mitya/langlands/hitchin/BD-hitchin.pdf
- Preserved source candidate: http://www.math.uchicago.edu/~mitya/langlands/gelf.pdf
- Preserved source candidate: http://ncatlab.org/nlab/show/ind-scheme
The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.