We introduce blow-up and blow-down operations for generalized complex 4-manifolds. Combining these with a surgery analogous to the logarithmic transform, we then construct generalized complex structures on nCP2 # m \bar{CP2} for n odd, a family of 4-manifolds which admit neither complex nor symplectic structures unless n=1. We also extend the notion of a symplectic elliptic Lefschetz fibration, so that it expresses a generalized complex 4-manifold as a fibration over a two-dimensional manifold with boundary.
In this paper, we study the blow-up of a locally conformal symplectic manifold.We show that there exists a locally conformal symplectic structure on the blow-up of a locally conformal symplectic manifold along a compact induced symplectic submanifold.
We verify that the rational blow-down schemes along certain Seifert fibered 3-manifolds found by the second author, Szabo and Wahl are, in fact, symplectic operations.
Using the degeneration technique, one studies the behavior of Welschinger invariants under the blow-up, and obtains some blow-up formulae of Welschinger invariants. One also analyses the variation of Welschinger invariants when replacing a pair of real points in the real configuration by a pair of conjugated points, and reproves Welschinger's wall crossing formula.
We lift a Hamiltonian loop on a symplectic manifold to a Hamiltonian loop on the symplectic one-point blow up of a symplectic manifold. Then we use Weinstein's morphism to show that the lifted Hamiltonian loop has infinite order on the fundamental group of the group of Hamiltonian diffeomorphisms of the blown up manifold.
We exhibit Lerman's cutting procedure as a functor from the category of manifolds-with-boundary equipped with free circle actions near the boundary, with so-called equivariant transverse maps, to the category of manifolds and smooth maps. We then apply the cutting procedure to differential forms that are not necessarily symplectic, to distributions that are not necessarily contact, and to submanifolds. We obtain an inverse functor from so-called equivariant radial-squared blowup.
A symplectic manifold that is obtained from the complex projective plane by k blowups is encoded by k+1 parameters: the size of the initial complex projective plane, and the sizes of the blowups. We determine which values of these parameters yield symplectomorphic manifolds.
It is shown that the formula for the Chern classes (in the Chow ring) of blow-ups of algebraic varieties, due to Porteous and Lascu-Scott, also holds (in the cohomology ring) for blow-ups of symplectic and complex manifolds. This was used by the second-named author in her solution of the geography problem for 8-dimensional symplectic manifolds. The proof equally applies to real blow-ups of arbitrary manifolds and yields the corresponding blow-up formula for the Stiefel-Whitney classes. In the course of the argument the topological analogue of Grothendieck's `formule clef' in intersection theor…
Given a symplectic manifold (M, ω) and a Lagrangian submanifold L, we construct versions of the symplectic blow-up and blow-down which are defined relative to L. Furthermore, we show that if M admits an anti-symplectic involution ϕ and we blow-up an appropriately symmetric embedding of symplectic balls, then there exists an anti-symplectic involution on the blow-up as well. We derive a homological condition which determines when the topology of a real Lagrangian surface L = Fix(ϕ) changes after a blow down, and we use these constructions to study the real packing numbers and packing stability …
Fintushel and Stern defined the rational blow-down construction [FS] for smooth 4-manifolds, where a linear plumbing configuration of spheres $C_n$ is replaced with a rational homology ball $B_n$, $n \geq 2$. Subsequently, Symington [Sy] defined this procedure in the symplectic category, where a symplectic $C_n$ (given by symplectic spheres) is replaced by a symplectic copy of $B_n$ to yield a new symplectic manifold. As a result, a symplectic rational blow-down can be performed on a manifold whenever such a configuration of symplectic spheres can be found. In this paper, we define the inverse…
The normal connected sum construction of Gompf and the rational blowing-down technique of Fintushel - Stern are important tools in constructing symplectic 4-manifolds. In some cases, the 4-manifolds created this way are of Kahler type. In this article we investigate the occurrence of this phenomenon and give relevant examples.
A symplectic manifold $(M,ω)$ is called {\em (symplectically) uniruled} if there is a nonzero genus zero GW invariant involving a point constraint. We prove that symplectic uniruledness is invariant under symplectic blow-up and blow-down. This theorem follows from a general Relative/Absolute correspondence for a symplectic manifold together with a symplectic submanifold. A direct consequence is that symplectic uniruledness is a symplectic birational invariant. Here we use Guillemin and Sternberg's notion of cobordism as the symplectic analogue of the birational equivalence.
The rational homology balls $B_n$ appeared in Fintushel and Stern's rational blow-down construction [FS2]. Later, Symington [Sy1], defined this operation in the symplectic category. In [Kh2], the author defined the inverse procedure, the symplectic rational blow-up. In this paper, we study the obstructions to symplectically rationally blowing up a symplectic 4-manifold, i.e. the obstructions to symplectically embedding the rational homology balls $B_n$ into a symplectic 4-manifold. We prove a theorem and give additional examples which suggest that in order to symplectically embed the rational …
A manifold obtained by k simultaneous symplectic blow-ups of CP^2 of equal sizes epsilon (where the size of CP^1 in CP^2 is one) admits an effective two-dimensional torus action if k <= 3. We show that it does not admit such an action if k >=4 and epsilon <= 1/(3k 2^{2k}). For the proof, we correspond between the geometry of a symplectic toric four-manifold and the combinatorics of its moment map image. We also use techniques from the theory of J-holomorphic curves.
We study twisted cohomologies with paracompactifying families of supports. The Kunneth theorems, Leray-Hirsch theorems and self-intersection formulae are established. Based on these results, we eventually give explicit expressions of complex blow-up formulae for twisted Dolbeault cohomology on arbitrary complex manifolds and the ones of generalized blow-ups formulae for twisted de Rham cohomology on arbitrary oriented smooth manifolds. These expressions are induced by the morphisms of (simple or double) complexes of spaces of forms and currents rather than just the maps between cohomologies, w…
The paper is devoted to study of Massey products in symplectic manifolds. Theory of generalized and classical Massey products and a general construction of symplectic manifolds with nontrivial Massey products of arbitrary large order are exposed. The construction uses the symplectic blow-up and is based on the author results, which describe conditions under which the blow-up of a symplectic manifold X along its submanifold Y inherits nontrivial Massey products from X ot Y. This gives a general construction of nonformal symplectic manifolds.
We prove that the fundamental group of the group of Hamiltonian diffeomorphisms of the symplectic manifold that is obtain by blowing up a submanifold contains an element of infinite order. We prove this using Weinstein's morphism and by constructing explicitly such loop of Hamiltonian diffeomorphisms.
We compare the star surgery operations introduced in [KS] to the generalized rational blow-down. We show that star surgery shares the properties that make rational blow-down useful for constructions of small exotic symplectic 4-manifolds. Then we show that star surgery operations provide a strictly more general class of operations by proving that there is an infinite family of star surgeries which are inequivalent to any sequence of generalized symplectic rational blow-downs. This answers a question posed to the author by Ozbagci. It also demonstrates that the monodromy substitutions coming fr…
Suppose that f:V->W is an embedding of closed oriented manifolds whose normal bundle has the structure of a complex vector bundle. It is well known in both complex and symplectic geometry that one can then construct a manifold W' which is the blow-up of W along V. Assume that dim(W)>2.dim(V)+2 and that H^1(f) is injective. We construct an algebraic model of the rational homotopy type of the blow-up W' from an algebraic model of the embedding and the Chern classes of the normal bundle. This implies that if the space W is simply connected then the rational homotopy type of W' depends only on the…
