Solid locally analytic representations in mixed characteristic

Basic Information

• Paper ID: 2510.13673
• Title: Solid locally analytic representations in mixed characteristic
• Author: Gal Porat
• Classification: math.NT (Number Theory), math.RT (Representation Theory)
• Publication Date: October 16, 2025
• Paper Link: https://arxiv.org/abs/2510.13673

Abstract

This paper extends the theory of locally analytic representations of $p$-adic Lie groups from $\mathbf{Q}_p$-coefficients to a broader class of mixed characteristic coefficient rings, such as $\mathbf{F}_p((X))$ or $\mathbf{Z}_p[[X]]\langle p/X\rangle[1/X]$, and addresses semilinear representations. Building on the language of condensed mathematics, the author extends the solid locally analytic representation theory of Rodríguez Camargo and Rodrigues Jacinto, providing more robust homological tools for studying these representations.

Research Background and Motivation

Core Problems

1. Theory Extension Needs: Classical $p$-adic locally analytic representation theory primarily addresses $\mathbf{Q}_p$-coefficients, but mixed characteristic coefficients naturally arise in $p$-adic Hodge theory and the $p$-adic Langlands program.
2. Application-Driven: Mixed characteristic locally analytic representations naturally appear in several important mathematical fields:
   • Decompletion phenomena in $p$-adic Hodge theory
   • Extended eigenvarieties theory
   • Categorical correspondences in the $p$-adic Langlands program
3. Technical Challenges: In the mixed characteristic setting, traditional Taylor series expansions fail and must be replaced by binomial expansions, introducing significant technical complexity.

Research Motivation

The author illustrates the naturality of mixed characteristic locally analytic representations through a concrete example: considering the character $\lambda_T: x \mapsto (1+T)^x$, which makes sense on both rigid analytic disks and pseudo-rigid disks, but in the latter $p$ is not invertible, requiring a new theoretical framework.

Core Contributions

1. Theoretical Framework Construction: Establishes solid locally analytic representation theory over mixed characteristic Banach rings, extending classical theory from $\mathbf{Q}_p$ to broader coefficient rings.
2. Semilinear Representation Treatment: Develops techniques for handling semilinear $G$-representations where the group $G$ acts nontrivially on the coefficient ring.
3. Cohomology Comparison Theorems: Proves comparison theorems between continuous cohomology and locally analytic cohomology (Theorem 1.5).
4. Idempotency of Distribution Algebras: Establishes idempotency properties of distribution algebras (Theorem 6.10), a core structural result of the theory.
5. Characterization of Locally Analytic Representations: Provides complete characterization of locally analytic representations (Theorem 1.4), proving their equivalence to solid modules over distribution algebras.

Detailed Methodology

Theoretical Foundation of Banach Pairs

Definition: A Banach pair is a complete Tate Huber pair $(B,B^+)$ equipped with a morphism $(\mathbf{Z}_p, \mathbf{Z}_p) \to (B,B^+)$.

Key Concepts:

• Slope: $\text{slope}(B,B^+) = \sup\{\lambda \in \mathbf{Q}_{>0} : |p| \leq |\varpi|^\lambda\}$
• Residually Finite Type: $B^+/\varpi$ is a finitely generated $\mathbf{Z}$-algebra

Binomial Rings and Analytic Functions

Since Taylor series are inapplicable in the mixed characteristic setting, the author employs binomial expansions:

Binomial Ring Definition: $B_{h\text{-Bin}}(T) = \left\{\sum_{n \in \mathbf{Z}_{\geq 0}^d} b_n \binom{T}{n} : b_n \in B, 0 \leq \text{val}_\varpi(b_n) - v_h(n) \to \infty\right\}$

where $v_h(n) = \lfloor |n|/p^h(p-1) \rfloor$.

Construction of Distribution Algebras

Analytic Distribution Space: $D_{h\text{-an}}(G_0, B) = C_{h\text{-an}}(G_0, B)^*$

These spaces are equipped with natural $B$-algebra structures, obtained through dualizing the Baker-Campbell-Hausdorff formula.

Definition of Locally Analytic Vectors

For a solid $B_\blacksquare[G]_1$-module $V$: $V^{\text{la}} = \lim_{\overrightarrow{h \to \infty}} \text{Hom}_{B_\blacksquare[G]_1}(D_{h\text{-an}}(G,B)_1, V)$

Main Theoretical Results

Theorem 1.4 (Characterization of Locally Analytic Representations)

1. Solid $h$-analytic representations form a full subcategory of the category of solid $B_\blacksquare[G]_1$-modules.
2. The category of $h$-analytic $G$-representations equals the category of solid modules over $D_{h\text{-an}}(G,B)_1$.
3. A complex $C$ is $h$-analytic if and only if all its cohomology groups are $h$-analytic.

Theorem 1.5 (Cohomology Comparison)

For a complex $C \in D(B_\blacksquare[G]_1)$: $\text{RHom}_{B_\blacksquare[G]_1}(B, C) = \text{RHom}_{B_\blacksquare[G]_1}(B, C^{\text{la}})$

Theorem 6.10 (Idempotency of Distribution Algebras)

$D_{h\text{-an}}(G,B)_1 \otimes^L_{B_\blacksquare[G]_1} D_{h\text{-an}}(G,B)_1 = D_{h\text{-an}}(G,B)_1$

Technical Innovations

1. Application of Grading Techniques

To handle the semilinear case, the author cleverly employs filtration and grading techniques. The key observation is: $\text{gr}(B_\blacksquare[G_0]_1) = \text{gr}(B_\blacksquare[G_0])$$\text{gr}(D_{h\text{-an}}(G_0,B)_1) = \text{gr}(D_{h\text{-an}}(G_0,B))$

This allows reducing proofs in the semilinear case to the linear case.

2. Generalization of Kohlhaase Resolutions

The author extends Kohlhaase resolutions from $\mathbf{Q}_p$-coefficients to mixed characteristic:

Proposition 6.5: The Lazard-Serre resolution can be extended to a complex of $D_{h\text{-an}}(G_0,B^+)_1$-modules equipped with a contracting homotopy.

3. Exploitation of Nuclear Properties

Banach spaces as $B_\blacksquare$-modules possess the nuclear property (Lemma 3.16), which simplifies the description of locally analytic vectors.

Application Prospects

1. $p$-adic Hodge Theory

This theory provides new tools for understanding decompletion phenomena in $p$-adic Hodge theory, particularly at the integral level.

2. Extended Eigenvarieties

Addresses Question 1.1 posed by Bellovin: whether one can define a mixed characteristic version of Emerton's locally analytic Jacquet functor to construct extended eigenvarieties.

3. $p$-adic Langlands Program

Provides theoretical foundations for Questions 1.2 and 1.3, namely whether analogous Langlands correspondences exist in the mixed characteristic case.

Technical Challenges and Solutions

Main Challenges

1. Noncommutativity: In the semilinear case, $B$ is no longer a central element of the twisted ring $B_\blacksquare[G]_1$.
2. Convergence: Convergence analysis of binomial series is more complex than for Taylor series.
3. Homotopy Theory: Must prove existence of contracting homotopies for various resolutions.

Solution Strategies

• Use filtration and grading techniques to reduce problems to known cases
• Carefully analyze properties of the valuation function $v_h(n)$
• Leverage homological tools from condensed mathematics

Limitations and Future Directions

Current Limitations

1. Compactness Assumption: Current theory assumes $G$ is compact, not addressing admissible and smooth representations.
2. Slope Restrictions: Requires slope $\leq 1$; ideally one would handle pseudo-rigid coefficients.
3. Missing Lie Algebra Action: The Lie algebra action in mixed characteristic remains mysterious.

Future Directions

1. Extension to non-compact groups and admissible representations
2. Removal of slope restrictions
3. Study of Lie algebra actions in mixed characteristic
4. Concrete connections with extended eigenvarieties theory

In-Depth Evaluation

Strengths

1. Theoretical Depth: Successfully generalizes classical theory to more general settings with high technical difficulty.
2. Application Value: Provides new tools for multiple important mathematical fields.
3. Technical Innovation: Cleverly employs grading techniques to solve semilinear problems.
4. Completeness: Provides a complete theoretical framework including all foundational structural theorems.

Technical Contributions

1. First systematic treatment of mixed characteristic locally analytic representations
2. Development of new techniques for handling semilinear representations
3. Establishment of deep connections with condensed mathematics

Impact Assessment

This is a high-quality theoretical mathematics paper expected to have significant impact on $p$-adic arithmetic geometry, representation theory, and the Langlands program. This work fills theoretical gaps and lays foundations for future research.

Readability

The paper is rigorously written with clear logic, providing readers with abundant motivation and examples, making it an important contribution to the field.