A quasi-isometric embedding into the group of Hamiltonian diffeomorphisms with Hofer's metric (Q1709732)

Let \((M, \omega)\) be an \(2n\)-dimensional closed symplectic manifold. The set of all diffeomorphisms generated by Hamiltonian flows forms a group \(\operatorname{Ham}(M, \omega)\) and there exists a norm \(\|\cdot \|_H\) on it called the \textit{Hofer norm}. The Hofer metric \(d_H\) on \(\operatorname{Ham}(M, \omega)\) is \(d_H(\phi , \psi)=\|\phi ^{-1}\circ \psi \|_H\). Let also \([0, 1]^{\infty}\) be the set of \([0, 1]\)-valued sequences with only finitely many non-zero entries and norm \(\|a-b\|_{l^{\infty}}=\max _i|a_i-b_i|\). The main result of this long study is Theorem 1.1: Let \((M, \omega)\) be a closed symplectic manifold which is either monotone or negative monotone. Suppose we may symplectically embed a ball \(B(2\pi R)\) of radius \(\sqrt{2R}\) into \((M, \omega)\), where if \(M\)'s rationality constant \(\gamma \) is non-zero we require \(4\pi R\leq \gamma \). Then for any \(\varepsilon >0\) there exists an embedding \(\Phi :[0, 1]^{\infty}\rightarrow \operatorname{Ham}(M, \omega)\) satisfying \(2\pi R\|a-b\|_{l^{\infty}}-\varepsilon \leq d_H(\Phi (a), \Phi (b))\leq 4\pi R\|a-b\|_{l^{\infty}}\) for any \(a, b\in [0, 1]^{\infty}\). That is, \(\Phi \) is a quasi-isometric embedding of \([0, 1]^{\infty}\) into \(\operatorname{Ham}(M, \omega)\).