Toeplitz operators on symplectic manifolds (Q941862)

The paper under review develops a new approach to the Berezin-Toeplitz quantization which applies in particular to compact symplectic manifolds \((X,\omega)\) that may not carry a Kähler structure. Instead, let \(J\) be an almost complex structure on \(X\) which is compatible with \(\omega\) and satisfies \(\omega(\cdot,J\cdot)>0\), and pick a Riemannian metric on \(X\) compatible with~\(J\). Also assume that \((L,h^L,\nabla^L)\) is a Hermitian line bundle on \(X\) endowed with a Hermitian connection whose curvature \(R^L=(\nabla^L)^2\) satisfies the prequantization condition \(\frac{i}{2\pi}R^L=\omega\), and let \((E,h^E,\nabla^E)\) be another Hermitian vector bundle on \(X\) with a Hermitian connection. In this setting, for every integer \(p\geq1\) one can define the spin\(^c\) Dirac operator \(D_p\) on \(\Omega^{0,\bullet}(X,L^{\otimes p}\otimes E)\), and also the corresponding Bergman projection \(P_p\) which is the orthogonal projection from \(L^2(X,\wedge(T^{*(0,1)}X)\otimes L^{\otimes p}\otimes E)\) onto \(\text{Ker}(D_p)\). The Berezin-Toeplitz quantization for arbitrary \(f\in{\mathcal C}^\infty(X,\text{End}(E))\) is the sequence \(\{T_{f,p}\}_{p\geq1}\), where \(T_{f,p}=P_pfP_p\) is a linear operator on the space of square-integrable sections \(L^2(X,\wedge(T^{*(0,1)}X)\otimes L^{\otimes p}\otimes E)\) for every \(p\geq1\), and \(f\) actually stands for the multiplication-by-\(f\) operator. One of the main results of the paper is that there exists a sequence \(\{C_r(\cdot,\cdot)\}_{r\geq0}\) of bidifferential operators on \({\mathcal C}^\infty(X,\text{End}(E))\) such that for every \(f,g\in{\mathcal C}^\infty(X,\text{End}(E))\) there exist positive constants \(c_0,c_1,\dots\) such that \(\| T_{f,p}T_{g,p}-\sum\limits_{r=0}^k\frac{1}{p^r}T_{C_r(f,g),p}\|\leq\frac{c_k}{p^{k+1}}\) whenever \(k,p\geq1\) and in addition \(C_0(f,g)=fg\). If moreover \(f,g\in{\mathcal C}^\infty(X)\), then \(C_1(f,g)-C_1(g,f)=i\{f,g\}\text{id}_E\), hence \([T_{f,p},T_{g,p}]=\frac{i}{p}T_{\{f,g\},p}+{\mathcal O}(\frac{1}{p^2})\) as \(p\to\infty\). The appropriate semi-classical behavior of the Berezin-Toeplitz quantization in the aforementioned setting is also established. It is noteworthy that the authors use results from their earlier paper [Adv. Math. 217, No. 4, 1756-1815 (2008; Zbl 1141.58018)] to show that this quantization procedure carries over to certain non-compact manifolds and to orbifolds. We conclude by mentioning that the exposition from the present paper is very clear and self-contained to a large extent.