Intertwining the line bundle and Grauert-tube Hardy quantizations of the round 2-sphere

Abstract

We compare two natural Hardy quantizations carried by the unit cosphere bundle of the round two-sphere. Through $S^2\simeq CP^1$, the cosphere bundle is the unit circle bundle of the canonical bundle $O(-2)$, and its Hardy space assembles the section spaces $H^0(CP^1,O(2\ell))$. Through the real-analytic round metric, the imaginary-time exponential map identifies the same cosphere bundle with every Grauert-tube boundary carrying the adapted complex structure, whose Reeb flow is the geodesic flow. Both Hardy spaces are realized in $L^2(SO(3))$, are multiplicity-free under the left action, and select one line in each Peter-Weyl multiplicity space. We compute the normalized overlap of these lines in closed form as $\frac{\sqrt{\binom{2\ell}{\ell}}}{2^\ell}\frac{\sinh^\ell\tau}{\sqrt{P_\ell(\cosh 2\tau)}}$, with $P_\ell$ the Legendre polynomial. The normalized kernel vectors define an explicit equivariant unitary between the two Hardy spaces, and the squared overlaps are the eigenvalues of the positive trace-class operator $\Pi_h\Pi_\tau\Pi_h$. We derive four exact trace series with the Hardy projectors inserted and show that their sum differs from the full flat trace by a distribution whose Abel regularization has cubic growth at every geodesic period. The eigenvalues also give a genus-zero Fredholm determinant of order zero, and truncating the complete large-$\ell$ expansion at any fixed order gives a finite polylogarithmic expression. A Bargmann-Fock calculation identifies the $\ell$-independent prefactor $(2\sinh 2\tau)^{1/4}e^{-\tau/2}$ in the large-$\ell$ asymptotic of the overlap with the Gaussian matrix coefficient of a metaplectic operator comparing the two contact planes.