The bounded isometry conjecture for the Kodaira-Thurston manifold and the 4-torus (Q980506): Difference between revisions

The bounded isometry conjecture proposed by Lalonde and Polterovich seeks to identify two subgroups of the symplectomorphism group \(\text{Symp}(M,\omega)\) of a closed symplectic manifold \((M,\omega)\). The first subgroup is simply the Hamiltonian diffeomorphism group \(\text{Ham}(M,\omega)\). The definition of the second relies on a natural bi-invariant norm, called the Hofer norm \(\rho(f)\), defined on each \(f\in\text{Ham}(M,\omega)\) which measures the infimum of lengths of Hamiltonian paths from the identity to \(f\). Each \(\phi\in\text{Symp}(M,\omega)\) acts on \(\text{Ham}(M,\omega)\) by conjugation \([\phi, f]= \phi f\phi^{-1} f^{-1}\) and one defines \[ r(0):= \sup\{\omega([\phi, f])\mid f\in\text{Ham}(M,\omega)\}\leq\infty. \] The second group \(\text{BI}_0(M,\omega)\) is then the set of all bounded elements \((r(\phi)< \infty)\) that lie in the identity component of \(\text{Symp}(M,\omega)\). The conjecture notes that \(\text{Ham}(M, \omega)\subset\text{BI}_0(M,\omega)\) and asserts that the inclusion is in fact equality. The author proves that the conjecture is true for the Kodaira-Thurston manifold with the standard symplectic form and for the 4-torus with all linear symplectic forms.