.
Ind-scheme
In algebraic geometry, an ind-scheme is a set-valued functor that can be written (represented) as a direct limit (i.e., inductive limit) of closed embedding of schemes.
Examples
\( \mathbb{C}P^{\infty} = \varinjlim \mathbb{C}P^N \)is an ind-scheme.
Perhaps the most famous example of an ind-scheme is an infinite grassmannian (which is a quotient of the loop group of an algebraic group G.)
See also
formal scheme
References
A. Beilinson, Vladimir Drinfel'd, Quantization of Hitchin’s integrable system and Hecke eigensheaves on Hitchin system, preliminary version [1]
V.Drinfeld, Infinite-dimensional vector bundles in algebraic geometry, notes of the talk at the `Unity of Mathematics' conference. Expanded version
http://ncatlab.org/nlab/show/ind-scheme
Undergraduate Texts in Mathematics
Graduate Studies in Mathematics
Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License
