Geometric quantization of symplectic maps and Witten's asymptotic conjecture (Q2037618)

The setting of the paper under review is provided by a compact symplectic manifold \((X^{2n}, \omega )\) and its symplectic maps \(\varphi :X\rightarrow X\), i.e., maps preserving \(\omega \) which are required also to lift to a prequantization data \((L, h^L, \nabla ^L)\). A path of compatible complex structures is considered with \(J_0:=J\) and \(J_1:=\varphi ^{\ast }J\). Let \(\mathcal{H}_{p, t}\) be the space of holomorphic sections of \(L^p\), \(p\in \mathbb{N}^{\ast}\), with respect to \(J_t\) and \(K_X\) the relative canonical line bundle over \(\mathbb{R}\times X\). The main result is the following. \textbf{Theorem 1.1.} There is a family of functions \(\{\mu _{l, t}\in C^{\infty }(X, \mathbb{C})\}_{l\in \mathbb{N}}\), smooth in \(t\in [0, 1]\), such that for all \(k\geq 0\), there exists a \(C_k>0\) such that for all \(p\in \mathbb{N}^{\ast}\) it holds \(\|\mathcal{T}_{p, t}-\sum _{l=0}^{k-1}p^{-l}P_{p, t}\mu _{l, t}P_{p, 0} \|\leq C_kp^{-k}\) in operator norm where \(P_{p, t}:C^{\infty}(X, L^p)\rightarrow \mathcal{H}_{p, t}\) is the orthonormal projection with respect to the \(L^2\)-Hermitian product on the space of holomorphic sections of \(L^p\) over \(X_t:=(X, J_t)\). Furthermore, via the canonical isomorphism End\((K_{X, 0})\simeq \mathbb{C}\) the first coefficient is \(\bar{\mu }^2_{0, t}=\det(\overline{\Pi ^0_t})^{-1}\tau ^{K_X}_t\). Here \(\overline{\Pi ^0_t}:T^{(0, 1)}X_0\rightarrow T^{(0, 1)}X_t\) is the natural projection and \(\tau _{p, t}\) is the parallel transport.