Robert E Gompf
A symplectic structure is canonically constructed on any manifold endowed with a topological linear k-system whose fibers carry suitable symplectic data. As a consequence, the classification theory for Lefschetz pencils in the context of symplectic topology is analogous to the corresponding theory arising in differential topology.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We study Lefschetz pencils on symplectic four-manifolds via the associated spheres in the moduli spaces of curves, and in particular their intersections with certain natural divisors. An invariant defined from such intersection numbers can distinguish manifolds with torsion first Chern class. We prove that pencils of large degree always give spheres which behave `homologically' like rational curves; contrastingly, we give the first constructive example of a symplectic non-holomorphic Lefschetz pencil. We also prove that only finitely many values of signature or Euler characteristic are realise…
We define the concept of Lefschetz contact pencil and we show the existence of such structures on any contact manifold. The main idea of the proof is a generalization of the Donaldson arguments used in the symplectic case. We will analyze some of the applications of such existence theorem for the topology of approximately holomorphic contact submanifolds.
We study some asymptotic properties of the sequences of symplectic Lefschetz pencils constructed by Donaldson. In particular we prove that the vanishing spheres of these pencils are, for large degree, conjugated under the action of the symplectomorphism group of the fiber. This implies the non-existence of homologically trivial vanishing spheres in these pencils. Moreover we show some basic topological properties of the space of asymptotically holomorphic transverse sections. These properties allow us to define a new set of symplectic invariants of the original symplectic structure.
Given a Lagrangian submanifold in a symplectic manifold and a Morse function on the submanifold, we show that there is an isotopic Morse function and a symplectic Lefschetz pencil on the manifold extending the Morse function to the whole manifold. From this construction we define a sequence of symplectic invariants classifying the isotopy classes of Lagrangian spheres in a symplectic 4-manifold.
We consider a version of the relative Fukaya category for anticanonical Lefschetz pencils. There are direct connections between the behaviour of this category and enumerative geometry: some of these are results announced here, others remain conjectural. The ultimate aim of this approach is to determine the Fukaya category of the Calabi-Yau hypersurfaces that constitute the pencil.
Donaldson showed that every closed symplectic 4-manifold can be given the structure of a topological Lefschetz pencil. Gay and Kirby showed that every closed 4-manifold has a trisection. In this paper we relate these two structure theorems, showing how to construct a trisection directly from a topological Lefschetz pencil. This trisection is such that each of the three sectors is a regular neighborhood of a regular fiber of the pencil. This is a 4-dimensional analog of the following trivial 3-dimensional result: For every open book decomposition of a 3-manifold M, there is a decomposition of M…
Branched covers and pencils on hyperelliptic Lefschetz fibrations
本文推广既有研究，构造了由显式单值分解得到的无穷族辛4维流形，证明其微分同胚于两个标准超椭圆Lefschetz纤维化的纤维和复曲面，且这类纤维化及其纤维和拥有与次数加倍程序所得不同的显式无穷Lefschetz铅笔族。
This set of lectures aims to give an overview of Donaldson's theory of linear systems on symplectic manifolds and the algebraic and geometric invariants to which they give rise. After collecting some of the relevant background, we discuss topological, algebraic and symplectic viewpoints on Lefschetz pencils and branched covers of the projective plane. The later lectures discuss invariants obtained by combining this theory with pseudo-holomorphic curve methods.
In this paper we discuss topological properties of holomorphic Lefschetz pencils on the four-torus. Relying on the theory of moduli spaces of polarized abelian surfaces, we first prove that, under some mild assumption, the (smooth) isomorphism class of a holomorphic Lefschetz pencil on the four-torus is uniquely determined by its genus and divisibility. We then explicitly give a system of vanishing cycles of the genus-3 holomorphic Lefschetz pencil on the four-torus due to Smith, and obtain those of holomorphic pencils with higher genera by taking finite unbranched coverings. One can also obta…
Infinitely many Lefschetz pencils on ruled surfaces
该研究证明了具有特定拓扑性质的规则曲面存在无限多个不等价的Lefschetz圆柱，并提供了辛结构兼容性的例子。
Fukaya A_\infty-structures associated to Lefschetz fibrations. VI
本文为单调辛流形上的辛 Lefschetz 纤维束关联了一种非交换几何范畴束结构，揭示其纤维与开纤维的 Fukaya 范畴及新构造的 Fukaya 范畴之间的联系。
We give a maximal set of disjoint $(-1)$-sections of the well-known Lefschetz fibration constructed by Matsumoto, Cadavid and Korkmaz. In fact, we obtain several such sets for a fixed genus, which implies that the Matsumoto-Cadavid-Korkmaz Lefschetz fibration has more than one supporting minimal Lefschetz pencils. We also determine the diffeomorphism types of the obtained supporting minimal Lefschetz pencils.
We consider structures analogous to symplectic Lefschetz pencils in the context of a closed 4-manifold equipped with a `near-symplectic' structure (ie, a closed 2-form which is symplectic outside a union of circles where it vanishes transversely). Our main result asserts that, up to blowups, every near-symplectic 4-manifold (X,omega) can be decomposed into (a) two symplectic Lefschetz fibrations over discs, and (b) a fibre bundle over S^1 which relates the boundaries of the Lefschetz fibrations to each other via a sequence of fibrewise handle additions taking place in a neighbourhood of the ze…
This is an announcement of results proved in [GGS1], [GGS2], [C], and [CG] where methods from Lie theory were used as new tools for the study of symplectic Lefschetz fibrations.
We present a new proof of a result due to Taubes: if X is a closed symplectic four-manifold with b_+(X) > 1+b_1(X) and with some positive multiple of the symplectic form a rational class, then the Poincare dual of the canonical class of X may be represented by an embedded symplectic submanifold. The result builds on the existence of Lefschetz pencils on symplectic four-manifolds. We approach the topological problem of constructing submanifolds with locally positive intersections via almost complex geometry. The crux of the argument is that a Gromov invariant counting pseudoholomorphic sections…
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.
Every compact symplectic 4-manifold can be realized as a branched cover of the complex projective plane branched along a symplectic curve with cusp and node singularities; the covering map is induced by a triple of sections of a "very ample" line bundle. In this paper, we give an explicit formula describing the behavior of the braid monodromy invariants of the branch curve upon degree doubling of the linear system (from a very ample bundle $L^k$ to $L^{2k}$). As a consequence, we derive a similar degree doubling formula for the mapping class group monodromy of Donaldson's symplectic Lefschetz …
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 establish a version of the Arnold conjecture, both the degenerate and non-degenerate case, for target manifolds equipped with Clifford pencils of symplectic structures and the domains (time-manifolds) equipped with frames of divergence-free vector fields. This result generalizes the original work on the hyperkahler Arnold conjecture by Hohloch, Noetzel and Salamon for three-dimensional time and also the previous work by the authors.
In this paper, we give a new method to construct a compact symplectic manifold which does not satisfy the hard Lefschetz property. Using our method, we construct a simply connected compact Kähler manifold $(M,J,ω)$ and a symplectic form $σ$ on $M$ which does not satisfy the hard Lefschetz property, but is symplectically deformation equivalent to the Kähler form $ω$. As a consequence, we can give an answer to the question posed by Khesin and McDuff as follows. According to symplectic Hodge theory, any symplectic form $ω$ on a smooth manifold $M$ defines \textit{symplectic harmonic forms} on $M$…
In this paper, we develop symplectic Hodge theory on transversely symplectic foliations. In particular, we establish the symplectic $dδ$-lemma for any such foliations with the (transverse) $s$-Lefschetz property. As transversely symplectic foliations include many geometric structures, such as contact manifolds, co-symplectic manifolds, symplectic orbifolds, and symplectic quasi-folds as special examples, our work provides a unifying treatment of symplectic Hodge theory in these geometries. As an application, we show that on compact $K$-contact manifolds, the $s$-Lefschetz property implies a ge…
We construct open symplectic manifolds which are convex at infinity ("Liouville manifolds") and which are diffeomorphic, but not symplectically isomorphic, to cotangent bundles T^*S^{n+1}, for any n+1 \geq 3. These manifolds are constructed as total spaces of Lefschetz fibrations, where the fibre and all but one of the vanishing cycles are fixed. We show that almost any choice of the last vanishing cycle leads to a nonstandard symplectic structure (those choices which yield standard T^*S^{n+1} can be exactly determined). The Corrigendum changes the statement and proof of Lemma 1.1 in the origi…
The harmonic cohomology of a Donaldson symplectic submanifold and of an Auroux symplectic submanifold are compared with that of its ambient space. We also study symplectic manifolds satisfying a weakly Lefschetz property, that is, the $s$-Lefschetz propery. In particular, we consider the symplectic blow-ups of the complex projective space along weakly Lefschetz symplectic submanifolds. As an application we construct, for each even integer $s\geq 2$, compact symplectic manifolds which are $s$-Lefschetz but not $(s+1)$-Lefschetz.
We initiate a study of positive multisections of Lefschetz fibrations via positive factorizations in framed mapping class groups of surfaces. Using our methods, one can effectively capture various interesting symplectic surfaces in symplectic 4-manifolds as multisections, such as Seiberg-Witten basic classes and exceptional classes, or branched loci of compact Stein surfaces as branched coverings of the 4-ball. Various problems regarding the topology of symplectic 4-manifolds, such as the smooth classification of symplectic Calabi-Yau 4-manifolds, can be translated to combinatorial problems in…
In this paper we construct, in all odd complex dimensions, pairs of Liouville domains W_0 and W_1 which are diffeomorphic to the cotangent bundle of the sphere with one extra subcritical handle, but are not symplectomorphic. While W_0 is symplectically very similar to the cotangent bundle itself, W_1 is more unusual. We use Seidel's exact triangles for Floer cohomology to show that the wrapped Fukaya category of W_1 is trivial. As a corollary we obtain that W_1 contains no compact exact Lagrangian submanifolds.
For a symplectic manifold $(M,ω)$, not necessarily hard Lefschetz, we prove a version of the Merkulov $dδ$--lemma. We also study the $dδ$--lemma and related cohomologies for compact symplectic solvmanifolds.
This has been withdrawn by the authors.
Let M denote the total space of a Lefschetz fibration, obtained by blowing up a Lefschetz pencil on an algebraic surface. We consider the n-fold fibre sum M(n), generalizing the construction of the elliptic surfaces E(n). For a Lefschetz pencil on a simply-connected minimal surface of general type we partially calculate the Seiberg-Witten invariants of the fibre sum M(n) using a formula of Morgan-Szabo-Taubes. As an application we derive an obstruction for self-diffeomorphisms of the boundary of the tubular neighbourhood of a general fibre in M(n) to extend over the complement of the neighbour…
We describe Lefschetz-Bott fibrations on complex line bundles over symplectic manifolds explicitly. As an application, we construct more than one strong symplectic filling of the link of the $A_{k}$-type singularity. In the appendix, we show that the total space of a Lefschetz-Bott fibration over the unit disk serves as a strong symplectic filling of a contact manifold compatible with an open book induced by the fibration.
We show that every de Rham cohomology class on the total space of a symplectic fiber bundle with closed Lefschetz fibers, admits a Poisson harmonic representative in the sense of Brylinski. The proof is based on a new characterization of closed Lefschetz manifolds.
In this paper, we study the hard Lefschetz property of a symplectic manifold which admits a Hamiltonian torus action. More precisely, let $(M,ω)$ be a 6-dimensional compact symplectic manifold with a Hamiltonian $T^2$-action. We will show that if the moment map image of $M$ is a GKM-graph and if the graph is index-increasing, then $(M,ω)$ satisfies the hard Lefschetz property.
Given a closed symplectic manifold, we study when the Lefschetz decomposition induced by the $\mathfrak{sl}(2;\mathbb{R})$-representation yields a decomposition of the de Rham cohomology. In particular, this holds always true for the second de Rham cohomology group, or if the symplectic manifold satisfies the Hard Lefschetz Condition.
Conformally symplectic structures and the Lefschetz condition
本文证明紧辛流形在次数 1 满足硬 Lefschetz 条件且具有相容近复结构时，局部共形辛结构必为全局共形辛结构，给出 Vaisman 定理的辛类比。
The topology of broken Lefschetz fibrations is studied by means of handle decompositions. We consider a slight generalization of round handles, and describe the handle diagrams for all that appear in dimension four. We establish simplified handlebody and monodromy representations for a certain subclass of broken Lefschetz fibrations/pencils, while showing that all near-symplectic closed 4-manifolds can be supported by these a la Auroux, Donaldson, Katzarkov. Various constructions of broken Lefschetz fibrations and a generalization of the symplectic fiber sum operation to the near-symplectic se…
We describe a construction of the Fukaya category of an exact symplectic Lefschetz fibration, together with its closed-open string map.
In this paper we study the behaviour of the Lefschetz property under the blow-up construction. We show that it is possible to reduce the dimension of the kernel of the Lefschetz map if we blow up along a suitable submanifold satisfying the Lefschetz property. We use that, together with results about Massey products, to construct nonformal (simply connected) symplectic manifolds satisfying the Lefschetz property.
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.
In a compact, symplectic real manifold, i.e supporting an antisymplectic involution, we use Donaldson's construction to build a codimension 2 symplectic submanifold invariant under the action of the involution. If the real part of the manifold is not empty, and if the symplectic form $\om$ is entire, then for all $k$ big enough, we can find a hypersurface Poincaré dual of $k[ω]$ such that its real part has at least $k^{\dim X/4}$ connected components, up to a constant independant of $k$. Finally we extend to our real case Donaldson's construction of Lefschetz pencils.
Integral symplectic 4-manifolds may be described in terms of Lefschetz fibrations. In this note we give a formula for the signature of any Lefschetz fibration in terms of the second cohomology of the moduli space of stable curves. As a consequence we see that the sphere in moduli space defined by any (not necessarily holomorphic) Lefschetz fibration has positive "symplectic volume"; it evaluates positively with the Kahler class. Some other applications of the signature formula and some more general results for genus two fibrations are discussed.
We calculate the monodromies of the canonical Lefschetz pencils on a pair of homeomorphic Horikawa surfaces. We show in particular that the (pluri)canonical pencils on these surfaces have the same monodromy groups, and are related by a "partial twisting" operation.
In this article we study proper symplectic and iso-symplectic embeddings of $4$--manifolds in $6$--manifolds. We show that a closed orientable smooth $4$--manifold admitting a Lefschetz fibration over $\C P^1$ admits a symplectic embedding in the symplectic manifold $(\C P^1 \times \C P^1 \times \C P^1, ω_{pr}),$ where $ω_{pr}$ is the product symplectic form on $\C P^1 \times \C P^1 \times \C P^1.$ We also show that there exists a sub-critical Weinstein $6$--manifold in which all finite type Weinstein $4$--manifolds admit iso-symplectic embeddings.
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 construct a positive allowable Lefschetz fibration over the disk on any minimal weak symplectic filling of the canonical contact structure on a lens space. Using this construction we prove that any minimal symplectic filling of the canonical contact structure on a lens space is obtained by a sequence of rational blowdowns from the minimal resolution of the corresponding complex two-dimensional cyclic quotient singularity.
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 a method to resolve a symplectic orbifold into a smooth symplectic manifold. Then we study how the formality and the Lefschetz property of the symplectic resolution are compared with that of the symplectic orbifold. We also study the formality of the symplectic blow-up of a symplectic orbifold along symplectic submanifolds disjoint from the orbifold singularities. This allows us to construct the first example of a simply connected compact symplectic manifold of dimension 8 which satisfies the Lefschetz property but is not formal, therefore giving a counter-example to a conjecture …
Bi-Hamiltonian structures involving Hamiltonian operators of degree 2 are studied. Firstly, pairs of degree 2 operators are considered in terms of an algebra structure on the space of 1-forms, related to so-called Fermionic Novikov algebras. Then, degree 2 operators are considered as deformations of hydrodynamic type Poisson brackets.
We prove upper bounds for the number of critical points in semistable symplectic Lefschetz fibrations. We also obtain a new lower bound for the number of nonseparting vanishing cycles in Lefschetz pencils, and reprove the known lower bounds for the commutator lengths of Dehn twists.
We review topological properties of Kähler and symplectic manifolds, and of their odd-dimensional counterparts, coKähler and cosymplectic manifolds. We focus on formality, Lefschetz property and parity of Betti numbers, also distinguishing the simply-connected case (in the Kähler/symplectic situation) and the $b_1=1$ case (in the coKähler/cosymplectic situation).
We show that under appropriate hypotheses, a plumbing of symplectic surfaces in a symplectic 4-manifold admits strongly convex neighborhoods. Moreover the neighborhoods are Lefschetz fibered with an easily-described open book on the boundary supporting the induced contact structure. We point out some applications to cut-and-paste constructions of symplectic 4-manifolds.
We give a generalization of the concept of near-symplectic structures to 2n dimensions. According to our definition, a closed 2-form ωon a 2n-manifold M is near-symplectic, if it is symplectic outside a submanifold Z of codimension 3, where ω^{n-1} vanishes. This extends the concept known in dimension 4. We depict how this notion relates to near-symplectic 4-manifolds and broken Lefschetz fibrations via some examples. We define a generalized broken Lefschetz fibration, or BLF, as a singular map with indefinite folds and Lefschetz-type singularities. We show that given such a map on a 2n-manifo…
Symplectic submanifolds in dimension $6$ from hyperelliptic Lefschetz fibrations
本研究利用4-流形上的超椭圆Lefschetz纤维化，构造出含无穷多同调等价但同伦不等价且无复结构的余维2辛子流形的闭单连通辛6-流形，并推广至高维，还在附录证明了ℂℙ³中低次余维2辛子流形的微分同胚性。
Unchaining surgery, branched covers, and pencils on elliptic surfaces
证明Baykur等人构造的无限族辛流形均微分同胚于椭圆曲面，从而得出其中的辛Calabi-Yau 4-流形同胚于标准K3曲面，并揭示了椭圆曲面及其吹胀空间上Lefschetz铅笔束的存在性与不等价性。
Symplectic non-Kähler manifolds with and without the Hard Lefschetz Condition
构造无Kähler结构的紧流形，使其同时存在满足和不满足Hard Lefschetz条件的辛形式，并证明这些结构位于同一连通分支中。
We apply ideas from conformal field theory to study symplectic four-manifolds, by using modular functors to "linearise" Lefschetz fibrations. In Chern-Simons theory this leads to the study of parabolic vector bundles of conformal blocks. Motivated by the Hard Lefschetz theorem, we show the bundles of SU(2) conformal blocks associated to Kaehler surfaces are Brill-Noether special, although the associated flat connexions may be irreducible if the surface is simply-connected and not spin.
We explicitly produce symplectic genus-3 Lefschetz pencils (with base points), whose total spaces are homeomorphic but not diffeomorphic to rational surfaces CP^2 # p (-CP^2) for p= 7, 8, 9. We then give a new construction of an infinite family of symplectic Calabi-Yau surfaces with first Betti number b_1=2,3, along with a surface with b_1=4 homeomorphic to the 4-torus. These are presented as the total spaces of symplectic genus-3 Lefschetz pencils we construct via new positive factorizations in the mapping class group of a genus-3 surface. Our techniques in addition allow us to answer in the …
We show that any 4-manifold, after surgery on a curve, admits an achiral Lefschetz fibration. In particular, we show that the connected sum of any simply connected 4-manifold with a 2-sphere bundle over the 2-sphere will admit an achiral Lefschetz fibration. We also show these surgered manifolds admit near-symplectic structures and prove more generally that achiral Lefschetz fibrations with sections have near-symplectic structures. As a corollary to our proof we obtain an alternate proof of Gompf's result on the existence of symplectic structures on Lefschetz pencils.
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 n>1 and G be the group SU(n) or Sp(n). This paper constructs compact symplectic manifolds whose symplectic quotient under a Hamiltonian G-action does not inherit the strong Lefschetz property.
We use Lefschetz pencil methods to derive structural results about Fukaya categories of Calabi-Yau hypersurfaces; in particular, concerning their dependence on the Novikov parameter. Warning to the reader: the arguments in this paper cite two preprints (papers 6.5 and 7 in the series) which do not at present exist. Until that is remedied, the proofs cannot be considered complete, and this paper should be regarded as a preliminary research announcement.
We develop techniques to construct explicit symplectic Lefschetz fibrations over the 2-sphere with any prescribed signature and any spin type when the signature is divisible by 16. This solves a long-standing conjecture on the existence of such fibrations with positive signature. As applications, we produce symplectic 4-manifolds that are homeomorphic but not diffeomorphic to connected sums of S^2 x S^2, with the smallest topology known to date, as well as larger examples as symplectic Lefschetz fibrations.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。