Definition
Fontaine period rings
Galois-equivariant p-adic coefficient rings whose invariant periods define Hodge–Tate, de Rham, crystalline, and semistable representations.
Definition
Let be a -adic field, let be its absolute Galois group, and let be the maximal unramified subfield of . Fontaine's period rings are topological -algebras with continuous -actions and additional structures. The four basic rings are
For a finite-dimensional -adic representation , taking invariants in produces its -period module. Having the largest dimension allowed by is the corresponding admissibility condition.
Structures carried by the rings
- is graded and detects Hodge–Tate weights.
- is a complete filtered field; its invariants form the filtered -vector space of de Rham periods.
- carries Frobenius. Its invariants form a filtered Frobenius module and define crystalline representations.
- contains and carries Frobenius together with a nilpotent monodromy operator . It defines semistable representations.
The inclusions and extra structures explain the implication
Ring versus period module
The rings are universal coefficient objects; they do not depend on a particular . By contrast,
is a linear-algebraic invariant of . For it is a filtered -vector space, while for and it is initially a -vector space with Frobenius and, in the semistable case, monodromy. Confusing with suppresses both the Galois-invariant operation and the base field of the result.
References
- Olivier Brinon and Brian Conrad, CMI Summer School Notes on -adic Hodge Theory, 2009, Chapters 2, 4, and 9. Author notes.
- Jean-Marc Fontaine, “Le corps des périodes -adiques,” Astérisque 223 (1994), 59–111. Numdam.