Fontaine's period rings

Fontaine's period rings
Name	Fontaine's period rings
Field	Arithmetic geometry
Introduced by	Jean-Marc Fontaine
Introduced date	1980s

Fontaine's period rings provide a system of topological and algebraic rings introduced by Jean-Marc Fontaine in the 1980s to classify and analyze p-adic representations arising in arithmetic geometry. They form the technical backbone of modern p-adic Hodge theory, linking the arithmetic of Galois group actions on p-adic étale cohomology of algebraic varietys with linear algebraic structures like filtered phi-modules and monodromy operators. Fontaine's period rings appear throughout work on the Hodge–Tate decomposition, the crystalline cohomology framework of Grothendieck, and the study of representations of the absolute Galois group of Q_p and more general local and global fields.

Introduction

Fontaine formulated a menu of period rings — notably Bcris, Bst, BdR, BHT, and Bout — to capture various flavors of p-adic comparison isomorphisms occurring in the cohomology theories developed by Grothendieck, Jean-Pierre Serre, Grothendieck's school, and later contributors such as Pierre Colmez and Kazuya Kato. These rings encode actions of the absolute G_Qp, Frobenius endomorphisms studied by Birkhoff-style techniques, and monodromy operators appearing in the Fontaine–Messing conjecture lineage. Fontaine's construction interacts with major developments including the Fontaine–Mazur conjecture, the Tate conjecture, and the theory of (ϕ,Γ)-modules advanced by Jean-Pierre Wintenberger collaborators like Bernard Dwork and Christophe Breuil.

Construction and definitions

Fontaine began from period field constructions using inverse limits and Witt vector functors that relate to p-adic numbers and perfectoid ideas later popularized by Peter Scholze. Starting data include a complete algebraically closed extension like Cp and the absolute Galois acting continuously; Fontaine then defines rings such as Bcris (crystalline), Bst (semistable), and BdR (de Rham) via subrings of a universal period ring built from Witt vectors of a tilt and perfection processes akin to notions later formalized in perfectoid space theory. The construction uses an integral subring Acris with a Frobenius operator ϕ and a descending filtration compatible with valuation maps related to p-adic valuation on fields like Q_p. Fontaine additionally introduced categories of admissible modules, e.g., filtered (ϕ,N)-modules, which mirror structures appearing in the work of J.-P. Serre on local fields and the investigation of Weil–Deligne group actions by researchers including Pierre Deligne.

Properties and classification

Fontaine's period rings satisfy key functoriality and exactness properties under restriction to subgroups of G_Qp and under base change along extensions such as finite unramified and ramified local field extensions studied by John Tate and Serre. Bcris carries a Frobenius ϕ and a Galois action that interplay to characterize crystalline representations classified by weakly admissible filtered (ϕ)-modules via the Colmez–Fontaine theorem and work of Faltings and Liu. Bst augments Bcris with a monodromy operator N to treat semistable cases related to the Monodromy theorem and to comparisons with log-crystalline cohomology appearing in Kazuya Kato's programs. BdR is a complete discrete valuation field with an exhaustive filtration whose graded pieces recover Hodge–Tate weights; this connects to the Hodge–Tate spectral sequence studied by Serre and Grothendieck.

Relations to p-adic Galois representations

Fontaine established functors Dcris, Dst, DdR from p-adic representations of local Galois groups to linear algebra objects over rings like Bcris^{G_K}, Bst^{G_K}, BdR^{G_K}, enabling classification of representations as crystalline, semistable, or de Rham. These correspondences inform conjectures of Fontaine–Mazur about geometric p-adic representations arising from motives considered by Pierre Deligne and Alexander Beilinson and interact with the local Langlands correspondence developments by Michael Harris and Richard Taylor. Subsequent work by Breuil, Colmez, Kisin, and Liu refined the relationship using (ϕ,Γ)-modules over the Robba ring in families, connecting Fontaine's rings to integral p-adic Hodge theoretic structures exploited in the proof of modularity results by Wiles and Taylor–Wiles techniques and in the construction of p-adic L-functions studied by Robert Coleman.

Applications in p-adic Hodge theory

Fontaine's period rings underpin p-adic comparison isomorphisms: the de Rham comparison theorem, the crystalline comparison theorem, and the semistable comparison theorem, which link étale cohomology of varieties over p-adic fields to de Rham, crystalline, and log-crystalline cohomologies respectively — themes central to the work of Faltings, Tsuji, Nizioł, and Yoshida. They support the study of Galois cohomology calculations influenced by John Tate and the examination of Selmer groups and Iwasawa theory as developed by Ken Ribet and Barry Mazur. Period rings also play a role in p-adic families of representations such as eigenvarieties appearing in the research of Coleman–Mazur and in p-adic local monodromy theorems by Christol and Mebkhout.

Variants and generalizations

Variants include integral and overconvergent period rings, Robba-type constructions, and rings adapted to relative situations in p-adic geometry such as relative de Rham and crystalline rings used in the study of families of varieties over rigid-analytic bases pursued by Faltings and Kiran Kedlaya. Perfectoid-era reinterpretations by Scholze and links to the pro-étale topology and prismatic cohomology introduced by Bhatt and Scholze give new period sheaves and prisms that generalize Fontaine's original framework to broader settings including global fields and Shimura varieties studied by Michael Harris and Richard Taylor. Ongoing extensions relate to categorical and motivic perspectives pursued by Vladimir Drinfeld-influenced programs and to explicit reciprocity laws in the lineage of Iwasawa theory and Bloch–Kato conjectures.

Category:p-adic Hodge theory