arXiv++ Combinatorics

We solve several open problems concerning integer points of polytopes arising in symplectic and algebraic geometry. In this direction we give the first proof of a broad case of Ewald's Conjecture (1988) concerning symmetric integral points of monotone lattice polytopes in arbitrary dimension. We also include an asymptotic quantitative study of the set of points appearing in Ewald's Conjecture. Then we relate this work to the problem of displaceability of orbits in symplectic toric geometry. We conclude with a proof for the $2$-dimensional case, and for a number of cases in higher dimensions, of Nill's Conjecture (2009), which is a generalization of Ewald's conjecture to smooth lattice polytopes. Along the way the paper introduces two new classes of polytopes which arise naturally in the study of Ewald's Conjecture and symplectic displaceability: neat polytopes, which are related to Oda's Conjecture, and deeply monotone polytopes.

Monotone polytopes, also known as smooth reflexive polytopes, are the polytopes associated to monotone symplectic toric manifolds and Gorenstein Fano toric varieties. We first show that the only monotone polytopes admitting blow-ups at vertices are the simplex and the result of a codimension-two blow-up in it (this is the polyhedral version of a result of Bonavero from 2002). Then we show that the $n$-simplex admits disjoint blow-ups at faces if and only if the faces are disjoint and have dimensions adding up to $n-1$ or $n-2$. These results answer a question posed by Dusa McDuff in 2011.

This paper introduces modern geometric combinatorial technology from the theory of triangulations in order to derive results in toric symplectic geometry. In the main part of the paper we prove a number of properties of the space $\mathcal{D}(n)$ of $n$-dimensional Delzant polytopes. Two highlights are the construction of examples showing that, in contrast with the classical work of Oda in dimension $2$, no classification of combinatorially minimal Delzant polytopes can be expected in dimension $3$ or higher, and a proof that the space of $n$-dimensional Delzant polytopes is path-connected. Our proof of the latter is based on the fact that every rational fan can be refined to a unimodular fan, which is a standard technique used for resolution of singularities of toric varieties. In the last part of the paper, using the Delzant correspondence, these results allow us to answer several open questions concerning the moduli space $\mathcal{M}(n)$ of symplectic toric manifolds of dimension $2n$, since this space is isometric to the space of Delzant polytopes. Our results imply that no classification of minimal models of symplectic toric manifolds is plausible in dimension $6$ or higher, which answers in the negative a long-standing folklore question originating in Oda's work (1978).

We define and solve the toric version of the symplectic ball packing problem, in the sense of listing all 2n-dimensional symplectic-toric manifolds which admit a perfect packing by balls embedded in a symplectic and torus equivariant fashion. In order to do this we first describe a problem in geometric-combinatorics which is equivalent to the toric symplectic ball packing problem. Then we solve this problem using arguments from Convex Geometry and Delzant theory. Applications to symplectic blowing-up are also presented, and some further questions are raised in the last section.

Let M be a symplectic-toric manifold of dimension at least four. This paper investigates the so called symplectic ball packing problem in the toral equivariant setting. We show that the set of toric symplectic ball packings of M admits the structure of a convex polytope. Previous work of the first author shows that up to equivalence, only CP^1 x CP^1 and CP^2 admit density one packings when n=2 and only CP^n admits density one packings when n>2. In contrast, we show that for a fixed n>=2 and each r in (0, 1), there are uncountably many inequivalent 2n-dimensional symplectic-toric manifolds with a maximal toric packing of density r. This result follows from a general analysis of how the densities of maximal packings change while varying a given symplectic-toric manifold through a family of symplectic-toric manifolds that are equivariantly diffeomorphic but not equivariantly symplectomorphic.