Commutative Resolvent Algebra

• Commutative Resolvent Algebra is a classical C*-algebra of bounded continuous functions on an inner product space, generated by resolvent functions.
• It employs levees and finite-dimensional projections to achieve explicit ideal stratification and a complete Gelfand spectrum via affine subspaces.
• The algebra bridges classical and quantum frameworks by supporting both strict deformation and Berezin-type quantizations into the noncommutative 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 (Nuland, 2019).

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

$C^*$0

one obtains a real inner product with norm $C^*$1. For each $C^*$2 and $C^*$3, the classical-resolvent function is

$C^*$4

These functions are bounded and continuous on $C^*$5. The commutative resolvent algebra is then defined by

$C^*$6

An equivalent description is

$C^*$7

obtained via Stone–Weierstrass (Nuland, 2019).

This formulation exhibits $C^*$8 as an algebra generated by one-dimensional cylindrical observables of $C^*$9-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$0, but also organized by projections onto finite-dimensional subspaces.

2. Levees, dense subalgebras, and structural features

A central class of functions in $X$1 is given by “levees,” namely functions of the form

$X$2

where $X$3 is a finite-dimensional projection and $X$4. Lemma 2.2 shows that such functions lie in $X$5, and that they are stable under multiplication in the sense that

$X$6

The dense $X$7-subalgebra generated by Schwartz-class levees is

$X$8

and Proposition 2.4 identifies it as a dense $X$9-subalgebra of $(X,\sigma)$0 (Nuland, 2019).

The role of levees makes precise the statement that $(X,\sigma)$1 intimately depends on the finite-dimensional subspaces of $(X,\sigma)$2. In the structural summary, the algebra is described as unital, commutative, nuclear (direct limit of finite-dim $(X,\sigma)$3-algebras), generated by rational resolvent-type functions, and embedded in $(X,\sigma)$4 (Nuland, 2019). A common simplification is to view it as merely $(X,\sigma)$5 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

$(X,\sigma)$6

where in a Fock-space representation

$(X,\sigma)$7

The Bose field $(X,\sigma)$8 is essentially self-adjoint and satisfies the Weyl relation

$(X,\sigma)$9

Section 3.2 defines a Weyl-quantization map on $C_{\mathcal R}(X)$0; the associated quantization is described as field-theoretical Weyl quantization compatible with the work of Binz, Honegger and Rieckers (Nuland, 2019).

The map

$C_{\mathcal R}(X)$1

satisfies the axioms of a strict deformation quantization. Specifically, it is continuous in $C_{\mathcal R}(X)$2, obeys

$C_{\mathcal R}(X)$3

and

$C_{\mathcal R}(X)$4

Moreover,

$C_{\mathcal R}(X)$5

while $C_{\mathcal R}(X)$6 is the inclusion into $C_{\mathcal R}(X)$7 (Nuland, 2019).

This places $C_{\mathcal R}(X)$8 at the classical end of a continuous field of $C_{\mathcal R}(X)$9-algebras whose fibers at $\mathcal R(X,\sigma)$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 R(X,\sigma)$1. On levees, Section 3.3 defines a Berezin-type map $\mathcal R(X,\sigma)$2, and Theorem 3.12 proves that it extends uniquely to a positive, injective, continuous linear map

$\mathcal R(X,\sigma)$3

with dense range (Nuland, 2019).

The asymptotic behavior matches that of the Weyl quantization as $\mathcal R(X,\sigma)$4: the same product and commutator limits hold. The two quantizations are related by the intertwining identity

$\mathcal R(X,\sigma)$5

where $\mathcal R(X,\sigma)$6 acts by convolution on the levees (Nuland, 2019).

The Berezin-type map is significant because it is defined on all of $\mathcal R(X,\sigma)$7, 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 $\mathcal R(X,\sigma)$8-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 $\mathcal R(X,\sigma)$9, the algebra admits a particularly explicit description. There is a chain of closed ideals

$X$0

where $X$1 consists of functions which, modulo $X$2, can be written as an unconditional sum

$X$3

with each $X$4 of corank $X$5. Equivalently, every

$X$6

admits a finite or countable convergent expansion in levees $X$7, with precise control on the dimension of $X$8 (Nuland, 2019).

This stratification gives a concrete classification of the ways functions in $X$9 may fail to vanish at infinity. The structural summary states that the ideals $(X,\sigma)$0 classify the “degree” of allowed non-vanishing at infinity along subspaces of corank $(X,\sigma)$1 (Nuland, 2019). 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 $(X,\sigma)$2 is larger than $(X,\sigma)$3, 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 $(X,\sigma)$4 are in bijection with affine subspaces $(X,\sigma)$5. For each such affine subspace,

$(X,\sigma)$6

defines a multiplicative functional. Theorem 5.6 identifies the spectrum as

$(X,\sigma)$7

equipped with an affine-Grassmann-type topology (Nuland, 2019).

The convergence relation is explicit: $(X,\sigma)$8 iff eventually $(X,\sigma)$9 and $\langle\!\langle\,\cdot\,,\cdot\,\rangle\!\rangle$0, and no subnet collapses to a smaller subspace. Under this identification,

$\langle\!\langle\,\cdot\,,\cdot\,\rangle\!\rangle$1

sits densely in $\langle\!\langle\,\cdot\,,\cdot\,\rangle\!\rangle$2, so $\langle\!\langle\,\cdot\,,\cdot\,\rangle\!\rangle$3 is a natural compactification of $\langle\!\langle\,\cdot\,,\cdot\,\rangle\!\rangle$4 (Nuland, 2019).

This spectral description corrects another common expectation. The spectrum is not merely the original phase space $\langle\!\langle\,\cdot\,,\cdot\,\rangle\!\rangle$5, 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.