Spectrally-large scale geometry via set-heaviness

Abstract: We show that there exist infinite-dimensional quasi-flats in the compactly supported Hamiltonian diffeomorphism group of the Liouville domain, with respect to the spectral norm, if and only if the symplectic cohomology of this Liouville domain does not vanish. In particular, there exist infinite-dimensional quasi-flats in the compactly supported Hamiltonian diffeomorphism group of the unit co-disk bundle of any closed manifold. A similar conclusion holds for the ${\rm Ham}$-orbit space of an admissible Lagrangian in any Liouville domain. Moreover, we show that if a closed symplectic manifold contains an incompressible Lagrangian with a certain topological condition, then its Hamiltonian diffeomorphism group admits infinite-dimensional flats. Proofs of all these results rely on the existence of a family of heavy hypersurfaces.