Berezin Projection in Quantization

• Berezin Projection is a canonical integral operator that projects functions onto reproducing kernel Hilbert spaces, such as the Fock and Bergman spaces.
• It underpins the Berezin transform, linking quantization theory with spectral decompositions, Toeplitz operators, and symmetry group actions.
• Its explicit kernel formulations and norm estimates are vital for analyzing function spaces in complex, quaternionic, and projective settings.

The Berezin projection is a central construction in quantization theory, complex analysis, and operator theory, serving as a canonical integral operator that realizes the orthogonal projection onto certain reproducing kernel Hilbert spaces, such as the Fock or Bergman spaces, and underpins the definition of the Berezin transform. Its significance spans holomorphic function spaces in several complex variables, generalized Bergman spaces associated to Landau levels on complex and quaternionic symmetric spaces, and extensions to the noncommutative/quaternionic setting. Modern developments elucidate its explicit integral kernel, intertwining properties with group symmetries, spectral expansions, and connections with Toeplitz quantization.

1. Structural Definition and Integral Kernel Formulation

The Berezin projection is defined as the orthogonal projection from a Hilbert space of square-integrable (or $L^2$-integrable) functions onto a closed subspace of functions possessing a reproducing kernel structure.

On the Fock space $F_\alpha^2$ of entire (holomorphic) functions on $\C^n$ equipped with the Gaussian measure $$d\lambda_\alpha(z) = \frac{\alpha^n}{\pi^n} e^{-\alpha |z|^2} dz$$, the projection $P_\alpha$ is given by the explicit kernel integral: $(P_\alpha f)(z) = \int_{\C^n} K_\alpha(z,w) f(w)\, d\lambda_\alpha(w),$ where the reproducing kernel is $K_\alpha(z,w) = e^{\alpha z \cdot \overline{w}}$. The same structure exists for quaternionic Fock spaces, where slice-regular functions replace holomorphic functions, and the kernel involves a slice-exponential power series with the noncommutative slice-product (Lin et al., 15 Jan 2026). In the setting of complex projective space $\CP^n$, the projection onto generalized Bergman spaces (the eigenspaces of the magnetic Schrödinger operator) is realized as

$P_k[\phi](z) = \int_{\CP^n} K_{v,k}(z,w) \phi(w) d\nu_n(w),$

with $K_{v,k}(z,w)$ the reproducing kernel for the $k$th Landau level (Demni et al., 2016).

2. Reproducing Kernel Hilbert Space Context

For a function space $\mathcal{H}$ with reproducing kernel $K(z,w)$, the Berezin projection is both self-adjoint and idempotent, so that $P^2 = P$ and $P = P^*$.

• Reproducing property: For $f \in \mathcal{H}$, $P[f](z) = f(z)$.
• Self-adjointness: Inner products satisfy $\langle P f, g \rangle = \langle f, P g \rangle$.
• Independence of slice: In the quaternionic setting, the construction is shown to be independent of the choice of complex slice due to the representation formula (Lin et al., 15 Jan 2026).

The integral operator structure allows for explicit computations of projections in classical and noncommutative settings, and foundational operator-theoretic constructions such as Toeplitz quantization are built from this projection.

3. Berezin Transform and Algebraic Properties

Given the Berezin projection $P$ onto a reproducing kernel space, the Berezin transform $B$ of a bounded symbol $f$ is defined as the expectation of $f$ under the normalized reproducing kernel at $z$: $B f(z) = \left\langle f k_z, k_z \right\rangle,$ where $k_z(w) = K(w,z) / \sqrt{K(z,z)}$. In explicit integral form, for the quaternionic Fock case,

$$B_\alpha f(z) = \int_{\mathbb{H}} |k_z(w)|^2 f(w) d\lambda_\alpha(w).$$

Key algebraic features include:

• Semigroup property: $$B_\alpha \circ B_\beta = B_{\frac{\alpha \beta}{\alpha + \beta}}$$, or, using the parametrization $H_t = B_{1/t}$, $H_s \circ H_t = H_{s+t}$.
• Fixed points: Slice harmonic functions are fixed by $B_\alpha$, while among bounded continuous slice-regular functions, only constants are fixed points.
• Approximation: For bounded, slice-continuous $f$, $\lim_{\alpha \to \infty} B_\alpha f(z) = f(z)$ (Lin et al., 15 Jan 2026).

4. Spectral and Functional Calculus Expansions

On symmetric spaces such as $\CP^n$, $B_k$ commutes with the Laplacian, and thus admits a spectral decomposition: $$B_k[f] = \sum_{\ell=0}^\infty W_k(\lambda_\ell) \Pi_\ell[f],$$ where $\lambda_\ell$ are the eigenvalues of the Fubini–Study Laplacian and $\Pi_\ell$ the corresponding spectral projectors. The explicit coefficients $W_k(\lambda_\ell)$ involve combinatorial and gamma function expressions, as detailed in (Demni et al., 2016). This structure reflects the deep compatibility of the Berezin projection with the symmetry group actions and allows variational analyses.

5. Operator Norms and Boundedness Criteria

For the Berezin transform $\mathcal{B}$ acting on $L^p$ spaces over the unit ball $B \subset \C^n$, the operator norm is explicitly computable: $$\|\mathcal{B}\|_{L^p \to L^p} = \frac{\Gamma(n+1+1/p)}{\Gamma(1+1/p)} \cdot \frac{1}{\sin(\pi/p)} = \Bigl( \prod_{k=1}^n (k + \tfrac{1}{p}) \Bigr) \frac{1}{\sin(\pi/p)}$$ for $1 < p < \infty$, and $\|\mathcal{B}\|_{L^\infty \to L^\infty} = 1$ (Markovic, 2013). The proof technique uses reduction to an integral operator on $(0, 1)$ (unitarily equivalent to the projection), with the norm determined via Schur's test and extremal functions.

6. Comparison Across Settings: Complex, Quaternionic, and Projective Cases

Setting	Function Space	Reproducing Kernel	Projection Formula
$\C^n$ (Classical)	Fock/Bergman	$e^{\alpha z\cdot\bar w}$	$\int F(w) K(z,w) d\lambda_\alpha(w)$
$\mathbb{H}$	Quaternionic Fock (slice-regular)	$e^{\alpha z\overline{w}}_\star$	$\int f(w) K(z,w) d\lambda_\alpha(w)$
$\CP^n$	Generalized Bergman (Landau levels)	$K_{v,k}(z,w)$	$\int K_{v,k}(z,w) \phi(w) d\nu_n(w)$

The main distinctions arise from noncommutativity (in the quaternionic case) and the necessity of slice-regularity, but the fundamental structure of the projection operator remains formally analogous (Lin et al., 15 Jan 2026, Demni et al., 2016).

7. Applications and Connections

The Berezin projection and its transform are foundational in:

• Quantization and phase-space analysis, via Toeplitz operator frameworks and coherent-state quantization (Demni et al., 2016).
• Operator theory, as the vehicle for the study of Toeplitz and kernel-induced integral operators and their boundedness/compactness in extended function and measure symbol classes (Lin et al., 15 Jan 2026).
• Harmonic and complex analysis, as in norm computations linking the Bergman and Bloch projections (Markovic, 2013).

A recurring theme is the intertwining of the Berezin projection with geometric symmetries (such as $\SU(n+1)$-action in the projective setting), ensuring covariance of the quantization procedure, and the operator-theoretic transfer of harmonic/functional analytic properties to quantum models.

• "On Quaternionic Fock Spaces: Kernel-induced Integral Operators, Berezin Transforms and Toeplitz Operators" (Lin et al., 15 Jan 2026)
• "Berezin transforms attached to Landau levels on the complex projective space CPn" (Demni et al., 2016)
• "On the Forelli-Rudin projection theorem" (Markovic, 2013)