Unobstructed symplectic packing for tori and hyper-Kähler manifolds

Abstract

Let [Formula: see text] be a closed symplectic manifold of volume [Formula: see text]. We say that the symplectic packings of [Formula: see text] by balls are unobstructed if any collection of disjoint symplectic balls (of possibly different radii) of total volume less than [Formula: see text] admits a symplectic embedding to [Formula: see text]. In 1994, McDuff and Polterovich proved that symplectic packings of Kähler manifolds by balls can be characterized in terms of the Kähler cones of their blow-ups. When [Formula: see text] is a Kähler manifold which is not a union of its proper subvarieties (such a manifold is called Campana simple), these Kähler cones can be described explicitly using the Demailly and Paun structure theorem. We prove that for any Campana simple Kähler manifold, as well as for any manifold which is a limit of Campana simple manifolds in a smooth deformation, the symplectic packings by balls are unobstructed. This is used to show that the symplectic packings by balls of all even-dimensional tori equipped with Kähler symplectic forms and of all hyper-Kähler manifolds of maximal holonomy are unobstructed. This generalizes a previous result by Latschev–McDuff–Schlenk. We also consider symplectic packings by other shapes and show, using Ratner’s orbit closure theorem, that any even-dimensional torus equipped with a Kähler form whose cohomology class is not proportional to a rational one admits a full symplectic packing by any number of equal polydisks (and, in particular, by any number of equal cubes).