Voiculescu's Non-Commutative Riemann Sphere

• Voiculescu’s non-commutative Riemann sphere is an operator-theoretic generalization of the classical Riemann sphere using fully matricial functions and nc spaces.
• It extends resolvent calculus and functional analysis to non-commutative domains via Grassmannian and flag manifold frameworks, bridging bounded and unbounded operator settings.
• The framework employs universal difference-quotient operators and intertwining properties to establish a robust spectral theory and enhance functional calculus.

Voiculescu's non-commutative Riemann sphere is an operator-theoretic generalization of the classical Riemann sphere, formulated in the language of fully matricial (nc) functions and spaces. This framework replaces traditional commutative geometry with a non-commutative counterpart, leveraging matrix-level structures, Banach algebras, and higher-rank Grassmannians. The extension of classical resolvent calculus and functional analysis to operator-valued functions on non-commutative domains underpins spectral theory in both bounded and unbounded settings.

1. Fully Matricial Non-Commutative (nc) Riemann Sphere

In the general construction, let $\mathcal R$ be a unital commutative ring and $\mathcal M$ an $\mathcal R$–module. The set $M(\mathcal M)$ is defined as the disjoint union $\bigsqcup_{n \ge 1} M_n(\mathcal M)$, where $$M_n(\mathcal M) = \mathcal M \otimes_\mathcal R M_n(\mathcal R)$$, the space of $n \times n$ matrices over $\mathcal M$.

A subset $\Omega \subseteq M(\mathcal M)$ is called an nc set if it is closed under direct sums; $f: \Omega \to M(\mathcal N)$ is an nc function if it respects both direct sums and similarities. The intertwining characterization (Proposition 2.1 of [KVV14]) states $X T = T Y \implies f(X) T = T f(Y)$ for all $X \in \Omega_n$, $Y \in \Omega_m$, $T \in M_{n,m}(\mathcal R)$.

In Voiculescu’s framework, the setting is over a Banach algebra $\mathcal A$. A subset $\Omega \subseteq \bigsqcup_n M_n(\mathcal A)$ is fully matricial if it is closed under direct sums and conjugation by invertible scalars. Functions respecting these structures are termed fully matricial functions, coinciding with the general nc functions.

To pass to the non-commutative Riemann sphere, the "affine" $M_n(\mathcal A)$ is replaced by an nc version of the one-point compactification, specifically the nc Grassmannian $Gr_n(\mathcal A) = GL_2(M_n(\mathcal A))/{\sim_n}$, with equivalence by right multiplication by $2 \times 2$ block lower-triangular invertible matrices. For $X \in M_n(\mathcal A)$, embeddings into the sphere’s affine charts are given by $$X \mapsto \left[\begin{smallmatrix} 0 & I_n \ I_n & X \end{smallmatrix}\right]/\sim_n$$ and $$Z \mapsto \left[\begin{smallmatrix} Z & I_n \ I_n & 0 \end{smallmatrix}\right]/\sim_n$$.

2. Voiculescu’s Fully Matricial Calculus and Its Grassmannian Reformulation

Voiculescu’s original framework allows nc functions over Grassmannians, not solely affine spaces. The interpretation of "fully matricial sets" and "fully matricial functions" aligns precisely with nc sets and nc functions per [KVV14]. A major distinction in the Vinnikov–Kaliuzhnyi-Verbovetskyi framework is the existence of a universal difference-quotient operator $\Delta$, which is defined for all nc functions, not just analytic ones.

The Grassmannian intertwining property (Proposition 2.3) states a graded map $$\Omega \subseteq Gr^{(d;m)}(\mathcal A) \to M(\mathcal B)$$ is nc if and only if for all $\sigma \in \Omega_n$, $\sigma' \in \Omega_{n'}$, $T \in M_{n, n'}(\mathcal R)$,

$$\left[\begin{smallmatrix}I_n & T \ 0 & I_{n'}\end{smallmatrix}\right] \cdot (\sigma \oplus \sigma') = \sigma \oplus \sigma' \implies f(\sigma) T = T f(\sigma').$$

This property confirms Voiculescu’s calculus extends verbatim to the Riemann sphere charts upon appropriate identification of affine pieces.

3. Non-Commutative Grassmannians and Flag Manifolds

Generalizing to $(d;m)$–Grassmannians, fix $1 \leq d < m$. For each $n$,

$$H_n^{(d;m)}(\mathcal A) = \left\{ \left[\begin{smallmatrix} X & 0 \ Y & Z \end{smallmatrix}\right] : X \in GL_{m-d}(M_n(\mathcal A)),\, Z \in GL_d(M_n(\mathcal A)),\, Y \in M_{d,m-d}(M_n(\mathcal A)) \right\}.$$

The Grassmannian $$Gr_n^{(d;m)}(\mathcal A) = GL_m(M_n(\mathcal A))/\sim_n^{(d;m)}$$, where equivalence is under right-multiplication by $H_n^{(d;m)}(\mathcal A)$. The global object is $$Gr^{(d;m)}(\mathcal A) = \bigsqcup_{n \geq 1} Gr_n^{(d;m)}(\mathcal A)$$, with direct-sum and similarity structure.

The nc function definition and intertwining rule generalize directly (Definition 2.4, Proposition 2.5). More broadly, flag manifolds $F\ell^{(d_1, \dots, d_k; m)}(\mathcal A)$ use the analogous block-lower-triangular group with diagonal blocks of sizes $m-d_k$, $d_k-d_{k-1}$, $\dots$, $d_1$.

4. Grassmannian Generalization of the Non-Commutative Resolvent and Equation

The generalized nc resolvent is formulated as follows. Let $\pi \in Gr_1^{(m-d;m)}(\mathcal A)$ and $\mathcal B \subset \mathcal A$. A $\sigma \in Gr_n^{(d;m)}(\mathcal B)$ is $\pi^{\oplus n}$–transversal if, for representatives $A \in \pi^{\oplus n}$ and $B \in \sigma$, the block $r^{(d;m)}(A;B)$ is invertible.

The transversal domain is $\widetilde\rho_n^{(d;m)}(\pi;\mathcal B)$, and the entire set $$\widetilde\rho^{(d;m)}(\pi; \mathcal B) = \bigsqcup_n \widetilde\rho_n^{(d;m)}(\pi; \mathcal B)$$ forms an nc set.

For $(u,v) \in [m-d] \times [d]$, the resolvent map

$$\widetilde{\mathfrak R}^{(d;m)}(\pi; \mathcal B \mid v, u): \widetilde\rho^{(d;m)}(\pi; \mathcal B) \to M(\mathcal A)$$

is defined by inverting $r^{(d;m)}(a^{\oplus n}; B)$ and reading off the $(v,u)$ entry in the lower-right $d \times d$ block. Proposition 4.7 asserts this is well-defined and nc.

The generalized resolvent equation (Theorem 5.2) states, for $(s,t)$–admissible $\widetilde\rho(\pi; \mathcal B)$, any two coordinates $(v,u)$, $(\sigma, \sigma')$, and $X \in M_{n, n'}(\mathcal B)$,

$$\bigl( \widetilde\Delta^{(d;m)}_{s,t} \widetilde{\mathfrak R}^{(d;m)}(\pi; \mathcal B \mid v, u) \bigr) (\sigma; \sigma')(X) = - \widetilde{\mathfrak R}^{(d;m)}(\pi; \mathcal B \mid v, s)(\sigma) \, X \, \widetilde{\mathfrak R}^{(d;m)}(\pi; \mathcal B \mid t, u)(\sigma').$$

This identity extends Voiculescu’s classic resolvent identity to non-affine Grassmannian domains.

5. Spectral Analysis for Unbounded Operators

For a densely-defined closed $C_0$ operator $T$ on Hilbert space $\mathcal H$, there is unitary equivalence to the compression

$$\pi(T) = \left[ \begin{smallmatrix} -A^* & (1-AA^*)^{1/2} \ (1-A^*A)^{1/2} & A \end{smallmatrix} \right]/\sim \in Gr_1^{(1;2)}(B(\mathcal H)),$$

where $A \in B(\mathcal H)$ is a pure contraction with $\Gamma(A) = T$.

The intersection $\widetilde\rho(\pi(T); \mathcal B) \cap \mathcal B$ identifies elements $\beta \in \mathcal B$ for which $\beta (1-A^*A)^{1/2}$ lies in the classical operator resolvent set $\rho(A; C^*(A, \mathcal B))$, giving an inclusion into $\rho(T; \mathcal B)$. On this overlap, the Grassmannian resolvent matches the bounded inverse $\beta (1-A^*A)^{1/2} - A$ in $C^*(A, \mathcal B)$.

Theorem 5.3 (partial converse) states that any nc function $f$ on an admissible domain in $Gr(\mathcal B)$, satisfying the difference-quotient equations

$$\widetilde\Delta f(\sigma; \sigma')(X) = -f(\sigma) X f(\sigma')$$

and matching the standard resolvent at one point $\sigma_0$, must coincide with the Grassmannian resolvent for some $\pi$. This parallels Voiculescu’s characterization of invertibles $a$ solving $\partial a = a \otimes a$ as resolvents of the derivation generator.

6. Examples and Extensions

In the bounded operator case $A \in B(\mathcal H)$, the affine charts of $Gr(\mathcal A)$ recover the usual operator resolvent $(B-A)^{-1}$ via $\widetilde{\mathfrak R}(\pi(A); B)$. For unbounded $T \in C_0(\mathcal H)$, higher matrix-level points of $\widetilde\rho(\pi(T); \mathcal B)$ encode joint invertibility for compressions to matrices over $\mathcal B$, and Theorem 5.2 yields multiple resolvent identities, facilitating functional calculus for commuting resolvents.

Construction on flag manifolds enables treatment of nested sequences of projective modules of ranks $d_1 < \cdots < d_k$, forming multivariable, non-affine nc function theory and universal multi-resolvent equations.

Each aspect of Voiculescu’s non-commutative Riemann sphere and resolvent calculus is subsumed within “nc-functions over Grassmannians” as established by Vinnikov and Kaliuzhnyi-Verbovetskyi, maintaining a coordinate-free algebraic style while generalizing analytic identities for both bounded and unbounded operators (Ito, 25 Jan 2026).