pith. sign in

arxiv: 2507.20940 · v2 · submitted 2025-07-28 · 🧮 math.SG · math.AG· math.GT

Symplectic Classes on Elliptic Surfaces with positive Euler Number

Josef G. Dorfmeister , Tian-Jun Li This is my paper

Pith reviewed 2026-05-19 03:29 UTC · model grok-4.3

classification 🧮 math.SG math.AGmath.GT
keywords symplectic coneelliptic surfacespositive Euler number4-manifoldssymplectic geometrycohomology classessymplectic representativesadjunction inequality
0
0 comments X

The pith

The symplectic cone for elliptic surfaces with positive Euler number consists of all classes satisfying the standard positivity and adjunction conditions.

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

A central question for four-manifolds that admit symplectic structures is to determine which cohomology classes can be represented by a symplectic form. The full collection of such classes is called the symplectic cone of the manifold and serves as a basic smooth invariant. This paper focuses on the family of elliptic surfaces that have positive Euler number. It supplies an explicit description of the symplectic cone for this family, thereby classifying the admissible classes in a concrete way.

Core claim

The paper describes the symplectic cone C_M for an elliptic surface M with positive Euler number as the set of cohomology classes α in H^2(M, R) that meet the positivity requirements on the fiber class and section classes together with the adjunction inequality.

What carries the argument

The symplectic cone, the open convex cone in H^2(M, R) consisting of all classes that admit symplectic representatives.

If this is right

  • Any class inside the described cone can be represented by a symplectic form on the surface.
  • The cone provides a complete criterion for deciding symplectic representability of classes on these manifolds.
  • The description confirms that the symplectic cone is an open convex set in the cohomology space.

Where Pith is reading between the lines

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

  • The classification may help distinguish diffeomorphism types among elliptic surfaces by their symplectic data.
  • Similar cone descriptions could be attempted for elliptic surfaces with non-positive Euler number using the same methods.
  • The result supplies a test case for broader conjectures on symplectic cones of general type surfaces.

Load-bearing premise

The surfaces admit symplectic structures and the standard techniques of symplectic geometry suffice to classify the admissible classes without additional topological obstructions specific to positive Euler number.

What would settle it

Exhibiting a cohomology class on one of these surfaces that satisfies the stated positivity and adjunction conditions yet cannot be represented by any symplectic form would falsify the claimed description of the cone.

read the original abstract

A key question for $4$-manifolds $M$ admitting symplectic structures is to determine which cohomology classes $\alpha\in H^2(M,\mathbb R)$ admit a symplectic representative. The collection of all such classes, the symplectic cone $\mathcal C_M$, is a basic smooth invariant of $M$. This paper describes the symplectic cone for elliptic surfaces with positive Euler number.

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 manuscript describes the symplectic cone for elliptic surfaces with positive Euler number. It determines the set of cohomology classes in H²(M, ℝ) that admit symplectic representatives on such surfaces, using standard tools from symplectic geometry on 4-manifolds.

Significance. If the description holds, the result would be a useful addition to the literature on symplectic cones of elliptic surfaces, extending known classifications to the positive Euler number case and clarifying the role of topological invariants like the canonical class and Seiberg-Witten invariants.

minor comments (3)
  1. The abstract and introduction would benefit from an explicit statement of the main theorem describing the cone, including the precise conditions on the class α.
  2. Notation for the Euler number and the canonical class should be introduced consistently in the first section where they appear.
  3. A brief comparison with the symplectic cone for elliptic surfaces of zero or negative Euler number would help situate the result.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation for minor revision. The referee's summary accurately describes the main contribution: determining the symplectic cone for elliptic surfaces with positive Euler number via standard tools in symplectic geometry on 4-manifolds.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The provided abstract and reader's summary describe the symplectic cone for elliptic surfaces with positive Euler number via standard symplectic geometry tools such as positivity of square, pairing with the canonical class, and known Seiberg-Witten invariants. No equations, self-citations, or derivations are quoted that reduce a claimed prediction or uniqueness result to a fitted input or prior self-citation by construction. The central claim remains independent of the paper's own fitted quantities or internal definitions, making the derivation self-contained against external benchmarks in 4-manifold symplectic geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities are identifiable from the abstract alone.

pith-pipeline@v0.9.0 · 5580 in / 936 out tokens · 27206 ms · 2026-05-19T03:29:20.403507+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

48 extracted references · 48 canonical work pages · 1 internal anchor

  1. [1]

    Auroux, V

    D. Auroux, V. Mu˜ noz, F. Presas,Lagrangian submanifolds and Lefschetz pencils.J. Symplectic Geom. 3 (2) 171 - 219 (2005). 54

    work page 2005

  2. [2]

    Barth, K

    W.P. Barth, K. Hulek, C.A.M. Peters and A. Van de Ven,Compact complex surfaces, 2nd ed. Ergebnisse der Mathematik und ihrer Grenzgebiete, 3. Folge, A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics],4, Springer-Verlag, Berlin, 2004. xii+436

    work page 2004

  3. [3]

    Biran,Symplectic packing in dimension4, Geom

    P. Biran,Symplectic packing in dimension4, Geom. Funct. Anal.7(1997), no. 3, 420–437; MR1466333

    work page 1997

  4. [4]

    Biran,A stability property of symplectic packing, Invent

    P. Biran,A stability property of symplectic packing, Invent. Math.136(1) (1999), 123–155

    work page 1999

  5. [5]

    Bott and L.W

    R.H. Bott and L.W. Tu,Differential forms in algebraic topology, Graduate Texts in Mathematics, 82, Springer, New York-Berlin, 1982; MR0658304

    work page 1982

  6. [6]

    Brussee,The canonical class and theC ∞ properties of K¨ ahler surfaces, New York J

    R. Brussee,The canonical class and theC ∞ properties of K¨ ahler surfaces, New York J. Math.2(1996), 103–146; MR1423304

    work page 1996

  7. [7]

    Dai, C.-I

    B. Dai, C.-I. Ho and T.-J. Li,Geometric automorphism groups of symplectic 4- manifolds, Topology Appl.162(2014), 1–11; MR3144655

    work page 2014

  8. [8]

    Dai, C.-I

    B. Dai, C.-I. Ho and T.-J. Li,Nonorientable Lagrangian surfaces in rational 4- manifolds, Algebr. Geom. Topol.19(2019), no. 6, 2837–2854; MR4023330

    work page 2019

  9. [9]

    Li, Tian-Jun.The relative symplectic cone andT 2-fibrations

    Dorfmeister, Josef G. ; Li, Tian-Jun.The relative symplectic cone andT 2-fibrations. J. Symplectic Geom. 8 (2010), no. 1, 1–35

    work page 2010

  10. [10]

    Dorfmeister, Josef G.; Zhang, Weiyi.The Kodaira dimension of Lefschetz fibrations. Asian J. Math. 13 (2009), no. 3, 341–357

    work page 2009

  11. [11]

    Entov and M

    M. Entov and M. Verbitsky,Unobstructed symplectic packing for tori and hyper- K¨ ahler manifolds, J. Topol. Anal.8(2016), no. 4, 589–626; MR3545014

    work page 2016

  12. [12]

    Friedl and S

    S. Friedl and S. Vidussi,Twisted Alexander polynomials detect fibered 3-manifolds, Ann. of Math. (2)173(2011), no. 3, 1587–1643; MR2800721

    work page 2011

  13. [13]

    Friedl and S

    S. Friedl and S. Vidussi,Construction of symplectic structures on 4-manifolds with a free circle action, Proc. Roy. Soc. Edinburgh Sect. A142(2012), no. 2, 359–370; MR2911171

    work page 2012

  14. [14]

    Friedman and J.W

    R. Friedman and J.W. Morgan,On the diffeomorphism types of certain algebraic surfaces. I.J. Differential Geom.27(2) (1988), 297–369

    work page 1988

  15. [15]

    R. D. Friedman and J. W. Morgan,Smooth four-manifolds and complex surfaces, Ergebnisse der Mathematik und ihrer Grenzgebiete (3), 27, Springer, Berlin, 1994; MR1288304

    work page 1994

  16. [16]

    Friedman and J.W

    R. Friedman and J.W. Morgan,Algebraic surfaces and Seiberg–Witten invariants.J. Algebraic Geom.6(3) (1997), 445–479

    work page 1997

  17. [17]

    Sakamoto and S

    K. Sakamoto and S. Fukuhara,Classification ofT 2-bundles overT 2, Tokyo J. Math. 6(2) (1983), 311–327

    work page 1983

  18. [18]

    Geiges,Symplectic structures onT 2-bundles overT 2, Duke Math

    H. Geiges,Symplectic structures onT 2-bundles overT 2, Duke Math. J.67(3) (1992), 539–555

    work page 1992

  19. [19]

    Gompf,A new construction of symplectic manifolds, Ann

    R.E. Gompf,A new construction of symplectic manifolds, Ann. Math. (2)142(3) (1995), 527–595

    work page 1995

  20. [20]

    Gompf and T.S

    R.E. Gompf and T.S. Mrowka,Irreducible4-manifolds need not be complex, Ann. of Math. (2)138(1993), no. 1, 61–111; MR1230927

    work page 1993

  21. [21]

    Gompf and A.I

    R.E. Gompf and A.I. Stipsicz, 4-manifolds and Kirby calculus, Graduate Studies in Mathematics,20, American Mathematical Society, Providence, RI, 1999, xvi+558 pp

    work page 1999

  22. [22]

    M. J. D. Hamilton,The closure of the symplectic cone of elliptic surfaces, J. Sym- plectic Geom.12(2014), no. 2, 365–377; MR3210580

    work page 2014

  23. [23]

    M. J. D. Hamilton,Iterated fibre sums of algebraic Lefschetz fibrations, Q. J. Math. 65(2014), no. 3, 971–983; MR3261977

    work page 2014

  24. [24]

    M. J. D. Hamilton,The minimal genus problem for elliptic surfaces, Israel J. Math. 200(2014), no. 1, 127–140; MR3219573

    work page 2014

  25. [25]

    M. J. D. Hamilton, private communication 55

    work page

  26. [26]

    Kasuya andI

    N. Kasuya andI. Noda,Classification of orientable torus bundles over closed orientable surfaces, arXiv:2406.14138

    work page arXiv

  27. [27]

    Lalonde and D

    F. Lalonde and D. McDuff,The classification of ruled symplectic4-manifolds, Math. Res. Lett.3(1996), no. 6, 769–778; MR1426534

    work page 1996

  28. [28]

    Latschev, D

    J. Latschev, D. McDuff and F. Schlenk,The Gromov width of 4-dimensional tori, Geom. Topol.17(2013), no. 5, 2813–2853; MR3190299

    work page 2013

  29. [29]

    LeBrun, Claude.Four-manifolds without Einstein metrics., Math. Res. Lett. 3 (1996), no. 2, 133–147

    work page 1996

  30. [30]

    Differential Geom

    Li, Tian-Jun.Symplectic 4-manifolds with Kodaira dimension zero.J. Differential Geom. 74 (2006), no. 2, 321–352

    work page 2006

  31. [31]

    The Space of Symplectic Structures on Closed 4-Manifolds

    T.-J. Li,The space of symplectic structures on closed 4-manifolds, AMS/IP Studies in Advanced Mathematics,42(2008), 259–273 (arxiv 0805.2931)

    work page internal anchor Pith review Pith/arXiv arXiv 2008

  32. [32]

    arXiv preprint arXiv:2212.01873 (2022)

    Li, Jun, Li, Tian-Jun and Wu, Weiwei.Symplectic Torelli groups of rational surfaces. arXiv preprint arXiv:2212.01873 (2022)

    work page arXiv 2022

  33. [33]

    Li and A.-K

    T.-J. Li and A.-K. Liu,Uniqueness of symplectic canonical class, surface cone and symplectic cone of 4-manifolds withb + = 1, J. Diff. Geom.58(2) (2001), 331–370

    work page 2001

  34. [34]

    L¨ onne,On the diffeomorphism groups of elliptic surfaces, Math

    M. L¨ onne,On the diffeomorphism groups of elliptic surfaces, Math. Ann.310(1998), no. 1, 103–117; MR1600035

    work page 1998

  35. [35]

    Matsumoto,Diffeomorphism types of elliptic surfaces, Topology25(1986), no

    Y. Matsumoto,Diffeomorphism types of elliptic surfaces, Topology25(1986), no. 4, 549–563; MR0862439

    work page 1986

  36. [36]

    McCarthy and J.G

    J.D. McCarthy and J.G. Wolfson,Symplectic normal connect sum, Topology33(4) (1994), 729–764

    work page 1994

  37. [37]

    McDuff,Notes on ruled symplectic4-manifolds, Trans

    D. McDuff,Notes on ruled symplectic4-manifolds, Trans. Amer. Math. Soc.345(2) (1994), 623–639

    work page 1994

  38. [38]

    Oxford Mathematical Monographs

    McDuff, Dusa; Salamon, Dietmar .Introduction to symplectic topology.Second edi- tion. Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, New York, 1998. x+486 pp

    work page 1998

  39. [39]

    McDuff and F

    D. McDuff and F. Schlenk.The embedding capacity of 4-dimensional symplectic el- lipsoids.Ann. of Math. (2)175(2012), no. 3, 1191–1282; MR2912705

    work page 2012

  40. [40]

    Nakashima,Minimal genus problem forT 2-bundles over surfaces, Algebr

    R. Nakashima,Minimal genus problem forT 2-bundles over surfaces, Algebr. Geom. Topol.21(2021), no. 2, 893–916; MR4250518

    work page 2021

  41. [41]

    Polterovich,The surgery of Lagrange submanifolds, Geom

    L. Polterovich,The surgery of Lagrange submanifolds, Geom. Funct. Anal.1(1991), no. 2, 198–210; MR1097259

    work page 1991

  42. [42]

    Schlenck packing manifolds by hand

    work page

  43. [43]

    Taubes,Seiberg Witten and Gromov invariants for symplectic4-manifolds, (R

    C.H. Taubes,Seiberg Witten and Gromov invariants for symplectic4-manifolds, (R. Wentworth, ed.) First International Press Lecture Series,2, International Press, Somerville, MA, 2000, vi+401, ISBN: 1-57146-061-6

    work page 2000

  44. [44]

    Ue,On the smooth structures on elliptic surfaces and related topics, Kodai Math

    M. Ue,On the smooth structures on elliptic surfaces and related topics, Kodai Math. J.17(1994), no. 3, 496–504; MR1296920

    work page 1994

  45. [45]

    Ue,On the diffeomorphism types of elliptic surfaces with multiple fibers, Invent

    M. Ue,On the diffeomorphism types of elliptic surfaces with multiple fibers, Invent. Math.84(1986), no. 3, 633–643; MR0837531

    work page 1986

  46. [46]

    Ue,Geometric4-manifolds in the sense of Thurston and Seifert4-manifolds

    M. Ue,Geometric4-manifolds in the sense of Thurston and Seifert4-manifolds. I, J. Math. Soc. Japan42(1990), no. 3, 511–540; MR1056834

    work page 1990

  47. [47]

    Walczak,Existence of symplectic structures on torus bundles over surfaces, Ann

    R. Walczak,Existence of symplectic structures on torus bundles over surfaces, Ann. Global Anal. Geom.28(2005), no. 3, 211–231; MR2186188

    work page 2005

  48. [48]

    Witten,Monopoles and four-manifolds, Math

    E. Witten,Monopoles and four-manifolds, Math. Res. Lett.1(6) (1994), 769–796. Department of Mathematics, North Dakota State University, F argo, ND 58102 Email address:josef.dorfmeister@ndsu.edu School of Mathematics, University of Minnesota, Minneapolis, MN 55455 Email address:tjli@math.umn.edu

    work page 1994