The Fontaine-Winterberger theorem: going full tilt

This is the first in a series of posts whose goal is quite ambitious. Namely, we will attempt to give an intuitive explanation of why the recent push of several prominent mathematicians (Fargues, Scholze, etc.) to ‘geometrize’ the ‘arithmetic’ local Langlands program is intuitively feasible (at least, why it seems intuitive to me!) and, more to the point, to understand some of the major objects/ideas necessary to discuss it.

The goal of this post, in particular, is to try and understand why perfectoid fields (of which perfectoid spaces, their more corporeal counterparts) are natural objects to consider. This is far from a historical account of perfectoid fields and tilting, of which I am far from knowledgable. Instead, this is more in the style of Chow’s excellent You Could Have Invented Spectral Sequences explaining how one might have arrived at the definition of perfectoid fields by ‘elementary considerations’.

This post is somewhat out of order. In some magical world where I actually planned out my posts, this would have been situated less anteriorly but, as we’re constantly reminded, we do not live in a perfect world!

Some motivation for p-adic Hodge theory

These are some notes that I wrote for a learning course at Berkeley–the goal being to understand the statement of the global Langlands conjecture.

The goal of the talk (that these notes were written for) was, specifically, to motivate $p$-adic Hodge theory with an eye, in particular, towards where it might be useful in understanding the statement of Langlands.

These are even less edited than usual, so I profusely apologize for any mistakes. As always, corrections/comments are very welcome!

Notes

A computation a day: a pullback pushforward

In this post we compute the Galois representation $i^\ast R^m j_\ast\mathbb{Q}_\ell$ where $j:\mathbb{G}_{m,\overline{k}}\hookrightarrow\mathbb{A}^1_k$ is the natural inclusion and $i:\text{Spec}(k)\hookrightarrow \mathbb{A}^1_k$ is the inclusion of the origin.

Around abelian schemes over the integers

This is the transcription to blog format of a talk I gave at the UC Berkeley Student Arithmetic Geometry Seminar about several topics related to Fontaine’s famous result that there are no abelian schemes over $\mathbb{Z}$.

p-divisible groups, formal groups, and the Serre-Tate theorem

In this post we discuss the basic theory of p-divisible groups, their relationship to formal groups, and the Serre-Tate theorem.