On a quasimorphism of Hamiltonian diffeomorphisms and quantization (Q6561644)

Let \((M, \omega)\) be a pre-quantizable symplectic manifold, and let \(J\) be a compatible complex structure such that \((M, \omega, J)\) is a Hodge manifold. Denote by \(Q_k(J)\) the space of holomorphic sections of the quantizing line bundle \(L^k\). The push-forward by a prequantum bundle automorphism \(\phi\) sends \(Q_k(J)\) to \(Q_k(\pi(\phi)^*J)\), where \(\pi(\phi)\) is the diffeomorphism of \(M\) induced by \(\phi\).\N\NOne seeks to identify the various \(Q_k(J)\) equivariantly. To do this, one may view \(Q_k(J)\) as the fiber of a bundle over the space of complex structures and introduce a flat equivariant connection. This connection is then used to construct a map \(\Psi_k\) from the group \(\mathrm{Preq}_k\) of prequantum bundle automorphisms of \(L^k\) to the space of unitary maps on \(Q_k(J_0)\) for a fixed complex structure \(J_0\).\N\NThe map \(\Psi_k\) is defined as follows: for any \(\phi \in \mathrm{Preq}_k\), \(\Psi_k(\phi)\) is the composition of the push-forward \(\phi^* : Q_k(J_0) \to Q_k(J_1)\), where \(J_1 = \pi(\phi)^* J_0\), with the parallel transport along the geodesic joining \(J_1\) to \(J_0\).\N\NThe author studies the semi-classical limit of these maps. In this limit, the behaviour of the maps is controlled by two invariants from symplectic topology: the Calabi-Weinstein morphism and a quasimorphism on the universal cover of the Hamiltonian diffeomorphism group.