Consider the field of -adic numbers . An element of may be written in the form
with each being an element of the finite field . Let us compare this with the field of Laurent series in one variable over . An element of may be written in the form
We see that they look very similar, even though is characteristic , and is characteristic .
How far can we push this analogy? The fact that one is in characteristic , and the other is characteristic means we cannot ask for an isomorphism of fields. However, the Fontaine-Wintenberger theorem gives us another connection between and – if we modify them by adjoining -power roots of and respectively. This theorem states that the fields and have the same absolute Galois group! By the fundamental theorem of Galois theory, this means the category formed by their extensions will be equivalent as well.
We now let denote the completion of , and we let suggestively denote the completion of . Completing these fields does not change their absolute Galois groups, so the absolute Galois groups of and remain isomorphic. We say that the characteristic field is the tilt of the characteristic field , and that is an untilt of (note the subtle change in our choice of article – untilts are not unique).
In this post, we will explore these kinds of fields – which are called perfectoid fields – and the process of tilting and untilting that bridges the world of characteristic and characteristic . After Fontaine and Wintenberger came up with their famous theorem their ideas have since been developed into even more general and even more powerful theories of perfectoid rings and perfectoid spaces – but we will leave these to future posts. For now we concentrate on the case of fields.
First let us look at a much more primitive example of bridging the world of characteristic and characteristic . Consider (characteristic ). It has a ring of integers , whose residue field is (characteristic ). To got the other way, starting from we can take its ring of Witt vectors, which is . Then we take its field of fractions which is .
More generally, there is a correspondence between characteristic discretely valued complete fields whose uniformizer is and characteristic fields which are perfect, i.e. for which the Frobenius morphism is bijective, and the way to go from one category to the other is as in the previous paragraph.
This is a template for “bridging the world of characteristic and characteristic “. However, we may want more, something like the Fontaine-Wintenberger theorem where the characteristic object and the characteristic object have isomorphic absolute Galois groups. We will be tweaking this basic bridge in order to create something like Fontaine-Winterger theorem, and these tweaks will lead us to the notion of a perfectoid field. However, we already have isolated one property that we want from such a “perfectoid” field:
The first property that we want from a perfectoid field is that it has to be nonarchimedean. This allows us to have a “ring of integers” that serves as an intermediary object between the two worlds, as we have seen above.
Now let us concentrate on the Fontaine-Wintenberger theorem. To understand this phenomenon better, we need to make use of a version of the fundamental theorem of Galois theory, which allows us to think in terms of extensions of fields instead of their Galois groups. More properly, we want an equivalence of categories between the “Galois categories” of certain extensions of these “base” fields and this will be the property of these base fields being perfectoid. Now the problem is that the extensions that we are considering may not fit into the primitive correspondence we stated above – for example the corresponding characteristic object may not be perfect, i.e. the Frobenius morphism may not be surjective.
The fix to this is a kind of “perfection”, which is the tilting functor we mentioned earlier. Let be a ring. The tilt of , denoted is defined to be the inverse limit
In other words, an element of is an infinite sequence of elements of the quotient such that , , and so on. We want to be a ring, so we define it to have componentwise multiplication, i.e.
However the addition is going to be more complicated. We define it, for each component, as follows:
At this point we take the opportunity to define another important concept in the theory of perfectoid fields (and rings). Let be the Witt vector functor (see also The Field with One Element). Then we give the Witt vectors of the tilt of , , a special name. We will refer to this ring as . It will make an appearance again later. For now we note that there is going to be a canonical map .
As we can see, we have defined the tilt of an arbitrary ring. This is not exclusive to the ones which are “perfectoid” whatever the definition of “perfectoid” may be (we will come to this later of course). Again what makes perfectoid fields (such as our earlier examples) special though, is that if is a perfectoid field of characteristic , then and its tilt will have isomorphic absolute Galois groups. This will actually follow from the following statement (together with some technicalities involving fiber functors and so on):
There is an equivalence of categories between the category of finite etale algebras over a perfectoid field and the category of finite etale algebras over its tilt .
This in turn will follow from the following two statements:
- Finite extensions of perfectoid fields are perfectoid.
- There is an equivalence of categories between the category of perfectoid extensions of a perfectoid field and the category of perfectoid extensions over its tilt .
This equivalence of categories is given by tilting a perfectoid extension over . This will actually give us a perfectoid extension over . However, we need a functor that goes in the other direction, a “quasi-inverse” that when composed with tilting gives us back our original perfectoid extension over (or at least something isomorphic to it, this is what the “quasi-” part means). However, we also said in an earlier paragraph that the “untilt” of a characteristic field may not be unique (two different untilts may also not be isomorphic). How do we approach this problem?
We recall again the ring defined earlier as the ring of Witt vectors of the tilt of , and we recall that it has a canonical map . If we know this map, and if we know that it is surjective, then we can recover simply by quotienting out by the kernel of the map !
The problem is that (aside from not knowing whether it is in fact surjective or not) is that we only know this map if we know that was obtained as the tilt of . If we were simply handed some characteristic field for instance we would not be able to know this map.
However, note that we are interested in an equivalence of categories between the category of perfectoid extensions over the field and the corresponding category over its tilt . By specifying these “bases” and , it is in fact enough to specify unique untilts! In other words, if we have say just some perfectoid field , we cannot determine a unique untilt for it, but if we say in addition that it is a perfectoid extension over , and we are looking for the unique untilt of it over , we can in fact find it, as long as the map is surjective.
So now how do we guarantee that is surjective? This brings us to our second property, which is that the Frobenius morphism from to itself must be surjective. This is actually the origin of the word “perfectoid”; since as above a field for which the Frobenius morphism is bijective is called perfect; hence, requiring it to be surjective is a relaxation of this condition. This condition guarantees that the map is going to be surjective.
The final property that we want from a perfectoid field is that its valuation must be non-discretely valued. The reason for this is that we want to consider infinitely ramified extensions of . The two previous conditions that we want can only be found in unramified (discretely valued) or infinitely ramified (non-discretely valued) of . We have already seen above that if we only look at the ones which are unramified then our corresponding characteristic objects will be limited to perfect -algebras, and this is not enough to give us the Fontaine-Wintenberger theorem. Therefore we will want infinitely ramified extension of , and these are non-discretely valued.
These three properties are enough to give us the Fontaine-Wintenberger theorem. To summarize – a perfectoid field is a complete, nonarchimedean field such that the Frobenius morphism from to itself is surjective and such that its valuation is non-discretely valued.
We have only attempted to motivate the definition of a perfectoid field in this post, and barely gone into any sort of detail. For that one can only recommend the excellent post by Alex Youcis on his blog The Fontaine-Wintenberger Theorem: Going Full Tilt, which inspired this post, but barely does it any justice.
Aside from the Fontaine-Wintenberger theorem, the concepts we have described here – the idea behind “perfectoid”, the equivalence of categories of perfectoid extensions that gives rise to the Fontaine-Wintenberger theorem, the idea of tilting and untilting which bridges the worlds of characteristic and characteristic , the ring , and so on, have found much application in many areas of math, from the aforementioned perfectoid rings and perfectoid spaces, to p-adic Hodge theory, and to many others.