Lefschetz fibrations and symplectic homology

Mark McLean

DOI: https://doi.org/10.48550/arXiv.0709.1639

2009-02-12

Abstract:We show that for each k > 3 there are infinitely many finite type Stein manifolds diffeomorphic to Euclidean space R^{2k} which are pairwise distinct as symplectic manifolds.

Symplectic Geometry

What problem does this paper attempt to address?

Computability and the growth rate of symplectic homology

Mark McLean

DOI: https://doi.org/10.48550/arXiv.1109.4466

2011-09-21

Abstract:For each n greater than 7 we explicitly construct a sequence of Stein manifolds diffeomorphic to complex affine space of dimension n so that there is no algorithm to tell us in general whether a given such Stein manifold is symplectomorphic to the first one or not. We prove a similar undecidability result for contact structures on the 2n - 1 dimensional sphere. We can generalize these results by replacing com- plex affine space with any smooth affine variety of dimension n and the 2n - 1 dimensional sphere with any smooth affine variety intersected with a sufficiently large sphere. We prove these theorems by using an invariant called the growth rate of symplectic homology to reduce these problems to an undecidability result for groups.

Symplectic Geometry
Lefschetz fibrations with infinitely many sections

Seraphina Eun Bi Lee,Carlos A. Serván

2024-09-24

Abstract:The Arakelov--Parshin rigidity theorem implies that a holomorphic Lefschetz fibration $\pi: M \to S^2$ of genus $g \geq 2$ admits only finitely many holomorphic sections $\sigma:S^2 \to M$. We show that an analogous finiteness theorem does not hold for smooth or for symplectic Lefschetz fibrations. We prove a general criterion for a symplectic Lefschetz fibration to admit infinitely many homologically distinct sections and give many examples satisfying such assumptions. Furthermore, we provide examples that show that finiteness is not necessarily recovered by considering a coarser count of sections up to the action of the (smooth) automorphism group of a Lefschetz fibration.

Geometric Topology,Symplectic Geometry
On Hyperelliptic C^∞-Lefschetz Fibrations of Four-Manifolds

B Siebert,G Tian

DOI: https://doi.org/10.1142/s0219199799000110

1999-01-01

Communications in Contemporary Mathematics

Abstract:We show that hyperelliptic symplectic Lefschetz fibrations are symplecticallybirational to two-fold covers of rational ruled surfaces, branched in asymplectically embedded surface. This reduces the classification of genus 2fibrations to the classification of certain symplectic submanifolds in rationalruled surfaces.
A spectral sequence for symplectic homology

Mark McLean

DOI: https://doi.org/10.48550/arXiv.1011.2478

2011-09-21

Abstract:We construct a spectral sequence converging to symplectic homology of a Lefschetz fibration whose E1 page is related to Floer homology of the monodromy symplectomorphism and its iterates. We use this to show the existence of fixed points of certain symplectomorphisms.

Symplectic Geometry
On the Holomorphicity of Genus Two Lefschetz Fibrations

B Siebert,G Tian

DOI: https://doi.org/10.4007/annals.2005.161.959

IF: 4.795

2005-01-01

Annals of Mathematics

Abstract:We prove that any genus-2 Lefschetz fibration without reducible fibers and with ``transitive monodromy'' is holomorphic. The latter condition comprises all cases where the number of singular fibers is not congruent to 0 modulo 40. An auxiliary statement of independent interest is the holomorphicity of symplectic surfaces in S^2-bundles over S^2, of relative degree up to 7 over the base, and of symplectic surfaces in CP^2 of degree up to 17.
Geography of symplectic Lefschetz fibrations and rational blowdowns

R. Inanc Baykur,Mustafa Korkmaz,Jonathan Simone

DOI: https://doi.org/10.48550/arXiv.2201.11728

2022-01-27

Geometric Topology

Abstract: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 blowdown configurations that yield new constructions of small symplectic exotic $4$-manifolds. We present an example of a construction of a minimal symplectic exotic $\mathbb{CP} \# 5\,\overline{\mathbb{CP}}$ through this procedure applied to a genus-$3$ fibration.
Spin Lefschetz fibrations are abundant

Mihail Arabadji,R. Inanc Baykur

DOI: https://doi.org/10.2140/pjm.2023.326.1

2023-03-11

Abstract:We prove that any finitely presented group can be realized as the fundamental group of a spin Lefschetz fibration over the 2-sphere. We moreover show that any admissible lattice point in the symplectic geography plane below the Noether line can be realized by a simply-connected spin Lefschetz fibration.

Geometric Topology,Symplectic Geometry
Compatible Relative Lefschetz Fibrations On Admissible Relative Stein Pairs

Yasemin Yildirim,M. Firat Arikan

2024-08-20

Abstract:For more than two decades it has been known that any compact Stein surface (of real dimension four) admits a compatible Lefschetz fibration over a two-disk. More recently, Giroux and Pardon have generalized this result by giving a complex geometric proof for the existence of compatible Lefschetz fibrations on Stein domains of any even dimension. As a preparatory step in proving the former, Akbulut and Ozbagci have shown that there exist infinitely many pairwise non-equivalent Lefschetz fibrations on the four-ball by using a result of Lyon constructing fibrations on the complements of (p,q)-torus links in the three-sphere. In this paper, we first extend this result to obtain compatible Lefschetz fibrations on the six-ball whose pages are (p, q, 2)-Brieskorn varieties, and then construct a compatible 'relative' Lefschetz fibrations on any Stein domain (of dimension six) which admit a certain ('admissible') 'relative Stein pair' structure. In particular, we provide a purely topological proof for the existence of Lefschetz fibrations on specific 6-dimensional Stein domains.

Geometric Topology,Symplectic Geometry
On the Monopole Lefschetz Number of Finite-Order Diffeomorphisms

Jianfeng Lin,Daniel Ruberman,Nikolai Saveliev

DOI: https://doi.org/10.2140/gt.2021.25.3591

2021-01-01

Geometry & Topology

Abstract:Let $K$ be a knot in an integral homology 3-sphere $Y$, and $\Sigma$ the corresponding $n$-fold cyclic branched cover. Assuming that $\Sigma$ is a rational homology sphere (which is always the case when $n$ is a prime power), we give a formula for the Lefschetz number of the action that the covering translation induces on the reduced monopole homology of $\Sigma$. The proof relies on a careful analysis of the Seiberg--Witten equations on 3-orbifolds and of various $\eta$-invariants. We give several applications of our formula: (1) we calculate the Seiberg--Witten and Furuta--Ohta invariants for the mapping tori of all semi-free actions of $Z/n$ on integral homology 3-spheres; (2) we give a novel obstruction (in terms of the Jones polynomial) for the branched cover of a knot in $S^3$ being an $L$-space; (3) we give a new set of knot concordance invariants in terms of the monopole Lefschetz numbers of covering translations on the branched covers.
Contact 3-manifolds with infinitely many Stein fillings

Burak Ozbagci,Andras I. Stipsicz

DOI: https://doi.org/10.48550/arXiv.math/0308134

2003-08-14

Abstract:Infinitely many contact 3-manifolds each admitting infinitely many, pairwise non-diffeomorphic Stein fillings are constructed. We use Lefschetz fibrations in our constructions and compute their first homologies to distinguish the fillings.

Symplectic Geometry
Fibrations on the 6-sphere and Clemens threefolds

Nobuhiro Honda,Jeff Viaclovsky

2024-08-15

Abstract:Let $Z$ be a compact, connected $3$-dimensional complex manifold with vanishing first and second Betti numbers and non-vanishing Euler characteristic. We prove that there is no holomorphic mapping from $Z$ onto any $2$-dimensional complex space. In other words, $Z$ can only possibly fiber over a curve. This result applies in particular to a class of threefolds, known as Clemens threefolds, which are diffeomorphic to a connected sum $k \# (S^3 \times S^3)$ for $k \geq 2$. This result also gives a new restriction on any hypothetical complex structure on the $6$-sphere $S^6$.

Algebraic Geometry,Complex Variables,Differential Geometry
Symplectic rational homology ball fillings of Seifert fibered spaces

John B. Etnyre,Burak Ozbagci,Bülent Tosun

2024-08-18

Abstract:We characterize when some small Seifert fibered spaces can be the convex boundary of a symplectic rational homology ball and give strong restrictions for others to bound such manifolds. As part of this, we show that the only spherical $3$-manifolds that are the boundary of a symplectic rational homology ball are the lens spaces $L(p^2,pq-1)$ found by Lisca and give evidence for the Gompf conjecture that Brieskorn spheres do not bound Stein domains in C^2. We also find restrictions on Lagrangian disk fillings of some Legendrian knots in small Seifert fibered spaces.

Geometric Topology,Symplectic Geometry
Simple examples of distinct Liouville-type symplectic structures

Paul Seidel

DOI: https://doi.org/10.48550/arXiv.1011.1415

2010-12-14

Abstract:We discuss some examples of open manifolds which admit non-isomorphic symplectic structures of Liouville type.

Symplectic Geometry
Smooth structures on four-manifolds with finite cyclic fundamental groups

R. Inanc Baykur,Andras I. Stipsicz,Zoltan Szabo

2024-06-13

Abstract:For each nonnegative integer m we show that any closed, oriented topological four-manifold with fundamental group Z_{4m+2} and odd intersection form, with possibly seven exceptions, either admits no smooth structure or admits infinitely many distinct smooth structures up to diffeomorphism. Moreover, we construct infinite families of non-complex irreducible fake projective planes with diverse fundamental groups.

Geometric Topology,Differential Geometry
The Family Seiberg-Witten Invariant and Nonsymplectic Loops of Diffeomorphisms

Jianfeng Lin

DOI: https://doi.org/10.48550/arxiv.2208.12082

2022-01-01

Abstract:By extending a result of Kronheimer-Mrowka to the family setting, we prove a gluing formula for the family Seiberg-Witten invariant. This formula allows one to compute the invariant for a smooth family of 4-manifolds by cutting it open along a product family of 3-manifolds and studying the induced maps on monopole Floer (co)homology. When the cutting 3-manifold is an L-space, this formula implies a relation between the family Seiberg-Witten invariant, the Seiberg-Witten invariant of the fiber and the index of the family Dirac operator. We use this relation to calculate the Seiberg-Witten invariant of families of 4-manifolds that arise when resolving an ADE singularity using a hyperkähler family of complex structures near the singularity. Several applications are obtained. First, we establish a large family of simply-connected 4-manifolds M (e.g. all elliptic surfaces) such that π_1(Diff(M)) has a ℤ^∞-summand . For such M, the product S^2× M smoothly fibers over S^2 with fiber M in infinitely many distinct ways. Second, we show that on any closed symplectic 4-manifold that contains a smoothly embedded sphere of self-intersection -1 or -2, there is a loop of diffeomorphisms that is not homotopic to a loop of symplectormorphisms. This generalizes a previous result by Smirnov and confirms a conjecture by McDuff in dimension 4. It also provides many new examples of 4-manifolds whose space of symplectic forms has a nontrivial fundamental group or first homology group.
Cohomology and Hodge Theory on Symplectic Manifolds: III

Li-Sheng Tseng,Shing-Tung Yau

DOI: https://doi.org/10.4310/jdg/1349292670

2012-01-01

Journal of Differential Geometry

Abstract:We introduce new finite-dimensional cohomologies on symplectic manifolds. Each exhibits Lefschetz decomposition and contains a unique harmonic representative within each class. Associated with each cohomology is a primitive cohomology defined purely on the space of primitive forms. We identify the dual currents of lagrangians and more generally coisotropic submanifolds with elements of a primitive cohomology, which dualizes to a homology on coisotropic chains.
Manifold with infinitely many fibrations over the sphere

Włodzimierz Jelonek,Zbigniew Jelonek

2024-05-03

Abstract:We show that the manifold $X=S^2\times S^3$ has infinitely many structures of a fiber bundle over the base $B=S^2.$ In fact for every lens space $L(p,1)$ there is a fibration $L(p,1)\to X\to B.$

Differential Geometry
Construction of symplectic solvmanifolds satisfying the hard-Lefschetz condition

Adrián Andrada,Agustín Garrone

DOI: https://doi.org/10.1016/j.laa.2024.11.018

2024-11-22

Abstract:A compact symplectic manifold $(M, \omega)$ is said to satisfy the hard-Lefschetz condition if it is possible to develop an analogue of Hodge theory for $(M, \omega)$. This loosely means that there is a notion of harmonicity of differential forms in $M$, depending on $\omega$ alone, such that every de Rham cohomology class in has a $\omega$-harmonic representative. In this article, we study two non-equivalent families of diagonal almost-abelian Lie algebras that admit a distinguished almost-Kähler structure and compute their cohomology explicitly. We show that they satisfy the hard-Lefschetz condition with respect to any left-invariant symplectic structure by exploiting an unforeseen connection with Kneser graphs. We also show that for some choice of parameters their associated simply connected, completely solvable Lie groups admit lattices, thereby constructing examples of almost-Kähler solvmanifolds satisfying the hard-Lefschetz condition, in such a way that their de Rham cohomology is fully known.

Differential Geometry
Exotic definite four-manifolds with non-cyclic fundamental group

Robert Harris,Patrick Naylor,B. Doug Park

2024-06-11

Abstract:We construct infinitely many pairwise non-diffeomorphic smooth structures on a definite $4$-manifold with non-cyclic fundamental group $\mathbb{Z}/2\times \mathbb{Z}/2$.

Geometric Topology
On infinite staircases in toric symplectic four-manifolds

Dan Cristofaro-Gardiner,Tara S. Holm,Alessia Mandini,Ana Rita Pires

2024-08-07

Abstract:An influential result of McDuff and Schlenk asserts that the function that encodes when a four-dimensional symplectic ellipsoid can be embedded into a four-dimensional ball has a remarkable structure: the function has infinitely many corners, determined by the odd-index Fibonacci numbers, that fit together to form an infinite staircase. This work has recently led to considerable interest in understanding when the ellipsoid embedding function for other symplectic 4-manifolds is partly described by an infinite staircase. We provide a general framework for analyzing this question for a large family of targets, called finite type convex toric domains, which we prove generalizes the class of closed toric symplectic 4-manifolds. When the target is of finite type, we prove that any infinite staircase must have a unique accumulation point a_0, given as the solution to an explicit quadratic equation. Moreover, we prove that the embedding function at a_0 must be equal to the classical volume lower bound. In particular, our result gives an obstruction to the existence of infinite staircases that we show is powerful. In the special case of rational convex toric domains, we can say more. We conjecture a complete answer to the question of existence of infinite staircases, in terms of six families that are distinguished by the fact that their moment polygon is reflexive. We then provide a uniform proof of the existence of infinite staircases for our six families, using two tools. For the first, we use recursive families of almost toric fibrations to find symplectic embeddings. For the second tool, we find recursive families of convex lattice paths that provide obstructions to embeddings. We conclude by reducing our conjecture that these are the only infinite staircases among rational convex toric domains to a question in number theory related to a classic work of Hardy and Littlewood.

Symplectic Geometry

Lefschetz fibrations and symplectic homology

Computability and the growth rate of symplectic homology

Lefschetz fibrations with infinitely many sections

On Hyperelliptic C^∞-Lefschetz Fibrations of Four-Manifolds

A spectral sequence for symplectic homology

On the Holomorphicity of Genus Two Lefschetz Fibrations

Geography of symplectic Lefschetz fibrations and rational blowdowns

Spin Lefschetz fibrations are abundant

Compatible Relative Lefschetz Fibrations On Admissible Relative Stein Pairs

On the Monopole Lefschetz Number of Finite-Order Diffeomorphisms

Contact 3-manifolds with infinitely many Stein fillings

Fibrations on the 6-sphere and Clemens threefolds

Symplectic rational homology ball fillings of Seifert fibered spaces

Simple examples of distinct Liouville-type symplectic structures

Smooth structures on four-manifolds with finite cyclic fundamental groups

The Family Seiberg-Witten Invariant and Nonsymplectic Loops of Diffeomorphisms

Cohomology and Hodge Theory on Symplectic Manifolds: III

Manifold with infinitely many fibrations over the sphere

Construction of symplectic solvmanifolds satisfying the hard-Lefschetz condition

Exotic definite four-manifolds with non-cyclic fundamental group

On infinite staircases in toric symplectic four-manifolds