The Fundamental Curve of p-adic Hodge Theory, Part II

This is a second post from JW, following on from Part I.

The Galois group of $\mathbb{Q}_p$ as a geometric fundamental group.

In this follow-up post, I’d like to relay something Peter Scholze told me last fall. It concerns the Galois group $\mathrm{Gal}(\overline{\mathbb{Q}}_p/\mathbb{Q}_p)$ , and how this is isomorphic to the étale fundamental group of some geometric object $Z$ , which is defined over an algebraically closed field. (Of course, $\mathrm{Gal}(\overline{\mathbb{Q}}_p/\mathbb{Q}_p)$ is isomorphic to the étale fundamental group of $\mathrm{Spec}(\mathbb{Q}_p)$ , but that’s tautological.) We can even ask that this isomorphism be “natural” in the sense that there is an equivalence of categories between finite étale covers of $Z$ and finite étale $\mathbb{Q}_p$ -algebras. This is the sense in which the absolute Galois groups of a perfectoid field $F$ and its tilt $F^\flat$ are naturally isomorphic, cf. the comments following my first post. Anyway, one afternoon during his visit to Boston, Scholze told me the following theorem:

Theorem 1. Let $C$ be a complete algebraically closed valued field containing $\mathbb{Q}_p$ . There exists an “object” $Z$ defined over $C$ , which has the property that there is an equivalence of categories between finite étale covers of $Z$ and finite étale $\mathbb{Q}_p$ -algebras.

(I will explain later what sort of thing $Z$ actually is–in brief, it is the quotient by $\mathbb{Q}_p^\times$ of the punctured perfectoid open disc over $C$ .)

Incredulous, I demanded an explanation, which he gave later that evening, at an Indian restaurant in Harvard Square, with Hadi Hedayatzadeh also present. I left this conversation with a giddy feeling that Theorem 1 could bring a lot of clarity to the local Langlands program. Geometry is easier than arithmetic, after all. If you want to classify representations of $\mathrm{Gal}(\overline{\mathbb{Q}}_p/\mathbb{Q}_p)$ , now all you have to do is classify local systems on $Z$ , which is surely easier. I envisioned the $p$ -adic local Langlands correspondence for $GL(n)$ falling away in a tidy puff.

None of this came to pass (yet). Still, Scholze’s theorem and its proof are really elegant stuff. What follows is a motivated exposition of two curry-stained pages of notes from that conversation last fall. In what follows, $E$ will always refer to a perfectoid field in characteristic $p$ , and $F$ will always refer to a perfectoid field in characteristic 0, the idea being that $E=F^{\flat}$ as usual.

In the last post, we considered the tilting process $F\mapsto F^{\flat}$ , which inputs a perfectoid field in characteristic 0 and outputs a perfectoid field in characteristic $p$ . Then there is an equivalence of categories between étale $F$ -algebras and étale $F^\flat$ -algebras.

The tilting process works in families as well:

Theorem 2. Let $X$ be a perfectoid space over a perfectoid field $F$ in characteristic 0. Then $X^{\flat}$ is a perfectoid space over $F^\flat$ , whose underlying topological space is homeomorphic to that of $X$ . There is an equivalence of étale sites $X_{\text{et}}\cong X^{\flat}_{\text{et}}$ .

Thus if we have a perfectoid space in characteristic $p$ , any two of its un-tilts have equivalent étale sites (and therefore the same étale fundamental group). This draws our attention to the problem of un-tilting entire perfectoid spaces. Theorem 1 will be proved by un-tilting a certain perfectoid space in two ways: one will involve the mysterious object $Z$ , and the other will involve the Fargues-Fontaine curve.

Adic spaces and perfectoid spaces.

We need a little background on adic spaces and perfectoid spaces. Let me just recall the main gadgets: one starts with a pair $(R,R^+)$ consisting of a topological ring $R$ and a bounded open subring $R^+$ , such that the topology on $R$ is induced by an ideal of $R^+$ (there are other restrictions as well). Then $X=\mathrm{Spa}(R,R^+)$ is the set of equivalence classes of continuous valuations $\left\lvert\;\right\rvert$ on $R$ which satisfy $\left\lvert{f}\right\rvert\leq 1$ for all $f\in R^+$ . Under the right hypotheses on $(R,R^+)$ , $X$ forms a topological space equipped two sheaves of rings $\mathcal{O}_X$ and $\mathcal{O}_X^+$ , whose global sections are $R$ and $R^+$ , respectively. General adic spaces are formed by gluing together affinoid spaces of the form $\mathrm{Spa}(R,R^+)$ .

A basic example is $\mathrm{Spa}(\mathbb{Z}_p,\mathbb{Z}_p)$ , which has two valuations: the one with $\lvert{p}\rvert=0$ (the special point) and the one with $\lvert{p}\rvert\neq 0$ (the generic point, which we’ll call $\eta_{\mathbb{Q}_p}$ ). Another is $\mathrm{Spa}(\mathbb{Q}_p\langle t \rangle,\mathbb{Z}_p\langle t \rangle)$ , which is the adic version of the closed unit disc (note that $\lvert{t}\vert \leq 1$ for all valuations $\lvert{\;}\vert$ ). (This is like the Berkovich unit disc but with another class of exotic points added, corresponding to valuations of rank 2.) If that’s the closed disc, what’s the open disc? (It can’t be of the form $\mathrm{Spa}(R,R^+)$ , since affinoids are always compact.) One way to construct it is to glue together an ascending sequence of closed discs, but the most direct way is to start with $\mathrm{Spa}(\mathbb{Z}_p\llbracket t \rrbracket,\mathbb{Z}_p\llbracket t \rrbracket)$ and to take its fiber over the generic point of $\mathrm{Spa}(\mathbb{Z}_p,\mathbb{Z}_p)$ , meaning the set of continuous valuations on $\mathbb{Z}_p\llbracket t \rrbracket$ for which $\lvert{p}\vert\neq 0$ . This is the generic fiber of the formal unit disc $\mathrm{Spf} \ \mathbb{Z}_p\llbracket t \rrbracket$ . We will write this as $(\mathrm{Spf} \ \mathbb{Z}_p\llbracket t \rrbracket)_{\eta}$ , where $\eta=\eta_{\mathbb{Q}_p}=\mathrm{Spa}(\mathbb{Q}_p,\mathbb{Z}_p)$ is the generic point of $\mathrm{Spa}(\mathbb{Z}_p,\mathbb{Z}_p)$ .

Now if $K$ is a perfectoid field, one has the notion of a perfectoid affinoid $\mathrm{Spa}(R,R^+)$ over $K$ : this means approximately that $R$ is a $K$ -algebra, $R^+$ is an $\mathcal{O}_K$ -algebra, and the Frobenius map is surjective on $R^+/p$ . A typical example is $\mathrm{Spa}(K\langle t^{1/p^{\infty}} \rangle,\mathcal{O}_K\langle t^{1/p^{\infty}} \rangle)$ , the perfectoid closed disk. A perfectoid space over $K$ is an adic spaces admitting a covering by perfectoid affinoids over $K$ . For instance, let

$D_K=(\mathrm{Spf} \ \mathcal{O}_K\llbracket t^{1/p^\infty} \rrbracket)_{\eta}.$

I’ll call $D_K$ the perfectoid open disc over $K$ . The tilting process $X\mapsto X^{\flat}$ locally looks like $(R,R^+)\mapsto (R^{\flat},R^{\flat,+})$ , where $R^{\flat,+}=\varprojlim R^+/p$ and $R^\flat=R^{\flat,+}\otimes_{\mathcal{O}_{K^{\flat}}} K^{\flat}$ . Then $D_K^{\flat}=D_{K^{\flat}}$ , the perfectoid disc over $K^\flat$ .

Let $E$ be a perfectoid field in characteristic $p$ , and let $\varpi\in \mathcal{O}_E$ be any non-unit. Let $D_E^*$ be the punctured open disc, so that $D_E^*$ is the set of continuous valuations on $\mathcal{O}_E\llbracket t^{1/p^\infty} \rrbracket$ for which $\lvert{t}\rvert\neq 0$ and $\lvert{\varpi}\rvert\neq 0$ .

I am now going to write down two really different un-tilts of $D_E^*$ . One is simply $D_F^*$ , for any un-tilt $F$ of $E$ . For the other, we notice that $D_E^*$ isn’t just a perfectoid space over $E$ , it’s also a perfectoid space over the field $\mathbb{F}_p(\!(t^{1/p^\infty})\!)$ . That is, the map

$\mathbb{F}_p\llbracket t^{1/p^\infty} \rrbracket\to \mathcal{O}_E\llbracket t^{1/p^\infty} \rrbracket$

induces a morphism

$\mathrm{Spa}(\mathcal{O}_E\llbracket t^{1/p^\infty} \rrbracket,\mathcal{O}_E\llbracket t^{1/p^\infty} \rrbracket)\to \mathrm{Spa}(\mathbb{F}_p\llbracket t^{1/p^\infty} \rrbracket,\mathbb{F}_p\llbracket t^{1/p^\infty} \rrbracket),$

in which $D_E^*$ maps to the generic point. Thus there is a map $D_E^*\to\mathrm{Spa}(\mathbb{F}_p(\!(t^{1/p^\infty})\!),\mathbb{F}_p\llbracket t^{1/p^\infty} \rrbracket),$ and this presents $D_E^*$ as a perfectoid space over $\mathbb{F}_p\llbracket t^{1/p^\infty} \rrbracket$ . So, rather like a Necker cube which pops in and out, $D_E^*$ is simultaneously a perfectoid space over the bases $E$ and $\mathbb{F}_p\llbracket t^{1/p^\infty} \rrbracket$ .

Let $K$ be any un-tilt of $\mathbb{F}_p(\!(t^{1/p^\infty})\!)$ . The other un-tilt of $D_E^*$ will be a perfectoid space $Y_{E,K}$ over $K$ whose tilt is $D_E^*$ . Consider the ring $A= W(\mathcal{O}_E)\hat{\otimes}_{\mathbb{Z}_p} \mathcal{O}_K$ . Then we have $A/p=\mathcal{O}_E\otimes_{\mathbb{F}_p} \mathcal{O}_K/p$ , and

$\begin{aligned} \varprojlim A/p = \ & \mathcal{O}_E\hat{\otimes}_{\mathbb{F}_p} \mathcal{O}_{K^{\flat}} \\ = \ & \mathcal{O}_E\hat{\otimes}_{\mathbb{F}_p} \mathbb{F}_p\llbracket t^{1/p^\infty} \rrbracket \\ =\ & \mathcal{O}_E\llbracket t^{1/p^\infty} \rrbracket. \end{aligned}$

This calculation shows that the tilt of $(\mathrm{Spf} \ A)_{\eta_K}$ is the set of continuous valuations on $\mathcal{O}_E\llbracket t^{1/p^\infty} \rrbracket$ for which $\lvert{t}\rvert\neq 0$ . Let $Y_{E,K}=(\mathrm{Spf} \ A)_{\eta_K}\backslash\left\{0\right\},$ where $0$ refers to the valuation on $A$ pulled back from the valuation on $W(\mathcal{O}_E/\mathfrak{m}_E)\hat{\otimes}_{\mathbb{Z}_p} \mathcal{O}_K$ (which is an unramified extension of $\mathcal{O}_K$ ). That is, $Y_{E,K}$ is the set of valuations on $A$ satisfying $\lvert{p}\rvert\neq 0$ and $\lvert{[\varpi]}\rvert\neq 0$ . Then the tilt of $Y_{E,K}$ is the set of valuations on $\mathcal{O}_E\llbracket t^{1/p^\infty} \rrbracket$ satisfying $\lvert{t}\rvert\neq 0$ and $\lvert{\varpi}\rvert\neq 0$ , which is exactly $D_E^*$ .

As the notation suggests, $Y_{E,K}$ is the base change to $K$ of an adic space $Y_E$ :

$Y_E=(\mathrm{Spf} \ W(\mathcal{O}_E))_{\eta_{\mathbb{Q}_p}}\backslash\{0\},$

this being the set of continuous valuations on $W(\mathcal{O}_E)$ for which $\lvert{p}\rvert\neq 0$ and $\lvert{[\varpi]}\rvert\neq 0$ . Note that if $F$ is an un-tilt of $E$ , we get a valuation on $W(\mathcal{O}_E)$ by pulling back a valuation on $\mathcal{O}_F$ through the map $\theta\colon W(\mathcal{O}_E)\to \mathcal{O}_F$ . The valuations arising this way all satisfy $\lvert{[\varpi]}\rvert\neq 0$ . Thus $Y_E$ contains the set of un-tilts of $E$ , in a ready-made geometric object (an adic space over $\mathbb{Q}_p$ ).

RMB commented on the previous post, asking for an interpretation of the “non-classical” points of $Y_E$ . If $F$ is any perfectoid field in characteristic 0, then the $F$ -points of $Y_E$ correspond to injections $E\hookrightarrow F^{\flat}$ . The “classical” $F$ -points correspond to injections where $F^{\flat}/E$ is finite, but one expects there are plenty of points of $Y_E$ which do not arise this way.

From here it is not difficult to show that:

Proposition 1 The adic space attached to the Fargues-Fontaine curve $X_E$ is isomorphic to the quotient $((\mathrm{Spf} \ W(\mathcal{O}_E))_{\eta_{\mathbb{Q}_p}}\backslash\{0\})/\phi_E^{\mathbb{Z}}$ .

From now on I’ll use $X_E$ to denote the adic space (over $\mathbb{Q}_p$ ), rather than the projective curve; then $X_{E,K}$ is a perfectoid space, equal to $Y_{E,K}/\phi_E^{\mathbb{Z}}$ . We have shown that the tilt of $Y_{E,K}$ and is equal to $D_E^*$ . Now, the Frobenius map $\phi_E\colon E\to E$ induces an automorphism of $Y_E$ , which in turn induces an automorphism of $Y_{E,K}$ and its tilt $D_E^*$ . On the other hand, there is the automorphism $\phi_t$ of $\mathcal{O}_E\llbracket t^{1/p^\infty} \rrbracket$ , which is $\mathcal{O}_E$ -linear and sends $t$ to $t^p$ . The composition of $\phi_t$ and $\phi_E$ induces the absolute Frobenius on $\mathcal{O}_E\llbracket t^{1/p^\infty} \rrbracket$ , which induces the identity on $D_E^*$ , since $\lvert{\;}\vert$ and $\lvert{\;}\rvert^p$ are equivalent valuations. This shows that the tilt of $X_{E,K}=Y_{E,K}/\phi_E^\mathbb{Z}$ is equal to $D_E^*/\phi_t^\mathbb{Z}$ . Therefore:

Proposition 2 The étale site of $D_E^*/\phi_t^\mathbb{Z}$ is equivalent to the étale site of $X_{E,K}$ .

I would now like to specialize a bit. Let $C$ be an algebraically closed valued field containing $\mathbb{Q}_p$ . The roles of $F$ and $E$ will be played by $C$ and $C^\flat$ , respectively, and we will specialize $K$ to be the perfectoid field $\hat{\mathbb{Q}}_p(\mu_{p^\infty})$ . The above proposition tells us that the category of finite étale covers of $D_{C^{\flat}}^*/\phi_t^\mathbb{Z}$ is equivalent to the category of finite étale covers of $X_{C^{\flat},K}$ . At this point we apply a theorem of Fargues-Fontaine:

Theorem 3 After base-changing to an algebraically closed field, $X_{C^{\flat}}$ is simply connected.

This theorem is a consequence of the classification of vector bundles on $X_{C^{\flat}}$ , which winds up looking a lot like the same classification for the projective line over a field. As a consequence, there is an equivalence of categories $Y\mapsto H^0(Y,\mathcal{O}_Y)$ between finite étale covers of $X_{C^{\flat},K}$ and finite étale $K$ -algebras. Combining this with Prop. 2, we get equivalences between the following:

Finite etale covers of $D_{C^{\flat}}^*/\phi_t^\mathbb{Z}$ ,
Finite etale covers of $X_{C^{\flat},K}$ ,
Finite etale $K$ -algebras.

And therefore we get a surprising isomorphism:

$\pi_1^{\text{et}}(D_{C^\flat}^*/\phi_t^\mathbb{Z}) \cong \mathrm{Gal}(\overline{\mathbb{Q}}_p/\mathbb{Q}_p(\mu_{p^\infty})).$

All we have to do now to prove Thm. 1 is to descend this picture from $\mathbb{Q}_p(\mu_{p^\infty})$ down to $\mathbb{Q}_p$ . The group on the right has an action of $\mathrm{Gal}(\mathbb{Q}_p(\mu_{p^\infty})/\mathbb{Q}_p)\cong\mathbb{Z}_p^\times$ ; this action corresponds to an action of $\mathbb{Z}_p^\times$ on $D_{C^{\flat}}^*$ , which for $a\in\mathbb{Z}_p^\times$ is given by the familiar formula $t\mapsto (1+t)^a-1.$ These actions of $\mathbb{Z}_p^\times$ and $\phi_t^\mathbb{Z}$ combine to give an action of $\mathbb{Q}_p^\times$ on $D_{C^{\flat}}^*$ , in which $p$ acts by $t\mapsto t^p$ .

In which case, we have an equivalence

$\mathbb{Q}_p^\times$ -equivariant finite etale covers of $D_{C^\flat}^*$ ,
Finite etale $\mathbb{Q}_p$ -algebras.

Lastly, Theorem 1 promised an object $Z$ over $C$ , not $C^{\flat}$ . But now we can just use the “easy” un-tilt of $D_{C^\flat}^*$ , namely $D_C^*$ , so long as we can check that the action of $\mathbb{Q}_p^\times$ lifts to $D_C^*$ . It does, and you can even give formulas for the action of an element $a\in \mathbb{Q}_p^\times$ on $D_C^*$ (they involve limits, even for $a=p$ ).

(Pedantic note: the right way to view $D_C$ is that it is the generic fiber of $\tilde{\mu}_{p^\infty}$ , the universal cover of the multiplicative $p$ -divisible group $\mu_{p^\infty}$ over the base $\mathcal{O}_C$ . It so happens that $\tilde{\mu}_{p^\infty}$ is representable by $\mathrm{Spf} \ \mathcal{O}_C\llbracket t^{1/p^\infty} \rrbracket$ –I explain this in my Arizona Winter School lectures. Taking generic fibers, we find that $D_C$ is a $\mathbb{Q}_p$ -vector space object in the category of perfectoid spaces over $C$ , and that $\mathbb{Q}_p^\times$ acts on $D_C^*$ .)

The tilting equivalence (Thm. 2) now shows that

Theorem 4 There is an equivalence of categories between finite $\mathbb{Q}_p^\times$ -equivariant étale covers of $D_C^*$ and finite étale $\mathbb{Q}_p$ -algebras.

This is the precise form of Thm. 1 that we wanted. For the object $Z$ , we can attempt to take the quotient $D_C^*/\mathbb{Q}_p^\times$ . This quotient looks horrid–we are quotienting by a group action whose orbits are far from being discrete. But, should a reasonable category be found for $Z$ , the étale fundamental group of $Z$ can only be $\mathrm{Gal}(\overline{\mathbb{Q}}_p/\mathbb{Q}_p)$ . Brilliant!

2 Responses to The Fundamental Curve of p-adic Hodge Theory, Part II

Wholesome Breakfast says:

August 25, 2013 at 3:51 pm

So p-adic Gal(Q_pbar/Q_p)-representations are equivalent to Q_p^\times-equivariant vector bundles over D_C^*? This seems almost but not quite entirely (un)like the theory of (phi,Gamma)-modules. What is the actual relationship between these two constructions?

- PS says:
  
  August 27, 2013 at 2:13 pm
  
  Well, not exactly: You don’t get vector bundles, but Z_p – (or Q_p – ) local systems again. Nonetheless, one can regard this as some version of (phi,Gamma)-modules: Over perfectoid spaces in general, one also has a version of the equivalence between Z_p – local systems and phi-modules over an appropriate sheaf; composing the two functors gives something that can be expressed in terms of the usual (phi,Gamma)-module. Interestingly, the object D_C^* / Q_p^* is already canonically defined over Q_p, which gives rise to an object whose absolute fundamental group is the product of two copies of the absolute Galois group of Q_p. (I think it is really a product, not a semidirect product, but I didn’t check carefully.) Also, the object D_C^* / Q_p^* (or even its version over Q_p) appears naturally in Jared’s construction of the Lubin-Tate tower at infinite level.

	Naser Talebizadeh Sa… on Counting solutions to a_p =…
	PC on Irregular Lifts, Part I
	galoisrepresentation… on Irregular Lifts, Part I
	PC on Irregular Lifts, Part I
	TG on Irregular Lifts, Part I
	arithmetica on Irregular Lifts, Part I
	galoisrepresentation… on More or less OPAQUE
	A Mallard's Loose Su… on More or less OPAQUE
	adam j ginensky on The Two Cultures of Mathematic…
	Mazur’s Progra… on LMFDB!?

The Fundamental Curve of p-adic Hodge Theory, Part II

Related

2 Responses to The Fundamental Curve of p-adic Hodge Theory, Part II

Leave a Reply to PS Cancel reply

Recent Posts

Categories

Blogroll

Recent Comments

Archives

Meta