Technical Summary: Multivariate Period Rings

1. Problem Statement

Classical $p$-adic Hodge theory, as developed by Fontaine, utilizes period rings (such as $B_{dR}$ and $B_{HT}$) to classify continuous Galois representations of a $p$-adic field $K$. A central result is that the category of $B$-admissible representations forms a Tannakian subcategory of the category of all representations.

The paper addresses the extension of this framework to a multivariate setting. Let $K_1, \dots, K_t$ be $p$-adic fields over a base field $K_0$, and let $G_{K,\Delta} = G_{K_1} \times \dots \times G_{K_t}$ be the product of their absolute Galois groups. The goal is to study the category $\text{Rep}_F(G_{K,\Delta})$ using multivariate period rings $B_\Delta$.

The primary obstacle identified is that the classical definitions of $(F, G)$-regular rings (from Fontaine's work) rely on the underlying rings being integral domains. In the multivariate setup, the natural candidate for the period ring, constructed via the completed tensor product of perfectoid fields, fails to be an integral domain. Specifically, the ring $C_\Delta$ (the multivariate analogue of $\mathbb{C}_p$) has infinite Krull dimension if constructed via standard $p$-adic completion, or zero Krull dimension if constructed via a specific semi-norm completion, but in either case, it is not a domain. Consequently, classical definitions cannot be directly applied to establish the Tannakian structure for multivariate representations.

2. Methodology

The author proposes a new approach that departs from the class of integral domains and instead utilizes the properties of von Neumann regular (VNR) rings.

2.1. Construction of the Base Ring $C_\Delta$

The paper defines the multivariate perfectoid field $C_\Delta$ as the completion of the tensor product $\mathbb{C} \hat{\otimes}_{K_0} \dots \hat{\otimes}_{K_0} \mathbb{C}$ with respect to a specific semi-norm $|x|_\Delta$.

• Key Property: Unlike the setup in previous works (e.g., [BCM24]) which used $p$-adic completion, this semi-norm completion ensures that $C_\Delta$ is a reduced ring of dimension zero, making it a VNR ring.
• Structure: The prime spectrum of $C_\Delta$ corresponds bijectively to a set of embedding families $S$. Every prime ideal is maximal, and localizations at prime ideals are fields.

2.2. Definition of Multivariate Period Rings

The author constructs multivariate analogues of Fontaine's period rings ($A_{inf}$, $B_{dR}$, $B_{HT}$) adapted to the VNR context:

• $A_{inf, \Delta}$: Defined as the Witt vectors $W(O_{C, \Delta}^\flat)$. The kernel of the theta map $\theta_\Delta$ is shown to be a principal ideal generated by a single element $\xi$, differing from previous constructions where the kernel required multiple generators.
• $B_{dR, \Delta}$: Constructed as the profinite completion of the pre-de Rham ring $B_{dR, \Delta}^{(p)}$ with respect to the family of maximal ideals $\{\ker \Phi_s\}_{s \in S}$. This construction ensures $B_{dR, \Delta}$ remains a VNR ring.
• $B_{HT, \Delta}$: Defined as the closure of the pre-Hodge-Tate ring inside a profinite completion of Laurent series. The paper explicitly avoids the ring $C_\Delta((t_\Delta))$ directly because, for $|\Delta| > 1$, it has infinite Krull dimension and is not well-behaved. Instead, the profinite completion $C_{HT, \Delta}$ is used to ensure the resulting ring is VNR.

2.3. Regularity and Admissibility

The paper introduces the concept of $(F, G_{K,\Delta})_\Delta$-regular rings. A ring $B$ is regular if:

1. Its total ring of fractions $C$ is VNR.
2. $B$ is faithfully flat over the fixed field $E = B^{G_{K,\Delta}}$.
3. A specific condition regarding non-zero divisors and Galois actions holds.

Using this definition, the author proves that the category of $B$-admissible representations forms a Tannakian subcategory.

3. Key Contributions and Results

3.1. Structural Properties of Multivariate Period Rings

• VNR Structure: The paper establishes that the constructed multivariate period rings ($B_{dR, \Delta}$ and $B_{HT, \Delta}$) are von Neumann regular rings. This is crucial because it allows the use of descent theory for projective modules over VNR rings, which is not available for general rings or integral domains in this context.
• Spectrum Correspondence: There is a one-to-one correspondence between the set of embedding families $S$ and the maximal spectrum (and prime spectrum) of the period rings.
• Filtration: The rings admit a natural filtration analogous to the classical case, defined by powers of the generator $\xi$. The associated graded ring of $B_{dR, \Delta}$ is shown to be isomorphic to $B_{HT, \Delta}$.

3.2. Classification of Representations

• Tannakian Subcategory: The main theorem (Theorem 5.12) proves that if $B$ is $(F, G_{K,\Delta})_\Delta$-regular, then the category of $B$-admissible representations, $\text{Rep}_F^B(G_{K,\Delta})$, is a Tannakian subcategory of $\text{Rep}_F(G_{K,\Delta})$.
• Admissibility Criterion: A representation $V$ is $B$-admissible if and only if the module of invariants $D_B(V) = (B \otimes_F V)^{G_{K,\Delta}}$ is a free module of rank equal to $\dim_F V$.
• Regularity of Specific Rings: The paper proves that both $B_{HT, \Delta}$ and $B_{dR, \Delta}$ satisfy the $(F, G_{K,\Delta})_\Delta$-regularity conditions.

3.3. Comparison with Previous Work

• The constructed rings differ from those in [BCM24]. The author notes that the rings in [BCM24] do not satisfy the $(F, G_{K,\Delta})_\Delta$-regularity conditions required for the Tannakian classification, whereas the reformulated rings in this paper do.
• The kernel of the theta map $\theta_\Delta$ is shown to be principal (generated by one element), contrasting with [BCM24] where it was generated by $t$ elements.

3.4. Ax-Sen-Tate Theorem

The paper proves a multivariate version of the Ax-Sen-Tate theorem (Proposition 6.2), establishing that the invariants of the twisted period rings $C_\Delta(i)$ under $G_{K,\Delta}$ are zero for $i \neq 0$ and equal to the completed tensor product of the base fields for $i=0$.

4. Significance and Claims

The paper claims to provide a more consistent approach to multivariate period rings that aligns better with classical theory by utilizing the framework of von Neumann regular rings.

• Resolution of Domain Issues: By abandoning the requirement for integral domains and embracing VNR rings, the author overcomes the structural challenges (infinite Krull dimension, lack of domain property) that prevented the direct application of classical definitions in the multivariate case.
• Tannakian Framework: The primary significance is the successful establishment of the Tannakian structure for multivariate representations. This allows for the classification of representations via the "admissible" property, mirroring the success of classical $p$-adic Hodge theory.
• Natural Generalization: The construction serves as a direct generalization of the classical theory (reducing to it when $|\Delta|=1$) and avoids reliance on auxiliary propositions (like Proposition 4.3 in [BCM24]) that were conditional.

The author modestly notes that while crystalline period rings can be constructed analogously, the proofs are largely adaptations of classical notation and are not pursued in detail here. The focus remains on establishing the foundational de Rham and Hodge-Tate frameworks within the multivariate context.