pith. machine review for the scientific record. sign in

arxiv: 2605.09788 · v1 · submitted 2026-05-10 · 🧮 math.SG · math.AG

Recognition: no theorem link

Symplectic log Kodaira dimension -infty, Hirzebruch--Jung strings and weighted projective planes

Authors on Pith no claims yet

Pith reviewed 2026-05-12 03:14 UTC · model grok-4.3

classification 🧮 math.SG math.AG
keywords symplectic four-manifoldsHirzebruch-Jung stringsweighted projective planeslog Kodaira dimensionaffine rulingssymplectic divisorsTorelli-type theoremsminimal resolutions
0
0 comments X

The pith

Symplectic affine rulings imply that certain configurations of three Hirzebruch-Jung strings arise from minimal resolutions of weighted projective planes.

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

The paper studies symplectic minimal resolutions of weighted projective planes through disconnected symplectic divisors whose symplectic log Kodaira dimension is negative infinity. It extends prior methods for connected divisors by defining exceptional gaps between separate components and uses this to prove a Torelli-type theorem for specific setups of three Hirzebruch-Jung strings. It also shows that the existence of symplectic affine rulings on the complement forces the divisor to come from the minimal resolution of some CP(a,b,c). A sympathetic reader would care because this gives a concrete way to detect algebraic resolutions inside symplectic four-manifolds and generalizes a classical characterization of the standard symplectic CP2.

Core claim

For certain configurations of three Hirzebruch-Jung strings separated by exceptional gaps, the condition that the symplectic log Kodaira dimension equals negative infinity implies that the configuration is the minimal resolution of a weighted projective plane CP(a,b,c). In addition, if a symplectic affine ruling exists on the complement of the divisor, then the divisor configuration must arise from the minimal resolution of CP(a,b,c). This constitutes a weighted analogue of Gromov-McDuff's theorem for symplectic CP2.

What carries the argument

The notion of exceptional gaps between distinct connected components of a disconnected symplectic divisor made of Hirzebruch-Jung strings, which extends techniques from the connected case to prove the Torelli-type theorem and the affine-ruling characterization.

If this is right

  • Certain configurations of three Hirzebruch-Jung strings are completely classified as minimal resolutions of weighted projective planes.
  • Symplectic affine rulings on the complement of the divisor detect when the configuration comes from CP(a,b,c).
  • The results supply a symplectic counterpart to algebraic work on affine rulings of normal rational surfaces.

Where Pith is reading between the lines

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

  • The gap technique might classify other families of disconnected divisors beyond the three-string case.
  • Similar extensions could apply to questions about symplectic fillings that admit affine rulings.
  • The characterization may help decide which symplectic four-manifolds contain weighted projective planes as divisors.

Load-bearing premise

Techniques previously developed for connected divisors extend directly to the disconnected setting once exceptional gaps are introduced between components.

What would settle it

A configuration of three Hirzebruch-Jung strings with exceptional gaps whose symplectic log Kodaira dimension is negative infinity but which does not arise from the minimal resolution of any weighted projective plane CP(a,b,c), or a symplectic four-manifold carrying a symplectic affine ruling whose associated divisor fails to match such a resolution.

Figures

Figures reproduced from arXiv: 2605.09788 by Shengzhen Ning, Tian-Jun Li.

Figure 1
Figure 1. Figure 1: In the toric picture, the moment triangle of [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: A schematic curve configuration: the divisor [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Four types of blowups, where the dashed curve indicates a component not contained in [PITH_FULL_IMAGE:figures/full_fig_p009_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: The toric blowups from the preceding example: the original string [PITH_FULL_IMAGE:figures/full_fig_p014_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Six planar presentations T1, . . . , T6 of the moment triangle for CP(2, 3, 5). Thus, starting from any presentation Ti of the moment polygon of CP(a, b, c), we can truncate the three non-Delzant corners using the previous procedure. In this way, the non-Delzant triangle Ti is converted into a Delzant polygon P, which is the moment polygon of a smooth symplectic toric 4-manifold (X, ω). The symplectic form… view at source ↗
Figure 6
Figure 6. Figure 6: Moment polygon of the minimal resolution [PITH_FULL_IMAGE:figures/full_fig_p019_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Schematic configurations used in the proof of Proposition 4.2. The dashed boxes indicate [PITH_FULL_IMAGE:figures/full_fig_p024_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: The red curve represents a symplectic (2 [PITH_FULL_IMAGE:figures/full_fig_p034_8.png] view at source ↗
read the original abstract

We study symplectic minimal resolutions of weighted projective planes $\mathbb{CP}(a,b,c)$ from the perspective of disconnected symplectic divisors with symplectic log Kodaira dimension $-\infty$. Building on the techniques developed in our previous work for connected divisors, we introduce the notion of exceptional gaps between distinct connected components of the divisor and use it to establish a Torelli-type theorem for certain configurations of three Hirzebruch--Jung strings. Motivated by Daigle--Russell's study of affine rulings on complete normal rational surfaces in algebraic context, we also establish a weighted version of Gromov--McDuff's characterization of symplectic $\mathbb{CP}^2$ by showing the existence of symplectic affine rulings implies certain divisor configuration to arise from the minimal resolution of $\mathbb{CP}(a,b,c)$.

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

2 major / 1 minor

Summary. The paper studies symplectic minimal resolutions of weighted projective planes CP(a,b,c) via disconnected symplectic divisors with symplectic log Kodaira dimension −∞. Building on prior work for connected divisors, it introduces exceptional gaps between components to prove a Torelli-type theorem for certain three-component configurations of Hirzebruch–Jung strings. It also gives a weighted analogue of the Gromov–McDuff theorem, showing that the existence of a symplectic affine ruling forces the divisor configuration to arise from the minimal resolution of CP(a,b,c).

Significance. If the extension of the connected-divisor techniques via exceptional gaps can be made rigorous, the results would enlarge the class of divisor configurations for which symplectic classification and Torelli-type statements are available, linking symplectic affine rulings to resolutions of weighted projective planes. This could provide new invariants and deformation arguments in symplectic geometry of rational surfaces.

major comments (2)
  1. [Introduction and the paragraph following the definition of exceptional gaps] The central claims (Torelli theorem for three Hirzebruch–Jung strings and the weighted Gromov–McDuff characterization) both depend on the assertion that the authors’ prior results for connected symplectic divisors with log Kodaira dimension −∞ extend to the disconnected case once exceptional gaps are inserted. The manuscript must supply a detailed verification that the key technical ingredients—symplectic area constraints, classification of configurations, and deformation arguments—carry over without new obstructions arising from the gaps. This step is load-bearing for both theorems.
  2. [The section containing the weighted Gromov–McDuff statement] The statement that “the existence of symplectic affine rulings implies certain divisor configuration to arise from the minimal resolution of CP(a,b,c)” requires an explicit list of the admissible configurations and a proof that no other configurations with log Kodaira dimension −∞ admit such rulings once gaps are allowed. Without this enumeration or a reference to a prior classification that is shown to survive the gap construction, the implication remains formal.
minor comments (1)
  1. [Abstract and §1] Notation for the weighted projective plane CP(a,b,c) and the Hirzebruch–Jung strings should be fixed consistently throughout; the abstract uses both “weighted projective planes” and “CP(a,b,c)” without a preliminary definition.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed and constructive report. The comments highlight important points where the manuscript requires additional clarification and verification to make the extension to disconnected divisors fully rigorous. We address each major comment below and will incorporate the necessary revisions.

read point-by-point responses
  1. Referee: [Introduction and the paragraph following the definition of exceptional gaps] The central claims (Torelli theorem for three Hirzebruch–Jung strings and the weighted Gromov–McDuff characterization) both depend on the assertion that the authors’ prior results for connected symplectic divisors with log Kodaira dimension −∞ extend to the disconnected case once exceptional gaps are inserted. The manuscript must supply a detailed verification that the key technical ingredients—symplectic area constraints, classification of configurations, and deformation arguments—carry over without new obstructions arising from the gaps. This step is load-bearing for both theorems.

    Authors: We agree that the extension requires explicit verification. In the revised manuscript, we will insert a new subsection immediately after the definition of exceptional gaps. This subsection will verify that: (i) the symplectic area constraints from our prior work on connected divisors remain unchanged because gaps do not alter the areas of individual components; (ii) the classification of configurations extends directly by treating each connected component separately while the gaps enforce the required separation; and (iii) the deformation arguments carry over by deforming each Hirzebruch–Jung string independently, with no new obstructions introduced by the gaps. We will cite the precise lemmas from the previous paper that are adapted and confirm the absence of additional constraints. revision: yes

  2. Referee: [The section containing the weighted Gromov–McDuff statement] The statement that “the existence of symplectic affine rulings implies certain divisor configuration to arise from the minimal resolution of CP(a,b,c)” requires an explicit list of the admissible configurations and a proof that no other configurations with log Kodaira dimension −∞ admit such rulings once gaps are allowed. Without this enumeration or a reference to a prior classification that is shown to survive the gap construction, the implication remains formal.

    Authors: We acknowledge that the current statement is stated at a high level without an exhaustive enumeration. In the revision, we will add an explicit list of admissible configurations (the three-component Hirzebruch–Jung string setups with exceptional gaps that match the minimal resolutions of CP(a,b,c), as classified via the weighted projective plane data). We will prove that these are the only configurations admitting symplectic affine rulings by combining the Torelli theorem (established earlier in the paper) with the fact that any such ruling must preserve the log Kodaira dimension −∞ condition and force the gaps to satisfy the same numerical constraints as the algebraic resolutions. This will reference the classification from our prior connected-divisor work, adapted to show it survives the gap construction. revision: yes

Circularity Check

0 steps flagged

No significant circularity; new constructions provide independent content.

full rationale

The paper's derivation introduces the new notion of exceptional gaps to handle disconnected divisors and applies it to prove a Torelli-type theorem for three Hirzebruch-Jung strings plus a weighted Gromov-McDuff characterization. These steps rely on the authors' prior connected-divisor techniques only as a foundation, but the extension via gaps, the classification of configurations, and the implication from symplectic affine rulings to minimal resolutions of CP(a,b,c) constitute new work not reducible to the inputs by definition or by self-citation alone. No equations or claims collapse to prior results by construction, and external motivations (Daigle-Russell) plus the explicit introduction of gaps keep the chain self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No explicit free parameters, axioms, or invented entities are stated in the abstract; the work relies on standard background from symplectic geometry and the authors' earlier papers.

pith-pipeline@v0.9.0 · 5428 in / 1090 out tokens · 33262 ms · 2026-05-12T03:14:13.678350+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

54 extracted references · 54 canonical work pages

  1. [1]

    Topology of symplectomorphism groups ofS 2 ×S 2.Invent

    Miguel Abreu. Topology of symplectomorphism groups ofS 2 ×S 2.Invent. Math., 131(1):1–23, 1998

  2. [2]

    Topology of symplectomorphism groups of rational ruled surfaces.J

    Miguel Abreu and Dusa McDuff. Topology of symplectomorphism groups of rational ruled surfaces.J. Amer. Math. Soc., 13(4):971–1009, 2000

  3. [3]

    Markov staircases.arXiv:2509.03224, 2025

    Nikolas Adaloglou, Jo´ e Brendel, Jonny Evans, Johannes Hauber, and Felix Schlenk. Markov staircases.arXiv:2509.03224, 2025

  4. [4]

    D. Auroux. Asymptotically holomorphic families of symplectic submanifolds.Geom. Funct. Anal., 7(6):971–995, 1997

  5. [5]

    Group actions on 4-manifolds: some recent results and open questions

    Weimin Chen. Group actions on 4-manifolds: some recent results and open questions. InPro- ceedings of the G¨ okova Geometry-Topology Conference 2009, pages 1–21. Int. Press, Somerville, MA, 2010

  6. [6]

    On the maximal number of symplectic (-2)-spheres

    Weimin Chen. On the maximal number of symplectic (-2)-spheres. Talk at University of Minnesota Differential Geometry and Symplectic Topology Seminar, March 2026. 37

  7. [7]

    Affine rulings of normal rational surfaces.Osaka J

    Daniel Daigle and Peter Russell. Affine rulings of normal rational surfaces.Osaka J. Math., 38(1):37–100, 2001

  8. [8]

    On weighted projective planes and their affine rulings.Osaka J

    Daniel Daigle and Peter Russell. On weighted projective planes and their affine rulings.Osaka J. Math., 38(1):101–150, 2001

  9. [9]

    Hamiltoniens p´ eriodiques et images convexes de l’application moment.Bull

    Thomas Delzant. Hamiltoniens p´ eriodiques et images convexes de l’application moment.Bull. Soc. Math. France, 116(3):315–339, 1988

  10. [10]

    Weighted projective varieties

    Igor Dolgachev. Weighted projective varieties. InGroup actions and vector fields (Vancouver, B.C., 1981), volume 956 ofLecture Notes in Math., pages 34–71. Springer, Berlin, 1982

  11. [11]

    S. K. Donaldson. Symplectic submanifolds and almost-complex geometry.J. Differential Geom., 44(4):666–705, 1996

  12. [12]

    Dorfmeister, Tian-Jun Li, and Weiwei Wu

    Josef G. Dorfmeister, Tian-Jun Li, and Weiwei Wu. Stability and existence of surfaces in symplectic 4-manifolds withb + = 1.J. Reine Angew. Math., 742:115–155, 2018

  13. [13]

    Markov numbers and Lagrangian cell complexes in the complex projective plane.Geom

    Jonathan David Evans and Ivan Smith. Markov numbers and Lagrangian cell complexes in the complex projective plane.Geom. Topol., 22(2):1143–1180, 2018

  14. [14]

    Bounds on Wahl singularities from symplectic topol- ogy.Algebr

    Jonathan David Evans and Ivan Smith. Bounds on Wahl singularities from symplectic topol- ogy.Algebr. Geom., 7(1):59–85, 2020

  15. [15]

    Cyclic quotient singularities, I.https://jde27.uk/blog/cyclic1.html, 2018

    Jonny Evans. Cyclic quotient singularities, I.https://jde27.uk/blog/cyclic1.html, 2018

  16. [16]

    Cambridge University Press, Cambridge, 2023

    Jonny Evans.Lectures on Lagrangian torus fibrations, volume 105 ofLondon Mathematical Society Student Texts. Cambridge University Press, Cambridge, 2023

  17. [17]

    Ronald Fintushel and Ronald J. Stern. Rational blowdowns of smooth 4-manifolds.J. Differ- ential Geom., 46(2):181–235, 1997

  18. [18]

    Gay and Andr´ as I

    David T. Gay and Andr´ as I. Stipsicz. Symplectic surgeries and normal surface singularities. Algebr. Geom. Topol., 9(4):2203–2223, 2009

  19. [19]

    Blowing up symplectic orbifolds.Ann

    Leonor Godinho. Blowing up symplectic orbifolds.Ann. Global Anal. Geom., 20(2):117–162, 2001

  20. [20]

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

  21. [21]

    Gompf and Andr´ as I

    Robert E. Gompf and Andr´ as I. Stipsicz. 4-manifolds and Kirby calculus, volume 20 ofGrad- uate Studies in Mathematics. American Mathematical Society, Providence, RI, 1999

  22. [22]

    M. Gromov. Pseudo holomorphic curves in symplectic manifolds.Invent. Math., 82(2):307–347, 1985

  23. [23]

    The classification of ruled symplectic 4-manifolds.Math

    Fran¸ cois Lalonde and Dusa McDuff. The classification of ruled symplectic 4-manifolds.Math. Res. Lett., 3(6):769–778, 1996

  24. [24]

    Hamiltonian torus actions on symplectic orbifolds and toric varieties.Trans

    Eugene Lerman and Susan Tolman. Hamiltonian torus actions on symplectic orbifolds and toric varieties.Trans. Amer. Math. Soc., 349(10):4201–4230, 1997

  25. [25]

    Symplectic genus, minimal genus and diffeomorphisms.Asian J

    Bang-He Li and Tian-Jun Li. Symplectic genus, minimal genus and diffeomorphisms.Asian J. Math., 6(1):123–144, 2002. 38

  26. [26]

    T. J. Li and A. Liu. Symplectic structure on ruled surfaces and a generalized adjunction formula.Math. Res. Lett., 2(4):453–471, 1995

  27. [27]

    The Kodaira dimension of symplectic 4-manifolds

    Tian-Jun Li. The Kodaira dimension of symplectic 4-manifolds. InFloer homology, gauge theory, and low-dimensional topology, volume 5 ofClay Math. Proc., pages 249–261. Amer. Math. Soc., Providence, RI, 2006

  28. [28]

    Kodaira dimension in low dimensional topology

    Tian-Jun Li. Kodaira dimension in low dimensional topology. InTsinghua lectures in math- ematics, volume 45 ofAdv. Lect. Math. (ALM), pages 265–291. Int. Press, Somerville, MA, [2019]©2019

  29. [29]

    Symplectic log Calabi-Yau surface—deformation class.Adv

    Tian-Jun Li and Cheuk Yu Mak. Symplectic log Calabi-Yau surface—deformation class.Adv. Theor. Math. Phys., 20(2):351–379, 2016

  30. [30]

    Almost toric presentations of symplectic log calabi- yau pairs.arXiv: 2303.09964, 2023

    Tian-Jun Li, Jie Min, and Shengzhen Ning. Almost toric presentations of symplectic log calabi-yau pairs.arXiv:2303.09964, 2025

  31. [31]

    Enumerative aspect of symplectic log Calabi–Yau divisors and almost toric fibrations.Isr

    Tian-Jun Li, Jie Min, and Shengzhen Ning. Enumerative aspect of symplectic log Calabi–Yau divisors and almost toric fibrations.Isr. J. Math., 271(2):557–649, March 2026

  32. [32]

    Symplectic log Kodaira dimension−∞, affine-ruledness and unicuspidal rational curves.arXiv:2501.14668, 2025

    Tian-Jun Li and Shengzhen Ning. Symplectic log Kodaira dimension−∞, affine-ruledness and unicuspidal rational curves.arXiv:2501.14668, 2025

  33. [33]

    Symplectic forms and surfaces of negative square.J

    Tian-Jun Li and Michael Usher. Symplectic forms and surfaces of negative square.J. Sym- plectic Geom., 4(1):71–91, 2006

  34. [34]

    Additivity and relative Kodaira dimensions

    Tian-Jun Li and Weiyi Zhang. Additivity and relative Kodaira dimensions. InGeometry and analysis. No. 2, volume 18 ofAdv. Lect. Math. (ALM), pages 103–135. Int. Press, Somerville, MA, 2011

  35. [35]

    Tian-Jun Li and Weiyi Zhang.J-holomorphic curves in a nef class.Int. Math. Res. Not. IMRN, 22:12070–12104, 2015

  36. [36]

    On symplectic fillings of lens spaces.Trans

    Paolo Lisca. On symplectic fillings of lens spaces.Trans. Amer. Math. Soc., 360(2):765–799, 2008

  37. [37]

    The structure of rational and ruled symplectic 4-manifolds.J

    Dusa McDuff. The structure of rational and ruled symplectic 4-manifolds.J. Amer. Math. Soc., 3(3):679–712, 1990

  38. [38]

    Lectures on Gromov invariants for symplectic 4-manifolds

    Dusa McDuff. Lectures on Gromov invariants for symplectic 4-manifolds. InGauge theory and symplectic geometry (Montreal, PQ, 1995), volume 488 ofNATO Adv. Sci. Inst. Ser. C: Math. Phys. Sci., pages 175–210. Kluwer Acad. Publ., Dordrecht, 1997. With notes by Wladyslav Lorek

  39. [39]

    Some 6-dimensional HamiltonianS 1-manifolds.J

    Dusa McDuff. Some 6-dimensional HamiltonianS 1-manifolds.J. Topol., 2(3):589–623, 2009

  40. [40]

    NongenericJ-holomorphic curves and singular infla- tion.Algebr

    Dusa McDuff and Emmanuel Opshtein. NongenericJ-holomorphic curves and singular infla- tion.Algebr. Geom. Topol., 15(1):231–286, 2015

  41. [41]

    A survey of symplectic 4-manifolds withb + = 1.Turkish J

    Dusa McDuff and Dietmar Salamon. A survey of symplectic 4-manifolds withb + = 1.Turkish J. Math., 20(1):47–60, 1996

  42. [42]

    Oxford Graduate Texts in Mathematics

    Dusa McDuff and Dietmar Salamon.Introduction to symplectic topology. Oxford Graduate Texts in Mathematics. Oxford University Press, Oxford, third edition, 2017. 39

  43. [43]

    Counting curves with local tangency constraints.J

    Dusa McDuff and Kyler Siegel. Counting curves with local tangency constraints.J. Topol., 14(4):1176–1242, 2021

  44. [44]

    Symplectic capacities, unperturbed curves and convex toric domains.Geom

    Dusa McDuff and Kyler Siegel. Symplectic capacities, unperturbed curves and convex toric domains.Geom. Topol., 28(3):1213–1285, 2024

  45. [45]

    Ellipsoidal superpotentials and singular curve counts.Inter- national Mathematics Research Notices, 2025(21):rnaf285, 10 2025

    Dusa McDuff and Kyler Siegel. Ellipsoidal superpotentials and singular curve counts.Inter- national Mathematics Research Notices, 2025(21):rnaf285, 10 2025

  46. [46]

    Resolution of symplectic cyclic orbifold singular- ities.J

    Klaus Niederkr¨ uger and Federica Pasquotto. Resolution of symplectic cyclic orbifold singular- ities.J. Symplectic Geom., 7(3):337–355, 2009

  47. [47]

    Simple singularities and symplectic fillings.J

    Hiroshi Ohta and Kaoru Ono. Simple singularities and symplectic fillings.J. Differential Geom., 69(1):1–42, 2005

  48. [48]

    Maximal compact tori in the Hamiltonian group of 4-dimensional sym- plectic manifolds.J

    Martin Pinsonnault. Maximal compact tori in the Hamiltonian group of 4-dimensional sym- plectic manifolds.J. Mod. Dyn., 2(3):431–455, 2008

  49. [49]

    Uniqueness of symplectic structures.Acta Math

    Dietmar Salamon. Uniqueness of symplectic structures.Acta Math. Vietnam., 38(1):123–144, 2013

  50. [50]

    On the holomorphicity of genus two Lefschetz fibrations.Ann

    Bernd Siebert and Gang Tian. On the holomorphicity of genus two Lefschetz fibrations.Ann. of Math. (2), 161(2):959–1020, 2005

  51. [51]

    The Seiberg-Witten and Gromov invariants.Math

    Clifford Henry Taubes. The Seiberg-Witten and Gromov invariants.Math. Res. Lett., 2(2):221– 238, 1995

  52. [52]

    Tamed to compatible: symplectic forms via moduli space integration

    Clifford Henry Taubes. Tamed to compatible: symplectic forms via moduli space integration. J. Symplectic Geom., 9(2):161–250, 2011

  53. [53]

    The curve cone of almost complex 4-manifolds.Proc

    Weiyi Zhang. The curve cone of almost complex 4-manifolds.Proc. Lond. Math. Soc. (3), 115(6):1227–1275, 2017

  54. [54]

    Moduli space ofJ-holomorphic subvarieties.Selecta Math

    Weiyi Zhang. Moduli space ofJ-holomorphic subvarieties.Selecta Math. (N.S.), 27(2):Paper No. 29, 44, 2021. School of Mathematics, University of Minnesota, Minneapolis, MN, US E-mail address:tjli@math.umn.edu School of Mathematics, University of Minnesota, Minneapolis, MN, US E-mail address:ning0040@umn.edu 40