At the end of Formal Schemes we hinted at the concept of adic spaces, which subsumes both formal schemes and rigid analytic spaces (see also Rigid Analytic Spaces). In this post we will define what these are, give some examples, and introduce and discuss briefly a very special type of adic spaces, the perfectoid spaces, which generalizes what we discussed in Perfectoid Fields.
We begin by discussing the rings that we will need to construct adic spaces. A topological ring (see also Formal Schemes) is called a Huber ring if it contains an open subring which is adic with respect to a finitely generated ideal of definition contained in . This means that the nonnegative powers of form a basis of open neighborhoods of . The subring is called a ring of definition for .
Here are some examples of Huber rings:
- Any ring , equipped with the discrete topology, with the ring of definition , and the ideal of definition .
- The p-adic numbers , with the p-adic topology, with the ring of definition , and the ideal of definition .
- The field of formal Laurent series over some field , with the metric topology given by the nonarchimedean valuation defined by the order of vanishing at , with the ring of definition , and the ideal of definition .
- Generalizing the previous two examples, any nonarchimedean field is an example of a Huber ring, with ring of definition and ideal of definition for some satisfying .
A subset of a Huber ring, or more generally a topological ring, is called bounded if, for any open neighborhood of , we can always find another open neighborhood of such that all the products of elements of with elements of are contained inside . An element of a Huber ring is called power bounded if the set of all its nonnegative powers is bounded. For a Huber ring we denote the set of power bounded elements by . Any element of the ring of definition will always be power bounded.
With the definition of power bounded elements in hand we give two more examples of Huber rings:
- Let be a nonarchimedean field as in the previous example, and let again be an element such that . Its set of power bounded elements is given by . Now let with the -adic topology (see also Formal Schemes), where is the ideal . Then is a Huber ring with ring of definition and ideal of definition .
- Let , , and be as above. Consider the Tate algebra (see also Rigid Analytic Spaces), a topological ring whose topology is generated by a basis of open neighborhoods of given by . Then is a Huber ring with ring of definition given by and ideal of definition given by .
A subring of a Huber ring which is open, integrally closed, and power bounded is called a ring of integral elements. A Huber pair is a pair consisting of a Huber ring and a ring of integral elements contained in . Note that the set of power bounded elements, , is itself an example of a ring of integral elements! In fact, in many examples that we will consider the relevant Huber pair will be of the form .
Now we introduce the adic spectrum of an Huber pair , denoted . They will form the basic building blocks of adic spaces, like affine schemes are to schemes or affinoid rigid analytic spaces are to rigid analytic spaces. We will proceed in the usual manner; first we define the underlying set, then we put a topology on it, and then construct a structure sheaf – except that in the case of adic spaces, what we will construct is merely a structure presheaf and may not always be a sheaf! Then we will define more general adic spaces to be something that locally looks like the adic spectrum of some Huber pair.
The underlying set of the adic spectrum is the set of equivalence classes of continuous valuations on such that whenever is in . From now on we will change our notation and let denote a continuous valuation, and we write for an element of , so that we can write instead of , to drive home the idea that these (equivalence classes of) continuous valuations are the points of our space, on which elements of our ring are functions.
The underlying topological space of is then obtained from the above set by equipping it with the topology generated by the subsets of the form
for all .
Let us now define the structure presheaf. First let us define rational subsets. Let be a subset of such that the set consisting of all products of elements of with elements of is an open subset of . We define the rational subset
for all . If is a rational subset of the Huber pair , then there is a Huber pair such that the map factors through and this map is universal among such maps.
Now we define our structure presheaf by assigning to any open set the Huber pair where where the limit is taken over all inclusions of rational subsets , and is similarly defined.
Again, the structure presheaf of may not necessarily be a sheaf; in the case that it is, we say that the Huber pair is sheafy. In this case we will also refer to (the underlying topological space together with the structure sheaf) as an affinoid adic space. We can now define more generally an adic space as the data of a topological space , a structure sheaf , and for each point of , an equivalence class of continuous valuations on the stalk , such that it admits a covering of ‘s giving rise to the data of a structure sheaf and a collection of valuations, all of which is isomorphic to that given by an affinoid adic space.
Recall that we said above that the set of power-bounded elements, , is an example of a ring of integral elements. Therefore is an example of a Huber pair. It is convention that, if our Huber pair is given by we write instead of . Let us now look at some examples of adic spaces.
Consider (which by the previous paragraph we may also simply write as , since is the set of power-bounded elements of ). Then the underlying topological space of consists of one point, corresponding to the usual p-adic valuation on .
Next we consider (which by the same idea as above we may write as ). The underlying topological space of now consists of two points, one of which is open, and one of which is closed. The open (or “generic”) point corresponds once again to the usual p-adic valuation restricted to . The closed point is the valuation which sends any which contains a power of to , and sends everything else to .
More complicated is , also known as the adic closed unit disc. We can compare this with the closed unit disc discussed in Rigid Analytic Spaces. In that post we the underlying set of the closed unit disc was given by the set of maximal ideals of . But every such maximal ideal gives rise to a continuous valuation on . So every point of the rigid analytic closed unit disc gives rise to a point of the adic closed unit disc. But the adic closed unit disc has more points!
An example of a point of the adic closed unit disc is as follows. Let be the ordered abelian group , where is such that for all real numbers in this order. Define a continuous valuation on as follows:
This valuation defines a point of the adic closed unit disc. This valuation sees as being infinitesimally less than , i.e. , but for all in . This point serves a useful purpose. Recall in Rigid Analytic Spaces that we were unable to disconnect the closed unit disc into two open sets (the “interior” and the “boundary”) because of the Grothendieck topology. In this case we do not have a Grothendieck topology but an honest-to-goodness actual topology, but still we will not be able to disconnect the adic closed unit disc into the analogue of these open sets. This is because the disjoint union of the open sets and will not miss the point , so just these two will not cover the adic closed unit disc.
Finally let us consider . This is the adic open unit disc. This has a map to , and the preimage of the generic point of is called the generic fiber (this generic fiber may also be thought of as the adic open unit disc over , which makes it more comparable to the example of the adic closed unit disc earlier). The adic open unit disc has many interesting properties (for example it is useful to study in closer detail if one wants to study the fundamental curve of p-adic Hodge theory, also known as the Fargues-Fontaine curve) but we will leave this to future posts.
Let us now introduce a very special type of adic space. First we define a very special type of Huber ring. We say that a Huber ring is Tate if it contains a topologically nilpotent unit (also called a pseudo-uniformizer). An element is topologically nilpotent if its sequence of powers converges to . For example, the Huber ring (as discussed above) is Tate, with pseudo-uniformizer given by .
If, in addition to being Tate, the Huber ring is complete, uniform (which means that is bounded in ), and contains a pseudo-uniformizer such that in and the p-th power map map is an isomorphism, then we say that is perfectoid. As can be inferred from the name, this generalizes the perfectoid fields we introduced in Perfectoid Fields. We recall the important property of perfectoid fields (which we can now generalize to perfectoid rings) – if is perfectoid, then the category of finite etale -algebras is equivalent to the category of finite etale -algebras, where is the tilt of . For fields, this manifests as an isomorphism of their absolute Galois groups, which generalizes the famous Fontaine-Wintenberger theorem.
A perfectoid space is an adic space which can be covered by affinoid adic spaces , where is perfectoid. If is a perfectoid space, we can associate to it its tilt , by taking the tilts of the affinoid adic spaces that cover and gluing them together. In fact, for a fixed perfectoid space , there is an equivalence of categories between perfectoid spaces over , and perfectoid spaces over . This is the geometric version of the equivalence of categories of finite etale algebras over a perfectoid ring and its tilt. In addition, although we will not do it in this post, one can define the etale sites of and , and these will also be equivalent.
To end this post, we mention some properties of perfectoid spaces that make it useful form some applications. It turns out that if is a smooth rigid analytic space, it always has a pro-etale cover by affinoid perfectoid spaces. A pro-etale map may be thought of as a completed inverse limit , where each is an etale map. An example of a pro-etale cover is as follows. If we let be the perfectoid field given by the completion of (this is somewhat similar to the example involved in the Fontaine-Wintenberger theorem in Perfectoid Fields), then is a pro-etale cover of . To see why this is pro-etale, note that a finite separable extension of fields is etale, and is the completion of the infinite union (direct limit) of such finite separable extensions of , but looking at the adic spectrum means the arrows go the other way, which is why we think of it as an inverse limit.
Another property of perfectoid spaces is the following. If is a perfectoid affinoid space over , then for all (this is the cohomology of the sheaf of functions bounded by on the etale site of ) is annihilated by the maximal ideal of . We also say that is almost zero.
Together, what these two properties tell us is that we can compute the cohomology of a smooth rigid analytic space via the Cech complex associated to its covering by perfectoid affinoid spaces. This has been applied in the work of Peter Scholze to the mod p cohomology of the rigid analytic space associated to a Siegel modular variety, in order to relate it to Siegel cusp forms (see also Siegel modular forms). In this case the covering by perfectoid affinoid spaces is provided by a Siegel modular variety at “infinite level”, which happens to have a map (called the period map) to a Grassmannian (the moduli space of subspaces of a fixed dimension of some fixed vector space), and there are certain properties that we can then make use of (for instance, the line bundle on the Siegel modular variety whose sections are cusp forms can be obtained via pullback from a certain line bundle on the Grassmannian) together with p-adic Hodge theoretic arguments to relate the mod p cohomology to Siegel cusp forms.
All this has the following stunning application. Recall that in we may obtain Galois representations from cusp forms (see for example Galois Representations Coming From Weight 2 Eigenforms). This can also be done for Siegel cusp forms more generally. These cusp forms live on a modular curve or Siegel modular variety, which are obtained as arithmetic manifolds, double quotients of a real Lie group (in this case the symplectic group) by a maximal compact open subgroup and an arithmetic subgroup . But they are also algebraic varieties, so can be studied using the methods of algebraic geometry (see also Shimura Varieties). For example, we can use etale cohomology to obtain Galois representations.
But not all arithmetic manifolds are also algebraic varieties! For instance we have Bianchi manifolds, which are double quotients , where can be, say, a congruence subgroup of (or we can also replace with the ring of integers of some other imaginary quadratic field). The groups involve look complex, but the theory of algebraic groups and in particular the method of Weil restriction allows us to look at them as real Lie groups. This is not an algebraic variety (one way to see this is that is hyperbolic 3-space, so a Bianchi manifold has 3 real dimensions and as such cannot be related to an algebraic variety the way a complex manifold can).
Still, it has been conjectured that the singular cohomology (in particular its torsion subgroups) of such arithmetic manifolds which are not algebraic varieties can still be related to Galois representations! And for certain cases this has been proved using the following strategy. First, these arithmetic manifolds can be found as an open subset of the boundary of an appropriate compactification of a Siegel modular variety. Then, methods from algebraic topology (namely, the excision long exact sequence) allow us to relate the cohomology of the arithmetic manifold to the cohomology of the Siegel modular variety.
On the other hand, by our earlier discussion, the covering of the (rigid analytic space associated to the) Siegel modular variety by affinoid perfectoid spaces given by the Siegel modular variety at infinite level, together with the period map of the latter to the Grassmannian, allows one to show that the mod p cohomology of Siegel modular varieties is related to Siegel cusp forms, and it is known how to obtain Galois representations from these. Putting all of these together, this allows us to obtain Galois representations from the cohomology of manifolds which are not algebraic varieties.
A deeper look at aspects of perfectoid spaces, as well as their generalizations and applications (including a more in-depth look at the application to the mod p cohomology of Siegel modular varieties discussed in the previous couple of paragraphs), will hopefully be discussed in future posts.
Perfectoid space on Wikipedia
Adic spaces by Jared Weinstein
Berkeley lectures on p-adic geometry by Peter Scholze and Jared Weinstein
Reciprocity laws and Galois representations: recent breakthroughs by Jared Weinstein
Lecture notes on perfectoid Shimura varieties by Ana Caraiani
On torsion in the cohomology of locally symmetric varieties by Peter Scholze
p-adic Hodge theory for rigid analytic varieties by Peter Scholze