pith. sign in

arxiv: 2409.07915 · v2 · submitted 2024-09-12 · 🧮 math.AG · math.GT

A note on combinatorial type and splitting invariants of plane curves

Taketo Shirane This is my paper

Pith reviewed 2026-05-23 21:04 UTC · model grok-4.3

classification 🧮 math.AG math.GT
keywords plane curvesembedded topologysplitting invariantscombinatorial typeplumbing graphGalois coverquasi-triangular curvesfundamental group
0
0 comments X

The pith

The G-combinatorial type distinguishes embedded topologies of quasi-triangular plane curves.

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

The paper introduces the G-combinatorial type as a generalization of splitting invariants for plane curves. It defines this type from the modified plumbing graph and establishes its invariance under certain homeomorphisms of the complements. The type is then applied to separate the embedded topologies of quasi-triangular curves, which extend earlier triangular examples. A reader would care because many distinct plane curves share the same fundamental group of their complements, leaving a need for additional invariants to detect differences in how the curves sit inside the plane.

Core claim

The G-combinatorial type is defined from the modified plumbing graph equipped with the action of the Galois group G. This type remains unchanged under homeomorphisms that preserve the relevant graph manifold structures, and it distinguishes the embedded topologies of quasi-triangular curves even when their complements have identical fundamental groups.

What carries the argument

The G-combinatorial type, obtained by adding the G-action to Hironaka's modified plumbing graph.

If this is right

  • The G-combinatorial type is preserved by the homeomorphisms of graph manifolds and plumbing graphs under consideration.
  • Quasi-triangular curves with distinct G-combinatorial types have non-homeomorphic embedded topologies.
  • The type detects differences that the fundamental group of the complement alone cannot.
  • The construction extends the splitting invariants previously used for triangular curves.

Where Pith is reading between the lines

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

  • The same graph-based construction might separate other families of plane curves that share fundamental groups.
  • Explicit computation of G-combinatorial types for known examples could produce new lists of distinct embedded topologies.
  • The approach may adapt to curves with more complicated branch loci or to surfaces in higher-dimensional spaces.

Load-bearing premise

The modified plumbing graph together with the G-action produces a quantity that is unchanged under the homeomorphisms considered and that separates the quasi-triangular curves.

What would settle it

Two quasi-triangular curves that have identical G-combinatorial types but whose complements are not homeomorphic, or two that have different types but homeomorphic complements.

read the original abstract

Splitting invariants describe how a plane curve "splits" by the pull-back under a Galois cover over the projective plane whose branch locus contains no component of the plane curve. They enable us to distinguish the embedded topology of several plane curves with the same fundamental group of the complements. In this note, we introduce a generalization of splitting invariants, called the G-combinatorial type, for plane curves by using the modified plumbing graph defined by Hironaka. We prove the invariance of the G-combinatorial type under certain homeomorphisms based on the arguments of graph manifolds by Waldhausen and plumbing graphs by Neumann. Furthermore, we distinguish the embedded topology of quasi-triangular curves by the G-combinatorial type, which are generalization of triangular curves studied by Artal, Cogolludo and Mart\'in.

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 introduces the G-combinatorial type, a generalization of splitting invariants for plane curves, constructed via Hironaka's modified plumbing graph equipped with a G-action. It establishes invariance of this type under a specified class of homeomorphisms by invoking classical results of Waldhausen on graph manifolds and Neumann on plumbing graphs. The paper further applies the invariant to distinguish the embedded topologies of quasi-triangular curves (generalizing triangular curves of Artal-Cogolludo-Martín) in cases where the fundamental group of the complement is insufficient.

Significance. If the invariance holds and the distinguishing examples are valid, the G-combinatorial type supplies a parameter-free combinatorial refinement of existing splitting invariants that can separate plane curves with isomorphic fundamental groups but distinct embedded topologies. The reliance on standard 3-manifold results provides a solid foundation, and the concrete application to quasi-triangular curves demonstrates utility beyond the fundamental group alone.

minor comments (3)
  1. The title refers to 'combinatorial type' while the abstract and body consistently use 'G-combinatorial type'; aligning the title with the defined object would improve precision.
  2. §1 (Introduction): A short explicit comparison table or paragraph contrasting the G-combinatorial type with classical splitting invariants (e.g., which data are retained or added by the G-action) would clarify the generalization.
  3. The statement of the main invariance theorem would benefit from an explicit list of the 'certain homeomorphisms' under which invariance is claimed, cross-referenced to the Waldhausen/Neumann arguments invoked.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, including the summary of the G-combinatorial type and its applications, as well as the recommendation for minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper introduces the G-combinatorial type as a direct generalization of splitting invariants using Hironaka's modified plumbing graph equipped with a G-action. Invariance under the relevant homeomorphisms is established by explicit appeal to external theorems on graph manifolds (Waldhausen) and plumbing graphs (Neumann), which are independent of the present work and not reduced to any self-citation chain or internal definition. The application to distinguishing quasi-triangular curves is an empirical separation result, not a prediction forced by fitted inputs or prior equations within the paper. No self-definitional steps, renamed known results, or ansatz smuggling appear in the derivation chain described.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claim rests on the existence and properties of modified plumbing graphs (Hironaka) and classical results on graph manifolds (Waldhausen) and plumbing graphs (Neumann). No free parameters or new physical entities are introduced; the new object is a combinatorial definition.

axioms (2)
  • standard math Properties of graph manifolds as established by Waldhausen
    Invoked to prove invariance of the G-combinatorial type under homeomorphisms.
  • standard math Properties of plumbing graphs as established by Neumann
    Invoked to prove invariance of the G-combinatorial type under homeomorphisms.
invented entities (1)
  • G-combinatorial type no independent evidence
    purpose: Generalized splitting invariant defined from the modified plumbing graph with G-action
    New combinatorial object introduced in the paper to refine splitting invariants.

pith-pipeline@v0.9.0 · 5658 in / 1543 out tokens · 23813 ms · 2026-05-23T21:04:09.519837+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

35 extracted references · 35 canonical work pages

  1. [1]

    Amram, S

    M. Amram, S. Bannai, T. Shirane, U. Sinichkin, and H. Tokunaga. T he realization space of a certain conic line arrangement of degree 7 and a π1-equivalent zariski pair. arXiv:2307.01736, 2023

    work page arXiv 2023

  2. [2]

    Artal Bartolo, S

    E. Artal Bartolo, S. Bannai, T. Shirane, and H. Tokunaga. Tors ion divisors of plane curves and Zariski pairs. St. Petersburg Mathematical Journal , 34(5):721–736, November 2023

    work page 2023

  3. [3]

    Artal Bartolo, S

    E. Artal Bartolo, S. Bannai, T. Shirane, and H. Tokunaga. Tors ion divisors of plane curves with maximal flexes and Zariski pairs. Mathematische Nachrichten , 296(6):2214–2235, 2023

    work page 2023

  4. [4]

    Artal Bartolo, J.I

    E. Artal Bartolo, J.I. Cogolludo Agust ´ ın, and J. Mart ´ ın Morales . Triangular curves and cyclotomic Zariski tuples. Collectanea Mathematica, 71(3):427–441, Sep 2020

    work page 2020

  5. [5]

    Artal Bartolo, J.I

    E. Artal Bartolo, J.I. Cogolludo Agust ´ ın, and H. Tokunaga. A su rvey on Zariski pairs. In Algebraic geometry in East Asia—Hanoi 2005. Proceedings of the 2nd int ernational conference on algebraic geom- etry in East Asia, Hanoi, Vietnam, October 10–14, 2005 , pages 1–100. Tokyo: Mathematical Society of Japan, 2008

    work page 2005

  6. [6]

    Artal Bartolo and H

    E. Artal Bartolo and H. Tokunaga. Zariski k-plets of rational c urve arrangements and dihedral covers. Topology and its Applications , 142(1):227–233, 2004

    work page 2004

  7. [7]

    S. Bannai. A note on splitting curves of plane quartics and multi-se ctions of rational elliptic surfaces. Topology and its Applications , 202:428–439, 2016

    work page 2016

  8. [8]

    Bannai, N

    S. Bannai, N. Kawana, R. Masuya, and H. Tokunaga. Trisections on certain rational elliptic surfaces and families of zariski pairs degenerating to the same conic-line arrange ment. Geometriae Dedicata, 216(8), Jan 2022

    work page 2022

  9. [9]

    Brieskorn and H

    E. Brieskorn and H. Kn¨ orrer. Plane Algebraic Curves . Birkh¨ auser Basel, 1986

    work page 1986

  10. [10]

    Degtyarev

    A. Degtyarev. On deformations of singular plane sextics. Journal of Algebraic Geometry , 17(1):101–135, January 2008. A NOTE ON COMBINATORIAL TYPE 31

    work page 2008

  11. [11]

    Eisenbud and W.D

    D. Eisenbud and W.D. Neumann. Three-Dimensional Link Theory and Invariants of Plane Curv e Sin- gularities. (AM-110) . Princeton University Press, December 1986

    work page 1986

  12. [12]

    Guerville-Ball´ e and J.-B

    B. Guerville-Ball´ e and J.-B. Meilhan. A linking invariant for algebra ic curves. L’Enseignement Math´ ematique, 66(1):63–81, October 2020

    work page 2020

  13. [13]

    Guerville-Ball´ e and T

    B. Guerville-Ball´ e and T. Shirane. Non-homotopicity of the linkin g set of algebraic plane curves. Journal of Knot Theory and Its Ramifications , 26(13):1750089, November 2017

    work page 2017

  14. [14]

    Hironaka

    E. Hironaka. Plumbing graphs for normal surface-curve pairs . In Arrangements – Tokyo 1998. Proceedings of a workshop on mathematics related to arrangements of hype rplanes, Tokyo, Japan, July 13–18, 1998. In honor of the 60th birthyear of Peter Orlik , pages 127–144. Tokyo: Kinokuniya Company Ltd., 2000

    work page 1998

  15. [15]

    M.W. Hirsch. Differential Topology. Springer New York, 1976

    work page 1976

  16. [16]

    Hirzebruch, W.D

    F. Hirzebruch, W.D. Neumann, and S.S. Koh. Differentiable manifolds and quadratic forms. Appendix II by W. Scharlau , volume 4. CRC Press, Boca Raton, FL, 1971

    work page 1971

  17. [17]

    Horikawa

    E. Horikawa. On deformations of quintic surfaces. Inventiones mathematicae, 31(1):43–85, Feb 1975

    work page 1975

  18. [18]

    H.B. Laufer. Normal Two-Dimensional Singularities. (AM-71) . Princeton University Press, 1971

    work page 1971

  19. [19]

    /suppress Lojasiewicz

    S. /suppress Lojasiewicz. Triangulation of semi-analytic sets.Annali della Scuola Normale Superiore di Pisa - Scienze Fisiche e Matematiche , Ser. 3, 18(4):449–474, 1964

    work page 1964

  20. [20]

    J.W. Milnor. Differentiable manifolds which are homotopy spheres. Princeton University, 39 p. (1959)., 1959

    work page 1959

  21. [21]

    D. Mumford. The topology of normal singularities of an algebraic surface and a criterion for simplicity. Publications Math´ ematiques de l’Institut des Hautes ´Etudes Scientifiques , 9(1):5–22, Dec 1961

    work page 1961

  22. [22]

    W.D. Neumann. A calculus for plumbing applied to the topology of co mplex surface singularities and degenerating complex curves. Transactions of the American Mathematical Society , 268(2):299–344, 1981

    work page 1981

  23. [23]

    Neumann and F

    W.D. Neumann and F. Raymond. Seifert manifolds, plumbing, µ-invariant and orientation reversing maps, pages 163–196. Springer Berlin Heidelberg, 1978

    work page 1978

  24. [24]

    P. Olum. Mappings of manifolds and the notion of degree. Annals of Mathematics , 58(3):458–480, 1953

    work page 1953

  25. [25]

    D. Prill. Local classification of quotients of complex manifolds by d iscontinuous groups. Duke Mathe- matical Journal , 34(2):375–386, June 1967

    work page 1967

  26. [26]

    I. Shimada. Equisingular families of plane curves with many connec ted components. Vietnam J. Math. , 31(2):193–205, 2003

    work page 2003

  27. [27]

    T. Shirane. A note on splitting numbers for Galois covers and π1-equivalent zariski k-plets. Proc. Am. Math. Soc. , 145(3):1009–1017, 2017

    work page 2017

  28. [28]

    T. Shirane. Connected numbers and the embedded topology of plane curves. Can. Math. Bull. , 61(3):650– 658, 2018

    work page 2018

  29. [29]

    T. Shirane. Galois covers of graphs and embedded topology of p lane curves. Topology Appl., 257:122–143, 2019

    work page 2019

  30. [30]

    S.-L. Tan. Triple covers on smooth algebraic varieties. In Geometry and nonlinear partial differential equations. Dedicated to Professor Buqing Su in honor of his 1 00th birthday. Proceedings of the confer- ence, Zhejiang University, Zhejiang, China, July 30–31, 20 01, pages 143–164. Providence, RI: American Mathematical Society (AMS), 2002

    work page 2002

  31. [31]

    Tokunaga

    H. Tokunaga. Geometry of irreducible plane quartics and their q uadratic residue conics. Journal of Singularities, 2:170–190, 2010

    work page 2010

  32. [32]

    Waldhausen

    F. Waldhausen. Eine klasse von 3-dimensionalen mannigfaltigkeite n. I. Inventiones Mathematicae, 3:308– 333, dec 1967

    work page 1967

  33. [33]

    Waldhausen

    F. Waldhausen. Eine klasse von 3-dimensionalen mannigfaltigkeite n. II. Inventiones Mathematicae, 4:87– 117, April 1967

    work page 1967

  34. [34]

    Waldhausen

    F. Waldhausen. On irreducible 3-manifolds which are sufficiently lar ge. Annals of Mathematics , 87(1):56– 88, 1968

    work page 1968

  35. [35]

    O. Zariski. On the problem of existence of algebraic functions of two variables possessing a given branch curve. American Journal of Mathematics , 51(2):305–328, 1929. Department of Mathematical Sciences, F aculty of Science an d Technology, Tokushima University, 2-1 Minamijosanjima, Tokushima, 770-8506, Ja pan Email address : shirane@tokushima-u.ac.jp

    work page 1929