Abstract:An influential result of McDuff and Schlenk asserts that the function that encodes when a four-dimensional symplectic ellipsoid can be embedded into a four-dimensional ball has a remarkable structure: the function has infinitely many corners, determined by the odd-index Fibonacci numbers, that fit together to form an infinite staircase. This work has recently led to considerable interest in understanding when the ellipsoid embedding function for other symplectic 4-manifolds is partly described by an infinite staircase. We provide a general framework for analyzing this question for a large family of targets, called finite type convex toric domains, which we prove generalizes the class of closed toric symplectic 4-manifolds. When the target is of finite type, we prove that any infinite staircase must have a unique accumulation point a_0, given as the solution to an explicit quadratic equation. Moreover, we prove that the embedding function at a_0 must be equal to the classical volume lower bound. In particular, our result gives an obstruction to the existence of infinite staircases that we show is powerful. In the special case of rational convex toric domains, we can say more. We conjecture a complete answer to the question of existence of infinite staircases, in terms of six families that are distinguished by the fact that their moment polygon is reflexive. We then provide a uniform proof of the existence of infinite staircases for our six families, using two tools. For the first, we use recursive families of almost toric fibrations to find symplectic embeddings. For the second tool, we find recursive families of convex lattice paths that provide obstructions to embeddings. We conclude by reducing our conjecture that these are the only infinite staircases among rational convex toric domains to a question in number theory related to a classic work of Hardy and Littlewood.

Isospectral towers of Riemannian Manifolds

Continuous families of Riemannian manifolds, Isospectral on functions but not on 1-forms

Isometry groups with radical, and aspherical Riemannian manifolds with large symmetry I

Constructing multi-cusped hyperbolic manifolds that are isospectral and not isometric

Families of mutually isospectral Riemannian orbifolds

Cohomotopy Sets of $(n-1)$-connected $(2n+2)$-manifolds for small $n$

Three's company in six dimensions: irreducible, isospectral, non-isometric flat tori

Almost Isotropy-Maximal Manifolds of Non-negative Curvature

Einstein manifolds with optical geometries of Kerr type

An upper bound for the pseudoisotopy stable range

On infinite staircases in toric symplectic four-manifolds

An intrinsic flat limit of Riemannian manifolds with no geodesics

Torsion-free $G_2$-structures with identical Riemannian metric

A classification of infinite staircases for Hirzebruch surfaces

Non-isometric pairs of Riemannian manifolds with the same Guillemin-Ruelle zeta function

Isoparametric hypersurfaces in symmetric spaces of non-compact type and higher rank

Symmetric Rearrangement and Geometric Inequalities on Riemannian Manifolds

A family of $4$-manifolds with nonnegative Ricci curvature and prescribed asymptotic cone

An infinite family of hyperbolic 3-manifolds without tight projectively Anosov flows

Invariant Einstein–Randers Metrics on Stiefel Manifolds

A construction of Einstein solvmanifolds not based on nilsolitons