---
title: Commutative Resolvent Algebra
url: https://www.emergentmind.com/topics/commutative-resolvent-algebra
type: topic
---

# Commutative Resolvent Algebra

Searching arXiv for the specified paper to ground the article in the cited source.
The commutative resolvent algebra \(C_{\mathcal R}(X)\) is a commutative \(C^*\)-algebra of bounded continuous functions on a real inner product space \(X\), generated by classical resolvent functions and designed as the classical counterpart of the noncommutative resolvent algebra of Buchholz and Grundling. In van Nuland’s formulation, when \((X,\sigma)\) is a real symplectic vector space admitting a compatible complex structure, \(C_{\mathcal R}(X)\) supports both a strict deformation quantization and a Berezin-type quantization into the quantum resolvent algebra \(\mathcal R(X,\sigma)\). The construction is governed by finite-dimensional subspaces of \(X\), and in finite dimension it admits an explicit ideal stratification and a complete description of its Gelfand spectrum by affine subspaces [1903.04819].

## 1. Definition by classical resolvents

Let \((X,\sigma)\) be a real symplectic vector space carrying a compatible real inner product \(\langle\!\langle\,\cdot\,,\cdot\,\rangle\!\rangle\), so that \(\sigma(x,y)=2\,\Im\langle x,y\rangle\) for the induced Hermitian form. Writing
\[
x\!\cdot\! y := \Re\,\langle x,y\rangle,
\]
one obtains a real inner product with norm \(\|\cdot\|\). For each \(x\in X\) and \(\lambda\in\mathbb R\setminus\{0\}\), the classical-resolvent function is
\[
h_x^\lambda(y)=\frac{1}{\,i\lambda-x\!\cdot\! y\,}.
\]
These functions are bounded and continuous on \(X\). The commutative resolvent algebra is then defined by
\[
C_{\mathcal R}(X):=
C^*\!\bigl\{\,h_x^\lambda\mid x\in X,\ \lambda\neq 0\bigr\}
\subseteq C_b(X).
\]
An equivalent description is
\[
C_{\mathcal R}(X)
=
C^*\!\bigl\{\,g\circ p_x \mid x\in X,\ g\in C_0(\mathbb R),\ p_x(y)=x\!\cdot\! y \bigr\},
\]
obtained via Stone–Weierstrass [1903.04819].

This formulation exhibits \(C_{\mathcal R}(X)\) as an algebra generated by one-dimensional cylindrical observables of \(C_0\)-type, but the algebra itself is not restricted to those elementary generators. Its construction already indicates that the relevant geometry is not only pointwise on \(X\), but also organized by projections onto finite-dimensional subspaces.

## 2. Levees, dense subalgebras, and structural features

A central class of functions in \(C_{\mathcal R}(X)\) is given by “levees,” namely functions of the form
\[
g\circ P:X\to\mathbb C,
\]
where \(P:X\to V\subset X\) is a finite-dimensional projection and \(g\in C_0(V)\). Lemma 2.2 shows that such functions lie in \(C_{\mathcal R}(X)\), and that they are stable under multiplication in the sense that
\[
(g_1\circ P_{V_1})(g_2\circ P_{V_2})
=
g\circ P_{V_1+V_2},
\qquad g\in C_0(V_1+V_2).
\]
The dense \(*\)-subalgebra generated by Schwartz-class levees is
\[
\mathcal S_{\mathcal R}(X)
=
\mathrm{span}\bigl\{\,g\circ P\mid P\ \text{finite-rank},\ g\in\mathcal S(V)\bigr\},
\]
and Proposition 2.4 identifies it as a dense \(*\)-subalgebra of \(C_{\mathcal R}(X)\) [1903.04819].

The role of levees makes precise the statement that \(C_{\mathcal R}(X)\) intimately depends on the finite-dimensional subspaces of \(X\). In the structural summary, the algebra is described as unital, commutative, nuclear (direct limit of finite-dim \(C^*\)-algebras), generated by rational resolvent-type functions, and embedded in \(C_b(X)\) [1903.04819]. A common simplification is to view it as merely \(C_0(X)\) augmented by a few cylindrical functions; the finite-dimensional analysis shows instead that it is a systematically stratified algebra whose building blocks are precisely these finite-rank levees.

## 3. Strict deformation quantization and the quantum resolvent algebra

On the quantum side, the relevant noncommutative algebra is the Buchholz–Grundling resolvent algebra
\[
\mathcal R(X,\sigma)
=
C^*\!\bigl\{\,R(\lambda,x)\mid \lambda\neq 0,\ x\in X\bigr\}
\subseteq B\bigl(\mathcal F(\overline X)\bigr),
\]
where in a Fock-space representation
\[
R(\lambda,x)=(i\lambda-\phi(x))^{-1}.
\]
The Bose field \(\phi(x)\) is essentially self-adjoint and satisfies the Weyl relation
\[
e^{i\phi(x)}e^{i\phi(y)}
=
e^{-\tfrac{i\hbar}{2}\sigma(x,y)}\,e^{i\phi(x+y)}.
\]
Section 3.2 defines a Weyl-quantization map on \(\mathcal S_{\mathcal R}(X)\); the associated quantization is described as field-theoretical Weyl quantization compatible with the work of Binz, Honegger and Rieckers [1903.04819].

The map
\[
Q_\hbar:
\bigl(\mathcal S_{\mathcal R}(X),\{\cdot,\cdot\}\bigr)
\longrightarrow
\bigl(\mathcal R(X,\sigma),[\cdot,\cdot]\bigr)
\]
satisfies the axioms of a strict deformation quantization. Specifically, it is continuous in \(\hbar\), obeys
\[
Q_\hbar(f)Q_\hbar(g)-Q_\hbar(fg)\to 0
\quad\text{as }\hbar\to 0,
\]
and
\[
\tfrac{i}{\hbar}[Q_\hbar(f),Q_\hbar(g)]-Q_\hbar(\{f,g\})\to 0.
\]
Moreover,
\[
\overline{Q_\hbar(\mathcal S_{\mathcal R}(X))}=\mathcal R(X,\sigma)
\quad\text{for each }\hbar\neq 0,
\]
while \(Q_0\) is the inclusion into \(C_{\mathcal R}(X)\) [1903.04819].

This places \(C_{\mathcal R}(X)\) at the classical end of a continuous field of \(C^*\)-algebras whose fibers at \(\hbar>0\) are noncommutative. A plausible implication is that the commutative algebra is not an auxiliary construction, but the genuine semiclassical fiber naturally paired with the resolvent algebra.

## 4. Berezin-type quantization on the full algebra

The second quantization procedure extends beyond the dense subalgebra \(\mathcal S_{\mathcal R}(X)\). On levees, Section 3.3 defines a Berezin-type map \(Q^B_\hbar\), and Theorem 3.12 proves that it extends uniquely to a positive, injective, continuous linear map
\[
Q^B_\hbar:
C_{\mathcal R}(X)\longrightarrow \mathcal R(X,\sigma)
\]
with dense range [1903.04819].

The asymptotic behavior matches that of the Weyl quantization as \(\hbar\to 0\): the same product and commutator limits hold. The two quantizations are related by the intertwining identity
\[
Q^B_\hbar(f)
=
Q_\hbar\!\bigl(e^{\frac{\hbar}{4}\Delta}f\bigr),
\]
where \(e^{\frac{\hbar}{4}\Delta}\) acts by convolution on the levees [1903.04819].

The Berezin-type map is significant because it is defined on all of \(C_{\mathcal R}(X)\), not only on the Schwartz-type dense core. This distinguishes the two quantizations functionally: the Weyl map provides the strict deformation framework on a dense Poisson \(*\)-subalgebra, whereas the Berezin map furnishes a continuous and injective passage from the entire commutative algebra into the quantum resolvent algebra.

## 5. Finite-dimensional ideal stratification

When \(\dim X=m<\infty\), the algebra admits a particularly explicit description. There is a chain of closed ideals
\[
C_0(X)\subset C_1(X)\subset \dots \subset C_m(X)=C_{\mathcal R}(X),
\]
where \(C_r(X)\) consists of functions which, modulo \(C_{r-1}(X)\), can be written as an unconditional sum
\[
f\equiv \sum_i [\,g_i\circ P_i\,]_{r-1},
\]
with each \(P_i\) of corank \(r\). Equivalently, every
\[
f\in C_{\mathcal R}(\mathbb R^m)
\]
admits a finite or countable convergent expansion in levees \(g_i\circ P_{V_i}\), with precise control on the dimension of \(\ker P_{V_i}\) [1903.04819].

This stratification gives a concrete classification of the ways functions in \(C_{\mathcal R}(X)\) may fail to vanish at infinity. The structural summary states that the ideals \(C_r(X)\) classify the “degree” of allowed non-vanishing at infinity along subspaces of corank \(r\) [1903.04819]. In this finite-dimensional setting, the algebra contains no “wilder” functions beyond these cylindrical/rational type building blocks. A common misconception is therefore ruled out: even though \(C_{\mathcal R}(X)\) is larger than \(C_0(X)\), its enlargement is tightly controlled rather than arbitrary.

## 6. Gelfand spectrum and affine compactification

In finite dimension, the Gelfand spectrum can be computed explicitly. The characters of \(C_{\mathcal R}(\mathbb R^m)\) are in bijection with affine subspaces \(V+w\subseteq\mathbb R^m\). For each such affine subspace,
\[
\chi_{V+w}(f)
=
\lim_{t\to\infty} f\bigl(t\,v+w\bigr)
\qquad (\text{a.e. in } v\in S(V)),
\]
defines a multiplicative functional. Theorem 5.6 identifies the spectrum as
\[
\Delta\bigl(C_{\mathcal R}(\mathbb R^m)\bigr)
\cong
\Omega:=\{\,V+w\mid V\subseteq\mathbb R^m,\ w\in V^\perp\},
\]
equipped with an affine-Grassmann-type topology [1903.04819].

The convergence relation is explicit:
\[
V_\alpha+w_\alpha\to V+w
\]
iff eventually \(V_\alpha\subseteq V\) and \(P_{V^\perp}(w_\alpha)\to w\), and no subnet collapses to a smaller subspace. Under this identification,
\[
\mathbb R^m\cong \{0+w\}
\]
sits densely in \(\Omega\), so \(\Omega\) is a natural compactification of \(\mathbb R^m\) [1903.04819].

This spectral description corrects another common expectation. The spectrum is not merely the original phase space \(X\), nor only a one-point compactification. Instead, boundary points encode asymptotic directions and affine data, reflecting precisely the algebra’s sensitivity to finite-dimensional projections and behavior at infinity along subspaces.

Source: https://www.emergentmind.com/topics/commutative-resolvent-algebra