Dusa McDuff and symplectic geometry

Symplectic embeddings of products

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.

具有不可缩轨道的辛环面作用

Symplectic torus actions with non-contractible orbits

研究闭连通2n维辛流形上辛\(T^{n - 1}\)作用，证明其为哈密顿作用的充要条件是轨道可缩，推广相关结果。当轨道迷向时得到更强结论，还证明了此类作用可分解，最后提出关于其拓扑的若干开放性问题。

Special eccentricities of rational four-dimensional ellipsoids

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…

Compatible complex structures on symplectic rational ruled surfaces

In this paper we study the topology of the space $\I_ω$ of complex structures compatible with a fixed symplectic form $ω$, using the framework of Donaldson. By comparing our analysis of the space $\I_ω$ with results of McDuff on the space $\cat J_ω$ of compatible almost complex structures on rational ruled surfaces, we find that $\I_ω$ is contractible in this case. We then apply this result to study the topology of the symplectomorphism group of a rational ruled surface, extending results of Abreu and McDuff.

Recent progress on symplectic embedding problems in four dimensions

We survey some recent progress on understanding when one four-dimensional symplectic manifold can be symplectically embedded into another. In 2010, McDuff established a number-theoretic criterion for the existence of a symplectic embedding of one four-dimensional ellipsoid into another. This is related to previously known criteria for when a disjoint union of balls can be symplectically embedded into a ball. The new theory of "ECH capacities" gives general obstructions to symplectic embeddings in four dimensions which turn out to be sharp in the above cases.

Hirzebruch 曲面的无限阶梯分类

A classification of infinite staircases for Hirzebruch surfaces

本文完成对复射影平面单点吹胀（Hirzebruch 曲面）嵌入函数无限阶梯的分类，证明有理权重下无限阶梯仅出现在权重为 1/3 时，并给出存在性的充分必要条件。

Towards the C^0 flux conjecture

In this note, we generalise a result of Lalonde, McDuff and Polterovich concerning the $ C^0 $ flux conjecture, thus confirming the conjecture in new cases of a symplectic manifold. Also, we prove the continuity of the flux homomorphism on the space of smooth symplectic isotopies endowed with the $ C^0 $ topology, which implies the $ C^0 $ rigidity of Hamiltonian paths, conjectured by Seyfaddini.

The Hofer conjecture on embedding symplectic ellipsoids

In this note we show that one open four dimensional ellipsoid embeds symplectically into another if and only the ECH capacities of the first are no larger than those of the second. This proves a conjecture due to Hofer. The argument uses the equivalence of the ellipsoidal embedding problem with a ball embedding problem that was recently established by McDuff. Its method is inspired by Hutchings' recent results on embedded contact homology (ECH) capacities but does not use them.

Symplectically knotted codimension-zero embeddings of domains in $R^4$

We show that many toric domains $X$ in $R^4$ admit symplectic embeddings $ϕ$ into dilates of themselves which are knotted in the strong sense that there is no symplectomorphism of the target that takes $ϕ(X)$ to $X$. For instance $X$ can be taken equal to a polydisk $P(1,1)$, or to any convex toric domain that both is contained in $P(1,1)$ and properly contains a ball $B^4(1)$; by contrast a result of McDuff shows that $B^4(1)$ (or indeed any four-dimensional ellipsoid) cannot have this property. The embeddings are constructed based on recent advances on symplectic embeddings of ellipsoids, th…

Symplectic embeddings of 4-dimensional ellipsoids into polydiscs

McDuff and Schlenk have recently determined exactly when a four-dimensional symplectic ellipsoid symplectically embeds into a symplectic ball. Similarly, Frenkel and Müller have recently determined exactly when a symplectic ellipsoid symplectically embeds into a symplectic cube. Symplectic embeddings of more complicated structures, however, remain mostly unexplored. We study when a symplectic ellipsoid $E(a,b)$ symplectically embeds into a polydisc $P(c,d)$. We prove that there exists a constant $C$ depending only on $d/c$ (here, $d$ is assumed greater than $c$) such that if $b/a$ is greater t…

Symplectic embeddings of 4-dimensional ellipsoids into cubes

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 …

Symplectic embeddings of 4-dimensional ellipsoids

We show how to reduce the problem of symplectically embedding one 4-dimensional rational ellipsoid into another to a problem of embedding disjoint unions of balls into appropriate blow ups of \C P^2. For example, the problem of embedding the ellipsoid E(1,k) into a ball B is equivalent to that of embedding k disjoint equal balls into \C P^2, and so can be solved by the work of Gromov, McDuff--Polterovich and Biran. (Here k is the ratio of the area of the major axis to that of the minor axis.) As a consequence we show that the ball may be fully filled by the ellipsoid E(1,k) for k=1,4 and all k…

Symplectic embeddings of polydisks

In this note, we obtain new obstructions to symplectic embeddings of a product of disks (a polydisk) into a 4-dimensional ball. The polydisk P(r,s) is the product of the disk of area r with the disk of area s. The ball of capacity a, denoted B(a), is the ball with πr^2 \le a. We show P(1,2) embeds in B^4(a) if and only if a is at least 3. This shows the inclusion of P(1,2) in B^4(3) is optimal. The necessity of a \ge 3 implies that for this particular embedding problem neither the Ekeland-Hofer nor ECH capacities give a sharp obstruction. We contrast this with the case of ellipsoid embeddings …

Whitehead products in symplectomorphism groups and Gromov-Witten invariants

Consider any symplectic ruled surface $(M^g_λ,ω_λ)$ given by $(Σ_g \times S^2, λσ_{Σ_g} \oplus σ_{S^2})$. We compute all natural equivariant Gromov-Witten invariants $EGW_{g,0}(M^g_λ;H_k, A-kF)$ for all hamiltonian circle actions $H_k$ on $M^g_λ$, where $A=[Σ_g \times pt]$ and $F= [pt \times S^2]$. We use these invariants to show the nontriviality of certain higher order Whitehead products that live in the homotopy groups of the symplectomorphism groups $G_λ^g$, $g \geq 0$. Our results are sharper when $g=0,1$ and enable us to answer a question posed by D.McDuff in the case $g=1$ and provide a…

The ghost stairs stabilize to sharp symplectic embedding obstructions

In determining when a four-dimensional ellipsoid can be symplectically embedded into a ball, McDuff and Schlenk found an infinite sequence of "ghost" obstructions that generate an infinite "ghost staircase" determined by the even index Fibonacci numbers. The ghost obstructions are not visible for the four-dimensional embedding problem because strictly stronger obstructions also exist. We show that in contrast, the embedding constraints associated to the ghost obstructions are sharp for the stabilized problem; moreover, the corresponding optimal embeddings are given by symplectic folding. The p…

Beyond ECH capacities

ECH (embedded contact homology) capacities give obstructions to symplectically embedding one four-dimensional symplectic manifold with boundary into another. These obstructions are known to be sharp when the domain and target are ellipsoids (proved by McDuff), and more generally when the domain is a "concave toric domain" and the target is a "convex toric domain" (proved by Cristofaro-Gardiner). However ECH capacities often do not give sharp obstructions, for example in many cases when the domain is a polydisk. This paper uses more refined information from ECH to give stronger symplectic embed…

Higher Symplectic Capacities and the Stabilized Embedding Problem for Integral Ellipsoids

The third named author has been developing a theory of "higher" symplectic capacities. These capacities are invariant under taking products, and so are well-suited for studying the stabilized embedding problem. The aim of this note is to apply this theory, assuming its expected properties, to solve the stabilized embedding problem for integral ellipsoids, when the eccentricity of the domain has the opposite parity of the eccentricity of the target and the target is not a ball. For the other parity, the embedding we construct is definitely not always optimal; also, in the ball case, our methods…

Quantitative embedded contact homology

Define a "Liouville domain" to be a compact exact symplectic manifold with contact-type boundary. We use embedded contact homology to assign to each four-dimensional Liouville domain (or subset thereof) a sequence of real numbers, which we call "ECH capacities". The ECH capacities of a Liouville domain are defined in terms of the "ECH spectrum" of its boundary, which measures the amount of symplectic action needed to represent certain classes in embedded contact homology. Using cobordism maps on embedded contact homology (defined in joint work with Taubes), we show that the ECH capacities are …

Pseudoholomorphic curves in four-orbifolds and some applications

The main purpose of this paper is to summarize the basic ingredients, illustrated with examples, of a pseudoholomorphic curve theory for symplectic 4-orbifolds. These are extensions of relevant work of Gromov, McDuff and Taubes on symplectic 4-manifolds concerning pseudoholomorphic curves and Seiberg-Witten theory. They form the technical backbone of the proof that a symplectic s-cobordism of elliptic 3-manifolds (with a canonical contact structure on the boundary) is smoothly a product. One interesting feature of the theory is that existence of pseudoholomorphic curves gives certain restricti…

稳定椭球嵌入讲义

Lectures on stabilized ellipsoid embeddings

本讲义基于瑞士研讨会的迷你课程，解释了D. McDuff与作者对（受限）稳定椭球嵌入问题的近期解决，还介绍了半尖点曲线等相关概念以阐明背景并暗示推广可能。

Symplectomorphism groups and embeddings of balls into rational ruled 4-manifolds

Let $X$ be any rational ruled symplectic four-manifold. Given a symplectic embedding $ι:B_{c}\into X$ of the standard ball of capacity $c$ into $X$, consider the corresponding symplectic blow-up $\tX_ι$. In this paper, we study the homotopy type of the symplectomorphism group $\Symp(\tX_ι)$, simplifying and extending the results of math.SG/0207096. This allows us to compute the rational homotopy groups of the space $\IEmb(B_{c},X)$ of unparametrized symplectic embeddings of $B_{c}$ into $X$. We also show that the embedding space of one ball in $CP^2$, and the embedding space of two disjoint ba…

完全椭球嵌入与环簇突变

Full Ellipsoid Embeddings and Toric Mutations

本文提出利用环簇与几乎环簇中的多面体突变构造4维椭球体积填充辛嵌入的新方法，统一了多个已知阶梯序列并新增无穷序列，同时开创了辛热带曲线研究。

论环面辛四维流形中的无限阶梯

On infinite staircases in toric symplectic four-manifolds

本文为有限型凸环面域建立分析无限阶梯的一般框架，证明无限阶梯具有唯一聚点且该点处嵌入函数等于体积下界，并对有理凸环面域提出并部分证明仅存在六个自反矩多边形族的完整猜想。