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

gollark: That basically loads the `component` library and binds it to the variable `component`.

gollark: It's not some sort of magic lua mode, it just runs a program which reads input, executes it, and displays the result.

gollark: You can also just do `component.redstone`.

gollark: Well, yes, as someone who presumably had programming experience before.

gollark: Hardly. It's *useless* for teaching.

A. Beilinson, Vladimir Drinfel'd, Quantization of Hitchin’s integrable system and Hecke eigensheaves on Hitchin system, preliminary version
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

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.