In Galois Deformation Rings we discussed the dual numbers as well as the concept of deformations. The dual numbers are numbers with an additional “tangent direction” or a “derivative” – we can further take into account higher order derivatives to consider deformations, which leads us to the concept of deformations.
In this post, we will consider spaces related to deformations, called formal schemes. Let us begin with a motivating example. Consider a field . From algebraic geometry, we know that the underlying topological space of the scheme is just a single point. What about the dual numbers, which is the ring . What is the underlying topological space of the scheme ? It turns out it is also just the point!
So as far as the underlying topological spaces go, there is no difference between and – they are both just points. This is because they both have one prime ideal. For this is the ideal , which is also its only ideal that is not itself. For , its one prime ideal is the ideal ; note that the ideal in is not prime, which is related to this ring not being an integral domain. However a scheme is more than just its underlying topological space, one also has the data of its structure sheaf, i.e. its ring of regular functions, and in this regard and are different.
We sometimes consider as a “thickening” of – they are both just the point, but the functions on have derivatives, as if there were tangent directions on the point that is the underlying space of on which one can move “infinitesimally”, unlike on the point that is the underlying space of .
Just like in our discussion in Galois Deformation Rings, we may want to consider not only the “first-order derivatives” which appear in the dual numbers but also “higher-order derivatives”; we may even want to consider all of them together. This amounts to taking the inverse limit , which is the formal power series ring . However, if we take , we will see that it actually has two points, a “generic point” (corresponding to the ideal , which is prime because is an integral domain) and a “special point” (corresponding to the ideal , which is also prime and furthermore the lone maximal ideal), unlike or (or more generally , for any , justified by similar reasons to the preceding argument).
This is where formal schemes come in – a formal scheme can express the “thickening” of some other scheme, with all the “higher-order derivatives”, where the underlying topological space is the same as that of the original scheme but the structure sheaf might be different, to reflect this “thickening”.
A topological ring is a ring equipped with a topology such that the usual ring operations are continuous with respect to this topology. In this post we will mostly consider the -adic topology, for some ideal called the ideal of definition. This topology is generated by a basis consisting of sets of the form , for in .
An example of a topological ring with the -adic topology is the formal power series ring which we have discussed, together with the ideal of definition . Another example is the p-adic integers , together with the ideal of definition . We note that all these examples are complete with respect to the -adic topology.
More generally for higher dimension one can take, say, an affine variety cut out by some polynomial equation, say , and consider the ring . Note that is an affine variety. Now we can form a topological ring complete with respect to the -adic topology, by taking the completion with respect to the ideal , i.e. the inverse limit of the diagram
The formation of this ring is an important step in describing the “thickening” of the affine variety , but as said above, it cannot just be done by taking the “spectrum”. Therefore we introduce the idea of a formal spectrum.
Let be a Noetherian topological ring and let be an ideal of definition. In addition, let be complete with respect to the -adic topology. We define the formal spectrum of , denoted , to be the pair , where is the underlying topological space of , and the structure sheaf is defined by setting to be the -adic completion of , for the distinguished open set corresponding to . Applied to the examples earlier, this gives us what we want – a sort of “thickening” of some affine scheme, with an underlying topological space the same as that of the original scheme but with a structure sheaf of functions with “higher-order derivatives”.
More generally, to include the “non-affine” case a formal scheme is a topologically ringed space, i.e. a pair where is a topological space and is a sheaf of topological rings, such that for any point of there is an open neighborhood of which is isomorphic as a topologically ringed space to for some Noetherian topological ring .
Aside from being useful in deformation theory, formal schemes are also related to rigid analytic spaces (see also Rigid Analytic Spaces). For certain types of formal schemes (“locally formally of finite type over “) one can assign (functorially) a rigid analytic space. For example, this functor will assign to the formal scheme the open unit disc (the interior of the closed unit disc in Rigid Analytic Spaces). This functor is called the generic fiber functor, which is an odd name, because has no “generic points”! However, there is a way to make this name make more sense using the language of adic spaces, which also subsumes the theory of both formal schemes and rigid analytic spaces, and also provides a natural home for the perfectoid spaces we hinted at in Perfectoid Fields. The theory of adic spaces will hopefully be discussed in some future post on this blog.
Formal Scheme on Wikipedia
Berkeley Lectures on p-adic Geometry by Peter Scholze and Jared Weinstein
Modular Curves at Infinite Level by Jared Weinstein
Adic Spaces by Jared Weinstein
Algebraic Geometry by Robin Hartshorne
3 thoughts on “Formal Schemes”
Pingback: Moduli Stacks of Galois Representations | Theories and Theorems
Pingback: Moduli Stacks of (phi, Gamma)-modules | Theories and Theorems
Pingback: Adic Spaces and Perfectoid Spaces | Theories and Theorems