Compatible complex structures on symplectic rational ruled surfaces
Miguel Abreu, Gustavo Granja, Nitu Kitchloo
备注：
Sign mistake in the formula for the cohomology in twisted case fixed. Reorganized sections 4 and 5 and added more detail to proofs. To appear in Duke Math. Journal
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.
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)$.
We study symplectic surfaces in ruled symplectic 4-manifolds which are disjoint from a given symplectic section. As a consequence we see that, in any symplectic 4-manifold, two homologous symplectic surfaces which are sufficiently C^0 close must be Hamiltonian isotopic.
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.
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.
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 $…
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.
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 …
Log-symplectic structures are Poisson structures that are determined by a symplectic form with logarithmic singularities. We construct moduli spaces of curves with values in a log-symplectic manifold. Among the applications, we classify symplectically ruled log-symplectic $4$ manifolds (both orientable and non-orientable), and obstruct the existence of contact boundary components, in analogy with well-known theorems by McDuff. Moreover, we study certain log-symplectically ruled surfaces, using tools from symplectic field theory.
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.
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…
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…
In this short article we give a criterion whether a given minimal symplectic 4-manifold with $b_{2}^{+}=1$ having a torsion-free canonical class is rational or ruled. As a corollary, we confirm that most of homotopy elliptic surfaces $E(1}_{K}$, K is a fibered knot in $S^3$, constructed by R. Fintushel and R. Stern are minimal symplectic 4-manifolds with $b_{2}^{+}=1$ which do not admit a complex structure.
Fix a compact 4-dimensional manifold with self-dual 2nd Betti number one and with a given symplectic form. This article proves the following: The Frechet space of tamed almost complex structures as defined by the given symplectic form has an open and dense subset whose complex structures are compatible with respect to a symplectic form that is cohomologous to the given one. The theorem is proved by constructing the new symplectic form by integrating over a space of currents that are defined by pseudo-holomorphic curves.
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.
We consider certain type of fiber bundles with odd dimensional compact contact base, exact symplectic fibers, and the structure group contained in the group of exact symplectomorphisms of the fiber. We call such fibrations "contact symplectic fibrations". By a result of Hajduk-Walczak, some of these admit contact structures which are "compatible" (in a certain sense) with the corresponding fibration structures. We show that this result can be extended to get a compatible contact structure on any contact symplectic fibration, and also that isotopic contact structures on the base produce isotopi…
In this paper, the symplectic genus for any 2-dimensional class in a 4-manifold admitting a symplectic structure is introduced, and its relation with the minimal genus is studied. It is used to describe which classes in rational and irrational ruled manifolds are realized by connected symplectic surfaces. In particular, we completely determine which classes with square at least -1 in such manifolds can be represented by embedded spheres. Moreover, based on a new characterization of the action of the diffeomorphism group on the intersection forms of a rational manifold, we are able to determine…
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 …
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 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…
We introduce certain homology and cohomology subgroups for any almost complex structure and study their pureness, fullness and duality properties. Motivated by a question of Donaldson, we use these groups to relate J-tamed symplectic cones and J-compatible symplectic cones over a large class of almost complex manifolds, including all Kahler manifolds, almost Kahler 4-manifolds and complex surfaces.
We provide an alternative method for obtaining of compatible Poisson structures on Lie groups by means of the adjoint representations of Lie algebras. In this way, we calculate some compatible Poisson structures on four dimensional and nilpotent six dimensional symplectic real Lie groups. Then using Magri-Morosi's theorem we obtain new bi-Hamiltonian systems with four dimensional and nilpotent six dimensional symplectic real Lie groups as phase spaces.
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…
Given a projective sequence of Banach bundles, each one provided with a of weak symplectic form, we look for conditions under which, the corresponding sequence of weak symplectic forms gives rise to weak symplectic form on the projective limit bundle. Then we apply this results to the tangent bundle of a projective limit of Banach manifolds. This naturally leads to ask about conditions under which the Darboux Theorem is also true on the projective limit of Banach manifolds. We will give some necessary and some sufficient conditions so that such a result is true. Then we discuss why, in general…
We prove that there exists no a priori bound on the Euler characteristic of a closed symplectic 4-manifold coming solely from the genus of a compatible Lefschetz pencil on it, nor is there a similar bound for Stein fillings of a contact 3-manifold coming from the genus of a compatible open book --- except possibly for a few low genera cases. To obtain our results, we produce the first examples of factorizations of a boundary parallel Dehn twist as arbitrarily long products of positive Dehn twists along non-separating curves on a fixed surface with boundary. This solves an open problem posed by…
Weiyi Zhang noticed recently a gap in the proof of the main theorem of the authors article "Tamed to compatible: Symplectic forms via moduli space integration" [T] for the case when the symplectic 4-manifold in question has first Betti number 2 (and necessarily self-dual second Betti number 1). This note explains how to fill this gap.
We define spin-c prequantization of a symplectic manifold to be a spin-c structure and a connection which are compatible with the symplectic form. We describe the cutting of an S^1-equivariant spin-c prequantization. The cutting process involves a choice of a spin-c prequantization for the complex plane. We prove that the cutting is possible if and only if the moment map level set along which the cutting is done is compatible with this choice.
Duistermaat introduced the concept of ``real locus'' of a Hamiltonian manifold. In that and in others' subsequent works, it has been shown that many of the techniques developed in the symplectic category can be used to study real loci, so long as the coefficient ring is restricted to the integers modulo 2. It turns out that these results seem not necessarily to depend on the ambient symplectic structure, but rather to be topological in nature. This observation prompts the definition of ``conjugation space'' in a paper of the two authors with V. Puppe. Our main theorem in this paper gives a sim…
We show that generalized broken fibrations in arbitrary dimensions admit rank-2 Poisson structures compatible with the fibration structure. After extending the notion of wrinkled fibration to dimension 6 we prove that these wrinkled fibrations also admit compatible rank-2 Poisson structures. In the cases with indefinite singularities we can provide these wrinkled fibrations in dimension 6 with near-symplectic structures.
We prove that every symplectic 4-manifold admits a trisection that is compatible with the symplectic structure in the sense that the symplectic form induces a Weinstein structure on each of the three sectors of the trisection. Along the way, we show that a (potentially singular) symplectic braided surface in $\mathbb{CP}^2$ can be symplectically isotoped into bridge position.
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 present a reduction procedure for locally conformally symplectic (LCS) manifolds with an action of a Lie group preserving the conformal structure, with respect to any regular value of the momentum mapping. Under certain conditions, this reduction is compatible with the existence of a locally conformally Kähler structure. As a special consequence, we obtain a compatible contact reduction with respect to any regular value of the contact momentum mapping.
We study symplectic structures on Kähler surfaces with p_g = 0. We give an example of a projective surface which admits a symplectic structure which is not compatible with any Kähler metric.
Homogeneous compatible almost complex structures on symplectic manifolds are studied, focusing on those which are special, meaning that their Chern-Ricci form is a multiple of the symplectic form. Non Chern-Ricci flat ones are proven to be covered by co-adjoint orbits. Conversely, compact isotropy co-adjoint orbits of semi-simple Lie groups are shown to admit special compatible almost complex structures whenever they satisfy a necessary topological condition. Some classes of examples including twistor spaces of hyperbolic manifolds and discrete quotients of Griffiths period domains of weight t…
There is constructed a family of Lie algebras that act in a Hamiltonian way on the symplectic affine space of linear symplectic connections on a symplectic manifold. The associated equivariant moment map is a formal sum of the Cahen-Gutt moment map, the Ricci tensor, and a translational term. The critical points of a functional constructed from it interpolate between the equations for preferred symplectic connections and the equations for critical symplectic connections. The commutative algebra of formal sums of symmetric tensors on a symplectic manifold carries a pair of compatible Poisson st…
Symplectic torus bundles $ξ:T^{2}\to E\to B$ are classified by the second cohomology group of $B$ with local coefficients $H_{1}(T^{2})$. For $B$ a compact, orientable surface, the main theorem of this paper gives a necessary and sufficient condition on the cohomology class corresponding to $ξ$ for $E$ to admit a symplectic structure compatible with the symplectic bundle structure of $ξ$ : namely, that it be a torsion class. The proof is based on a group-extension-theoretic construction of J. Huebschmann (Sur les premieres differentielles de la suite spectrale cohomologique d'une extension de …
We look at methods to select triples $(M,ω,J)$ consisting of a symplectic manifold $(M,ω)$ endowed with a compatible positive almost complex structure $J$, in terms of the Nijenhuis tensor $N^J$ associated to $J$. We study in particular the image distribution $\Image N^J$.
On one side, from the properties of Floer cohomology, invariant associated to a symplectic manifold, we define and study a notion of symplectic hyperbolicity and a symplectic capacity measuring it. On the other side, the usual notions of complex hyperbolicity can be straightforwardly generalized to the case of almost-complex manifolds by using pseudo-holomorphic curves. That's why we study the links between these two notions of hyperbolicities when a manifold is provided with some compatible symplectic and almost-complex structures. We mainly explain how the non-symplectic hyperbolicity implie…
On a smooth manifold M, generalized complex (generalized paracomplex) structures provide a notion of interpolation between complex (paracomplex) and symplectic structures on M. Given a complex manifold (M,j), we define six families of distinguished generalized complex or paracomplex structures on M. Each one of them interpolates between two geometric structures on M compatible with j, for instance, between totally real foliations and Kahler structures, or between hypercomplex and C-symplectic structures. These structures on M are sections of fiber bundles over M with typical fiber G/H for some…
We apply methods from strict quantization of solvable symmetric spaces to obtain universal deformation formulae for actions of a class of solvable Lie groups. We also study compatible co-products by generalizing the notion of smash product in the context of Hopf algebras.
We describe a variety of symplectic surgeries (not a priori compatible with Kahler structures) which are obtained by combining local Kahler degenerations and resolutions of singularities. The effect of the surgeries is to replace configurations of Lagrangian spheres with symplectic submanifolds. We discuss several examples in detail, relating them to existence questions for symplectic manifolds with $c_1>0, c_1=0, c_1<0$ in four and six dimensions.
We consider invariant symplectic connections $\nabla$ on homogeneous symplectic manifolds $(M,ω)$ with curvature of Ricci type. Such connections are solutions of a variational problem studied by Bourgeois and Cahen, and provide an integrable almost complex structure on the bundle of almost complex structures compatible with the symplectic structure. If $M$ is compact with finite fundamental group then $(M,ω)$ is symplectomorphic to $¶_n(\C)$ with a multiple of its Kähler form and $\nabla$ is affinely equivalent to the Levi-Civita connection.
Recently, extending work by Karshon, Kessler and Pinsonnault, Borisov and McDuff showed that a given symplectic manifold $(M,ω)$ has a finite number of distinct toric structures. Moreover, McDuff also showed a product of two projective spaces $\bC P^r\times \bC P^s$ with any given symplectic form has a unique toric structure provided that $r,s\geq 2$. In contrast, the product $\bC P^r \times \bC P^1$ can be given infinitely many distinct toric structures, though only a finite number of these are compatible with each given symplectic form $ω$. In this paper we extend these results by considerin…
In this paper, we study the curve cone of an almost complex $4$-manifold which is tamed by a symplectic form. In particular, we prove the cone theorem as in Mori theory for all such manifolds using the Seiberg-Witten theory. For small rational surfaces and minimal ruled surfaces, we study the configuration of negative curves. We define abstract configuration of negative curves, which records the homological and intersection information of curves. Combinatorial blowdown is the main tool to study these configurations. As an application of our investigation of the curve cone, we prove the Nakai-M…
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…
