Search arXivSearch

arXiv · 2606.20290

Fourier-Helgason transform as infinite geodesic time limit in geometric quantization

Abstract

The Fourier-Helgason (FH) transform for a noncompact symmetric space $G/K$ establishes the direct integral decomposition of the unitary representation of $G$ on $L^2(G/K)$ into irreducible principal series representations. By applying techniques of geometric quantization to the symplectic manifold $T^*(G/K),$ Lisiecki in 1987 gave a geometric interpretation of the FH transform in the case when $G$ is complex. He defined for general $G$ a ''horizontal'' polarization on $T^*(G/K)$ and showed that, for complex $G$, the Blattner-Kostant-Sternberg (BKS) pairing between the Schrödinger vertical polarization Hilbert space, $L^2(G/K)$, and the Hilbert space of horizontally polarized functions coincides with the FH transform. However, in the same paper, Lisiecki showed that for noncomplex Lie groups the BKS pairing is nonequivalent to the FH transform and nonunitary in general. In the present paper, we resolve this discrepancy between the FH transform and geometric quantization in the case when $G$ is not complex. First, we show that the horizontal polarization is the infinite-time limit of the push-forward of the vertical polarization with respect to the geodesic flow for a $G$-invariant Riemannian metric. Then we lift the geodesic flow to an intertwining unitary parallel transport on the quantum bundle that we call quantum geodesic transform (QGT). Finally we show that the QGT has a well-defined limit, as the geodesic time goes to infinity, and that it is equal, up to the phase of the Harish-Chandra $c$-function and an irrelevant multiplicative constant, to the FH transform.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ana Cristina Ferreira, Joachim Hilgert, José M. Mourão, João P. Nunes. 2026-06-18. Fourier-Helgason transform as infinite geodesic time limit in geometric quantization. https://arxiv.org/abs/2606.20290

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

KAM splittings and equidistributed periodic orbits for stable hypersurfaces

We show that any stable hypersurface of a symplectic $4$-manifold, on which the cohomology class of the symplectic form restricts to a multiple of a rational class, can be $C^\infty$-approximated by (possibly unstable) hypersurfaces whose closed characteristics equidistribute. The cohomological condition is necessary due to a famous example of Herman. The proof combines KAM theory with recent quantitative closing lemmas for Reeb flows and area-preserving maps. As a further application, we prove that every geodesible volume-preserving vector field on a closed three-manifold can be $C^\infty$-approximated by volume-preserving vector fields with equidistributed periodic orbits.

math.SG

An algebraic generalization of Giroux's criterion

We compute the contact homology algebra of a neighborhood $(\mathbb{R}_τ \times W, ξ)$ of a convex hypersurface $W$ and determine when this algebra is zero or non-zero. Thus we provide a tool for inferring the tightness of such $ξ$ for $W$ of any even dimension. In more detail, consider the augmentations $ε^{\pm}$ of chain-level contact homology algebras of the dividing set $(Γ, ξ_Γ)$ determined by the positive and negative regions of $W$. We compute $CH(\mathbb{R}_τ \times W, ξ)$ as the derived tensor product of the $ε^{\pm}$. Consequently the vanishing or non-vanishing of $CH(\mathbb{R}_τ \times W, ξ)$ is determined by the induced morphisms $Hε^{\pm}$ from $CH(Γ, ξ_Γ)$ to the coefficient ring.

math.SG

Hofer-Like Geometry Revisited

We prove that the inclusion of the Hamiltonian group $\Ham(M,ω)$ into the identity component \(G_ω(M)\) of the symplectic diffeomorphism group is a bi-Lipschitz embedding with respect to the Hofer norm and the Hofer-like norm, and we identify geometric conditions under which this embedding is isometric: settling a conjecture of Banyaga. This conjecture was proved by Buss and Leclercq; our proof provides explicit equivalence constants. We also detail and simplify Banyaga's original proof of the non-degeneracy of the Hofer-like norm. We then extend the analysis to all of \(G_ω(M)\): for \(ϕ\) with flux class \(γ\), the Hofer-like norm is given by a semidirect-product formula, the infimum over the harmonic locus \(\Harm(γ)\) plus a Hofer residue. This yields a geometric condition for the two norms to agree on the Hamiltonian group. In particular, this geometric condition holds on all closed surfaces of genus $g\ge 2$.

math.SG