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.

Spiders' webs in the Eremenko-Lyubich class

Non-escaping endpoints do not explode

Spiders and their Kin: An Investigation of Stanley's Chromatic Symmetric Function for Spiders and Related Graphs

The Hausdorff dimension of escaping sets of meromorphic functions in the Speiser class

Squared Distance Function on the Configuration Space of a planar Spider with Applications to Hooke Energy and Voronoi Distance

Slow-growing counterexamples to the strong Eremenko Conjecture

Weinstein exactness of nearby Lagrangians and the Lagrangian $C^{0}$ flux conjecture

Eremenko's conjecture, wandering Lakes of Wada, and maverick points

Exercising Control When Confronted by a (Brownian) Spider

Diffusion spiders: Green kernel, excessive functions and optimal stopping

Maximum Entropy Random Walks: the Infinite Setting and the Example of Spider Networks with their Scaling Limits

The escaping set of transcendental self-maps of the punctured plane

On infinite staircases in toric symplectic four-manifolds

Brownian Motion on The Spider Like Quantum Graphs

Zeros of the Selberg zeta function for symmetric infinite area hyperbolic surfaces

WKB Asymptotics of Stokes Matrices, Spectral Curves and Rhombus Inequalities

Iterates of Meromorphic Functions on Escaping Fatou Components

Webs and multiwebs for the symplectic group

On the diameter of the stopped spider process

Connectivity keeping spiders in k-connected graphs

Low-action holomorphic curves and invariant sets