--- title: Locally Analytic Representations url: https://www.emergentmind.com/topics/locally-analytic-representation type: topic --- # Locally Analytic Representations 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 [1409.7998]. ## 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^+|$ [1409.7998]. ## 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 [1409.7998]. ## 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 [2011.12370]. ## 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 [2409.05079, 2008.04503]. 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 [1108.1539]. - 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 [2501.04850]. ## 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 [1008.4910]. 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 [2504.17683, 2505.10290]. ## 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) [2305.03162, 2110.11916, 2510.13673]. - 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 | [1409.7998], [2011.12370] | | Parabolic induction | Yes | [1409.7998] | | Beilinson–Bernstein localization| Yes | [1108.1539] | | Solid analytic duality | Yes | [2305.03162], [2110.11916]| 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. Source: https://www.emergentmind.com/topics/locally-analytic-representation