Locally Analytic Representations

• Locally analytic representations are continuous group actions on locally convex p-adic vector spaces that bridge classical representation theory and arithmetic geometry.
• They employ Fréchet–Stein distribution algebras and functorial induction methods to develop robust homological and dimension theories.
• These representations underpin advanced tools in p-adic harmonic analysis, rigid analytic localization, and geometric resolutions in settings such as Drinfeld curves.

A locally analytic representation is a continuous group representation on a locally convex topological vector space (over a finite extension $K/\mathbb{Q}_p$) equipped with an action by a $p$-adic Lie group $G$ such that the orbit map $g \mapsto g \cdot v$ is locally analytic for every $v$ in the space. This concept serves as a foundational bridge between classical representation theory, nonarchimedean functional analysis, and arithmetic geometry, now central to $p$-adic harmonic analysis, the $p$-adic Langlands program, and rigid geometric representation theory.

1. Frechet–Stein Distribution Algebras and Locally Analytic Representations

Locally analytic $G$-representations $V$ are Hausdorff locally convex $K$-vector spaces with continuous $G$-action such that all orbit maps $g \mapsto g \cdot v$ are locally analytic functions. The category of admissible locally analytic representations is anti-equivalent to the category of coadmissible modules over the strong dual $D(G)$ of the space $C^{la}(G,K)$ of locally analytic $K$-valued functions on $G$. The ring $D(G)$ possesses a Fréchet–Stein structure, i.e., $D(G) = \varprojlim_r D_r(G)$ for suitable Banach algebra quotients, which guarantees that the category of coadmissible modules has robust homological properties (Schmidt et al., 2014).

2. Induction, Canonical Dimension, and Highest Weight Theory

Let $P \subset G$ be a parabolic subgroup, and let $V$ be a finite-dimensional locally analytic $P$-representation. The induced module $$M(V) = U(\mathfrak{g}_K) \otimes_{U(\mathfrak{p}_K)} V$$ (for $\mathfrak{g}_K = \text{Lie}(G) \otimes_L K$) has canonical dimension

$$\dim_{U(\mathfrak{g}_K)} M(V) = \dim_K (\mathfrak{g}_K / \mathfrak{p}_K),$$

which transfers under parabolic induction and the Orlik–Strauch functor to the locally analytic setting: $$\dim_{D(G)}(\operatorname{Ind}_P^G(V)') = \dim_L(\mathfrak{g} / \mathfrak{p}).$$ In particular, for principal series (maximal parabolic, i.e., Borel $B$), the dimension of locally analytic principal series is precisely the number of positive roots $|\Phi^+|$ (Schmidt et al., 2014).

3. Canonical Dimension Bounds and Gap Phenomena

Let $R$ be a noetherian Auslander–regular ring of finite global dimension, and $M$ a finitely generated $R$-module. Its canonical dimension is defined as $\dim_R M := \text{gldim}(R) - j_R(M)$, where $j_R(M)$ is the minimal $k$ such that $\mathrm{Ext}_R^k(M,R) \neq 0$. For locally analytic representations, the canonical dimension function respects exact sequences and faithfully flat base-change, allowing for a robust dimension theory. The lower-bound gap phenomenon asserts

$\dim(M) \ge \frac{1}{2} \dim(\mathcal{O}_{\min})$

for nonzero objects, with $\mathcal{O}_{\min}$ the minimal nilpotent coadjoint orbit—no "small" non-smooth locally analytic representations exist below half the minimal orbit dimension (Schmidt et al., 2014).

4. Functorial Constructions and Exactness

The induction functor ${}_P^G(M)':= D(G) \otimes_{D(\mathfrak{g}_K,P)} M$, with $$D(\mathfrak{g}_K,P) := D(P) \otimes_{U(\mathfrak{p}_K)} U(\mathfrak{g}_K)$$, is exact on the abelian category of finitely generated $U(\mathfrak{g}_K)$-modules and faithfully preserves canonical dimension. This functor integrates Lie-theoretic highest weight classification and Fréchet–Stein module theory, providing a categorical bridge between classical (BGG category $\mathcal{O}$, Goldie-rank polynomials) and non-Archimedean representation theory (Agrawal et al., 2020).

5. Rigid Analytic Geometry, Resolution, and Localization

Resolutions of locally analytic principal series representations and sheaf-theoretic localizations have emerged as central tools. The analytic analogue of the Schneider–Stuhler complex provides a coefficient system consisting of analytic vectors associated to facets of the Bruhat–Tits building. The resolution is constructed by analytic analogues of classical chain complexes, e.g., via the Chevalley–Eilenberg complex, and is adapted for use in computing extension groups within the admissible locally analytic category (Agrawal et al., 2024, Lahiri, 2020). Furthermore:

• For principal congruence subgroups $G_0$, generalizations of Beilinson–Bernstein localization yield exact equivalences between categories of admissible locally analytic $G_0$-representations and modules over global sections of twisted differential operator sheaves on the flag variety (Schmidt, 2011).
• Wall complexes and analytic Koszul complexes provide canonical finite-length resolutions of locally analytic objects, homologically governing the computation of Ext-groups and revealing dualities such as Grothendieck–Serre and Bernstein–Zelevinsky in solid analytic contexts (Strauch et al., 8 Jan 2025).

6. Special and Low-Dimensional Cases: Line Bundles, Steinberg, and Ext¹-Conjecture

Locally analytic representations arising from homogeneous line bundles (e.g., on Drinfeld half-spaces) inherit their canonical (Gelfand–Kirillov) dimension from algebraic data: $$\dim_{D(G)} H^0(\Omega^d, \mathcal{L}_\lambda) = |\Phi^+| - \min_{w \in W} m_w,$$ with $m_w$ the Goldie–rank polynomial degree for Weyl group element $w$. For the Steinberg representation, locally analytic analogues of the Tits complex give rise to acyclic homological resolutions and explicit Jordan–Hölder series in terms of Orlik–Strauch functors (Orlik et al., 2010).

Recent work establishes Breuil's locally analytic $\operatorname{Ext}^1$ conjecture for $GL_2(L)$, showing that the space of locally analytic extensions of smooth duals by $O_\sigma[M]$ associated to Drinfeld curves enjoys the expected dimension for each field embedding $\sigma$, with wall-crossing functors providing universal extensions. These results have clarified the geometric realization of $p$-adic local Langlands correspondence through the analytic cohomology of Shimura and Drinfeld curves (Su, 24 Apr 2025, Qiu et al., 15 May 2025).

7. Solid and Condensed Frameworks, Cohomological Comparison, and Generalizations

Recent developments reframe locally analytic representation theory within condensed/solid mathematics:

• Solid locally analytic representations correspond to quasi-coherent modules over solid distribution algebras equipped with Fréchet–Stein structures, generalizing Schneider–Teitelbaum's anti-equivalence.
• Cohomological comparison theorems recover the classical Lazard, Casselman–Wigner, and Lie-algebra cohomology isomorphisms, now for solid representations over general $p$-adic fields and even mixed characteristic coefficient rings (e.g., $\mathbb{F}_p((X))$, pseudorigid families) (Jacinto et al., 2023, Jacinto et al., 2021, Porat, 15 Oct 2025).
• The analytic subcategory is now recognized as stable under colimits, duality, and admissible extension, with explicit derived functors computing analytic vectors and ensuring robust theoretical infrastructure for generalizations in arithmetic geometry, $p$-adic Hodge theory, and the nonarchimedean geometric Langlands program.

Table: Key Functors and Dimensions

Functor/Construction	Preserves Dimension?	References
Orlik–Strauch induction	Yes	(Schmidt et al., 2014, Agrawal et al., 2020)
Parabolic induction	Yes	(Schmidt et al., 2014)
Beilinson–Bernstein localization	Yes	(Schmidt, 2011)
Solid analytic duality	Yes	(Jacinto et al., 2023, Jacinto et al., 2021)

The locally analytic representation framework thus encompasses both explicit functorial constructions (e.g., induction and localization via Fréchet–Stein algebras), robust homological theory (resolution, duality, and dimension bounds), and deep connections with arithmetic, geometric, and homological structures in modern $p$-adic representation theory.