Subprincipal symbol for Toeplitz operators (Q505639)

The recipe of geometric quantization has been extended from compact Kähler manifolds [\textit{B. Kostant}, Lect. Notes Math. 170, 87--208 (1970; Zbl 0223.53028)] to symplectic compact manifolds [\textit{L. Boutet de Monvel} and \textit{V. Guillemin}, The spectral theory of Toeplitz operators. Princeton, New Jersey: Princeton University Press; University of Tokyo Press (1981; Zbl 0469.47021)]. One important tool in both cases is furnished by the Berezin-Toeplitz operators [\textit{M. Bordemann} et al., Commun. Math. Phys. 165, No. 2, 281--296 (1994; Zbl 0813.58026); \textit{X. Ma} and \textit{G. Marinescu}, Holomorphic Morse inequalities and Bergman kernels. Basel: Birkhäuser (2007; Zbl 1135.32001)]. In [\textit{L. Charles}, J. Geom. Anal. 26, No. 4, 2664--2710 (2016; Zbl 1357.81127)], a method for geometric quantization of symplectic compact manifolds without using any substantial result from microlocal analysis was proposed. One ingredient in geometric quantization of symplectic compact manifolds is offered by a class of spaces similar to the spaces of holomorphic sections which appears in geometric quantization of compact Kähler manifolds, called in the paper under review almost-holomorphic sections. On the symplectic compact manifold \((M,\omega)\) with integral \(\frac{1}{i}[\omega]\) is introduced a Hermitian line bundle \(L\rightarrow M\), endowed with a Hermitian connection \(\nabla\) and curvature \(\frac{1}i{}\omega\), a Hermitian vector bundle \(A\), and an almost complexe structure \(j\) compatible with \(\omega\). A family of finite-dimensional subspaces \(\mathcal{H}_k\subset \mathcal{C}^{\infty}(M,L^k\otimes A),~k\in \mathbb{N}^*\) of almost-holomorphic sections is introduced. Then a star-algebra of Berezin-Toeplitz operators \(\mathcal{T}\) is constructed. A star-algebra morphism \(\sigma_p:\mathcal{T}\rightarrow \mathcal{C}^{\infty}(M,\text{End} A)\) is also constructed and \(\sigma_p(T)\) for \(T\in\mathcal{T}\) is called the principal symbol of \(T\). To \(ik\) times the commutator of two Toeplitz operators it corresponds the Toeplitz operator with principal symbol the Poisson bracket determined by the symplectic form \(\omega\) of the principal symbols of the two operators. The subprincipal symbol map is a linear map \(\sigma_s\) from the subalgebra with scalar valued principal symbols \(\mathcal{T}_{\text{sc}}\subset\mathcal{T}\) to \(\mathcal{C}^{\infty}(M,\text{End} A)\) satisfying three technical conditions. If \(\Pi_k\) is an orthogonal projector of \(\mathcal{C}^{\infty}(M,\text{End} A)\) onto \(\mathcal{H}_k\), then \(T=\pi f +k^{-1}\pi\sigma_p(k(T-\pi f))\) mod \(k^{-2}T\) for \(f=\sigma_p(T)\). The construction of the subprincipal symbol map is firstly done in the case of the canonical bundle \(K=\bigwedge^{n,0} T^*M\) which has a square root \((\delta,\varphi)\) in Theorem 2.1. In order to apply the metaplectic corrections in the general case, a class \(\mathcal{D}\) of linear maps \(D:\mathcal{C}^{\infty}(M,TM)\rightarrow \text{End}(\mathcal{C}^{\infty}(M,A))\) is introduced in Section 5. This construction allows in Section 6 the introduction of a quantization map \(Q^D_k(f):\mathcal{H}_k\rightarrow \mathcal{H}_k\), \(D\in\mathcal{D}\). It is shown in Theorem 6.1, the main theorem of the paper, that for any \(f\in\mathcal{C}^{\infty}(M)\) and Toeplitz operator \(S\), \((ki[Q^D_k(f),S])\) is a Toeplitz operator with an explicitly computed principal symbol. This allows to finally explicitly calculate the subprincipal symbol \(\sigma_s^D(T)\), \(T\in \mathcal{T}_{\text{sc}}\), the ultimate goal of the paper.