pith. sign in

arxiv: 2512.03714 · v2 · submitted 2025-12-03 · 🧮 math.GT

Constructing Lefschetz Fibrations with Arbitrary Slope

Tulin Altunoz , Adalet Cengel This is my paper

Pith reviewed 2026-05-17 02:12 UTC · model grok-4.3

classification 🧮 math.GT
keywords Lefschetz fibrationslopemapping class groupDehn twistgenusfour-manifoldsymplectic manifoldpositive factorization
0
0 comments X

The pith

For any rational r between 2 and 8 there exists a high-genus Lefschetz fibration over the sphere with slope r.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that any rational number r between 2 and 8 can serve as the slope of a Lefschetz fibration over the two-sphere, as long as the genus of the surface is taken large enough. This result is obtained through constructions that rely on finding appropriate positive factorizations in the relevant mapping class groups. Understanding which slopes are possible helps clarify the range of possible invariants for these fibrations, which in turn inform the study of symplectic four-manifolds.

Core claim

We prove that for any rational number r in (2,8), there exists a genus-g Lefschetz fibration over the two-sphere with large enough genus g having the slope r.

What carries the argument

Positive factorization of the identity in the mapping class group of a high-genus surface, with the count and homology classes of Dehn twists adjusted to match the target slope.

If this is right

  • Every rational in (2,8) is realized as the slope of some Lefschetz fibration over the sphere of high enough genus.
  • The possible slopes of such fibrations become dense in the interval (2,8).
  • New examples of symplectic four-manifolds arise with any prescribed rational slope in that range.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Increasing the genus further might allow approximation of any real number in (2,8) as a slope.
  • The same factorization technique could be adapted to control additional invariants such as the signature.
  • Similar results might hold when the base surface is not the sphere or when extra constraints are placed on the total space.

Load-bearing premise

That for every rational r in (2,8) and all sufficiently large g, there exists a positive factorization of the identity whose Dehn twists produce exactly the target slope value.

What would settle it

A rational r in (2,8) for which no positive factorization in any high-genus mapping class group yields that exact slope.

Figures

Figures reproduced from arXiv: 2512.03714 by Adalet Cengel, Tulin Altunoz.

Figure 1
Figure 1. Figure 1: The curves in generalized Matsumoto relation. Later, this result extended to g ≥ 3 by the independent work of Kork￾maz [11] and Cadavid [3] [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: The curves in generalized star relation. When g = 1, it is a well known relation in Mod(Σ3 1 ), called star relation[8]. 2.1. Lefschetz fibrations. Let X be a closed oriented smooth 4-manifold and let S 2 denote the two-sphere. A smooth map f : X → S 2 is called a genus-g Lefschetz fibration on X having finitely many critical values b1, . . . , bn in such a way that there exists a unique critical point pi … view at source ↗
Figure 3
Figure 3. Figure 3: The curves in generalized star relation Sh on Σg. Then the following relator exists in Mod(Σg) for all 1 ≤ h ≤ g − 2: (1) Sh = (C ′ 2h+1C2h+1C2h · · · C2C1) 2h+1E −1 h+2C −h 2h+3D −1 h+1. Since the curves b0, ci for 1 ≤ i ≤ 2h + 1, and c ′ 2h+1 are nonseparating, there exist diffeomorphisms φ1, . . . , φ2h+1 with φi(b0) = ci , and a diffeomorphism φ2h+2 with φ2h+2(b0) = c ′ 2h+1. Thus, we have the followin… view at source ↗
Figure 4
Figure 4. Figure 4: The curves in the hyperelliptic relator hg and the curve d2 on Σg. The corresponding genus-g Lefschetz fibration fhg : Xhg → S 2 is hyperellip￾tic and has only nonseparating vanishing cycles. Its total space has invariants σ(Xhg ) = −4(g + 1) and e(Xhg ) = 4(g + 2), from which it follows that the slope is λfhg = 4 − 4/g [PITH_FULL_IMAGE:figures/full_fig_p011_4.png] view at source ↗
read the original abstract

We prove that for any rational number $r\in (2,8)$, there exists a genus-$g$ Lefschetz fibration over the two-sphere with large enough genus-$g$ having the slope is $r$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The paper proves that for any rational number r ∈ (2,8), there exists a sufficiently large genus g and a genus-g Lefschetz fibration over the 2-sphere with slope exactly r. The argument constructs positive factorizations of the identity in the mapping class group Mod(S_g) by an explicit inductive procedure that adds blocks of Dehn twists in prescribed homology classes, allowing the linear combination of twist counts to solve for the target rational slope while preserving the identity relation.

Significance. If the result holds, it shows that Lefschetz slopes are dense in the open interval (2,8) for large g, with an explicit inductive construction that realizes any rational value inside the known bounds. The manuscript supplies a concrete method via mapping-class-group factorizations rather than a non-constructive density argument, which strengthens the contribution to 4-manifold topology and the study of positive factorizations.

minor comments (3)
  1. §3: the inductive construction is described clearly, but a short table or diagram illustrating one step of adding a block and the resulting change in the slope vector would improve readability for readers unfamiliar with the homology-class bookkeeping.
  2. The range (2,8) is stated to be compatible with known bounds, but a brief sentence recalling the classical lower bound of 2 and the upper bound of 8 (with citations) would help situate the result without forcing the reader to consult external references.
  3. Notation for the total number of twists and the homology classes could be introduced once in a dedicated paragraph rather than inline, to avoid repeated parenthetical explanations.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, assessment of significance, and recommendation for minor revision. We appreciate the recognition of our explicit inductive construction of positive factorizations realizing arbitrary rational slopes in (2,8).

Circularity Check

0 steps flagged

No significant circularity; explicit inductive construction of factorizations

full rationale

The paper's central result is an existence theorem: for any rational r in (2,8) and sufficiently large g, a positive factorization of the identity in Mod(S_g) exists whose Dehn-twist counts and homology classes realize slope exactly r. The argument proceeds by an explicit inductive construction that adjoins blocks of twists on curves in prescribed homology classes while preserving the identity relation in the mapping class group. No step reduces a prediction to a fitted parameter by construction, invokes a self-citation as the sole justification for a uniqueness claim, or renames a known empirical pattern; the slope interval (2,8) is compatible with independent bounds on Lefschetz fibrations, and the construction supplies the required factorizations directly rather than assuming their density.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the existence of positive factorizations in mapping class groups for large genus that realize any rational slope in the open interval.

axioms (1)
  • domain assumption For every sufficiently large genus g there exist positive factorizations of the identity in the mapping class group whose total Dehn twist count and homology data produce any prescribed rational slope r in (2,8).
    Invoked to guarantee the existence of the required Lefschetz fibration.

pith-pipeline@v0.9.0 · 5314 in / 1245 out tokens · 35441 ms · 2026-05-17T02:12:22.930248+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages

  1. [1]

    Akhmedov and L

    A. Akhmedov and L. Katzarkov,Symplectic surgeries along certain singularities and new Lefschetz fibrations, Advances in Mathematics,Vol. 360 (2020) 106920

    work page 2020

  2. [2]

    Amaros, F.Bogomolov, L.Katzarkov and T.Pantev,Symplectic Lefschetz fibrations with arbitrary fundamental groups, J.Differential Geom

    J. Amaros, F.Bogomolov, L.Katzarkov and T.Pantev,Symplectic Lefschetz fibrations with arbitrary fundamental groups, J.Differential Geom. 54 (2000) 489-545; with an appendix by Ivan Smith

    work page 2000

  3. [3]

    Cadavid,A remarkable set of words in the mapping class group, Ph.D dissertation, Univ

    C. Cadavid,A remarkable set of words in the mapping class group, Ph.D dissertation, Univ. of Texas at Austin (1998)

    work page 1998

  4. [4]

    C ¸ engel and C ¸

    A. C ¸ engel and C ¸ . Karakurt,Partial fiber sum decompositions and signatures of Lefschetz fibrations, Topology Appl. 270 (2020), Article ID: 106937, 17 pp

    work page 2020

  5. [5]

    C ¸ engel and M

    A. C ¸ engel and M. Korkmaz,Low-slope Lefschetz fibrations, Journal of Topology and Analysis, Vol. 15, No. 2 (2023) 513–526

    work page 2023

  6. [6]

    Hamada,Lefschetz fibrations with arbitrary signature, J

    R.I.Baykur and N. Hamada,Lefschetz fibrations with arbitrary signature, J. Eur. Math. Soc. (JEMS) 26 (2024), no. 8, 2837–2895

    work page 2024

  7. [7]

    H.Endo,Meyer’s signature cocycle and hyperelliptic fibrations, Math. Ann. 316:2 (2000) 237- 257

    work page 2000

  8. [8]

    H.Endo and S.Nagami,Signature of relations in mapping class groups and nonholomorphic Lefschetz fibrations, Trans. Amer. Math. Soc. 357 (2005) 3179-3199

    work page 2005

  9. [9]

    R.E.Gompf and A. I. Stipsicz,4-manifolds and Kirby Calculus, Graduate Studies in Mathe- matics, Vol. 20 (Amer.Math.Soc.,1999)

    work page 1999

  10. [10]

    A.Kas,On the handlebody decomposition associated to a Lefschetz fibration, Pacific J. Math. 89:1 (1980), 89104

    work page 1980

  11. [11]

    Korkmaz,Noncomplex smooth4-manifolds with Lefschetz fibrations

    M. Korkmaz,Noncomplex smooth4-manifolds with Lefschetz fibrations. Int. Math. Res. No- tices (3), (2001), 115—128

    work page 2001

  12. [12]

    Japan Acad

    Y.Matsumoto,On 4-manifolds fibered by tori II, Proc. Japan Acad. Ser. A. Math. Sci., 59:3 (1983), 100-103

    work page 1983

  13. [13]

    Y.Matsumoto,Lefschetz fibrations of genus two:a topological approach, pp.123-148 in Topol- ogy and Teichm¨ uller spaces,(Katinkula,1995),edited by S.Kojima et al., World Scientific,1996

    work page 1995

  14. [14]

    Miyachi and H.Shiga,Holonomies and the slope inequality of Lefschetz fibrations, Proc

    H. Miyachi and H.Shiga,Holonomies and the slope inequality of Lefschetz fibrations, Proc. Amer. Math. Soc. 139:4 (2011) 1299-1307

    work page 2011

  15. [15]

    Math., 267 (2014) 243-256

    N.Monden,Lefschetz fibrations with small slope, Pacific J. Math., 267 (2014) 243-256

    work page 2014

  16. [16]

    N.Monden,On the geography of Lefschetz fibrations, Handbook of group actions. Vol. II, Adv. Lect. Math. (ALM), vol. 32, Int. Press, Somerville, MA, 2015, pp. 297–330

    work page 2015

  17. [17]

    Hamada, R

    N. Hamada, R. Kobayashi, and N. Monden,Nonholomorphic Lefschetz fibrations with (-1)- sections, Pacific J. Math. 298:2 (2019), 375–398

    work page 2019

  18. [18]

    B.Ozbagci,Signatures of Lefschetz fibrations, Pacific J. Math. 202:1 (2002), 99–118

    work page 2002

  19. [19]

    I.Smith,Lefschetz fibrations and the Hodge bundle, Geom. Topol. 3 (1999) 211-233

    work page 1999

  20. [20]

    A. I. Stipsicz,On the number of vanishing cycles in Lefschetz fibrations, Math. Res. Lett. 6:3–4 (1999), 449–456

    work page 1999

  21. [21]

    Ann., 276 (1987) 449-466

    G.Xiao,Fibered algebraic surfaces with low slope, Math. Ann., 276 (1987) 449-466. Faculty of Engineering, Bas ¸kent University, Ankara, Turkey Email address:tulinaltunoz@baskent.edu.tr CONSTRUCTING LEFSCHETZ FIBRATIONS WITH ARBITRARY SLOPE 13 Department of Mathematics, Bartin University, Bartin, Turkey Email address:acengel@bartin.edu.tr

    work page 1987