Selective symplectic homology with applications to contact non-squeezing

Abstract

We prove a contact non-squeezing phenomenon on homotopy spheres that are fillable by Liouville domains with infinite dimensional symplectic homology: there exists a smoothly embedded ball in such a sphere that cannot be made arbitrarily small by a contact isotopy. These homotopy spheres include examples that are diffeomorphic to standard spheres and whose contact structures are homotopic to standard contact structures. As the main tool, we construct a new version of symplectic homology, called selective symplectic homology, that is associated to a Liouville domain and an open subset of its boundary. The selective symplectic homology is obtained as the direct limit of Floer homology groups for Hamiltonians whose slopes tend to infinity on the open subset but remain close to 0 and positive on the rest of the boundary.

Figures (1)

• Figure 1: The first page of the spectral sequence from the proof of Theorem \ref{['thm:Ustilovskyspheres']} for $p=7$ and $m=1$. The number in the field $(k,\ell)$ represents $\dim E^1_{k,\ell}$. Empty fields are assumed to contain zeros.

Theorems & Definitions (15)

• proof
• proof
• proof
• proof
• proof
• proof
• proof
• proof : Proof of Theorem \ref{['thm:sshdarboux']}
• proof
• proof