A classification of infinite staircases for Hirzebruch surfaces
Nicki Magill, Ana Rita Pires, Morgan Weiler
备注：
56 pages, 7 figures. v2: to appear in the Journal of Topology; revised throughout to improve language and correct local mathematical errors pointed out by the referee
The ellipsoid embedding function of a symplectic manifold gives the smallest amount by which the symplectic form must be scaled in order for a standard ellipsoid of the given eccentricity to embed symplectically into the manifold. It was first computed for the standard four-ball (or equivalently, the complex projective plane) by McDuff and Schlenk, and found to contain the unexpected structure of an "infinite staircase," that is, an infinite sequence of nonsmooth points arranged in a piecewise linear stair-step pattern. Later work of Usher and Cristofaro-Gardiner--Holm--Mandini--Pires suggested that while four-dimensional symplectic toric manifolds with infinite staircases are plentiful, they are highly non-generic. This paper concludes the systematic study of one-point blowups of the complex projective plane, building on previous work of Bertozzi-Holm-Maw-McDuff-Mwakyoma-Pires-Weiler, Magill-McDuff, Magill-McDuff-Weiler, and Magill on these Hirzebruch surfaces.
We prove a conjecture of Cristofaro-Gardiner--Holm--Mandini--Pires for this family: that if the blowup is of rational weight and the embedding function has an infinite staircase then that weight must be $1/3$. We show also that the function for this manifold does not have a descending staircase. Furthermore, we give a sufficient and necessary condition for the existence of an infinite staircase in this family which boils down to solving a quadratic equation and computing the function at one specific value. Many of our intermediate results also apply to the case of the polydisk (or equivalently, the symplectic product of two spheres).
We consider the embedding capacity functions $c_{H_b}(z)$ for symplectic embeddings of ellipsoids of eccentricity $z$ into the family of nontrivial rational Hirzebruch surfaces $H_b$ with symplectic form parametrized by $b\in [0,1)$. This function was known to have an infinite staircase in the monotone cases ($b= 0$ and $ b= 1/3$). It is also known that for each $b$ there is at most one value of $z$ that can be the accumulation point of such a staircase. In this manuscript, we identify three sequences of open, disjoint, blocked $b$-intervals, consisting of $b$-parameters where the embedding ca…
We study the symplectic embedding capacity function $C_β$ for ellipsoids $E(1,α)\subset R^4$ into dilates of polydisks $P(1,β)$ as both $α$ and $β$ vary through $[1,\infty)$. For $β=1$ Frenkel and Mueller showed that $C_β$ has an infinite staircase accumulating at $α=3+2\sqrt{2}$, while for integer $β\geq 2$ Cristofaro-Gardiner, Frenkel, and Schlenk found that no infinite staircase arises. We show that, for arbitrary $β\in (1,\infty)$, the restriction of $C_β$ to $[1,3+2\sqrt{2}]$ is determined entirely by the obstructions from Frenkel and Mueller's work, leading $C_β$ on this interval to have…
In a recent preprint Yael Karshon showed that there exist non-conjugate tori in a group of symplectomorphisms of a Hirzebruch surface. She counted them in terms of the cohomology class of the symplectic structure. We show that a similar phenomenon exists in the contactomorphism groups of pre-quantum circle bundles over Hirzebruch surfaces. Note that the contact structures in question are fillable. This may be contrasted with an earlier paper where we showed that there are infinitely many non-conjugate tori in the contactomorphism groups of certain overtwisted lens spaces (Contact cuts, Israel …
A striking result of McDuff and Schlenk asserts that in determining when a four-dimensional symplectic ellipsoid can be symplectically embedded into a four-dimensional symplectic ball, the answer is governed by an "infinite staircase" determined by the odd-index Fibonacci numbers and the Golden Mean. Here we study embeddings of one four-dimensional symplectic ellipsoid into another, and we show that if the target is rational, then the infinite staircase phenomenon found by McDuff and Schlenk is quite rare. Specifically, in the rational case, there is an infinite staircase in precisely three ca…
McDuff and Schlenk determined when a four-dimensional ellipsoid can be symplectically embedded into a ball, and found that part of the answer is given by an infinite "Fibonacci staircase." Similarly, Frenkel and Müller determined when a four-dimensional ellipsoid can be symplectically embedded into the ellipsoid E(1,2) and found that part of the answer is given by a "Pell staircase." ECH capacities give an obstruction to symplectically embedding one four-dimensional ellipsoid into another, and McDuff showed that this obstruction is sharp. We use this result to give new proofs of the staircases…
McDuff and Schlenk determined when a four-dimensional ellipsoid can be symplectically embedded into a four-dimensional ball, and found that when the ellipsoid is close to round, the answer is given by an "infinite staircase" determined by the odd-index Fibonacci numbers. We show that this result still holds in higher dimensions when we "stabilize" the embedding problem.
We present the various constructions of new symplectic $4$-manifolds with non-negative signatures using the complex surfaces on the BMY line $c_1^2 = 9χ_h$, the Cartwright-Steger surfaces, the quotients of Hirzebruch's certain line-arrangement surfaces, along with the exotic symplectic $4$-manifolds constructed in \cite{AP2, AS}. In particular, our constructions yield to (i) an irreducible symplectic and infinitely many non-symplectic $4$-manifolds that are homeomorphic but not diffeomorphic to $(2n-1)CP^{2}\#(2n-1)\bar{CP}^{2}$ for each integer $n \geq 9$, (ii) the families of simply connecte…
In previous work, the second author and Müller determined the function $c(a)$ giving the smallest dilate of the polydisc $P(1,1)$ into which the ellipsoid $E(1,a)$ symplectically embeds. We determine the function of two variables $c_b(a)$ giving the smallest dilate of the polydisc $P(1,b)$ into which the ellipsoid $E(1,a)$ symplectically embeds for all integers $b \geqslant 2$. It is known that for fixed $b$, if $a$ is sufficiently large then all obstructions to the embedding problem vanish except for the volume obstruction. We find that there is another kind of change of structure that appear…
Recently, McDuff and Schlenk determined the function c_{EB}(a) whose value at a is the infimum of the size of a 4-ball into which the ellipsoid E(1,a) symplectically embeds (here, a >= 1 is the ratio of the area of the large axis to that of the smaller axis of the ellipsoid). In this paper we look at embeddings into four-dimensional cubes instead, and determine the function c_{EC}(a) whose value at a is the infimum of the size of a 4-cube C^{4}(A) = D^{2}(A) times D^{2}(A) into which the ellipsoid E(1,a) symplectically embeds (where D^{2}(A) denotes the disc in mathbb{R}^{2} of area A). As in …
In \cite{AP3, AHP}, the first author and his collaborators constructed the irreducible symplectic $4$-manifolds that are homeomorphic but not diffeomorphic to $(2n-1){\mathbb{CP}}^{2}\#(2n-1)\overline{\mathbb{CP}}^{2}$ for each integer $n \geq 25$, and the families of simply connected irreducible nonspin symplectic $4$-manifolds with positive signature that are interesting with respect to the symplectic geography problem. In this paper, we improve the main results in \cite{AP3, AHP}. In particular, we construct (i) an infinitely many irreducible symplectic and non-symplectic $4$-manifolds that…
