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: This cannot end well.

gollark: Oh, well, I have a bit of node.js running locally which mashes it stupidly fast.

gollark: I'm amazed the ~~raspberry pi~~ server is handling this okay.

gollark: That's a good idea. I experimented with just throttling it per socket but that works too.

gollark: The amount of web is now changing too fast to accurately read.

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.