[Paper Review] Berezin-Toeplitz quantization and its kernel expansion

Xiaonan Ma, George Marinescu|arXiv (Cornell University)|Mar 19, 2012

Geometry and complex manifolds39 references22 citations

TL;DR

This paper presents a comprehensive analysis of Berezin-Toeplitz quantization on Kähler and symplectic manifolds using kernel asymptotics. It establishes the asymptotic expansion of Bergman and Toeplitz kernels, derives explicit formulas for the first coefficients in terms of curvature invariants, and proves the existence of a Berezin-Toeplitz star-product via off-diagonal kernel expansion and spectral gap techniques.

ABSTRACT

We survey recent results about the asymptotic expansion of Toeplitz operators and their kernels, as well as Berezin-Toeplitz quantization. We deal in particular with calculation of the first coefficients of these expansions.

Motivation & Objective

• To develop a systematic approach to Berezin-Toeplitz quantization using kernel calculus and asymptotic expansion techniques.
• To compute the first-order coefficients in the asymptotic expansion of Bergman and Toeplitz kernels in terms of geometric data (curvatures of the manifold and twisting bundle).
• To extend the theory to Kähler orbifolds and symplectic manifolds, including the spin^c Dirac operator framework.
• To establish the existence of a Berezin-Toeplitz star-product on symplectic manifolds via composition asymptotics of Toeplitz operators.
• To unify and generalize previous results on Toeplitz operators and geometric quantization using off-diagonal kernel expansions.

Proposed method

• Utilizes the off-diagonal asymptotic expansion of the Bergman kernel via localization and rescaling techniques inspired by Bismut-Lebeau.
• Applies spectral gap estimates for the Kodaira-Laplace and spin^c Dirac operators to control $L^2$-norms and ensure concentration of sections.
• Defines Toeplitz operators as $T_{f,p} = P_p f P_p$, where $P_p$ is the Bergman projection onto the kernel of the Dirac operator.
• Characterizes Toeplitz operators via their integral kernel's asymptotic expansion, generalizing the notion of semi-classical operators.
• Employs the Lichnerowicz formula for $D_p^2$ to derive spectral lower bounds and establish the semi-classical limit $p \to \infty$.
• Derives the star-product structure via composition asymptotics: $T_{f,p} \circ T_{g,p} = \sum_{r=0}^\infty p^{-r} T_{C_r(f,g),p} + \mathcal{O}(p^{-\infty})$, with $C_0(f,g) = fg$.

Experimental results

Research questions

• RQ1 How can the first coefficients in the asymptotic expansion of the Bergman kernel be explicitly computed in terms of curvature invariants?
• RQ2 What is the precise asymptotic behavior of the integral kernel of a Toeplitz operator on a Kähler or symplectic manifold?
• RQ3 Does the composition of two Toeplitz operators admit an asymptotic expansion in inverse powers of $p$, and if so, what is the structure of the resulting star-product?
• RQ4 Can Berezin-Toeplitz quantization be extended to complete Kähler manifolds and symplectic manifolds using the spin^c Dirac operator framework?
• RQ5 How does the presence of a twisting bundle $E$ affect the asymptotic expansion and the resulting star-product structure?

Key findings

• The Bergman kernel admits an off-diagonal asymptotic expansion whose leading terms are determined by the curvature of the manifold and the twisting bundle $E$.
• The spectral gap of the Dirac operator $D_p$ satisfies $\|D_p s\|^2_{L^2} \geq (4\pi p - C)\|s\|^2_{L^2}$, ensuring concentration of $L^2$-sections in degree zero.
• The dimension of the kernel $\operatorname{Ker}(D_p)$ grows as $\frac{p^n}{n!} \int_X \omega^n + \mathcal{O}(p^{n-1})$, matching the holomorphic case.
• The composition of two Toeplitz operators admits an asymptotic expansion $T_{f,p} \circ T_{g,p} = \sum_{r=0}^\infty p^{-r} T_{C_r(f,g),p} + \mathcal{O}(p^{-\infty})$, with $C_0(f,g) = fg$.
• The first-order term $C_1(f,g)$ satisfies $C_1(f,g) - C_1(g,f) = \sqrt{-1} \{f,g\} \operatorname{Id}_E$, recovering the Poisson bracket in the semi-classical limit.
• A Berezin-Toeplitz star-product $f *_{\hbar} g = \sum_{k=0}^\infty C_k(f,g) \hbar^k$ is constructed on symplectic manifolds, with $\hbar = 1/p$, and is associative.