--- title: Crystalline Period Ring in p-adic Hodge Theory url: https://www.emergentmind.com/topics/crystalline-period-ring type: topic --- # Crystalline Period Ring in p-adic Hodge Theory A crystalline period ring, typically denoted \(B_{\mathrm{cris}}\), is a foundational object in \(p\)-adic Hodge theory. Engineered to provide a canonical link between various \(p\)-adic cohomologies via comparison theorems, \(B_{\mathrm{cris}}\) is a complete discrete valuation ring of characteristic zero with Frobenius, Galois action, and an exhaustive, decreasing, separated filtration. Concretely, it is constructed from Witt vectors of certain perfectoid subrings and their divided power (PD) envelopes, with its structure fundamentally tied to the theory of crystalline representations and to isomorphisms between crystalline and étale cohomology. ## 1. Formal Construction and Key Properties Let \(\bar{K}\) be a complete, algebraic closure of a \(p\)-adic field \(K\), \(\bar{O}\) its valuation ring, and \(W(\bar{k})\) the ring of Witt vectors of the residue field. The crystalline period ring is built in stages: - The absolute crystalline cohomology of \(\bar{O}/p\), denoted \(A_{\mathrm{cris}} = R\Gamma_{\mathrm{cris}}\bigl(\Spec(\bar O/p)\bigr)\), is Fontaine’s universal \(p\)-adically complete PD-thickening of the reduction ring \(\bar O/p\). - \(A_{\mathrm{cris}}\) is endowed with: - A Frobenius endomorphism \(\varphi\) lifting the \(p\)th-power map. - A continuous \(\Gal(\bar K/K)\)-action by functoriality. - A canonical PD-filtration \(\Fil^m A_{\mathrm{cris}} = \ker(A_{\mathrm{cris}} \to \bar O/p)^{[m]}\). - A natural embedding of \(W(\bar k)\). - The distinguished element \(t \in T_p(\bar O^{\times}) \subset A_{\mathrm{cris}}\) is the "Tate-twist" generator, corresponding to the system of \(p^n\)th roots of unity. Building on \(A_{\mathrm{cris}}\): \[ B_{\mathrm{cris}}^+ = A_{\mathrm{cris}} \otimes_{\mathbb{Z}_p} \mathbb{Q}_p,\qquad B_{\mathrm{cris}} = A_{\mathrm{cris}}[t^{-1}] \] \(B_{\mathrm{cris}}\) is \(p\)-adically complete, admits an automorphic Frobenius \(\varphi (t) = p t\), a continuous Galois action, and a filtered Fréchet topology. The PD-filtration on \(A_{\mathrm{cris}}\) extends to an exhaustive, separated, decreasing filtration on \(B_{\mathrm{cris}}\) given by \[ \Fil^m B_{\mathrm{cris}} = t^m B_{\mathrm{cris}}^+ + \Fil^{m+1} A_{\mathrm{cris}}, \qquad m \in \mathbb{Z} \] Each of these structures is functorial with respect to morphisms in the category of schemes over \(\bar K\) [1111.3316]. ## 2. Relation to Witt Vectors and Derived de Rham Interpretation \(A_{\mathrm{cris}}\) and its rationalization \(B_{\mathrm{cris}}\) are intimately connected to the theory of Witt vectors. \(A_{\mathrm{cris}}\) is constructed from \(W(\bar k)\) by completion along a PD ideal, classifying all PD-thickenings of \(\bar{O}/p\). Via derived de Rham approaches, Guo–Li show that the integral and rational crystalline period sheaves naturally realize as Hodge-completed derived de Rham complexes over perfectoid rings [2008.06143]: - For a smooth formal \(O_k\)-scheme \(\mathfrak{X}\), the analytic derived de Rham complex of \(\widehat{O}_X^+\) over \(O_k\) identifies with the \(p\)-adic completion of the divided power envelope of the kernel of Fontaine's map, constructed from \(A_{\inf}(B^+) = W(B^{+\flat})\). - Sheafifying yields \(\mathbb{A}_{\mathrm{cris}}\) with PD (Hodge) filtration, Frobenius, and compatible Galois action. Rationalizing gives \(\mathbb{B}_{\mathrm{cris}} = \mathbb{A}_{\mathrm{cris}}[1/p]\). - On geometric points, \(H^0(\mathbb{A}_{\mathrm{cris}}) \cong A_{\mathrm{cris}}\) and \(H^0(O \mathbb{A}_{\mathrm{cris}}) \cong B_{\mathrm{cris}}\). This alignment ensures the compatibility of the period ring's structure with derived methods, providing a uniform conceptual framework for its properties [2008.06143]. ## 3. The Crystalline Period Map and Comparison Isomorphisms The crystalline period map fundamentally connects crystalline and \(p\)-adic étale cohomology for varieties over \(\bar K\). For a variety \(X/\bar K\): \[ P_{\mathrm{cris}}: R\Gamma_{\mathrm{cris}}(X) \rightarrow R\Gamma_{\mathrm{et}}(X, \mathbb{Z}_p) \widehat{\otimes}_{\mathbb{Z}_p} A_{\mathrm{cris}} \] Upon inverting the period \(t\): \[ P_{\mathrm{cris}} \otimes_{A_{\mathrm{cris}}, B_{\mathrm{cris}}}: R\Gamma_{\mathrm{cris}}(X) \otimes_{A_{\mathrm{cris}}} B_{\mathrm{cris}} \xrightarrow{\sim} R\Gamma_{\mathrm{et}}(X, \mathbb{Q}_p) \otimes_{\mathbb{Q}_p} B_{\mathrm{cris}} \] On cohomology: \[ H^i_{\mathrm{cris}}(X) \otimes_{A_{\mathrm{cris}}} B_{\mathrm{cris}} \xrightarrow{\sim} H^i_{\mathrm{et}}(X, \mathbb{Q}_p) \otimes_{\mathbb{Q}_p} B_{\mathrm{cris}} \] These isomorphisms are compatible with the induced Frobenius, Galois action, and filtrations [1111.3316]. ## 4. Role in the Fontaine–Jannsen Conjectures The construction and properties of \(B_{\mathrm{cris}}\) enable precise comparison results central to \(p\)-adic Hodge theory, notably the Fontaine–Jannsen conjectures: - **Good reduction (\(C_{\mathrm{cris}}\))**: For \(X\) with good reduction, \[ H^i_{\mathrm{cris}}(X_k/W(k)) \otimes_{K_0} B_{\mathrm{cris}} \xrightarrow{\sim} H^i_{\mathrm{et}}(X_{\bar{K}}, \mathbb{Q}_p) \otimes_{\mathbb{Q}_p} B_{\mathrm{cris}} \] ensuring dimension equality for cohomologies over \(K_0 = W(k)[1/p]\) and \(\mathbb{Q}_p\). - **Semistable and potentially semistable reduction (\(C_{\mathrm{st}}, C_{\mathrm{pst}}\))**: Extension to broader settings via \(B_{\mathrm{st}}\), incorporating monodromy. Beilinson's proof uses the \(h\)-topology and the crystalline \(p\)-adic Poincaré lemma. The presheaf assigning absolute crystalline cohomology complexes is shown to be \(p\)-adically constant, leading to comparison isomorphisms after inverting \(t\). This method circumvents analytic techniques, manifesting the functorial emergence of \(B_{\mathrm{cris}}\) as the canonical period ring mediating the crystalline-étale interface [1111.3316]. ## 5. Structural Features and Relations to Other Period Rings The central features of \(B_{\mathrm{cris}}\) are summarized as follows: | Feature | Description | Mathematical Formulation | |------------------|-----------------------------------------------------------------------|---------------------------------| | Frobenius | Automorphism, \(\varphi(t) = p t\) | \(\varphi: B_{\mathrm{cris}} \to B_{\mathrm{cris}}\) | | Galois action | Continuous, commutes with Frobenius | \(\Gal(\bar{K}/K)\)–action | | Filtration | Exhaustive, separated, Tate-twisted | \(\Fil^m B_{\mathrm{cris}} = t^m B_{\mathrm{cris}}^+ + \Fil^{m+1}A_{\mathrm{cris}}\) | | Topology | \(p\)-adic, Fréchet | Completion via PD ideal and \(p\) | | Relation to Witt | Built from Witt vectors, PD envelope of kernel of Fontaine’s map | \(A_{\mathrm{cris}}\) from \(W(\bar{k})\) | \(B_{\mathrm{cris}}\) contains subrings such as the Fontaine–Wach rings (\(A_F^+\), \(S\)), which serve as "smaller period rings" in the study of Wach modules and Selmer groups for crystalline representations [2405.17012]. Embeddings: \[ A_F^+ \hookrightarrow A_{\mathrm{cris}} \subset B_{\mathrm{cris}}^+ \subset B_{\mathrm{cris}} \] preserve \(\varphi\)- and Galois-equilvariance and filtrations [2405.17012]. ## 6. Applications and Theoretical Significance \(B_{\mathrm{cris}}\) is the unique period ring allowing the classification of crystalline representations: a \(\mathbb{Q}_p\)-representation \(V\) of \(G_F\) is crystalline if \[ \dim_F \left( B_{\mathrm{cris}} \otimes_{\mathbb{Q}_p} V \right)^{G_F} = \dim_{\mathbb{Q}_p} V \] with the associated filtered \(\varphi\)-module \(D_{\mathrm{cris}}(V)\) of matching dimension [1501.04611, 2405.17012]. In addition, embeddings of formal moduli problems into \(B_{\mathrm{cris}}\) have been crucial to proving longstanding conjectures, such as the height-one case of Lubin's conjecture, where the compatibility of the embedding with \(\varphi\) and \(G_{\mathbb{Q}_p}\) forces a dynamical system to arise from a unique formal group [1501.04611]. The derived de Rham formalism and sheaf-theoretic interpretations have further increased the conceptual reach and computational power connected to \(B_{\mathrm{cris}}\), allowing the construction of period sheaves and explicit complexes (notably syntomic complexes) which compute the crystalline parts of Galois cohomology, in particular the Bloch–Kato Selmer groups [2008.06143, 2405.17012]. ## 7. Connections to Syntomic and Wach Theory \(B_{\mathrm{cris}}\) sits at the apex of a hierarchy of period rings used to interpolate between integral and rational settings for crystalline (and more general \(p\)-adic) representations. Wach modules, constructed over period rings such as \(A_F^+\) and \(S\), admit functorial descent and realize the structure of crystalline representations integrally. Syntomic complexes constructed from Wach modules in \(A_F^+\) or \(S\) calculate the crystalline part of Galois cohomology, demonstrating the operational role of \(B_{\mathrm{cris}}\) in the explicit computation of nonabelian and arithmetic invariants [2405.17012]. --- The crystalline period ring thus provides the categorical, topological, and Galois-theoretic infrastructure required for the comparison and classification theorems central to \(p\)-adic Hodge theory and the arithmetic geometry of \(p\)-adic fields [1111.3316, 2008.06143, 2405.17012, 1501.04611]. Source: https://www.emergentmind.com/topics/crystalline-period-ring