Recognition: no theorem link
Symplectic log Kodaira dimension -infty, Hirzebruch--Jung strings and weighted projective planes
Pith reviewed 2026-05-12 03:14 UTC · model grok-4.3
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.
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
- 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
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.
Referee Report
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)
- [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.
- [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)
- [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
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
-
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
-
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
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
Reference graph
Works this paper leans on
-
[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
work page 1998
-
[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
work page 2000
-
[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]
D. Auroux. Asymptotically holomorphic families of symplectic submanifolds.Geom. Funct. Anal., 7(6):971–995, 1997
work page 1997
-
[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
work page 2009
-
[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
work page 2026
-
[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
work page 2001
-
[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
work page 2001
-
[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
work page 1988
-
[10]
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
work page 1981
-
[11]
S. K. Donaldson. Symplectic submanifolds and almost-complex geometry.J. Differential Geom., 44(4):666–705, 1996
work page 1996
-
[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
work page 2018
-
[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
work page 2018
-
[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
work page 2020
-
[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
work page 2018
-
[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
work page 2023
-
[17]
Ronald Fintushel and Ronald J. Stern. Rational blowdowns of smooth 4-manifolds.J. Differ- ential Geom., 46(2):181–235, 1997
work page 1997
-
[18]
David T. Gay and Andr´ as I. Stipsicz. Symplectic surgeries and normal surface singularities. Algebr. Geom. Topol., 9(4):2203–2223, 2009
work page 2009
-
[19]
Blowing up symplectic orbifolds.Ann
Leonor Godinho. Blowing up symplectic orbifolds.Ann. Global Anal. Geom., 20(2):117–162, 2001
work page 2001
-
[20]
Robert E. Gompf. A new construction of symplectic manifolds.Ann. of Math. (2), 142(3):527– 595, 1995
work page 1995
-
[21]
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
work page 1999
-
[22]
M. Gromov. Pseudo holomorphic curves in symplectic manifolds.Invent. Math., 82(2):307–347, 1985
work page 1985
-
[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
work page 1996
-
[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
work page 1997
-
[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
work page 2002
-
[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
work page 1995
-
[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
work page 2006
-
[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
work page 2019
-
[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
work page 2016
-
[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]
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
work page 2026
-
[32]
Tian-Jun Li and Shengzhen Ning. Symplectic log Kodaira dimension−∞, affine-ruledness and unicuspidal rational curves.arXiv:2501.14668, 2025
-
[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
work page 2006
-
[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
work page 2011
-
[35]
Tian-Jun Li and Weiyi Zhang.J-holomorphic curves in a nef class.Int. Math. Res. Not. IMRN, 22:12070–12104, 2015
work page 2015
-
[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
work page 2008
-
[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
work page 1990
-
[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
work page 1995
-
[39]
Some 6-dimensional HamiltonianS 1-manifolds.J
Dusa McDuff. Some 6-dimensional HamiltonianS 1-manifolds.J. Topol., 2(3):589–623, 2009
work page 2009
-
[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
work page 2015
-
[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
work page 1996
-
[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
work page 2017
-
[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
work page 2021
-
[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
work page 2024
-
[45]
Dusa McDuff and Kyler Siegel. Ellipsoidal superpotentials and singular curve counts.Inter- national Mathematics Research Notices, 2025(21):rnaf285, 10 2025
work page 2025
-
[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
work page 2009
-
[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
work page 2005
-
[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
work page 2008
-
[49]
Uniqueness of symplectic structures.Acta Math
Dietmar Salamon. Uniqueness of symplectic structures.Acta Math. Vietnam., 38(1):123–144, 2013
work page 2013
-
[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
work page 2005
-
[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
work page 1995
-
[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
work page 2011
-
[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
work page 2017
-
[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
work page 2021
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.