On equivariant vector bundles on the Fargues--Fontaine curve over a finite extension

Basic Information

• Paper ID: 2510.12533
• Title: On equivariant vector bundles on the Fargues--Fontaine curve over a finite extension
• Author: Rustam Steingart
• Classification: math.NT (Number Theory), math.AG (Algebraic Geometry)
• Publication Date: October 15, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.12533

Abstract

Let $K/E/\mathbb{Q}_p$ be a tower of finite extensions where $E$ is a Galois extension. This paper establishes a relationship between the category of $G_K$-equivariant vector bundles with coefficients in $E$ on the Fargues-Fontaine curve and the category of $E$-$G_K$-$B$-pairs, with explicit descriptions of crystalline and de Rham objects. When $E$ is a proper extension, we provide a new description of this category in terms of compatible $\mathbf{B}_e$-module tuples, which allows us to compute Galois cohomology via explicit Čech complexes as an alternative to the fundamental exact sequence.

Research Background and Motivation

1. Core Problem: This paper investigates the classification and properties of equivariant vector bundles on the Fargues-Fontaine curve, particularly when the base field $E$ differs from $\mathbb{Q}_p$.
2. Significance: The Fargues-Fontaine curve plays a foundational role in $p$-adic Hodge theory. It provides a geometric interpretation of $p$-adic Galois representations, connecting algebraic number theory and algebraic geometry.
3. Limitations of Existing Methods:
   • When $E = \mathbb{Q}_p$, the theory is well-developed, and the category of equivariant vector bundles is equivalent to the category of $B$-pairs
   • However, when $E \neq \mathbb{Q}_p$, the situation becomes more subtle, and the existing notion of "crystalline" vector bundles is too restrictive
4. Research Motivation:
   • Generalize Fargues-Fontaine theory to more general base fields $E$
   • Discover new phenomena that emerge when $[E:\mathbb{Q}_p] > 1$
   • Establish new methods for computing Galois cohomology

Core Contributions

1. Establishing Categorical Equivalence: Proves the equivalence between the category of $G_K$-$E$-$B$-pairs and the category of $G_K$-equivariant vector bundles (Theorem 1)
2. Discovery of New Geometric Phenomena: When $E \neq \mathbb{Q}_p$, the curve $X_E$ has $[E:\mathbb{Q}_p]$ points above the point at infinity, allowing multiple ways to "puncture" the curve
3. Introduction of $B_e$-Tuple Theory: Proposes a new method for describing vector bundles using compatible $B_e$-module tuples (Theorem 2)
4. Establishment of Explicit Cohomology Computation: Computes Galois cohomology via Čech complexes, providing an alternative to the fundamental exact sequence
5. Refinement of Crystalline Object Definition: Provides a more refined definition of crystalline vector bundles that corresponds to genuinely crystalline representations

Detailed Methods

Task Definition

Study $G_K$-equivariant vector bundles on the Fargues-Fontaine curve $X_E = X_{C_p^{\flat}, E}$, where:

• Input: A tower of finite extensions $K/E/\mathbb{Q}_p$ with $E$ Galois
• Output: Classification and property descriptions of equivariant vector bundles
• Constraints: Maintain compatibility with classical $p$-adic Hodge theory

Core Constructions

1. Construction of the Fargues-Fontaine Curve

The curve is defined as $X_{E,F} = \text{Proj}(P_{E,F,\pi_E})$, where the graded ring is: $P_{E,F,\pi_E} = \bigoplus_{n \geq 0} (B_E^+)^{\varphi_E = \pi_E^n}$

Key properties:

• $X_E$ is a complete curve defined over $E$
• There exists a standard map $X_E \to X_{\mathbb{Q}_p}$
• There are $[E:\mathbb{Q}_p]$ points $\{\infty_\sigma : \sigma \in \Sigma_E\}$ above the point at infinity

2. Generalization of $B$-Pairs

For an $E$-$B$-pair $W = (W_e, W_{dR}^+)$:

• $W_e$ is a continuous finite free $E \otimes_{\mathbb{Q}_p} B_e$-representation
• $W_{dR}^+$ is a $G_K$-equivariant $B_{dR}^+$-lattice

Using the decomposition: $E \otimes_{\mathbb{Q}_p} B_{dR}^+ = \prod_{\sigma \in \Sigma_E} B_{dR}^+$

3. $B_e$-Tuple Theory

Definition: Let $S = \{\infty_\sigma : \sigma \in \Sigma_E\}$ and $L$ be a cocover of $S$. A $B_e$-tuple consists of:

• For each $T \in L$, a free $B_{e,T}$-module $M_T$
• Compatibility isomorphisms: $B_{e,T_1 \cup T_2} \otimes_{B_{e,T_1}} M_{T_1} \cong B_{e,T_1 \cup T_2} \otimes_{B_{e,T_2}} M_{T_2}$

where $B_{e,T} = (B_E^+[1/\prod_{x \in T} t_x])^{\varphi_E = 1}$.

Technical Innovations

1. Multi-Point Analysis: Exploits the geometric structure of multiple points above infinity, rather than the traditional single-point approach
2. Strictness Results: Proves that the differentials in the Čech complex are strict, utilizing almost $C_p$-representation theory
3. Unified Framework: Unifies crystalline, de Rham, and general cases within a single theoretical framework

Main Theorems

Theorem 1 (Categorical Equivalence)

The following hold:

1. The category of $G_K$-$E$-$B$-pairs is equivalent to the category of $G_K$-bundles on $X_E$
2. Under this equivalence, crystalline, de Rham, and slope-zero objects correspond to each other

Theorem 2 ($B_e$-Tuple Description)

Let $L$ be a cocover of $S$. The functor $\text{Bun}_{X_E} \to \{B_e\text{-tuples}\}$$F \mapsto (F(X \setminus T))_T$ is a categorical equivalence. The same holds for the $G_K$-equivariant case.

Theorem 3 (Cohomology Computation)

For a $G_K$-$E$-$B$-pair $W$ and its corresponding vector bundle $V$: $[W_e \oplus W_{dR}^+ \to W_{dR}] \simeq C^{\bullet}(L,V)$ is a strict and $G_K$-equivariant quasi-isomorphism.

Applications and Examples

Characterization of Crystalline Vector Bundles

A vector bundle $E$ is crystalline if and only if there exists a $\varphi_q$-module $D$ such that: $E(U) = (B_E^+[1/\prod_\sigma t_{\infty\sigma}] \otimes_E D)^{\varphi_q = 1}$ where $G_E$ acts trivially on $D$.

Generalization of the Fundamental Exact Sequence

For two distinct embeddings $\sigma \neq \tau$, we obtain a "fundamental exact sequence": $0 \to V \to B_E^+[1/t_\sigma]^{\varphi_E=1} \otimes V \times B_E^+[1/t_\tau]^{\varphi_E=1} \otimes V \to B_E^+[1/t_\sigma t_\tau]^{\varphi_E=1} \otimes V \to 0$

Related Work

This paper builds upon the following important works:

1. Fargues-Fontaine: Established the fundamental curve theory and the case $E = \mathbb{Q}_p$
2. Nakamura: Introduced the concept of $B$-pairs
3. Berger: Developed multivariable $(\varphi,\Gamma)$-module theory
4. Pham: Studied analytic crystalline representations, though with a narrower notion of "crystalline"

Conclusions and Discussion

Main Conclusions

1. Successfully generalizes Fargues-Fontaine theory to arbitrary finite extensions $E/\mathbb{Q}_p$
2. Discovers and exploits new geometric phenomena when $E \neq \mathbb{Q}_p$
3. Establishes new methods for computing Galois cohomology

Limitations

1. Requires $E$ to be a Galois extension (though the author indicates this can be generalized)
2. $B_e$-tuple theory requires $[E:\mathbb{Q}_p] > 1$
3. The relationship with multivariable $(\varphi,\Gamma)$-modules requires further investigation

Future Directions

1. Study the complete correspondence between multivariable $(\varphi,\Gamma)$-modules and $B_e$-tuples
2. Generalize to non-Galois extensions
3. Apply to concrete arithmetic problems

In-Depth Evaluation

Strengths

1. Theoretical Depth: Deeply reveals new phenomena in $p$-adic Hodge theory
2. Technical Innovation: $B_e$-tuple theory provides a completely new perspective
3. Computational Value: Explicit Čech complexes provide tools for practical computation
4. Rigor: Proof techniques are rigorous, particularly in establishing strictness results

Weaknesses

1. Readability: Highly technical, requiring deep background in $p$-adic Hodge theory
2. Applications: Lacks concrete arithmetic applications
3. Completeness: Some construction details (such as the relationship with Berger's theory) require further development

Impact

1. Theoretical Contribution: Provides new geometric perspectives for $p$-adic Hodge theory
2. Methodology: The $B_e$-tuple method may be applicable to other related problems
3. Computational Tools: Provides new computational techniques for researchers in related fields

Applicable Scenarios

This paper's methods are particularly suitable for:

1. Studying $p$-adic representations over non-trivial base fields
2. Problems requiring explicit computation of Galois cohomology
3. Interdisciplinary research connecting algebraic number theory and algebraic geometry

References

The paper cites important literature in the field, including:

• Original work by Fargues-Fontaine FF19
• Berger's multivariable theory Ber13
• Fontaine's foundational theory Fon20
• Related technical tools and methods