Let $M$ be either $S^2\times S^2$ or the one point blow-up $\cp# \bcp$ of $\cp$. In both cases $M$ carries a family of symplectic forms $\om_\la$, where $\la > -1$ determines the cohomology class $[\om_\la]$. This paper calculates the rational (co)homology of the group $G_\la$ of symplectomorphisms of $(M,\om_\la)$ as well as the rational homotopy type of its classifying space $BG_\la$. It turns out that each group $G_\la$ contains a finite collection $K_k, k = 0,...,\ell = \ell(\la)$, of finite dimensional Lie subgroups that generate its homotopy. We show that these subgroups "asymptotically commute", i.e. all the higher Whitehead products that they generate vanish as $\la\to \infty$. However, for each fixed $\la$ there is essentially one nonvanishing product that gives rise to a "jumping generator" $w_\la$ in $H^*(G_\la)$ and to a single relation in the rational cohomology ring $H^*(BG_\la)$. An analog of this generator $w_\la$ was also seen by Kronheimer in his study of families of symplectic forms on 4-manifolds using Seiberg--Witten theory. Our methods involve a close study of the space of $\om_\la$-compatible almost complex structures on $M$.
We continue our previous work to prove that for any non-minimal ruled surface $(M,ω)$, the stability under symplectic deformations of $π_0, π_1$ of $Symp(M,ω)$ is guided by embedded $J$-holomorphic curves. Further, we prove that for any fixed sizes blowups, when the area ratio $μ$ between the section and fiber goes to infinity, there is a topological colimit of $Symp(M,ω_μ).$ Moreover, when the blowup sizes are all equal to half the area of the fiber class, we give a topological model of the colimit which induces non-trivial symplectic mapping classes in $Symp(M,ω) \cap \rm Diff_0(M),$ where $…
Let $(X,ω)$ be a symplectic rational 4 manifold. We study the space of tamed almost complex structures $\mathcal{J}_ω$ using a fine decomposition via smooth rational curves and a relative version of the infinite-dimensional Alexander duality. This decomposition provides new understandings of both the variation and stability of the symplectomorphism group $Symp(X,ω)$ when deforming $ω$. In particular, we compute the rank of $π_1(Symp(X,ω))$ with Euler number $χ(X)\leq 7$ in terms of the number $N$ of -2 symplectic sphere classes.
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…
This paper studies groups of symplectomorphisms of ruled surfaces for symplectic forms with varying cohomology class. This class is characterized by the ratio R of the size of the base to that of the fiber. By considering appropriate spaces of almost complex structures, we investigate how the topological type of these groups changes as R increases. If the base is a sphere, this changes precisely when R passes an integer, and for general bases it stabilizes as R goes to infinity. Our results extend and make more precise some of the conclusions of Abreu--McDuff concerning the rational homotopy t…
In this paper we apply Donaldson's general moment map framework for the action of a symplectomorphism group on the corresponding space of compatible (almost) complex structures to the case of rational ruled surfaces. This gives a new approach to understanding the topology of their symplectomorphism groups, based on a result of independent interest: the space of compatible integrable complex structures on any symplectic rational ruled surface is (weakly) contractible. We also explain how in general, under this condition, there is a direct relationship between the topology of a symplectomorphism…
We introduce the secondary Stiefel-Whitney class $\tilde w_2$ of homotopically trivial diffeomorphisms and show that a homotopically trivial symplectomorphism of a ruled 4-manifold is isotopic to identity if and only if the class $\tilde w_2$ vanishes. Using this, we give a detailed description of the combinatorial structure of the diffeotopy group of ruled symplectic 4-manifolds $X$, either minimal or blown-up, and its action on the homology and homotopy groups $H_2(X,\zz)$, $π_1(X)$, and $π_2(X)$.
There are two main results. The first states that isotropy subgroups of groups acting transitively on a rationally hyperbolic spaces have infinitely generated rational cohomology algebra. Using this fact, we prove that the analogous statement holds for groups of symplectomorphisms of certain blow-ups.
This survey presents some recent results by the authors and Polterovich on the topological properties of ruled symplectic manifolds. The bundle M \to P \to B that is associated with a ruled manifold has the group of Hamiltonian symplectomorphisms of M as structure group if the base is simply connected. Thus information about Hamiltonian bundles gives stability results for ruled structures as well as obstructions to their existence.
By a result of Kedra and Pinsonnault, we know that the topology of groups of symplectomorphisms of symplectic 4-manifolds is complicated in general. However, in all known (very specific) examples, the rational cohomology rings of symplectomorphism groups are finitely generated. In this paper, we compute the rational homotopy Lie algebra of symplectomorphism groups of the 3-point blow-up of the projective plane (with an arbitrary symplectic form) and show that in some cases, depending on the sizes of the blow-ups, it is infinite dimensional. Moreover, we explain how the topology is generated by…
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…
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.
For $(\mathbb{C} P^2 \# 5{\overline {\mathbb{C} P^2}},ω)$, let $N_ω$ be the number of $(-2)$-symplectic spherical homology classes.We completely determine the Torelli symplectic mapping class group (Torelli SMCG): the Torelli SMCG is trivial if $N_ω>8$; it is $π_0(Diff^+(S^2,5))$ if $N_ω=0$ (by Paul Seidel and Jonathan Evans); it is $π_0(Diff^+(S^2,4))$ in the remaining case. Further, we completely determine the rank of $π_1(Symp(\mathbb{C} P^2 \# 5{\overline {\mathbb{C} P^2}}, ω)$ for any given symplectic form. Our results can be uniformly presented regarding Dynkin diagrams of type $\mathbb{…
In this short note, we give an explicit construction of inequivalent Lefschetz pencils and fibrations of same genera on blow-ups of all rational and ruled surfaces. This complements our earlier results, concluding that every symplectic 4-manifold, after sufficiently many blow-ups, admits inequivalent Lefschetz pencils and fibrations, which cannot be obtained from one another even via any sequence of fibered Luttinger surgeries.
We explore a relationship between topological properties of orbits of 2-cycles in the symplectomorphism group Symp(M) and the existence of rational curves in M. Under the absence of rational curves hypothesis, we show that evaluation map vanishies on the second homotopy group and obtain a Gottlieb-type vanishing theorem for toroidal cycles in Symp(M).
Let $(M,ω)$ be a ruled symplectic four-manifold. If $(M, ω)$ is rational, then every homologically trivial symplectic cyclic action on $(M,ω)$ is the restriction of a Hamiltonian circle action.
In this paper we compute the homotopy groups of the symplectomorphism groups of the 3-, 4- and 5-point blow-ups of the projective plane (considered as monotone symplectic Del Pezzo surfaces). Along the way, we need to compute the homotopy groups of the compactly supported symplectomorphism groups of the cotangent bundle of $\mathbf{RP}^{2}$ and of $\mathbf{C}^*\times\mathbf{C}$. We also make progress in the case of the $A_n$-Milnor fibres: here we can show that the (compactly supported) Hamiltonian group is contractible and that the symplectic mapping class group embeds in the braid group on $…
This paper is concerned with the rational symplectic field theory in the Floer case. For this observe that in the general geometric setup for symplectic field theory the contact manifolds can be replaced by mapping tori of symplectic manifolds with symplectomorphisms. While the cylindrical contact homology is given by the Floer homologies of powers of the symplectomorphism, the other algebraic invariants of symplectic field theory provide natural generalizations of symplectic Floer homology. For symplectically aspherical manifolds and Hamiltonian symplectomorphisms we study the moduli spaces o…
In this paper we study whether symplectic toric manifolds are symplectically cohomologically rigid. Here we say that symplectic cohomological rigidity holds for some family of symplectic manifolds if the members of that family can be distinguished by their integral cohomology rings and the cohomology classes of their symplectic forms. We show how toric degenerations can be used to produce the symplectomorphisms necessary to answer this question. As a consequence we prove that symplectic cohomological rigidity holds for the family of symplectic Bott manifolds with rational symplectic form whose…
We completely solve the symplectic packing problem with equally sized balls for any rational, ruled, symplectic 4-manifolds. We give explicit formulae for the packing numbers, the generalized Gromov widths, the stability numbers, and the corresponding obstructing exceptional classes. As a corollary, we give explicit values for when an ellipsoid of type $E(a, b)$, with $\frac{b}{a} \in \N$, embeds in a polydisc $P(s,t)$. Under this integrality assumption, we also give an alternative proof of a recent result of M. Hutchings showing that the ECH capacities give sharp inequalities for embedding el…
We consider the 3-point blow-up of the manifold $ (S^2 \times S^2, σ\oplus σ)$ where $σ$ is the standard symplectic form which gives area 1 to the sphere $S^2$, and study its group of symplectomorphisms $\rm{Symp} ( S^2 \times S^2 \#\, 3\overline{\mathbb C\mathbb P}\,\!^2, ω)$. So far, the monotone case was studied by J. Evans and he proved that this group is contractible. Moreover, J. Li, T. J. Li and W. Wu showed that the group Symp$_{h}(S^2 \times S^2 \#\, 3\overline{ \mathbb C\mathbb P}\,\!^2,ω) $ of symplectomorphisms that act trivially on homology is always connected and recently they al…
Let M:=(M^{4},\om) be a 4-dimensional rational ruled symplectic manifold and denote by w_{M} its Gromov width. Let Emb_ω(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:= π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 c\in(0,\ccrit), the embedding space Emb_ω(B^{4}(c),M) is homotopy equivalent to the space of symplectic frames \SFr(M). We also know that the homotopy type of Emb_ω(B^{4}(c),M) changes when c reaches \ccrit and …
We show that hyperelliptic symplectic Lefschetz fibrations are symplectically birational to two-fold covers of rational ruled surfaces, branched in a symplectically embedded surface. This reduces the classification of genus 2 fibrations to the classification of certain symplectic submanifolds in rational ruled surfaces.
These notes combine material from short lecture courses given in Paris, France, in July 2001 and in Srni, the Czech Republic, in January 2003. They discuss groups of symplectomorphisms of closed symplectic manifolds (M,\om) from various points of view. Lectures 1 and 2 provide an overview of our current knowledge of their algebraic, geometric and homotopy theoretic properties. Lecture 3 sketches the arguments used by Gromov, Abreu and Abreu-McDuff to figure out the rational homotopy type of these groups in the cases M= CP^2 and M=S^2\times S^2. We outline the needed J-holomorphic curve techniq…
We consider the action of symplectic monodromy on chain-level enhancements of quantum cohomology. First, we construct a family version of $A_\infty$-structure on quantum cohomology (this should morally correspond to Hochschild cohomology of a "family of Fukaya categories over the circle"). Following Kaledin, we look at the obstruction class of this structure, and argue that it can be related to a quantum version of Massey products on the one hand (which, in nice cases, can be related to actual counts of rational curves) and to the classical Andreadakis-Johnson theory of the Torelli group on th…
Let $π: P\to B$ be a locally trivial fiber bundle over a connected CW complex $B$ with fiber equal to the closed symplectic manifold $(M,\om)$. Then $π$ is said to be a symplectic fiber bundle if its structural group is the group of symplectomorphisms $\Symp(M,\om)$, and is called Hamiltonian if this group may be reduced to the group $\Ham(M,\om)$ of Hamiltonian symplectomorphisms. In this paper, building on prior work by Seidel and Lalonde, McDuff and Polterovich, we show that these bundles have interesting cohomological properties. In particular, for many bases $B$ (for example when $B$ is a…
We consider two families of commuting Hamiltonians on the cotangent bundle of the group GL(n,C), and show that upon an appropriate single symplectic reduction they descend to the spectral invariants of the hyperbolic Sutherland and of the rational Ruijsenaars-Schneider Lax matrices, respectively. The duality symplectomorphism between these two integrable models, that was constructed by Ruijsenaars using direct methods, can be then interpreted geometrically simply as a gauge transformation connecting two cross sections of the orbits of the reduction group.
We study generators of the fundamental group of the group of symplectomorphisms $\mathrm{Symp}({\mathbb C\mathbb P}^2\#\,5\overline{\mathbb C\mathbb P}\,\!^2, ω)$ for some particular symplectic forms. It was observed by J. Kȩdra that there are many symplectic 4-manifolds $(M, ω)$, where $M$ is neither rational nor ruled, that admit no circle action and $π_1 (\mathrm{Ham} (M,ω))$ is nontrivial. On the other hand, it follows from previous results that the fundamental group of the group $\mathrm{Symp}_h({\mathbb C\mathbb P}^2\#\,k\,\overline{\mathbb C\mathbb P}\,\!^2, ω)$, of symplectomorphisms t…
In this note we investigate the structure of the space $\Jj$ of smooth almost complex structures on $S^2\times S^2$ that are compatible with some symplectic form. This space has a natural stratification that changes as the cohomology class of the form changes and whose properties are very closely connected to the topology of the group of symplectomorphisms of $S^2\times S^2$. By globalizing standard gluing constructions in the theory of stable maps, we show that the strata of $\Jj$ are Fréchet manifolds of finite codimension, and that the normal link of each stratum is a finite dimensional str…
We prove that the group of Hamiltonian automorphisms of a symplectic 4-manifold contains only finitely many conjugacy classes of maximal compact tori with respect to the action of the full symplectomorphism group. We also extend to rational and ruled manifolds a result of Kedra which asserts that, if $M$ is a simply connected symplectic 4-manifold with $b_{2}\geq 3$, and if $\widetilde{M}_δ$ denotes a blow-up of $M$ of small enough capacity $δ$, then the rational cohomology algebra of the Hamiltonian group of $\widetilde{M}_δ)$ is not finitely generated. Both results are based on the fact that…
We prove that any symplectic 4-manifold which is not a rational or ruled surface, after sufficiently many blow-ups, admits an arbitrary number of nonisomorphic Lefschetz fibrations of the same genus which cannot be obtained from one another via Luttinger surgeries. This generalizes results of Park and Yun who constructed pairs of nonisomorphic Lefschetz fibrations on knot surgered elliptic surfaces. In turn, we prove that there are monodromy factorizations of Lefschetz pencils which have the same characteristic numbers but cannot be obtained from each other via partial conjugations by Dehn twi…
Modulo trivial exceptions, we show that smoothly nontrivial symplectic sums of symplectic 4-manifolds along surfaces of positive genus are never rational or ruled, and we enumerate each case in which they have Kodaira dimension zero (i.e., are blowups of symplectic 4-manifolds with torsion canonical class). In particular, a symplectic four-manifold of Kodaira dimension zero arises by such a surgery only if it is diffeomorphic to a blowup either of the K3 surface, the Enriques surface, or a member of a particular family of T^2-bundles over T^2 each having b_1=2.
This paper studies the (small) quantum homology and cohomology of fibrations $p: P\to S^2$ whose structural group is the group of Hamiltonian symplectomorphisms of the fiber $(M,\om)$. It gives a proof that the rational cohomology splits additively as the vector space tensor product $H^*(M)\otimes H^*(S^2)$, and investigates conditions under which the ring structure also splits, thus generalizing work of Lalonde-McDuff-Polterovich and Seidel. The main tool is a study of certain operations in the quantum homology of the total space $P$ and of the fiber $M$, whose properties reflect the relation…
We study a symplectic surgery operation we call unchaining, which effectively reduces the second Betti number and the symplectic Kodaira dimension at the same time. Using unchaining, we give novel constructions of symplectic Calabi-Yau surfaces from complex surfaces of general type, as well as from rational and ruled surfaces via the natural inverse of this operation. Combining the unchaining surgery with others, which all correspond to certain monodromy substitutions for Lefschetz pencils, we provide further applications, such as a complete resolution of a conjecture of Stipsicz on the existe…
We revisit symplectic properties of the monodromy map for Fuchsian systems on the Riemann sphere. We extend previous results of Hitchin, Alekseev-Malkin and Korotkin-Samtleben where it was shown that the monodromy map is a Poisson morphism between the Kirillov-Kostant Poisson structure on the space of coefficients, on one side, and the Goldman bracket on the monodromy character variety on the other. The extension is provided by defining larger spaces on both sides which are equipped with symplectic structures naturally projecting to the canonical ones. On the coefficient side our symplectic st…
