nLab
ind-scheme

Contents

Idea

An ind-scheme is an ind-object in the category of algebraic schemes. Various variants of ‘the’ category of formal schemes is a proper subcategory of the category of ind-schemes. While many analytic varieties have a structure of algebraic varieties, and loops in a manifold or in an analytic variety can be treated via infinite-dimensional manifolds, their algebraic analogues are examples of ind-schemes.

References

Revised on July 21, 2014 06:23:57 by Urs Schreiber (89.15.239.100)