---
title: Fréchet–Stein Algebras in p-adic Analysis
url: https://www.emergentmind.com/topics/frechet-stein-algebras
type: topic
---

# Fréchet–Stein Algebras in p-adic Analysis

A Fréchet–Stein algebra is a complete, locally convex non-Archimedean \(K\)-algebra that admits a presentation as a projective limit of Banach \(K\)-algebras with suitable flatness and density conditions. This concept enables a systematic approach to analytic representation theory over \(p\)-adic fields, in particular through the development of analytic analogues of algebraic structures such as Category \(\mathcal{O}\). The framework naturally encompasses important examples, including \(p\)-adic rational Cherednik algebras, and generalizes powerful techniques familiar from complex and algebraic settings to rigid analytic geometry and non-Archimedean functional analysis [2504.16699].

## 1. Definition and Structure of Fréchet–Stein Algebras

A \(K\)-algebra \(A\) with a Fréchet topology is a Fréchet–Stein algebra if there exists an inverse system \(\{A_n\}_{n\geq 0}\) of two-sided Noetherian Banach \(K\)-algebras and continuous homomorphisms \(\rho_{n+1,n}\colon A_{n+1}\to A_n\) such that:
- \(A \cong \varprojlim_{n\geq 0} A_n\) as Fréchet topological \(K\)-algebras.
- Each transition map \(\rho_{n+1,n}\) is two-sided flat, has dense image, and is strict as a map of Banach spaces.
- Each \(A_n\) is Noetherian on both sides and finitely generated over its center.

In practice, \(A\) is required to be a nuclear Fréchet space, owing to the “compact-type” property of the transition maps (in the sense of Schneider–Teitelbaum).

## 2. Coadmissible Modules and Their Properties

Given a Fréchet–Stein algebra \(A = \varprojlim A_n\), a left \(A\)-module \(M\) is coadmissible if there exist finitely generated \(A_n\)-modules \(M_n\) and topological \(A\)-linear isomorphisms
\[
M \cong \varprojlim_{n\geq 0} M_n
\]
such that \(M_{n+1} \otimes_{A_{n+1}} A_n \cong M_n\). The subcategory of coadmissible \(A\)-modules, denoted \(\mathcal{C}(A)\), is independent of the choice of presentation \(\{A_n\}\) and is abelian.

This construction ensures compatibility with the non-Archimedean analytic context and is robust under passage to limits, providing an appropriate categorical setting for analytic representation theory.

## 3. Triangular Decomposition and Analytic Category \(\mathcal{O}\)

A triangular decomposition is an additional structure reflecting the direct-sum and grading properties critical to highest weight theory. For a Banach \(K\)-algebra \(R\), a triangular decomposition is a tuple \((R, A, B, H, d)\) with:
- A dense graded subalgebra \(R_0\) graded by \(d \in R_0\) via \(\mathrm{ad}(d) = [d, -]\).
- Graded subalgebras \(A, B, H \subset R_0\), with \(H \cong R_0^0\) (finite-dimensional semisimple), and decompositions \(A = \bigoplus_{n \ge 0} A^n\), \(B = \bigoplus_{n \ge 0} B^{-n}\).
- An isomorphism of Banach spaces \(R \cong A \widehat{\otimes}_K H \widehat{\otimes}_K B\).
- \(A\) and \(B\) admit finite-type, semisimple weight-space decompositions for \(\mathrm{ad}(d)\) and are two-sided Noetherian Banach algebras, stable under \(\mathrm{ad}(d)\).

A Fréchet–Stein algebra \(R = \varprojlim_{n \ge 0} R_n\) admits a triangular decomposition if each \(R_n\) does, compatible with the transition maps. This structure enables definition of an analytic Category \(\mathcal{O}\) as the full subcategory of \(\mathcal{C}(R)\) with modules finitely generated over the positive subalgebra and admitting finite-type weight decompositions for \(\mathrm{ad}(d)\).

## 4. The \(p\)-adic Rational Cherednik Algebra as a Fréchet–Stein Algebra

Given a finite-dimensional \(K\)-vector space \(h\) and \(G \subset \mathrm{GL}(h)\), let \(S(G)\) denote the set of reflections and \(c: S(G) \to K\) a \(G\)-invariant function. The algebraic rational Cherednik algebra \(H_c(h, G)\) is constructed as:
\[
H_c(h, G) = \frac{G \ltimes T(h \oplus h^*)}{\langle [v,w]=0,\, [x,y]=0,\, [v,x] = (v,x) + \sum_{g \in S(G)} c(g)\, (v,\alpha_g)\, \beta_g(x)\,g \rangle}
\]
with associated Dunkl–Opdam filtration satisfying \(\mathrm{gr}\, H_c(h, G) \cong G \ltimes \mathrm{Sym}(h \oplus h^*)\).

Transitioning to the non-Archimedean analytic framework, one defines the analytic rational Cherednik algebra \(H_c(h^{\mathrm{an}}, G)\) as the closure of \(H_c(h, G)\) in \(G \ltimes \mathscr{D}(h^{\mathrm{an}}_{\mathrm{reg}})\), with the explicit presentation:
\[
H_c(h^{\mathrm{an}}, G) \cong \varprojlim_{m \ge 0} H_c(h, G)_{\widehat{m}} \otimes_R K
\]
where each Banach algebra \(H_c(h, G)_{\widehat{m}}\) is a \(T\)-adic completion corresponding to bounded disks, and
\[
H_c(h^{\mathrm{an}}, G) \cong A \widehat\otimes_K K[G] \widehat\otimes_K B
\]
with \(A \cong K\langle h \rangle\) and \(B \cong K\langle h^* \rangle\) (Tate algebras). Hence, \(H_c(h^{\mathrm{an}}, G)\) is itself a Fréchet–Stein algebra admitting a triangular decomposition [2504.16699].

## 5. The Analytic Category \(\mathcal{O}\) and Its Properties

For \(R = H_c(h^{\mathrm{an}}, G)\) with a triangular decomposition \((A, B, H = K[G], d)\), the analytic Category \(\mathcal{O}_c\) is defined as:
\[
\mathcal{O}_c = \{\, M \in \mathcal{C}(R) \mid
\begin{array}{l}
M\ \text{is finitely generated as an $A$--module,} \\
\text{admits finite-type weight decomposition for $\mathrm{ad}(d)$}
\end{array}
\,\}
\]
The main properties include:
- \(\mathcal{O}_c\) is an abelian Serre subcategory of \(\mathcal{C}(R)\), closed under closed subobjects and finite direct sums.
- It forms a highest-weight category, with standard (Verma) objects \(\Delta(W) = R \widehat\otimes_{B H} W\) for \(W \in \mathrm{Irr}\, H\), simple heads \(L(W)\), and block decomposition by “\(c\)-eigenvalues”.
- Each Verma module \(\Delta(W)\) has a unique maximal closed submodule, leading to unique simple quotients with a bijection to \(\mathrm{Irr}(G)\).
- Objects in \(\mathcal{O}_c\) possess analytic Verma filtrations and Jordan–Hölder series, analogously to the algebraic case [2504.16699].

## 6. GAGA, Arens–Michael Envelopes, and Algebra–Analytic Correspondence

A comparison arises between the algebraic rational Cherednik algebra \(H_c(h,G)\) and its analytic counterpart \(H_c(h^{\mathrm{an}},G)\):
- The canonical homomorphism
  \(\iota: H_c(h,G) \to H_c(h^{\mathrm{an}}, G)\)
  is faithfully flat with dense image.
- Under rigid-analytic GAGA, \(h^{\mathrm{an}}/G \simeq (h/G)^{\mathrm{an}}\), and \(\iota\) intertwines global sections for algebraic and analytic sheaves of Cherednik algebras.
- The analytic algebra \(H_c(h^{\mathrm{an}}, G)\) is the Arens–Michael envelope of \(H_c(h, G)\)—the universal Fréchet–Stein completion.
- The analytic Category \(\mathcal{O}_c\) is equivalent to the completion of the algebraic Category \(\mathcal{O}\):
\[
H_c(h^{\mathrm{an}},G)\, \widehat\otimes_{H_c(h,G)} - : \mathcal{O}_c(H_c(h,G)) \xrightarrow{\sim} \mathcal{O}_c(H_c(h^{\mathrm{an}},G))
\]
These results collectively yield a \(p\)-adic analogue of the familiar triangular decomposition and Category \(\mathcal{O}\) machinery from the complex-analytic and algebraic contexts, with the rational Cherednik algebra as the prototypical example [2504.16699].

Source: https://www.emergentmind.com/topics/frechet-stein-algebras