pith. sign in

arxiv: 2605.21152 · v1 · pith:JQSFEROHnew · submitted 2026-05-20 · 🧮 math.GT · math.SG

The Gompf θ-Invariant of Canonical Contact Structures via Legendrian Surgery

Mohan Bhupal , Burak Ozbagci This is my paper

Pith reviewed 2026-05-21 01:43 UTC · model grok-4.3

classification 🧮 math.GT math.SG
keywords Gompf θ-invariantcanonical contact structureLegendrian surgeryplumbing treeSeifert fibered 3-manifoldHirzebruch-Jung continued fractionsymplectic fillingnormal surface singularity
0
0 comments X

The pith

The canonical contact structure on the link of a normal surface singularity has an explicit Legendrian surgery description that determines its Gompf θ-invariant via continued fraction expansions.

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

The paper establishes an explicit Legendrian surgery description for the canonical contact structure ξ_can on the 3-manifold Y_Γ arising as the link of a normal complex surface singularity. This description shows that ξ_can is the unique consistent diagram-realizable contact structure on Y_Γ up to isomorphism. Using this, the authors derive a closed-form formula for Gompf's θ-invariant in the Seifert fibered case in terms of Hirzebruch-Jung continued fractions of the Seifert invariants, along with a recursive formula for general plumbing trees. A sympathetic reader would care because these formulas allow explicit computation of the invariant and demonstrate that the canonical structure minimizes it, ruling out certain symplectic fillings.

Core claim

The central claim is that ξ_can admits an explicit Legendrian surgery description on Y_Γ, making it the unique consistent diagram-realizable contact structure up to isomorphism. This leads to a closed-form expression for its Gompf θ-invariant in terms of the Hirzebruch-Jung continued fraction expansions in the Seifert case, and a recursive leaf-to-root formula for arbitrary trees. The formula recovers previous results for lens spaces and other spaces and shows agreement with the Némethi-Nicolaescu expression.

What carries the argument

The Legendrian surgery diagram realizing ξ_can on Y_Γ, which supplies the explicit model for deriving the θ-invariant formulas directly from the plumbing tree Γ.

If this is right

  • The Seifert formula recovers previously known formulas for lens spaces, dihedral manifolds, and small Seifert fibered spaces with complementary legs.
  • It agrees with the Némethi-Nicolaescu expression via the classical Hirzebruch-Zagier identity.
  • ξ_can strictly minimizes θ among all diagram-realizable contact structures on Y_Γ.
  • This minimization rules out symplectic rational homology ball fillings for a large class of Stein fillable contact rational homology 3-spheres.

Where Pith is reading between the lines

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

  • The recursive formula opens a route to computing θ for complex trees by reducing them leaf by leaf to base cases.
  • One could check whether the same surgery description yields formulas for related invariants such as the d-invariant in Heegaard Floer homology.
  • The uniqueness result suggests that any two consistent diagrams for ξ_can are related by a sequence of moves that preserve the θ-value.
  • The approach may extend to non-minimal plumbings by adding handles and tracking how θ changes.

Load-bearing premise

The assumption that Γ is a minimal connected negative-definite plumbing tree with all vertices of genus zero, which ensures Y_Γ carries a well-defined canonical contact structure ξ_can that admits a consistent diagram-realizable Legendrian surgery description.

What would settle it

Finding a diagram-realizable consistent contact structure on some Y_Γ that is not isomorphic to ξ_can, or a direct computation of the θ-invariant for ξ_can on a specific Seifert manifold that differs from the continued fraction formula.

read the original abstract

Let $\Gamma$ be a minimal connected negative-definite plumbing tree with all vertices of genus zero, and let $Y_\Gamma$ be the oriented link of the corresponding normal complex surface singularity, equipped with its canonical contact structure $\xi_{\rm can}$. We give an explicit Legendrian surgery description of $\xi_{\rm can}$, showing that it is the unique consistent diagram-realizable contact structure on $Y_\Gamma$, up to isomorphism. We then derive a closed-form formula for Gompf's $\theta$-invariant of $\xi_{\rm can}$ in the Seifert fibered case, expressed purely in terms of the Hirzebruch--Jung continued fraction expansions of the normalized Seifert invariants, and prove a recursive leaf-to-root formula for arbitrary plumbing trees. The Seifert formula recovers previously known formulas for lens spaces, dihedral manifolds, and small Seifert fibered spaces with complementary legs, and agrees with the N\'emethi--Nicolaescu expression via the classical Hirzebruch--Zagier identity. As a final application we show that $\xi_{\rm can}$ strictly minimizes $\theta$ among all diagram-realizable contact structures on $Y_\Gamma$, and we use this to rule out symplectic rational homology ball fillings for a large class of Stein fillable contact rational homology $3$-spheres.

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 / 3 minor

Summary. The manuscript constructs an explicit Legendrian surgery description of the canonical contact structure ξ_can on the oriented link Y_Γ of a normal complex surface singularity, where Γ is a minimal connected negative-definite plumbing tree with genus-zero vertices. It proves that this description yields the unique consistent diagram-realizable contact structure on Y_Γ up to isomorphism. The paper then derives a closed-form expression for Gompf's θ-invariant of ξ_can in the Seifert fibered case, written in terms of the Hirzebruch-Jung continued fraction expansions of the normalized Seifert invariants, together with a recursive leaf-to-root formula that applies to arbitrary plumbing trees. These formulas recover known values for lens spaces and dihedral manifolds, agree with the Némethi-Nicolaescu expression via the Hirzebruch-Zagier identity, and are used to establish that ξ_can strictly minimizes θ among all diagram-realizable contact structures, thereby obstructing symplectic rational homology ball fillings for a large class of Stein-fillable contact rational homology 3-spheres.

Significance. If the constructions and derivations hold, the work supplies explicit, computable formulas and a recursion for an important contact invariant on singularity links, strengthening the interface between contact topology and complex surface singularities. The recovery of prior results for lens spaces and small Seifert spaces, together with the agreement via a classical identity, lends credibility, while the minimization statement furnishes a new obstruction to rational homology ball fillings. The recursive leaf-to-root formula is particularly useful for systematic computations on general trees.

major comments (2)
  1. [§2] §2 (Legendrian surgery description): the uniqueness claim among consistent diagram-realizable structures rests on the precise definition of 'consistent'; the manuscript should supply an explicit criterion or lemma that rules out other candidate diagrams without invoking the canonical structure itself, to avoid any appearance of circularity in the uniqueness argument.
  2. [§4.3] §4.3 (recursive leaf-to-root formula): the base case for a single-vertex tree is stated but not numbered as an equation; verifying that the recursion reproduces the closed-form Seifert expression when the tree is a chain would confirm internal consistency of the two formulas.
minor comments (3)
  1. [Abstract] The phrase 'small Seifert fibered spaces with complementary legs' in the abstract and introduction would benefit from a one-sentence clarification or a reference to the standard normalization of Seifert invariants.
  2. [§4.1] A short table comparing the new θ values with previously known values for the first few lens spaces and dihedral manifolds would make the recovery statement immediately verifiable.
  3. [§4] Notation for the normalized Seifert invariants (b, (a_i, b_i)) should be introduced once in a dedicated paragraph rather than piecemeal across the Seifert and plumbing sections.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for their constructive comments. We address each of the major comments below.

read point-by-point responses

  1. Referee: [§2] §2 (Legendrian surgery description): the uniqueness claim among consistent diagram-realizable structures rests on the precise definition of 'consistent'; the manuscript should supply an explicit criterion or lemma that rules out other candidate diagrams without invoking the canonical structure itself, to avoid any appearance of circularity in the uniqueness argument.

    Authors: We agree that an explicit, non-circular criterion for consistency would strengthen the uniqueness claim. In the revised manuscript, we introduce a new Lemma 2.5 that defines consistency purely in terms of the Legendrian link diagram and the negative-definiteness of the plumbing tree, without reference to the canonical contact structure. This lemma is then used to prove that the constructed diagram is the unique consistent one, thereby addressing the potential circularity. revision: yes

  2. Referee: [§4.3] §4.3 (recursive leaf-to-root formula): the base case for a single-vertex tree is stated but not numbered as an equation; verifying that the recursion reproduces the closed-form Seifert expression when the tree is a chain would confirm internal consistency of the two formulas.

    Authors: We thank the referee for this observation. We have numbered the base case as Equation (4.3) in the revised version. Furthermore, we have added a verification in the form of Proposition 4.8, which shows that applying the recursive formula to a linear chain (corresponding to a Seifert fibered space) yields the closed-form expression from Section 4.2. This confirms the consistency between the two approaches. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation proceeds from explicit construction and standard identities

full rationale

The paper begins with the standard definition of the canonical contact structure ξ_can on the boundary of a minimal negative-definite genus-zero plumbing tree Γ and constructs an explicit Legendrian surgery diagram for it. Uniqueness among consistent diagram-realizable structures is shown directly from this diagram. The closed-form θ formula is then obtained by applying the classical Hirzebruch–Jung continued-fraction expansions together with the Hirzebruch–Zagier identity, both of which are external, parameter-free results. The recursion for general trees and the comparison with the Némethi–Nicolaescu expression follow from these identities without any reduction to the paper’s own fitted quantities or self-referential definitions. No load-bearing self-citation, ansatz smuggling, or renaming of known results occurs; the central claims remain independent of the paper’s own equations.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard background results in contact geometry, Legendrian surgery, and the topology of plumbed 3-manifolds; no new free parameters or invented entities are introduced.

axioms (2)
  • standard math Standard properties of canonical contact structures on links of normal surface singularities and the correspondence between plumbing trees and Seifert fibered spaces.
    Invoked in the initial setup of Γ, Y_Γ and ξ_can.
  • domain assumption Existence and uniqueness properties of consistent diagram-realizable contact structures under Legendrian surgery.
    Used to establish uniqueness and to derive the θ formulas.

pith-pipeline@v0.9.0 · 5773 in / 1659 out tokens · 47326 ms · 2026-05-21T01:43:50.391984+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

19 extracted references · 19 canonical work pages · 4 internal anchors

  1. [1]

    Minimal rational graphs admitting a QHD smoothing

    M ´arton Beke. Minimal rational graphs admitting a QHD smoothing, 2025. arXiv 2504.06929

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  2. [2]

    Milnor open books of links of some rational surface singularities

    Mohan Bhupal and Burak Ozbagci. Milnor open books of links of some rational surface singularities. Pacific J. Math., 254(1):47–65, 2011

    work page 2011

  3. [3]

    Stipsicz

    Mohan Bhupal and Andr ´as I. Stipsicz. Milnor fillable contact structures and rational blowdowns.Alge- braic & Geometric Topology, 11(5):2639–2668, 2011

    work page 2011

  4. [4]

    F. A. Bogomolov and B. M. de Oliveira. Stein small deformations of strictly pseudoconvex surfaces. In Birational algebraic geometry (Baltimore, MD, 1996), volume 207 ofContemp. Math., pages 25–41. American Mathematical Society, Providence, RI, 1997

    work page 1996

  5. [5]

    Milnor open books and Milnor fillable contact 3-manifolds.Topology, 45(3):673–689, 2006

    Cl ´ement Caubel, Andr ´as N´emethi, and Patrick Popescu-Pampu. Milnor open books and Milnor fillable contact 3-manifolds.Topology, 45(3):673–689, 2006

    work page 2006

  6. [6]

    Fillable structures on negative-definite Seifert fibred spaces

    Alberto Cavallo and Irena Matkovi ˇc. Fillable structures on negative-definite Seifert fibred spaces, 2026. arXiv 2604.28174

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  7. [7]

    Heegaard Floer homology and maximal twisting numbers

    Alberto Cavallo and Irena Matkovi ˇc. Heegaard Floer homology and maximal twisting numbers, 2026. arXiv 2604.28162

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  8. [8]

    Topological characterization of Stein manifolds of dimension>2.Internat

    Yakov Eliashberg. Topological characterization of Stein manifolds of dimension>2.Internat. J. Math., 1(1):29–46, 1990

    work page 1990

  9. [9]

    Etnyre, Burak Ozbagci, and B ¨ulent Tosun

    John B. Etnyre, Burak Ozbagci, and B ¨ulent Tosun. Complementary legs and symplectic rational balls

    work page

  10. [10]

    Etnyre, Burak Ozbagci, and B ¨ulent Tosun

    John B. Etnyre, Burak Ozbagci, and B ¨ulent Tosun. Symplectic rational homology ball fillings of Seifert fibered spaces.Adv. Math., 482:Paper No. 110572, 59, 2025

    work page 2025

  11. [11]

    Robert E. Gompf. Handlebody construction of Stein surfaces.Ann. of Math. (2), 148(2):619–693, 1998

    work page 1998

  12. [12]

    ¨Uber Modifikationen und exzeptionelle analytische Mengen.Math

    Hans Grauert. ¨Uber Modifikationen und exzeptionelle analytische Mengen.Math. Ann., 146:331–368, 1962

    work page 1962

  13. [13]

    The Heegaard Floer d-invariant for more rational homology spheres

    Isabella Khan. The Heegaard Floerd-invariant for more rational homology spheres, 2026. arXiv 2605.05332

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  14. [14]

    On the Ozsv ´ath–Szab´o invariant of negative definite plumbed 3-manifolds.Geom

    Andr ´as N ´emethi. On the Ozsv ´ath–Szab´o invariant of negative definite plumbed 3-manifolds.Geom. Topol., 9:991–1042, 2005

    work page 2005

  15. [15]

    Lattice cohomology of normal surface singularities.Publ

    Andr ´as N´emethi. Lattice cohomology of normal surface singularities.Publ. Res. Inst. Math. Sci., 44(2):507– 543, 2008

    work page 2008

  16. [16]

    Nicolaescu

    Andr ´as N ´emethi and Liviu I. Nicolaescu. Seiberg–Witten invariants and surface singularities.Geom. Topol., 6:269–328, 2002

    work page 2002

  17. [17]

    Stipsicz, and Zolt ´an Szab ´o

    Peter Ozsv ´ath, Andr ´as I. Stipsicz, and Zolt ´an Szab ´o. Knots in lattice homology.Comment. Math. Helv., 89(4):783–818, 2014

    work page 2014

  18. [18]

    Absolutely graded floer homologies and intersection forms for four- manifolds with boundary.Advances in Mathematics, 173(2):179–261, 2003

    Peter Ozsv ´ath and Zolt ´an Szab ´o. Absolutely graded floer homologies and intersection forms for four- manifolds with boundary.Advances in Mathematics, 173(2):179–261, 2003

    work page 2003

  19. [19]

    Stipsicz, Zolt ´an Szab ´o, and Jonathan Wahl

    Andr ´as I. Stipsicz, Zolt ´an Szab ´o, and Jonathan Wahl. Rational blowdowns and smoothings of surface singularities.J. Topol., 1(2):477–517, 2008. DEPARTMENT OFMATHEMATICS, METU, ANKARA, TURKEY Email address:bhupal@metu.edu.tr DEPARTMENT OFMATHEMATICS, KOC¸ UNIVERSITY, ISTANBUL, TURKEY Email address:bozbagci@ku.edu.tr

    work page 2008