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.