Admissible pairs and $p$-adic Hodge structures I: Transcendence of the de Rham lattice

Abstract

For an algebraically closed non-archimedean extension $C/\mathbb{Q}_p$, we define a Tannakian category of $p$-adic Hodge structures over $C$ that is a local, $p$-adic analog of the global, archimedean category of $\mathbb{Q}$-Hodge structures in complex geometry. In this setting the filtrations of classical Hodge theory must be enriched to lattices over a complete discrete valuation ring, Fontaine's integral de Rham period ring $B^+_\mathrm{dR}$, and a pure $p$-adic Hodge structure is then a $\mathbb{Q}_p$-vector space equipped with a $B^+_\mathrm{dR}$-lattice satisfying a natural condition analogous to the transversality of the complex Hodge filtration with its conjugate. We show $p$-adic Hodge structures are equivalent to a full subcategory of basic objects in the category of admissible pairs, a toy category of cohomological motives over $C$ that is equivalent to the isogeny category of rigidified Breuil-Kisin-Fargues modules and closely related to Fontaine's $p$-adic Hodge theory over $p$-adic subfields. As an application, we characterize basic admissible pairs with complex multiplication in terms of the transcendence of $p$-adic periods. This generalizes an earlier result for one-dimensional formal groups and is an unconditional, local, $p$-adic analog of a global, archimedean characterization of CM motives over $\mathbb{C}$ conditional on the standard conjectures, the Hodge conjecture, and the Grothendieck period conjecture (known unconditionally for abelian varieties by work Cohen and Shiga and Wolfart).

Theorems & Definitions (132)

• Theorem 1.0.1
• Theorem 1
• Remark 1.1.1
• Theorem 2
• Example 1.1.2
• Example 1.1.3
• Remark 1.1.4
• Remark 1.1.5
• Remark 1.1.6
• Remark 1.2.1