derived smooth geometry
They do not converge as a series (and make sense) in an open set or in any of the standard topologies (e.g. Zariski and complex topology over ), but they are rather “localized” in an infinitesimal neighborhood of the origin. One would like to be able to talk about functions supported only infinitesimally (in the transverse direction) to a closed subscheme. The formal schemes of Grothendieck are ringed spaces containing the information on all infinitesimal neighborhoods. Zariski’s theorem on formal functions and establishing the theory of formal groups were some of the concrete motivations.
There are roughly four equivalent definitions of a -formal scheme for a field (check this):
Let denote the category of finite dimensional -rings (=-algebras which are rings).
A -scheme is called a -formal scheme if it is is equivalent to a codirected colimit of finite (affine) -schemes.
A -scheme is a -formal scheme if it is presented by a profinite -ring; i.e a -ring which is the limit of topologically discrete quotients which are finite -rings. If is such a topological -ring denotes the set of continous morphisms from to the topologically discrete ring . We have is a (contravariant) equivalence between the category of profinite -rings and the category of formal -schemes.
A formal -scheme is precisely a left exact (commuting with finite limits) functor .
The inclusion induces a functor
called completion functor.
If is a scheme, a closed subscheme is given by an embedding of topological spaces with the comorphism which is a surjection; but alternatively can be recovered from and the defining sheaf of ideals . Then one defines the structure sheaf of the completion as restricted to and the completion . If where is a noetherian -adic ring, and then the completion is called the formal spectrum of denoted
A (locally) noetherian formal scheme is a formal completion of a (locally) noetherian scheme along a closed subscheme. Equivalently, a locally noetherian scheme is a locally ringed space which is locally isomorphic to the formal spectrum of a complete separated adic noetherian ring.
The formal spectrum can be extended to a somewhat bigger class of topological rings than the noetherian ones; Grothendieck developed the theory in the generality of pseudocompact topological rings. However, some important rings, e.g. the ring of integers , do not have a pseudocompact topology. Thus one could try to consider a more general subcategory of ind-schemes (with at least the requirement that the ind-object be represented by a diagram where the connecting morphisms are closed immersions of schemes); one such approach is outlined in some detail in (Beilinson-Drinfeld).
Notice that the formal power series ring contains no nilpotent elements except for zero – even though each filtering stage does.
given by the sheaf which sends each ring to its nilradical
(see e.g. Strickland 00, example 4.2, example 4.18).
Classical discussion includes
Alexander Grothendieck, Géométrie formelle et géométrie algébrique, FGA 2 (Séminaire Bourbaki, t. 11, 1958/59, no. 182)
Luc Illusie, Grothendieck existence theorem in formal geometry, chapter 8 in Fantechi, Gottsche, Illusie, Kleiman, Nitsure, Vistoli, Fundamental algebraic geometry, Grothendieck’s FGA explained, Math. Surveys and Monographs 123, AMS 2005 (draft version pdf)
A. Grothendieck (avec J. Dieudonne), EGA I.10
A. Grothendieck et al. SGA III.2 (Exp. 7a, P. Gabriel, Étude infinitésimale des schémas en groupe et groupes formels; Exp. 7b, P. Gabriel, Groupes formels)
R. Hartshorne, Algebraic geometry, II.9
M. Demazure, P. Gabriel, Groupes algebriques, tome 1 (later volumes never appeared), Mason and Cie, Paris 1970
Michel Demazure, lectures on p-divisible groups web
Leovigildo Alonso, Ana Jeremias, Marta Perez, Infinitesimal lifting and Jacobi criterion for smoothness on formal schemes (arXiv:math/0604241)
More general discussion in terms of ind-schemes includes
Another approach using a certain topological extension of the Yoneda lemma on has been proposed in
Nikolai Durov has considered a flexible bigger category (which inludes the usual schemes) of covariant functors from the category of pairs where is a commutative ring and a nilpotent ideal; the correspondence between formal groups and Lie algebras based on Hausdorff series is neatly developed and used in that language; see chapters 7–9 of
For another generalization of formal schemes see
In a fundamental article in noncommutative algebraic geometry,
Kapranov introduced objects which should be interpreted as the infinitesimal neighborhoods of those commutative schemes with a closed immersion into a noncommutative scheme which is locally isomorphic to the spectrum of a free associative algebra.
And a decidedly functorial perspective is in (section 4 of)
For the scheme geometric picture behind the infinitesimal neighborhoods and D-modules see also
Some aspects of formal completions from the point of view of the derived categories are in
Alexander I. Efimov, Formal completion of a category along a subcategory, arxiv/1006.4721