Symplectic embeddings of four-dimensional polydisks into balls

DOI10.2140/AGT.2018.18.2151MaRDI QIDQ1748436zbMATH OpenOpenAlexWikidataFDO

Authors Katherine Christianson, Jo Nelson

Publication date 11 May 2018

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1610.00566

zbMATH Keywords

convex generatorembedded contact homologyembedded contact homology (ECH) capacityHutchings criterionsymplectic embeddings

Mathematics Subject Classification ID

Symplectic manifolds (general theory) (53D05) Symplectic field theory; contact homology (53D42) Embeddings in differential topology (57R40)

Abstract: In this paper we obtain new obstructions to symplectic embeddings of the four-dimensional polydisk $P(a,1)$ into the ball $B(c)$ for $2leqa<fracsqrt7-1sqrt7-2approx2.549$, extending work done by Hind-Lisi and Hutchings. Schlenk's folding construction permits us to conclude our bound on $c$ is optimal. Our proof makes use of the combinatorial criterion necessary for one "convex toric domain" to symplectically embed into another introduced by Hutchings in cite{Beyond}. Additionally, we prove that if certain symplectic embeddings of four dimensional convex toric domains exist then a modified version of this criterion from cite{Beyond} must hold, thereby reducing the computational complexity of the original criterion from $O(2^n)$ to $O(n^2)$.

Review text

Let \(P(a,b)\) be \(\{(z_1,z_2)\in\mathbb{C}^2| \pi|z_1|^2\leq a, \pi|z_2|^2\leq b\}\) and \(B(c)\) the ball of radius \(c\). Then the following theorem is proved. Theorem 1.4. Let \(2\leq a\leq \dfrac{\sqrt{7}-1}{\sqrt{7}-2}=2.54858\ldots\). If \(P(a,1)\) is symplectically embedded in \(B(c)\), then \(c\geq 2+\dfrac{a}{2}\). It is noted that the bound of \(c\) is optimal, and this bound was known for \(2\leq a\leq 2,4\), see [\textit{M. Hutchings}, ``Symplectic folding is sometimes optimal, Preprint, \url{https://tinyurl.com/floerhomology20140916}]. The proof uses Hutchings criterion, that asserts that for any simplectic four manifold \(X\) with boundary, we can associate a sequence of real numbers \(0=c_0(X)\leq c_1(X)\leq c_2(X)\leq\cdots\) such that if \(X\) symplectically embeds into \(X'\), then \(c_k(X)\leq c_k(X')\) for all \(k\) [\textit{F. Bourgeois} (ed.) et al., Contact and symplectic topology. Proceedings of the CAST summer schools and conferences, Nantes, France, June 2011 and Budapest, Hungary, July 2012. Cham: Springer; Budapest: János Bolyai Mathematical Society (2014; Zbl 1286.53007)]. The numbers in this sequence are called embedded contact homology (ECH) capacities. Let \(\Omega\) be a domain in \(\mathbb{R}^2\) and \(X_\Omega=\{(z_1,z_2)| (\pi|z_1|^2,\pi|z_2|^2)\in\Omega\}\). Then \(P(a,b)=X_\Omega\), where \(\Omega\) is the rectangle with vertices \((0,0),(a,0),(0,b),(a,b)\). This observation suggests that ECH capacity has a combinatorial definition, which was shown in [\textit{M. Hutchings}, Geom. Topol. 20, No. 2, 1085--1126 (2016; Zbl 1338.53119)]. It was done via the study of a special path \(\Lambda\), called convex generator (Definition 1.8) and several numerical invariants derived from \(\Lambda\) by using contact homology and the area of the domain bounded by \(\Lambda\). In this paper, according to this line, a proof of the Hutchings criterion is given with an improvement that allows more convenient use of the Hutchings criterion (Theorem 1.17., Proposition 1.19 and Corollary 1.20). Then Theorem 1.4 is proved via a detailed calculation of the numerical invariants with the aid of Pick's theorem in \S3, the last section. Difficulties to extend Theorem 1.4 via the Hutchings criterion are explained in the appendix.

Recommendations

• Symplectic embeddings of four-dimensional polydisks into half integer ellipsoids
• Beyond ECH capacities
• Symplectic embeddings of polydisks
• Symplectic isotopies in dimension greater than four
• Symplectic embeddings of four-dimensional ellipsoids into polydiscs

Cites work

• Beyond ECH capacities
• Lecture notes on embedded contact homology
• Quantitative embedded contact homology
• Symplectic embeddings into four-dimensional concave toric domains
• Symplectic embeddings of 4-dimensional ellipsoids
• Symplectic embeddings of \(4\)-dim ellipsoids into cubes
• Symplectic embeddings of polydisks
• The Hofer conjecture on embedding symplectic ellipsoids

Cited in

(11)

• Symplectic packing in dimension 4
• Symplectic embeddings of four-dimensional polydisks into half integer ellipsoids
• Squeezing Lagrangian tori in dimension 4
• Symplectically knotted codimension-zero embeddings of domains in \(\mathbb{R}^4\)
• Beyond ECH capacities
• Symplectic embeddings into four-dimensional concave toric domains
• Symplectic embeddings of four-dimensional ellipsoids into polydiscs
• The embedding capacity of 4-dimensional symplectic ellipsoids
• Symplectic embeddings of the ℓp-sum of two discs
• Symplectic embeddings of polydisks
• Symplectic embeddings of polydisks

This page was built for publication: Symplectic embeddings of four-dimensional polydisks into balls

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1748436)