On the Hofer geometry injectivity radius conjecture

Abstract

We verify here some variants of topological and dynamical flavor of the injectivity radius conjecture in Hofer geometry, Lalonde-Savelyev \cite{citeLalondeSavelyevOntheinjectivityradiusinHofergeometry} in the case of $Ham(S^2)$ and $Ham(\Sigma ,\omega )$, for $\Sigma$ a closed positive genus surface. In particular we show that any loop in $Ham(S^2)$, respectively $Ham(\Sigma ,\omega )$ with $L^{+}$ Hofer length less than $area(S^2)/2$, respectively any $L^{+}$ length is contractible through ($L^{+}$) Hofer shorter loops, in the $C^{\infty }$ topology. We also prove some stronger variants of this statement on the loop space level. One dynamical type corollary is that there are no smooth, positive Morse index (Ustilovsky) geodesics, in $Ham(S^2)$, respectively in $Ham(\Sigma ,\omega )$ with $L^{+}$ Hofer length less than $area(S^2)/2$, respectively any length. The above condition on the geodesics can be expanded as an explicit and elementary dynamical condition on the associated Hamiltonian flow. We also give some speculations on connections of this later result with curvature properties of the Hamiltonian diffeomorphism group of surfaces.

arXiv commentThis version to appear in Int. Math. Res. Not. Somewhat major revision, the $L^{\infty }$ version of the main result had to be removed, and requires more work. Many changes to notation and structure