---
title: Coadmissible Modules
url: https://www.emergentmind.com/topics/coadmissible-modules
type: topic
---

# Coadmissible Modules

A coadmissible module is a topologically robust module over certain infinite-dimensional Fréchet–Stein algebras that arise in nonarchimedean geometry, representation theory, and $p$-adic D-module theory. The concept organizes analytic families of modules on rigid analytic spaces, completed enveloping algebras, and distribution algebras, providing a pivotal generalization of the coherent module paradigm to the analytic and $p$-adic context. The category of coadmissible modules exhibits abelian, finiteness, and duality properties essential for both algebraic and analytic applications.

## 1. Fréchet–Stein Algebras and the Basic Notion of Coadmissibility

A $K$-algebra $A$ (with $K$ a complete discretely valued nonarchimedean field) is called **Fréchet–Stein** if $A \cong \varprojlim_{n} A_n$ for a sequence of Noetherian Banach $K$-algebras $A_n$ with flat transition maps $A_{n+1} \to A_n$ and dense image [1410.3731]. The prototypical examples include:

- The sheaf $\widehat D_X$ of completed infinite-order differential operators on a smooth rigid analytic $K$-variety $X$: $\widehat D_X(U) = \varprojlim_n D_n(U)$, where $D_n(U)$ is a completed enveloping algebra associated to a Lie–Rinehart pair built from a Lie lattice in the tangent sheaf [1502.01273, 2505.08001].
- The $p$-adic Arens–Michael envelope $\widehat{U(\mathfrak{g})}$ of a reductive Lie algebra $\mathfrak{g}$ [1008.3897].
- The locally analytic distribution algebra $D(G,K)$ of a compact $p$-adic Lie group $G$ [1006.4690].

A left $A$-module $M$ is **coadmissible** if $M \cong \varprojlim_n M_n$ with each $M_n$ a finitely generated $A_n$-module and $A_n \otimes_{A_{n+1}} M_{n+1} \to M_n$ an isomorphism. This structure endows $M$ with a canonical Fréchet topology [1410.3731, 1008.3897].

The category of coadmissible modules (for a fixed Fréchet–Stein structure) is abelian, stable under kernels, cokernels, and extensions, and contains all finitely presented $A$-modules [1410.3731, 1008.3897]. On rigid spaces, coadmissible sheaves are locally inverse limits of coherent modules over the Banach pieces.

## 2. Homological Regularity and the Auslander Condition

A central structural result asserts that for any smooth rigid analytic variety $X$, there exist affinoid covers $U_i$ such that each Banach algebra $D_n(U_i)$ in the Fréchet–Stein presentation $\widehat D_X(U_i) \cong \varprojlim_n D_n(U_i)$ is **Auslander regular** with finite global dimension: $\gldim D_{n,i} \le 2d_i + 3$, where $d_i = \dim U_i$ [2505.08001]. The Auslander regularity implies:

- For any finitely generated $D_{n,i}$-modules $M,N$, one has $\Ext^j_{D_{n,i}}(M,N) = 0$ for $j > 2d_i + 3$.
- Coadmissible $\widehat D_X$-modules inherit finite projective resolutions and dimension-theoretic finiteness: e.g., Bernstein's inequality $j(M) \le \dim X$ for the grade $j(M) := \min\{k : \Ext^k_{\widehat D_X}(M, \widehat D_X) \neq 0\}$.

This regularity grounds the homological algebra of the coadmissible category and underpins duality and six-functor formalisms [2505.08001, 2110.09398].

## 3. Fundamental Constructions and Functoriality

The geometric and categorical framework for coadmissible modules includes:

### Six Operations and Adjointness
The category of coadmissible $\widehat D_X$-modules supports all classical Grothendieck six functors in the context of complete bornological sheaves [2110.09398, 2505.08001]:
- Direct and proper pushforwards ($f_+, f_!$),
- Extraordinary and usual inverse images ($f^!, f^+$),
- Tensor products and (derived) internal Hom,
- Duality functor $\mathbb{D}_X$.

Projection formula and adjunction theorems have been established for these functors:
\[
f_+ M^\bullet \;\widetilde\otimes^{\!L}_{\widehat D_Y} N^\bullet  \simeq Rf_*\left( M^\bullet \widetilde\otimes^{\!L}_{\widehat D_X} f^! N^\bullet \right) [\dim Y - \dim X]
\]
\[
R\cHom_{\widehat D_Y}(f_! M^\bullet, N^\bullet) \simeq Rf_* (R\cHom_{\widehat D_X}(M^\bullet, f^! N^\bullet))
\]
under standard hypotheses [2505.08001].

### Kashiwara's Equivalence for Closed Embeddings
If $i: Z \hookrightarrow X$ is the closed embedding of a smooth subvariety, the functors $i_+$ (pushforward) and $i^!$ (pullback to support on $Z$) yield quasi-inverse equivalences between coadmissible modules on $Z$ and those on $X$ supported on $Z$ [1502.01273, 2110.09398]. This is an analytic version of the algebraic Kashiwara equivalence, crucial for microlocal analysis and the construction of simple coadmissible modules.

## 4. Key Examples and Applications

Coadmissible modules encapsulate the correct analytic counterparts of algebraic D-modules, as evidenced in several contexts:

- **Equivariant and Induced Modules**: The category admits induction and restriction functors compatible with $p$-adic group actions, and forms a bridge to the theory of admissible locally analytic representations. The geometric induction functor and its properties of support and (ir)reducibility are decisive in the classification of equivariant D-modules [2501.07667, 2009.02981].
- **Global Sections and Beilinson–Bernstein Localisation**: On rigid analytic flag varieties, global sections of coadmissible D-modules correspond to admissible locally analytic group representations, and the global sections functor preserves coadmissibility [1807.01086, 1008.3897].
- **Meromorphic Connections and Extension Criteria**: For meromorphic connections on rigid spaces, coadmissibility is governed by the roots of $b$-functions: positivity of type ensures extension to a coadmissible D-module, while certain Liouville exponents obstruct coadmissibility [1812.05000].
  
- **Hilbert Polynomials and Finite-Length Criteria**: The length and multiplicity formalism for modules over completed Weyl algebras provides tools for establishing finite-length results for analytic analogues of holonomic D-modules [2604.24173].

## 5. Structural Properties, Duality, and Dimension Theory

The homological framework inherited from the Auslander regularity yields:

- **Dimension Function**: For $M$ in the coadmissible category over a Fréchet–Stein, Auslander–Gorenstein algebra, one defines a dimension $d(M) = 2d - j(M)$ which sharply discriminates between various classes: e.g., weakly holonomic if $d(M) \le d$ [2011.10019, 1904.13280].
- **Duality**: The derived duality $\mathbb{D}$ is involutive on the subcategory of minimally dimensioned (weakly holonomic) coadmissible modules, with $\mathbb{D}^2 \cong \mathrm{id}$, ensuring biduality parallels to the algebraic case [2011.10019].
- **Kashiwara's Equivalence and Simple Modules**: The pushforward $i_+ O_Y$ of the structure sheaf of a closed subvariety $Y \hookrightarrow X$ yields simple coadmissible D-modules on $X$ supported on $Y$, with simple objects thus parametrized by subvarieties [1502.01273].

Table: Fundamental Features of Coadmissible $\widehat D$-Modules

| Feature                | Description                                                      | Reference    |
|------------------------|------------------------------------------------------------------|--------------|
| Topological type       | Inverse limit of finite Banach modules (Fréchet–Stein)           | [1410.3731]  |
| Homological regularity | Auslander regularity, finite global dimension at each level      | [2505.08001] |
| Functoriality          | Stable under six operations, Kashiwara equivalence, duality      | [2110.09398] |
| Length/Muliplicity     | Controlled by Hilbert polynomial computation                     | [2604.24173]      |
| Applications           | $p$-adic Beilinson–Bernstein, analytic representation theory     | [1807.01086] |

## 6. Connections to Representation Theory and Further Developments

Coadmissible modules over completed enveloping algebras and distribution algebras serve as analytic analogues of finite-dimensional representations:

- **Representation-Theoretic Correspondences**: There are anti-equivalences between the category of coadmissible arithmetic D-modules on formal models of flag varieties and that of admissible locally analytic group representations [1501.05837]. For compact $p$-adic Lie groups, projective coadmissible modules are finitely generated, but the category does not have enough projectives [1006.4690].
- **Riemann–Hilbert Correspondence**: Recent work establishes a full "solution-to-module" and de Rham correspondence for coadmissible D-modules, extending the Riemann–Hilbert dictionary to the $p$-adic infinite-order setting [2506.12601].
- **Dimension and Finiteness**: For modules of algebraic origin (extensions/meromorphic connections/local cohomology of connections), coadmissibility ensures finite length and well-behaved stratification, analogous to the holonomic theory over the complex numbers [2604.24173, 2208.14387].

## 7. Significance, Pathologies, and Outlook

Coadmissible module theory for completed rings of differential operators forms a bridge between $p$-adic rigid analytic geometry, nonarchimedean functional analysis, and $p$-adic representation theory. The Auslander regularity of Banach algebra components suffices to permit a robust microlocal and homological theory. Despite their favorable properties, coadmissible modules can display pathologies not seen in the algebraic setting: infinite length weakly holonomic modules, infinite-dimensional fibers, or failures of extension for non-classical meromorphic connections [1904.13280, 1812.05000]. Nevertheless, the framework is indispensable for structuring six-functor formalisms, compatibility with representation theory, analytic analogues of geometric localization, and the analytic Riemann–Hilbert correspondence [2110.09398, 2506.12601].

Source: https://www.emergentmind.com/topics/coadmissible-modules