---
title: 'Coorbit Spaces: Theory and Applications'
url: https://www.emergentmind.com/topics/coorbit-spaces
type: topic
---

# Coorbit Spaces: Theory and Applications

Coorbit spaces are function and distribution spaces defined by imposing Banach, quasi-Banach, or Fréchet function-space conditions on a representation-theoretic voice transform of the form \(V_g f(x)=\langle f,\pi(x)g\rangle\). Initiated by Hans G. Feichtinger and Karlheinz Gröchenig in the late 1980s, coorbit theory starts from a locally compact group, a unitary representation, and an analyzing vector, and then constructs spaces whose regularity, decay, or sparsity are measured on the group rather than directly on the underlying domain. In this sense, modulation spaces, Besov spaces, Sobolev–Shubin spaces, and shearlet spaces appear as instances of a common representation-theoretic mechanism, with atomic decompositions and Banach frames reflecting the geometry of the underlying group [2101.05232].

## 1. Classical construction

The classical theory starts with a locally compact group \(G\), a strongly continuous unitary representation \(\pi:G\to \mathcal U(\mathcal H_\pi)\), and the voice transform
\[
\mathcal W_g f(x)=\langle f,\pi(x)g\rangle .
\]
For square-integrable representations, the Duflo–Moore theorem yields admissible vectors \(g\) for which \(\mathcal W_g:\mathcal H_\pi\to L^2(G)\) is an isometry, and the image is a reproducing kernel Hilbert space characterized by
\[
F=F*_G\mathcal W_g g.
\]
The corresponding reconstruction formula is
\[
f=\int_G \mathcal W_g f(x)\,\pi(x)g\,d\mu_L(x),
\]
understood in the weak sense [2101.05232].

Classical coorbit theory then strengthens square integrability to integrability. For an integrable representation, one defines the test space
\[
\mathcal H^1=\{f\in\mathcal H_\pi:\mathcal W_g f\in L^1(G)\},
\]
its anti-dual reservoir
\[
\mathcal R=(\mathcal H^1)^\urcorner,
\]
and the coorbit spaces
\[
\mathcal Co_p(G)=\{\phi\in\mathcal R:\mathcal W_g\phi\in L^p(G)\}, \qquad 1\le p\le \infty.
\]
A basic structural feature is the endpoint identification
\[
\mathcal Co_1(G)=\mathcal H^1,\qquad \mathcal Co_2(G)=\mathcal H_\pi,\qquad \mathcal Co_\infty(G)=\mathcal R.
\]
The extended transform remains injective on the reservoir, and the coorbit scale interpolates naturally between test vectors, the Hilbert space, and distributions [2101.05232].

These facts encode the original Feichtinger–Gröchenig philosophy: a function space is derived from a representation rather than imposed externally. The decisive mechanism is the reproducing identity on the transform side, which converts analytic questions about functions or distributions into convolution and localization questions on the group.

## 2. Weighted coorbits and standard function-space realizations

A common weighted version uses weighted Lebesgue spaces \(L_m^p(G)\), moderate weights \(m\), and control weights \(w\). In this setting one fixes a nonzero analyzing vector \(\psi\in A_w\), defines
\[
\mathcal H_w^1=\{f\in\mathcal H:V_\psi f\in L_w^1(G)\},
\]
lets \(\mathcal R_w=(\mathcal H_w^1)^\sim\), and sets
\[
\mathrm{Co}\,L_m^p(G)=\{f\in\mathcal R_w:V_\psi f\in L_m^p(G)\}.
\]
The corresponding reproducing-kernel subspace is
\[
M_m^p=\{F\in L_m^p(G):F=F*V_\psi\psi\},
\]
and the voice transform yields an isometric isomorphism
\[
V_\psi:\mathrm{Co}_m^p\to M_m^p.
\]
Within this framework, independence of the analyzing vector, completeness, duality, and the correspondence principle are all available in a form specialized to weighted Lebesgue coefficients [2401.12387].

Two canonical realizations dominate the literature. For the affine group, the wavelet representation produces homogeneous Besov spaces; in the weighted-\(L^p\) formulation one obtains
\[
\mathrm{Co}_{m_s}^p \cong \dot B_{p,p}^{\,s-\frac12+\frac1p}.
\]
For the reduced Heisenberg group, the Schrödinger representation produces the modulation spaces \(M_{r,s}^p\). In both cases, the representation-theoretic voice transform becomes a familiar continuous transform—the wavelet transform or the short-time Fourier transform—and Banach frames arise from sufficiently regular wavelet or Gabor windows [2401.12387].

This classical layer is historically central because it shows that coorbit spaces are not merely abstract Banach spaces of coefficients. They recover established smoothness spaces and simultaneously explain why those spaces admit transform-domain discretizations.

## 3. Generalizations beyond irreducibility and \(L^1\)-integrable kernels

A major extension removes two restrictive assumptions of the classical theory: irreducibility of the representation and \(L^1\)-integrability of the reproducing kernel. In the Fréchet-target approach, one starts from data
\[
(G,\mathcal H,\pi,u,\mathcal T,Y),
\]
where \(\pi\) is a continuous unitary reproducing representation, \(u\) is admissible, \(\mathcal T\) is a Fréchet function space continuously embedded into \(L^0(G)\), and \(Y\) is a left-invariant Banach space continuously embedded into \(L^0(G)\). The test space is defined by
\[
\mathcal S=\{v\in\mathcal H:V_2v\in j(\mathcal T)\},
\]
the distribution space is \(\mathcal S'\), and the generalized coorbit space is
\[
\operatorname{Co}(Y)=\{T\in\mathcal S':V_eT\in Y\}.
\]
The reproducing subspace is
\[
\mathcal M^Y=\{f\in Y:f*K=f\},
\]
and the fundamental structural statement is
\[
V_e\operatorname{Co}(Y)=\mathcal M^Y,
\]
with inverse \(f\mapsto \pi(f)u\). The same framework recovers
\[
\operatorname{Co}(L^2(G))=\mathcal H,\qquad \operatorname{Co}(\mathcal T)=\mathcal S.
\]
Its model examples include \(\mathcal T=\bigcap_{p\in(1,+\infty)}L^p(G)\), Paley–Wiener spaces, Shannon wavelets, and Schrödingerlets [1402.3917].

A different line of extension treats quasi-Banach coefficient spaces. For a solid quasi-Banach function space \(Y\), the correct coefficient condition is not generally \(V_g f\in Y\) itself but
\[
V_g f\in W(L^\infty,Y),
\]
the left Wiener amalgam associated with \(Y\). In this form, coorbit spaces exist on arbitrary second countable locally compact groups, including nonunimodular groups, and the theory allows projective and reducible unitary representations, weaker localization assumptions \(V_gg\in W(L^\infty,L_w^p)\), and molecular dual frames and Riesz sequences throughout the quasi-Banach scale [2203.07959].

A third extension treats the coorbit spaces themselves as Fréchet spaces when the kernel is only in
\[
\bigcap_{1<p<\infty}L_{p,w}(G)
\]
and not in \(L_{1,w}(G)\). In that case one sets
\[
\mathcal S_w=\{v\in\mathcal H:Vv\in L_{p,w}(G)\text{ for all }1<p<\infty\},
\qquad
Y=\bigcap_{1<p<\infty}L_{p,m}(G),
\]
and defines
\[
\operatorname{Co}(Y)=\{T\in\mathcal S_w':V_eT\in Y\}
=\bigcap_{1<p<\infty}\operatorname{Co}(L_{p,m}(G)).
\]
This projective-limit viewpoint is designed for non-integrable kernels such as the sinc kernel and leads to a Fréchet-space Correspondence Principle. Closely related work shows that, without further hypotheses, classical uniform atomic decompositions and Banach frames cannot generally persist in the non-\(L^1\) setting; stronger discretization requires additional operator bounds or auxiliary kernels [2512.17502], [1807.06380].

A recurring misconception is that coorbit theory is intrinsically tied to \(L^1_w(G)\), irreducibility, or Banach coefficients. The generalized theories show that those hypotheses are classical sufficient conditions, not an exhaustive description of the subject.

## 4. Decomposition-space realizations and phase-space localization

For semidirect products \(\mathbb R^d\rtimes H\), a large class of wavelet coorbit spaces can be realized as decomposition spaces. If \(H\leq \mathrm{GL}(d,\mathbb R)\) is an integrably admissible dilation group with essential frequency support \(\mathcal O\), one has a natural smooth analyzing space
\[
\mathcal S_{\mathcal O}(\mathbb R^d)=\mathcal F^{-1}(C_c^\infty(\mathcal O)),
\]
and for mixed weighted Lebesgue spaces \(L_v^{p,q}(G)\) the coorbit spaces are isomorphic to decomposition spaces
\[
\mathcal D(\mathcal Q,L^p,\ell_u^q)
\]
associated with coverings of \(\mathcal O\) induced by the dual action of \(H\). In particular, the anisotropic Besov spaces associated with expansive matrices coincide precisely with the coorbit spaces induced by integrably admissible one-parameter groups [1903.11528].

The same coorbit-to-decomposition-space passage is central for concrete non-Euclidean examples. On stratified Lie groups, the quasi-regular representation of \(\mathbb R^+\ltimes G\) identifies homogeneous Besov spaces with coorbit spaces through
\[
\dot B^{\,Q-2s/q}_{p,q}(G)=\operatorname{Co}_{\mathcal S_0(G)}L_s^{p,q}
\]
up to norm equivalence, and the coorbit machinery then yields atomic decompositions and Banach frames for these Besov spaces [1110.6676]. In the shearlet setting, the decomposition-space viewpoint provides explicit Sobolev embedding criteria for three-dimensional shearlet coorbit spaces and shows that the scaling subgroup governs the embedding behavior, while the shearing subgroup does not affect these Sobolev embeddings [1904.01393].

A complementary localization principle is provided by phase-space covers. If \(\{\eta_\gamma\}\) is a partition of unity on phase space and \(M_\gamma(f)=V_h^{-1}(\eta_\gamma V_h f)\) denotes the associated phase-space multiplier, then
\[
\|f\|_{\mathrm{Co}E}\approx \left\| \big(\|M_\gamma(f)\|_{\mathrm{Co}B}\big)_\gamma\right\|_{E_d}.
\]
This characterizes coorbit norms by arbitrary, possibly irregular, phase-space covers, and extends localization-operator descriptions from time-frequency analysis to time-scale and more general coorbit settings [1007.3528].

These results are structurally important because they connect coorbit spaces to Littlewood–Paley decompositions, decomposition spaces, and localization operators. The representation-theoretic definition is thereby linked to frequency coverings, embedding theory, and explicit coefficient-space descriptions.

## 5. Kernel theorems and operator coorbit spaces

Coorbit theory also supports a general kernel theorem for operators. If \((\pi_1,\mathcal H_1)\) and \((\pi_2,\mathcal H_2)\) are integrable representations of \(G_1\) and \(G_2\), then bounded operators
\[
A:\operatorname{Co}_{\pi_1}L^1_{w_1}(G_1)\to \operatorname{Co}_{\pi_2}L^\infty_{1/w_2}(G_2)
\]
are represented by unique kernels
\[
K\in \operatorname{Co}_\pi L^\infty_{1/w}(G_1\times G_2),
\qquad \pi=\pi_2\otimes \pi_1,
\]
through the pairing
\[
\langle Av,\varphi\rangle=\langle K,\varphi\otimes v\rangle.
\]
On the transform side, every such operator becomes an integral operator whose kernel is the generalized matrix coefficient
\[
k_A(g_1,g_2)=\langle A\pi_1(g_1)\psi_1,\pi_2(g_2)\psi_2\rangle,
\]
and Schur-type tests give mixed-norm boundedness criteria for maps between other coorbit spaces. This abstract theorem recovers Feichtinger’s kernel theorem for modulation spaces and yields analogous results for Besov spaces and cross-representation mappings [1903.02961].

A more recent development replaces function-valued transforms by operator-valued ones. For Hilbert–Schmidt operators, the operator-valued STFT is
\[
\mathfrak V_S T(z)=S^*\pi(z)^*T,
\]
and it generates vector-valued reproducing kernel Banach spaces of operators, serving as operator coorbit spaces in direct analogy with function modulation spaces [2210.04844]. In a parallel framework, for operator Gabor \(g\)-frames one obtains coincidence between continuous operator-STFT spaces \(\mathfrak M_m^p(\mathbb R^d)\) and localized \(g\)-frame coorbit spaces \(C_m^p(\mathcal G)\); moreover, the associated sparsity classes satisfy
\[
S_m^p(\mathcal W)=\mathfrak M_m^p(\mathbb R^d),
\]
and best-\(m\)-term approximation obeys
\[
\sigma_m(F,\mathcal W)\lesssim \frac{1}{(m+1)^\alpha}\,\|F\|_{\mathfrak M^p},
\qquad
\alpha=\frac1p-\frac12.
\]
This places operator localization, sparse approximation, and operator coorbits in a common framework, including applications to Feichtinger operators and mixed states [2509.16440].

The operator theory shows that coorbit spaces are no longer confined to scalar function spaces. The same representation-theoretic logic extends to kernels, operator-valued transforms, sparse operator dictionaries, and approximation classes.

## 6. Canonical examples and current directions

Several examples have become standard precisely because they lie outside the narrow classical \(L^1\)-kernel regime. For the Paley–Wiener setting on \(G=\mathbb R\), with \(K=\mathcal F^{-1}\chi_\Omega\), the kernel is not in \(L^1(\mathbb R)\) when \(\Omega=[-\omega,\omega]\), but it is in \(L^p(\mathbb R)\) for every \(p>1\), and the generalized theory gives
\[
\mathcal S=\bigcap_{p\in(1,\infty)}B_\Omega^p,\qquad
\mathcal S'=\bigcup_{p\in(1,\infty)}B_\Omega^p,\qquad
\operatorname{Co}(L^p(\mathbb R))=B_\Omega^p.
\]
The Shannon wavelet on the affine group provides another natural admissible vector with
\[
K\in L^p(G)\quad \forall p>1,\qquad K\notin L^1(G),
\]
and Schrödingerlets supply a highly reducible example with kernels in
\[
\bigcap_{p>1}L^p(G)\setminus L^1(G).
\]
These examples were among the main motivations for replacing \(L_w^1(G)\) by Fréchet targets such as \(\bigcap_{p>1}L^p(G)\) [1402.3917].

Wavelet coorbit theory over disconnected local fields gives a different non-Euclidean realization. For a local field \(K\), the quasi-regular representation of
\[
G=K\rtimes K^*
\]
is integrable, the test-function space
\[
\mathcal S_0(K)=\Bigl\{f\in\mathcal S(K): \int_K f(x)\,dx=0\Bigr\}
\]
consists precisely of admissible wavelets inside \(\mathcal S(K)\), and homogeneous Besov spaces satisfy
\[
\dot B_{\alpha,s,t}(K)=Co(L_w^{s,t}),
\qquad
w(x,h)=|h|^{-\alpha-1/2},
\]
with equivalent norms. In this ultrametric setting, compact open subgroups and right-invariant wavelet coefficients yield unusually explicit tight wavelet frames and unconditional bases for the associated coorbit spaces [2508.07242].

Recent work has also shifted attention from construction to classification. In dimension \(2\), for irreducibly admissible matrix groups \(H_1,H_2<GL(2,\mathbb R)\), one has
\[
H_1\sim_{\mathrm{Co}} H_2
\]
if and only if their open dual orbits coincide and either the orbit has \(1\) or \(4\) connected components, or it has \(2\) connected components and \(H_1=H_2\). In this formulation, the similitude case is highly symmetric, the diagonal case is orbit-rigid, and the shearlet case is fully group-rigid [2508.04521].

These directions suggest a broader current picture of coorbit spaces. The subject now includes classical integrable representations, reducible and non-integrable reproducing systems, quasi-Banach and Fréchet coefficient scales, decomposition-space realizations, kernel theorems, operator-valued transforms, local-field wavelets, and classification problems for entire coorbit scales. What remains constant across these variants is the central idea: a space is defined by the membership of its voice transform in a model space on a group or phase space, and its structure is governed by reproducing formulas, localization, and discretization.

Source: https://www.emergentmind.com/topics/coorbit-spaces