The homotopy type of the space of symplectic balls in rational ruled 4-manifolds

DOI10.2140/GT.2009.13.1177MaRDI QIDQ1006152zbMATH OpenOpenAlexFDO

Authors Sílvia Anjos, François Lalonde, Martin Pinsonnault

Publication date 19 March 2009

Published in Geometry \& Topology (Search for Journal in Brave)

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

zbMATH Keywords

group of symplectic diffeomorphismsrational homotopy typerational symplectic 4-manifoldsymplectic embeddings of balls

Mathematics Subject Classification ID

Global theory of symplectic and contact manifolds (53D35) Spectral sequences and homology of fiber spaces in algebraic topology (55R20) Symplectic and contact topology in high or arbitrary dimension (57R17) Topological properties of groups of homeomorphisms or diffeomorphisms (57S05)

Abstract: Let M:=(M^{4},om) be a 4-dimensional rational ruled symplectic manifold and denote by w_{M} its Gromov width. Let Emb_{omega}(B^{4}(c),M) be the space of symplectic embeddings of the standard ball B^4(c) subset R^4 of radius r and of capacity c:= pi r^2 into (M,om). By the work of Lalonde and Pinsonnault, we know that there exists a critical capacity ccrit in (0,w_{M}] such that, for all cin(0,ccrit), the embedding space Emb_{omega}(B^{4}(c),M) is homotopy equivalent to the space of symplectic frames SFr(M). We also know that the homotopy type of Emb_{omega}(B^{4}(c),M) changes when c reaches ccrit and that it remains constant for all c in [ccrit,w_{M}). In this paper, we compute the rational homotopy type, the minimal model, and the cohomology with rational coefficients of Emb_{omega}(B^{4}(c),M) in the remaining case c in [ccrit,w_{M}). In particular, we show that it does not have the homotopy type of a finite CW-complex.

Review text

\textit{F.~Lalonde} and \textit{D.~McDuff} in [Contact and symplectic geometry. Cambridge: Cambridge University Press.~Publ.~Newton Inst. 8, 3--42 (1996; Zbl 0867.53028)] classified rational and ruled symplectic \(4\)-manifolds and showed that any such manifold is symplectomorphic to either the topologically trivial \(S^2\)-bundle over \(S^2\), \(M^0_\mu= (S^2\times S^2,\omega^0_\mu)\), where \(\omega^0_\mu\) is the split symplectic form \(\omega(\mu)\oplus\omega(1)\) with area \(\mu\geq 1\) for the first \(S^2\)-factor and with area \(1\) for the second factor, or the topologically non-trivial \(S^2\)-bundle over \(S^2\), \(M^1_\mu=(S^2\times S^2,\omega^1_\mu)\), diffeomorphic to \(\mathbb CP^2\#\mathbb CP^2\) equipped with the standard Kähler form \(\omega^1_\mu\). If \((M^ 4,\omega)\) is a \(4\)-dimensional rational ruled symplectic manifold, \(w_ M\) its Gromov width, and \(\text{Emb}_\omega(B^ 4(c),M)\) is the space of symplectic embeddings of the standard ball of radius \(r\) into \((M^ 4,\omega)\), than there exists a critical capacity \(c_{\text{crit}}\in(0,w_ M]\) such that, for all \(c\in(0,c_{\text{crit}})\), the embedding space \(\text{Emb}_\omega(B^ 4(c),M)\) is homotopy equivalent to the space of symplectic frames \(\text{SFr}(M)\), and that the homotopy type of \(\text{Emb}_\omega(B^ 4(c),M)\) changes when \(c\) reaches \(c_{\text{crit}}\) and remains constant for all \(c\in[c_{\text{crit}},w_ M)\). Let \(M^ i_\mu\) be a normalized rational ruled \(4\)-manifold with \(\mu>1\) and \(c\in[c_{\text{crit}},1)\), \(B^ 4(c)\subset\mathbb R^ 4\) be the closed standard ball of radius \(r\) and capacity \(c=\pi r^ 2\) equipped with the restriction of the symplectic structure \(\omega_{\text{st}}=dx_ 1\wedge dy_ 1+dx_ 2\wedge dy_ 2\) of \(\mathbb R^ 4\), \(\text{Emb}^ i_{\omega}(c,\mu)\) be the space of all symplectic embeddings of \(B^ 4(c)\) in \(M^ i_\mu\), and \(\mathfrak{I}\text{Emb}^ i_\omega(c,\mu)\) be the space of subsets of \(M^ i_\mu\) that are images of maps belonging to \(\text{Emb}^ i_\mu(c ,\mu)\) defined as the topological quotient \(\text{Symp}(B^ 4(c)) \hookrightarrow \text{Emb}^ i_\omega(c,\mu) \rightarrow \mathfrak{I}\,\text{Emb}^ i_\omega(c,\mu)\), where \(\text{Symp}(B^ 4(c))\) is the group of symplectic diffeomorphisms of the closed ball with no restrictions on the behavior on the boundary. The authors give the rational homotopy type of \(\mathfrak{I}\,\text{Emb}^ i_\omega(c,\mu)\), expressed as a nontrivial fibration whose base and fiber are explicitly given. Also, they compute the minimal model of \(\mathfrak{I}\,\text{Emb}^ i_\omega(c,\mu)\) and the rational cohomology ring of \(\mathfrak{I}\,\text{Emb}^ i_\omega(c,\mu)\). In particular, these results imply that if \(c\in [c_{\text{crit}},1)\), then the topological space \(\mathfrak{I}\,\text{Emb}^ i_\omega(c,\mu)\) does not have the homotopy type of a finite dimensional \(\text{CW}\)-complex.

Recommendations

• The topology of the space of symplectic balls in rational 4-manifolds
• The topology of the space of symplectic balls in \(S^{2}\times S^{2}\)
• Symplectomorphism groups and embeddings of balls into rational ruled 4-manifolds
• Automorphism groups and embeddings of symplectic balls into rational manifolds
• Isotopy of symplectic balls, Gromov's radius and the structure of ruled symplectic 4-manifolds

Cites work

• Almost complex structures on \(S^2\times S^2\)
• Compatible complex structures on symplectic rational ruled surfaces
• From symplectic deformation to isotopy
• Homotopy decomposition of a group of symplectomorphisms of \(S^{2} \times S^{2}\).
• Homotopy type of symplectomorphism groups of S^2 S^2
• scientific article; zbMATH DE number 3929421 (Why is no real title available?)
• scientific article; zbMATH DE number 956487 (Why is no real title available?)
• scientific article; zbMATH DE number 1787096 (Why is no real title available?)
• Isotopy of symplectic balls, Gromov's radius and the structure of ruled symplectic 4-manifolds
• On the cohomology of homogeneous spaces
• Symplectomorphism groups and embeddings of balls into rational ruled 4-manifolds
• The Bochner-flat geometry of weighted projective spaces
• The Morava \(K\)-theory of spaces related to \(BO\)
• The topology of the space of symplectic balls in \(S^{2}\times S^{2}\)
• The topology of the space of symplectic balls in rational 4-manifolds
• Topology of symplectomorphism groups of S^2 S^2
• Topology of symplectomorphism groups of rational ruled surfaces

Cited in

(11)

• Automorphism groups and embeddings of symplectic balls into rational manifolds
• Smooth covers on symplectic manifolds
• Symplectomorphism groups and isotropic skeletons
• Compatible complex structures on symplectic rational ruled surfaces
• The topology of the space of symplectic balls in \(S^{2}\times S^{2}\)
• Essential tori in spaces of symplectic embeddings
• Symplectomorphism groups and embeddings of balls into rational ruled 4-manifolds
• The homotopy Lie algebra of symplectomorphism groups of 3-fold blow-ups of the projective plane
• scientific article; zbMATH DE number 1787096 (Why is no real title available?)
• Symplectic isotopy on non-minimal ruled surfaces
• The topology of the space of symplectic balls in rational 4-manifolds

This page was built for publication: The homotopy type of the space of symplectic balls in rational ruled 4-manifolds

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