Solid Theory: Locally Analytic Representations

• Solid Theory of Locally Analytic Representations is a framework that uses condensed mathematics to view p-adic Lie group actions as solid modules with robust homological properties.
• It leverages Fréchet–Stein algebras and coadmissible modules to construct derived categories and resolve analytic vectors within an abelian setting.
• Extensions to mixed characteristic and semilinear cases establish strong links to p-adic Hodge theory, eigenvarieties, and the p-adic Langlands program.

The solid theory of locally analytic representations investigates $p$-adic Lie group representations on vector spaces equipped with analytic structures, situated in the robust framework of condensed mathematics and solid functional analysis. Solid representations are objects in the abelian category of solid (condensed) modules, which replaces the quasi-abelian world of topological vector spaces and enables precise homological and categorical techniques. Recent developments have extended the solid theory to encompass mixed characteristic coefficients, semilinear modules, and deeper connections to $p$-adic Hodge theory, eigenvarieties, and the $p$-adic Langlands program.

1. Solid Representations and Condensed Mathematics

Solid representations are $p$-adic Lie group representations considered within the abelian category of solid vector spaces, as formulated in the condensed mathematics framework of Clausen and Scholze. Every complete locally convex $K$-vector space (Banach, Fréchet, LB, LF, etc.) can be embedded as a solid module. This allows the systematic application of homological algebra and derived category methods, circumventing pathologies of the traditional topological setting. Solid locally analytic representations are those where every vector's orbit map is locally analytic, but defined and manipulated within the abelian solid category rather than the quasi-abelian category of locally convex spaces (Jacinto et al., 2021, Jacinto et al., 2023).

The solid category enables the construction of derived functors (such as the derived functor of analytic vectors), extensions, resolutions, and the comparison of cohomology theories, crucial for conceptual clarity and technical power in $p$-adic representation theory.

2. Fréchet–Stein Algebras and Coadmissible Modules

A core structural feature in the solid theory is the use of Fréchet–Stein algebras. For a $p$-adic Lie group $G$ over $L$ and a complete non-archimedean extension $K/L$, the locally analytic distribution algebra is assembled as a projective limit of Banach algebras: $p$0 where each $p$1 is noetherian, Auslander, has global dimension $p$2, and the transition maps are flat and dense. Finite $p$3-modules (coadmissible modules) are thus Banach spaces with finite projective resolutions; coadmissible $p$4-modules correspond anti-equivalently to admissible solid locally analytic representations (Jacinto et al., 2023).

This Fréchet–Stein property is essential for defining the derived category of quasi-coherent sheaves of solid representations and underpins the "noncommutative geometry" perspective for $p$5-representations.

3. Extension to Mixed Characteristic and Semilinear Cases

The recent extension of solid locally analytic theory to mixed characteristic coefficients significantly broadens applicability. New coefficient rings include $p$6 and certain analytic function rings such as $p$7, together with semilinear group actions. This required the generalization of analytic distribution algebras, completion techniques, and functional analytic arguments to these more exotic (nonarchimedean analytic) base rings (Porat, 15 Oct 2025).

Consequences of this extension include potential advances in:

• Mixed characteristic $p$8-adic Hodge theory
• The construction and study of eigenvarieties over arbitrary coefficient fields
• Generalizations of the $p$9-adic Langlands correspondence beyond characteristic zero coefficients

4. Cohomological Theory and Comparison Results

Solid functional analysis permits robust homological tools for locally analytic representations. Central results include the generalization of Lazard's isomorphisms: for a solid $p$0-representation $p$1 (or suitable complex $p$2),

$p$3

i.e., group cohomology, distribution algebra cohomology, and Lie algebra cohomology coincide for derived locally analytic objects (Jacinto et al., 2021, Jacinto et al., 2023). Comparison theorems between continuous cohomology and cohomology of analytic vectors are greatly strengthened due to the abelian nature of the solid category.

The Lazard–Serre resolution and its solid analytic generalization (in the spirit of Kohlhaase) are applied to Banach module contexts, including twisted distribution algebras and Banach pairs, yielding derived comparison results and facilitating spectral sequence arguments.

5. Derived Functors, Resolutions, and Duality

The solid environment enables derived functors of analytic vectors, explicit projective resolutions (e.g., via Chevalley–Eilenberg complexes), and wall complex constructions for solid representations. For admissible solid locally analytic representations $p$4, the category admits explicit resolutions by analytic coefficient systems, and extension groups $p$5 can be calculated using derived functor machinery (Agrawal et al., 2024).

Duality statements are natural in this context. For (weakly D-proper) morphisms of solid D-stacks (e.g., arising from families of $p$6-modules on relative Fargues–Fontaine curves), a Poincaré duality is proven: $p$7 This duality provides new proofs and generalizations of finiteness and duality properties for cohomology in solid analytic contexts (Mikami, 2 Apr 2025).

6. Relations to $p$8-adic Hodge Theory and the Langlands Program

Solid locally analytic theory, especially in mixed characteristic and for semilinear representations, underpins links to $p$9-adic Hodge theory and the $p$0-adic Langlands program. Foundational works by Berger, Colmez, and collaborators elucidate the correspondence between locally analytic representations, overconvergent $p$1-modules, and $p$2-adic differential equations, information that is synthesized in the solid setting (Porat, 15 Oct 2025).

The analytic stack and 6-functor formalism, as developed by Clausen–Scholze and Heyer–Mann, is employed to formulate duality and finiteness theorems for families of $p$3-modules, extending the classic results of Kedlaya–Pottharst–Xiao and providing a categorical context for generalizations relating to eigenvarieties and the Langlands correspondence (Mikami, 2 Apr 2025, Porat, 15 Oct 2025).

7. Bibliography and Interconnections

The solid theory of locally analytic representations synthesizes foundational tools:

• Analytic distributions and admissible representations (Schneider–Teitelbaum)
• Extensions of the Lazard–Serre resolution (Lazard, Kohlhaase)
• Condensed mathematics and solid module theory (Clausen–Scholze, Mann)
• Analytic and (pro-)Banach techniques in mixed characteristic (Lourenço, Stacks Project)
• $p$4-adic Hodge modules and eigenvariety techniques (Kedlaya, Colmez, Emerton, Hansen–Newton, Coleman–Mazur, Bellovin)

This integration provides a comprehensive framework, with robust homological devices, non-commutative geometry perspectives, and analytic techniques tailored for applications in arithmetic geometry, automorphic forms, and $p$5-adic representation theory.

---

Summary Table: Fundamental Structures in Solid Locally Analytic Representations

Structure	Description	Main Reference
Solid Representation	Object in abelian category of condensed modules (solid vector spaces)	(Jacinto et al., 2021)
Fréchet–Stein Algebra	Inverse limit of noetherian Banach algebras with flat transition maps	(Jacinto et al., 2023)
Cohomological Comparison	$p$6	(Jacinto et al., 2021)
Resolution by Wall Complex	Analytic and geometric (Lie algebraic) resolutions combined for Ext-groups	(Agrawal et al., 2024)
6-Functor Formalism and Duality	Poincaré duality for solid D-stacks and $p$7-modules families	(Mikami, 2 Apr 2025)
Mixed Characteristic/Nonarchimedean Base	Generalized to $p$8, $p$9	(Porat, 15 Oct 2025)

---

The solid theory of locally analytic representations delivers a comprehensive, categorical, and analytic apparatus for the study of $K$0-adic Lie group representations, particularly in settings requiring robust homological control, dualities, and general base coefficients relevant both in arithmetic geometry and higher representation theory.