A new look at unitarity in quantization commutes with reduction for toric manifolds

Abstract: For a symplectic toric manifold we consider half-form quantization in mixed polarizations $\mathcal{P}\infty$, associated to the action of a subtorus $T^p\subset T^n$. The real directions in these polarizations are generated by components of the $T^p$ moment map. Polarizations of this type can be obtained by starting at a toric K\"ahler polarization $\mathcal{P}_0$ and then following Mabuchi rays of toric K\"ahler polarizations generated by the norm square of the moment map of the torus subgroup. These geodesic rays are lifted to the quantum bundle via a generalized coherent state transform (gCST) and define equivariant isomorphisms between Hilbert spaces for the K\"ahler polarizations and the Hilbert space for the mixed polarization. The polarizations $\mathcal{P}\infty$ give a new way of looking at the problem of unitarity in the quantization commutes with reduction with respect to the $T^p$-action, as follows. The prequantum operators for the components of the moment map of the $T^p$-action act diagonally with discrete spectrum corresponding to the integral points of the moment polytope. The Hilbert space for the quantization with respect to $\mathcal{P}\infty$ then naturally decomposes as a direct sum of the Hilbert spaces for all its quantizable coisotropic reductions which, in fact, are the K\"ahler reductions of the initial K\"ahler polarization $\mathcal{P}_0$. This will be shown to imply that, for the polarization $\mathcal{P}\infty$, quantization commutes unitarily with reduction. The problem of unitarity in quantization commutes with reduction for $\mathcal{P}0$ is then equivalent to the question of whether quantization in the polarization $\mathcal{P}_0$ is unitarily equivalent with quantization in the polarization $\mathcal{P}\infty$. In fact, this does not hold in general in the toric case.