Epsilon-non-squeezing and $C^0$-rigidity of epsilon-symplectic embeddings

Abstract

An embedding $φ\colon (M_1, ω_1) \to (M_2, ω_2)$ (of symplectic manifolds of the same dimension) is called $ε$-symplectic if the difference $φ^* ω_2 - ω_1$ is $ε$-small with respect to a fixed Riemannian metric on $M_1$. We prove that if a sequence of $ε$-symplectic embeddings converges uniformly (on compact subsets) to another embedding, then the limit is $E$-symplectic, where the number $E$ depends only on $ε$ and $E (ε) \to 0$ as $ε\to 0$. This generalizes $C^0$-rigidity of symplectic embeddings, and answers a question in topological quantum computing by Michael Freedman. As in the symplectic case, this rigidity theorem can be deduced from the existence and properties of symplectic capacities. An $ε$-symplectic embedding preserves capacity up to an $ε$-small error, and linear $ε$-symplectic maps can be characterized by the property that they preserve the symplectic spectrum of ellipsoids (centered at the origin) up to an error that is $ε$-small. We sketch an alternative proof using the shape invariant, which gives rise to an analogous characterization and rigidity theorem for $ε$-contact embeddings.