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.
Scope of Application¶
These uses require a functorial filtered presentation with closed embeddings.
- 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¶
An ind-scheme needs a functor, a filtered system of scheme stages, closed immersions between stages, and their direct limit. An arbitrary infinite set or colimit of spaces lacks that presentation. A formal scheme is the nearest structural miss because its inverse-limit thickening direction differs. Finite size is not an exclusion: an ordinary scheme can give a constant ind-presentation. Check the transition morphisms, not just the object name or its apparent dimension.
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.
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