We present constructions of simply connected symplectic 4-manifolds which have (up to sign) one basic class and which fill up the geographical region between the half-Noether and Noether lines.
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…
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.
A symplectic rational cuspidal curve with positive self-intersection number admits a concave neighborhood, and thus a corresponding contact manifold on the boundary. In this article, we study symplectic fillings of such contact manifolds, providing a complementary perspective to our earlier article on symplectic isotopy classes of rational cuspidal curves. We explore aspects of these symplectic fillings through Stein handlebodies and rational blow-downs. We give examples of such contact manifolds which are identifiable as links of normal surface singularities, other examples which admit no sym…
Let E(1)_p denote the rational elliptic surface with a single multiple fiber f_p of multiplicity p. We construct an infinite family of homologous non-isotopic symplectic tori representing the primitive class [f_p] in E(1)_p when p>1. As a consequence, we get infinitely many non-isotopic symplectic tori in the fiber class of the rational elliptic surface E(1) (complex projective plane blown-up at nine branch points of a generic pencil of cubic curves). We also show how these tori can be non-isotopically and symplectically embedded in many other symplectic 4-manifolds.
We construct a combinatorial invariant of Legendrian knots in standard contact three-space. This invariant, which encodes rational relative Symplectic Field Theory and extends contact homology, counts holomorphic disks with an arbitrary number of positive punctures. The construction uses ideas from string topology.
Due to a significant error in the main result (pointed out by J. Wahl), the paper has been withdrawn by the authors. A corrected and expanded version is 'Rational blow-downs and smoothings of surface singularities' by A. Stipsicz, Z. Szabo and J. Wahl.
Let E(1)_K denote the closed 4-manifold that is homotopy equivalent (hence homeomorphic) to the rational elliptic surface E(1) and is obtained by performing Fintushel-Stern knot surgery on E(1) using a knot K in S^3. We construct an infinite family of homologous non-isotopic symplectic tori representing a primitive homology class in E(1)_K when K is any nontrivial fibred knot in S^3. We also show how these tori can be non-isotopically embedded as homologous symplectic submanifolds in other symplectic 4-manifolds.
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.
We study the symplectic topology of some finite algebraic quotients of the An Milnor fibre which are diffeomorphic to the rational homology balls that appear in Fintushel and Stern's rational blowdown construction. We prove that these affine surfaces have no closed exact Lagrangian submanifolds by using the already available and deep understanding of the Fukaya category of the An Milnor fibre coming from homological mirror symmetry. On the other hand, we find Floer theoretically essential monotone Lagrangian tori, finitely covered by the monotone tori which we study in the An Milnor fibre. We …
We classify rational cuspidal curves of degrees 6 and 7 in the complex projective plane, up to symplectic isotopy. The proof uses topological tools, pseudoholomorphic techniques, and birational transformations.
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)$.
In this article we construct a new family of simply connected symplectic 4-manifolds with $b_2^+ =1$ and $c_1^2 =2$ which are not diffeomorphic to rational surfaces by using rational blow-down technique. As a corollary, we conclude that a rational surface ${\mathbf CP}^2 \sharp 7{\bar{\mathbf CP}^2}$ admits an exotic smooth structure.
We call a symplectic rational surface $(X,ω)$ \textit{positive} if $c_1(X)\cdot[ω]>0$. The positivity condition of a rational surface is equivalent to the existence of a divisor $D\subset X$, such that $(X, D)$ is a log Calabi-Yau surface. The cohomology class of a symplectic form can be endowed with a \textit{type} using the root system associated to its Lagrangian spherical classes. In this paper, we prove that the symplectic Torelli group of a positive rational surface is trivial if it is of type $\mathbb{A}$, and is a sphere braid group if it is of type $\mathbb{D}$. As an application, we …
We define a suitably tame class of singular symplectic curves in 4-manifolds, namely those whose singularities are modeled on complex curve singularities. We study the corresponding symplectic isotopy problem, with a focus on rational curves with irreducible singularities (rational cuspidal curves) in the complex projective plane. We prove that every such curve is isotopic to a complex curve in degrees up to 5, and for curves with one singularity whose link is a torus knot. Classification results of symplectic isotopy classes rely on pseudo-holomorphic curves together with a symplectic version…
We produce simply connected, minimal, symplectic Lefschetz fibrations realizing all the lattice points in the symplectic geography plane below the Noether line. This provides a symplectic extension of the classical works populating the complex geography plane with holomorphic Lefschetz fibrations. Our examples are obtained by rationally blowing down Lefschetz fibrations with clustered nodal fibers, the total spaces of which are potentially new homotopy elliptic surfaces. Similarly, clustering nodal fibers on higher genera Lefschetz fibrations on standard rational surfaces, we get rational blow…
An important class of contact 3--manifolds are those that arise as links of rational surface singularities with reduced fundamental cycle. We explicitly describe symplectic caps (concave fillings) of such contact 3--manifolds. As an application, we present a new obstruction for such singularities to admit rational homology disk smoothings.
In this article we consider a generalization of manifolds and orbifolds which we call quasifolds; quasifolds of dimension k are locally isomorphic to the quotient of R^k by the action of a discrete group - tipically they are not Hausdorff topological spaces. The analogue of a torus in this geometry is a quasitorus. We define Hamiltonian actions of quasitori on symplectic quasifolds and we show that any simple convex polytope, rational or not, is the image of the moment mapping for a family of effective Hamiltonian actions on symplectic quasifolds having twice the dimension of the corresponding…
The Milnor fibre of a $\mathbb{Q}$-Gorenstein smoothing of a Wahl singularity is a rational homology ball $B_{p,q}$. For a canonically polarised surface of general type $X$, it is known that there are bounds on the number $p$ for which $B_{p,q}$ admits a symplectic embedding into $X$. In this paper, we give a recipe to construct unbounded sequences of symplectically embedded $B_{p,q}$ into surfaces of general type equipped with non-canonical symplectic forms. Ultimately, these symplectic embeddings come from Mori's theory of flips, but we give an interpretation in terms of almost toric structu…
We prove that the rational blowdown, a surgery on smooth 4-manifolds introduced by Fintushel and Stern, can be performed in the symplectic category. As a consequence, interesting families of smooth 4-manifolds, including the exotic $K3$ surfaces of Gompf and Mrowka, admit symplectic structures.
We answer a question of Oprea-Tralle on the realizability of symplectic algebras by symplectic manifolds in dimensions divisible by four, along with a question of Lupton-Oprea in all even dimensions. This will also allow us to address, in all even dimensions six and higher, another question of Oprea-Tralle on the possibility of algebraic conditions on the rational homotopy minimal model of a closed smooth manifold implying the existence of a symplectic structure on the manifold.
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 prove that symplectic 4-manifolds with $b_1 = 0$ and $b^+ > 1$ have nonvanishing Donaldson invariants, and that the canonical class is always a basic class. We also characterize in many situations the basic classes of a Lefschetz fibration over the sphere which evaluate maximally on a generic fiber.
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…
In this paper, we investigate a relation between rational blowdown surgery and minimal symplectic fillings of a given Seifert 3-manifold with a canonical contact structure. Consequently, we determine a necessary and sufficient condition for a minimal symplectic filling of a Seifert 3-manifold satisfying certain conditions to be obtained by a sequence of rational blowdowns from the minimal resolution of the corresponding weighted homogeneous surface singularity. Furthermore, as an application of the main results, we prove that every minimal symplectic filling of a large family of Seifert 3-mani…
Suppose that $C=(C_1,..., C_m)$ is a configuration of 2-dimensional symplectic submanifolds in a symplectic 4-manifold $(X,ω)$ with connected, negative definite intersection graph $Γ_C$. We show that by replacing an appropriate neighborhood of $\cup C_i$ with a smoothing $W_S$ of a normal surface singularity $(S, 0)$ with resolution graph $Γ_C$, the resulting 4-manifold admits a symplectic structure. This operation generalizes the rational blow-down operation of Fintushel-Stern for other configurations, and therefore extends Symington's result about symplectic rational blow-downs.
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.
This is the first of a series of papers devoted to the topology of symplectic Calabi-Yau $4$-manifolds endowed with certain symplectic finite group actions. We completely determine the fixed-point set structure of a finite cyclic action on a symplectic Calabi-Yau $4$-manifold with $b_1>0$. As an outcome of this fixed-point set analysis, the $4$-manifold is shown to be a $T^2$-bundle over $T^2$ in some circumstances, e.g., in the case where the group action is an involution which fixes a $2$-dimensional surface in the $4$-manifold. Our project on symplectic Calabi-Yau $4$-manifolds is based on …
This short note presents a simple construction of nonisotopic symplectic tori representing the same primitive homology class in the symplectic 4-manifold E(1)_K, obtained by knot surgery on the rational elliptic surface E(1) with the left-handed trefoil knot K. E(1)_K has the simplest homotopy type among simply-connected symplectic 4-manifolds known to exhibit such property.
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.
In this article, we construct a genus-$0$ or genus-$1$ positive allowable Lefschetz fibration on any minimal symplectic filling of the link of non-cyclic quotient surface singularities. As a byproduct, we also show that any minimal symplectic filling of the link of quotient surface singularities can be obtained from a sequence of rational blowdowns from its minimal resolution.
We present three equivalent definitions of $S^1$-equivariant symplectic homology. We show that, using rational coefficients, the positive part of $S^1$-equivariant symplectic homology is isomorphic to linearized contact homology, when the latter is defined. We present several computations and applications, and introduce a rigorously defined substitute for cylindrical/linearized contact homology based on an $S^1$-equivariant construction.
We show that every negative definite configuration of symplectic surfaces in a symplectic 4--manifold has a strongly symplectically convex neighborhood. We use this to show that, if a negative definite configuration satisfies an additional negativity condition at each surface in the configuration, and if the complex singularity with resolution diffeomorphic to a neighborhood of the configuration has a smoothing, then the configuration can be symplectically replaced by the smoothing of the singularity. This generalizes the symplectic rational blowdown procedure used in recent constructions of s…
We give finiteness results and some classifications up to diffeomorphism of minimal strong symplectic fillings of Seifert fibered spaces over S^2 satisfying certain conditions, with a fixed natural contact structure. In some cases we can prove that all symplectic fillings are obtained by rational blow-downs of a plumbing of spheres. In other cases, we produce new manifolds with convex symplectic boundary, thus yielding new cut-and-paste operations on symplectic manifolds containing certain configurations of symplectic spheres.
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…
Almost toric manifolds form a class of singular Lagrangian fibered symplectic manifolds that is a natural generalization of toric manifolds. Notable examples include the K3 surface, the phase space of the spherical pendulum and rational balls useful for symplectic surgeries. The main result of the paper is a complete classification up to diffeomorphism of closed almost toric four-manifolds. A key step in the proof is a geometric classification of the singular affine structures that can occur on the base of a closed almost toric four-manifold.
Let X be a minimal surface of general type with positive geometric genus ($b_+ > 1$) and let $K^2$ be the square of its canonical class. Building on work of Khodorovskiy and Rana, we prove that if X develops a Wahl singularity of length $\ell$ in a Q-Gorenstein degeneration, then $\ell \leq 4K^2 + 7$. This improves on the current best-known upper bound due to Lee ($\ell \leq 400(K^2)^4$). Our bound follows from a stronger theorem constraining symplectic embeddings of certain rational homology balls in surfaces of general type. In particular, we show that if the rational homology ball $B_{p,1}$…
Alfréd Rényi Institute of Mathematics(阿尔弗雷德·雷尼数学研究所);Budapest University of Technology and Economics(布达佩斯技术与经济大学);Stony Brook University(石溪大学);University of California, Davis(加州大学戴维斯分校)
In this short note, we present a construction of new symplectic 4-manifolds with non-negative signature using the complex surfaces on Bogomolov-Miyaoka-Yau line $c_1^2 = 9χ_h$, the fake projective planes and Cartwright-Steger surfaces. Our construction yields an infinite family of fake rational homology $(2n-1)\CP#(2n-1)\CPb$ for any integer $3 \leq n \leq 22$.
A study of certain symplectic $4$-orbifolds with vanishing canonical class is initiated. We show that for any such symplectic $4$-orbifold $X$, there is a canonically constructed symplectic $4$-orbifold $Y$, together with a cyclic orbifold covering $Y\rightarrow X$, such that $Y$ has at most isolated Du Val singularities and a trivial orbifold canonical line bundle. The minimal resolution of $Y$, to be denoted by $\tilde{Y}$, is a symplectic Calabi-Yau $4$-manifold endowed with a natural symplectic finite cyclic action, extending the deck transformations of the orbifold covering $Y\rightarrow …
We introduce new symplectic cut-and-paste operations that generalize the rational blowdown. In particular, we will define $k$-replaceable plumbings to be those that, heuristically, can be symplectically replaced by Euler characteristic $k$ 4-manifolds. We will then classify 2-replaceable linear plumbings, construct 2-replaceable plumbing trees, and use one such tree to construct a symplectic exotic $\mathbb{C}P^2\#6\overline{\mathbb{C}P^2}$.
We prove that every minimal symplectic filling of the link of a quotient surface singularity can be obtained from its minimal resolution by applying a sequence of rational blow-downs and symplectic antiflips. We present an explicit algorithm inspired by the minimal model program for complex 3-dimensional algebraic varieties.