I’ve been making an effort to understand rigid analytic geometry and outgrowths of it, like the theory of adic spaces, and how they’re utilized, for instance, in the theory of perfectoid spaces. Here, I’ll attempt to give an exposition of the Gross-Hopkins period map, and later describe how this is useful in homotopy theory.

Let be a complete local ring with maximal ideal , such that . Let be a (one-dimensional) formal group of height over . We can consider its sheaf of invariant differentials ; once we choose a coordinate , this is exactly .

The Dieudonne module is defined via a weaker notion: instead of looking at invariant differentials, we can look at the cohomologically invariant differentials sitting inside . This can be defined precisely as follows. Let denote the multiplication on , and let and denote the two projection maps. The invariant differentials arise as the kernel of .

If and arises as the lift of some height formal group over , the Dieudonne module is defined to be the kernel of . To make sure that this is well-defined, we need to ensure that this is independent of the lift to . The following theorem of Katz tells us precisely this.

Theorem (Katz): Let be a -local torsion-free ring. If agree modulo , then for any , the difference is exact.

If two maps between formal varieties that agree mod , this result tells us that they induce the same map on . It follows that is independent of the lift of to .

The Dieudonne module is a -module with a Frobenius action (coming from the map on ) that is -semilinear, where is a lift of Frobenius to . It also has a Verschiebung operation, satisfying the relation . We can simply define the Verschiebung via

Theorem (Grothendieck, Demazure, …): Let denote the Cartier-Dieudonne ring . Then there’s an equivalence of categories between formal groups over of finite height and free -modules of finite rank given by taking a formal group to its Dieudonne module.

The height of the formal group is the rank of its Dieudonne module. For instance, on one generator , such that and . If is the Honda formal group of height over , then

We can use this description to provide an explicit presentation for the Morava stabilizer group . The Verschiebung is . By the equivalence of categories described above, we see that

We’re now in a position to describe the Gross-Hopkins map. I’ll describe it as I learnt it from Eric Peterson. I also learnt a lot by talking to David Zureick-Brown and Jackson Morrow.

Like above, let be the Honda formal group of height over . The idea behind the Gross-Hopkins map is simple: according to Katz’s theorem above, the Dieudonne module is independent of the lift of our formal group to . The cochain complex defining de Rham cohomology, however, is not. Consequently, if is a lift to , the “strictly” invariant differentials select a one-dimensional subspace of . This defines the Gross-Hopkins period map , given by

Note that the cokernel of is the Lie algebra of the Cartier dual of ; this is supposed to be analogous to the Hodge–de-Rham decomposition. Gross and Hopkins prove that this map is equivariant for the action of , identified above.

The Gross-Hopkins period map is trying really hard to be a map at the rigid analytic level. Indeed, we can consider the rigid analytic fiber of . Since is an affine formal scheme, the construction is not hard to describe.

The generic fiber of is supposed to be like the analytification (there’s even a notion of GAGA in this context!) of . Recall that if is an affinoid -algebra, denotes the space of maximal ideals of . Let have no common zeros (i.e., ). A \emph{rational subdomain} of is a subset of the form . This is the same as , where

This admits a presheaf of “affinoids” defined by

Tate showed that this is indeed a sheaf, and that the higher sheaf cohomology of vanishes (just like for ordinary affine schemes). Now suppose is a formal -scheme that’s locally of finite type, where is the valuation ring of a complete non-Archimedian field . Assume that has a finitely generated ideal of definition and uniformizer . One defines to be . More generally, if is a formal affine scheme, where has a finitely generated ideal of definition and uniformizer , define

Notice that is a -algebra of finite type. We can therefore take the rigid analytic fiber . Define

It turns out that this is independent of the choice of generators — which is good, because the generators that we wrote down for are noncanonical.

For instance, suppose with ideal of definition , so that . Thus, is the closed disk centered at zero and radius . Consequently, is the open disk of radius one. This example generalizes in a straightforward way to unit open balls.

Theorem (Gross-Hopkins): Once we pass to the generic fiber, the Gross-Hopkins map is -equivariant and etale!

In the original Gross-Hopkins paper, the construction of this map is given as follows. Construct a line bundle on , and define a map . Then sends a point to the hyperplane of sections of supported at . This is equivalent to our construction, since we can choose to be the sheaf corresponding to the Lie algebra of the Cartier dual of .