The topology of the space of symplectic balls in \(S^{2}\times S^{2}\) (Q2465357)

The authors sketch the results of their paper, ``The homotopy type of the space of symplectic balls in \(S^{2}\times S^{2}\) above the critical value'' [Preprint 2004, \url{arXiv:math.SG/0406129}], where details of proof can be found. Let \( \omega _{0}\) be the standard area form with total area \(1\) on the 2-sphere \( S^{2}\), and let \(\mu \in (1,2]\). Let \(B^{4}\left( c\right) \) be the closed ball of radius \(r\) in \(\mathbb{R}^{4}\) and capacity \(c=\pi r^{2}\), carrying the standard symplectic structure \(dx_{1}\wedge dy_{1}+dx_{2}\wedge dy_{2}\) of \( \mathbb{R}^{4}\). The space Emb\(_{\omega }\left( c,\mu \right) \), endowed with the \(C^{\infty }\)-topology, of all symplectic embeddings of \(B^{4}\left( c\right) \) in the rational symplectic manifold \(M_{\mu }=\left( S^{2}\times S^{2},\mu \omega _{0}\oplus \omega _{0}\right) \) modulo the action of the group Symp\( \left( B^{4}\left( c\right) \right) \) of symplectic diffeomorphisms of \( B^{4}\left( c\right) \) gives the quotient space \(\mathfrak{I}\)Emb\(_{\omega }\left( c,\mu \right) \) consisting of unparametrized balls of capacity \(c\) in \(M_{\mu }\). The authors find that for \(0<\mu -1\leq c<1\), the space \( \mathfrak{I}\)Emb\(_{\omega }\left( c,\mu \right) \) is weakly homotopy equivalent to the total space \(\mathfrak{F}\) of a nontrivial, but homotopically splitting, fibration \(\mathfrak{F}\rightarrow S^{2}\times S^{2}\) with fiber \(\Omega \sum^{2}SO\left( 3\right) /\Omega S^{3}\), and hence the homotopy group \(\pi _{k}\left( \mathfrak{I}\text{Emb}_{\omega }\left( c,\mu \right) \right) \) is isomorphic to the direct sum of \(\pi _{k}\left( \Omega \sum^{2}SO\left( 3\right) /\Omega S^{3}\right) \) and \(\pi _{k}\left( S^{2}\times S^{2}\right) \). Furthermore the space Emb\(_{\omega }\left( c,\mu \right) \) is weakly homotopy equivalent to the space of the pull-back of the fibration \(\mathfrak{F} \rightarrow S^{2}\times S^{2}\) by the fibered map \(F_{\omega }\rightarrow S^{2}\times S^{2}\), where \(F_{\omega }\) is the space of symplectic frames over \(M_{\mu }\). With the minimal model and the rational cohomology ring of \( \mathfrak{I}\)Emb\(_{\omega }\left( c,\mu \right) \) computed, the authors conclude that \(\mathfrak{I}\)Emb\(_{\omega }\left( c,\mu \right) \) is not homotopy equivalent to a finite-dimensional CW-complex.