pith. machine review for the scientific record. sign in

arxiv: 2604.28162 · v1 · submitted 2026-04-30 · 🧮 math.GT · math.SG

Recognition: unknown

Heegaard Floer homology and maximal twisting numbers

Alberto Cavallo, Irena Matkovi\v{c}

Pith reviewed 2026-05-07 06:11 UTC · model grok-4.3

classification 🧮 math.GT math.SG
keywords Heegaard Floer homologytight contact structuresSeifert fibered spacestwisting numberscontact invariantssymplectic fillabilityStein fillabilitystar-shaped graphs
0
0 comments X

The pith

Negative-twisting tight contact structures on Seifert fibred spaces over the sphere correspond exactly to generators in their filtered Heegaard Floer homology.

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

The paper adapts an existing algorithm for computing Heegaard Floer homology to all star-shaped graphs and uses the resulting filtered groups to label every negative-twisting tight contact structure on any Seifert fibred three-manifold that fibres over the two-sphere. The labelling is given by the contact invariant c⁺ together with the Alexander grading coming from the regular fibre. A reader cares because the correspondence yields a complete list of these structures, shows they are all symplectically fillable, supplies explicit combinatorial counts in terms of the Seifert coefficients, and finishes the classification of fillable structures on small Seifert manifolds.

Core claim

By extending the Ozsváth-Szabó full-path algorithm to every star-shaped graph, the authors produce a bijection between the negative-twisting tight contact structures on a Seifert fibred space over S² and the surviving generators in the associated Heegaard Floer homology equipped with the Alexander filtration induced by the regular fibre. The contact invariant c⁺ distinguishes the structures, every such structure is symplectically fillable, an obstruction to Stein fillability is extended, the total number is given by a closed combinatorial formula in the Seifert coefficients, and the d₃-invariant together with the homotopy type of each structure is read off directly from the correspondence.

What carries the argument

The adapted Ozsváth-Szabó full-path algorithm on star-shaped graphs, which computes the Alexander-filtered Heegaard Floer homology and isolates the contact invariants c⁺ of negative-twisting tight contact structures.

If this is right

  • Every negative-twisting tight contact structure on these manifolds is symplectically fillable.
  • An explicit obstruction to Stein fillability is obtained for certain of the structures.
  • The total number of such structures is given by a combinatorial formula depending only on the Seifert coefficients of the star-shaped graph.
  • The d₃-invariant and homotopy type of each structure are read off directly from the filtered homology class.
  • The classification of fillable contact structures is completed for every small Seifert fibred space.

Where Pith is reading between the lines

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

  • The same filtered correspondence may be usable for other families of contact structures once suitable filtrations are identified.
  • The combinatorial count formula could be turned into an asymptotic estimate for the growth of the number of structures as the Seifert invariants become large.
  • One could check whether analogous filtrations distinguish twisting numbers in other invariants such as embedded contact homology.
  • The explicit fillability results might give new bounds on the number or topology of symplectic fillings for these manifolds.

Load-bearing premise

The full-path algorithm extends without new gaps or obstructions to every star-shaped graph, and the Alexander filtration coming from the regular fibre is strong enough to separate all negative-twisting structures via their contact invariants.

What would settle it

A single negative-twisting tight contact structure on some Seifert fibred space over S² whose contact invariant c⁺ lies outside the set of generators predicted by the adapted full-path computation on the corresponding star-shaped graph.

Figures

Figures reproduced from arXiv: 2604.28162 by Alberto Cavallo, Irena Matkovi\v{c}.

Figure 1
Figure 1. Figure 1: The manifold −Σ(2, 3, 5) which is an L-space, and thus its Heegaard Floer group HF − has vanishing U-torsion. It is important to note that the isomorphism given in the proof is not just an extension of the one in [39, Theorem 1.2], but it required a general version of the link surgery formula in Heegaard Floer. The fact that, once the assumption of the graph being almost-rational is dropped, the equivalenc… view at source ↗
Figure 2
Figure 2. Figure 2: The oppositely oriented Brieskorn sphere −Σ(2, 3, 23) is a manifold of type B. The Stein fillable structures ξi have contact invariant T[Vi] , where Vi = (1, 0, −1, −4, −4 + 2i) for i = 1, 2, 3. The structures in each row of the pyramid have twisting number −5, −11 and −17 respectively. seven graphs in view at source ↗
Figure 3
Figure 3. Figure 3: We call the grey structures casing stones, and the red one pyramidion. If the pyramid appeared in a spin structure then c +(ξ23) and c +(ξ14) would both be self￾conjugate. Proposition 1.13 Let YG be a Seifert fibred space with G indefinite, and ξ be a negative-twisting structure on YG. If tw(YG, ξ) < tw(YG) and c +(ξ) is self-conjugate under J , that is J c +(ξ) = c +(ξ), then ξ is not Stein fillable. Proo… view at source ↗
Figure 4
Figure 4. Figure 4: A plumbing graph representing −Σ(3, 4, 47) = M(−1; 2 3 , 1 4 , 4 47 ) (left), and one representing M(−2; 1 2 , 1 2 , 4 7 , 6 11 ) (right). Let us assume that M = −Σ(3, 4, 47) = M(−1; 2 3 , 1 4 , 4 47 ). Then the possible negative twisting numbers are −7 and −223; in fact, we have that (p1, p2, p3) = (5, 2, 1) and (P1, P2, P3) = (149, 56, 19) ; hence, comparing each ri with pi 7 and Pi 223 for i = 1, 2, 3, … view at source ↗
Figure 5
Figure 5. Figure 5: The standard graph G of Z = M(−1; 1 3 , 1 3 , 1 3 ) (left), and the one of YGe = M(−1; 1 3 , 1 3 , 1 4 ) (right). The framing on the lower vertex can be at most −3; otherwise, the vertex would be inside G′ . is one of the seven in view at source ↗
Figure 6
Figure 6. Figure 6: All the possible standard graphs corresponding to torus bundles over S 1 view at source ↗
Figure 7
Figure 7. Figure 7: The manifold −Y = −Σ(2, 5, 9), corresponding to M(−1; 1 2 , 2 5 , 1 9 ). Comput￾ing the negative twisting numbers yields |tw(−Y )| = 17 > 2, 5, 9 view at source ↗
read the original abstract

We adapt the Ozsv\'ath-Szab\'o full path algorithm to every star-shaped graph and establish a correspondence between negative-twisting tight contact structures on any Seifert fibred space over $S^2$, and its Heegaard Floer homology groups equipped with the Alexander filtration induced by the regular fibre. This provides the complete classification of negative-twisting structures on these manifolds; in particular, we distinguish them by their contact invariant $c^+$. We prove that every such structure is symplectically fillable and extend a known obstruction to Stein fillability. In addition, we show that the number of negative-twisting structures can be expressed combinatorially in terms of the Seifert coefficients of the star-shaped graph, while their $d_3$-invariant and homotopy type are determined explicitly through our correspondence. Our results also complete the classification of fillable structures on any small Seifert fibred space.

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

Summary. The paper adapts the Ozsváth-Szabó full path algorithm to every star-shaped plumbing graph and establishes a bijective correspondence between negative-twisting tight contact structures on Seifert fibered spaces over S² and generators in the Heegaard Floer homology groups equipped with the Alexander filtration induced by the regular fibre. This yields a complete classification of such structures, distinguished by their contact invariant c⁺. The manuscript proves that every such structure is symplectically fillable, extends a known obstruction to Stein fillability, expresses the number of structures combinatorially in terms of the Seifert coefficients, and determines the d₃-invariant and homotopy type explicitly. The results complete the classification of fillable structures on any small Seifert fibered space.

Significance. If the results hold, the work provides a significant advance by giving an explicit, computable classification of negative-twisting tight contact structures on a large class of Seifert fibered 3-manifolds via Heegaard Floer homology. The combinatorial path-counting formulas and the separation of structures by the filtered contact invariant c⁺ supply concrete tools for further study. Strengths include the explicit adaptation of the algorithm to all star-shaped graphs in §§3–5 (reducing to central-vertex weight and leg lengths with no new obstructions), the bijective construction via Legendrian surgery in one direction and the twisting-number formula in the other, and the verification that the resulting counts match all previously known cases for small Seifert manifolds. These features make the classification both verifiable and reproducible.

minor comments (4)
  1. [Introduction] The introduction should recall or cite the precise definition of 'negative-twisting' tight contact structures at the outset, since this notion is central to the main correspondence and classification statements.
  2. [§6] In §6 the explicit determination of d₃-invariants and homotopy types for each structure is claimed; including a short table or list of these values for the small Seifert examples would make the claim easier to verify against prior literature.
  3. [§3] The combinatorial formula for the number of structures in terms of Seifert coefficients is derived from the path count; stating this formula as a numbered theorem with a direct reference to the path-counting cases in §3 would improve readability.
  4. [§5] Notation for the regular fibre class and the induced Alexander grading is used throughout §5; a brief reminder of the grading convention in the first paragraph of that section would help readers track the filtration arguments.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and detailed summary of our manuscript, as well as for highlighting its significance in providing an explicit classification of negative-twisting tight contact structures on Seifert fibered spaces over S² via Heegaard Floer homology. We are pleased that the referee recognizes the adaptation of the Ozsváth-Szabó full path algorithm to star-shaped graphs, the bijective correspondence, the symplectic fillability results, and the combinatorial expressions in terms of Seifert coefficients. The recommendation for minor revision is noted with appreciation.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper adapts the external Ozsváth-Szabó full-path algorithm explicitly in §§3–5 by reducing star-shaped graphs to finite path-counting cases based on central vertex weight and leg lengths, without introducing new relations or obstructions. The correspondence to negative-twisting tight contact structures is constructed bidirectionally (path to structure via Legendrian surgery; structure to path via twisting-number formula), with the contact invariant c⁺ verified to land in distinct Alexander-filtered degrees induced by the regular fibre. Combinatorial counts, d₃-invariants, and homotopy types are obtained directly from Seifert coefficients and valid paths, matching all previously known cases for small Seifert manifolds. No step reduces by the paper's own equations to fitted parameters, self-definitions, or load-bearing self-citations; all central claims rest on explicit combinatorial arguments and external references.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on the established correctness of Heegaard Floer homology and the Ozsváth-Szabó algorithm for the cases previously treated; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption The Ozsváth-Szabó full path algorithm computes the relevant Heegaard Floer homology groups for Seifert fibered spaces presented by star-shaped graphs.
    The paper adapts this algorithm to all such graphs, so its prior validity is presupposed.
  • domain assumption The contact invariant c⁺ in filtered Heegaard Floer homology distinguishes negative-twisting tight contact structures on these manifolds.
    The classification and distinction of structures rely on this property.

pith-pipeline@v0.9.0 · 5456 in / 1659 out tokens · 115116 ms · 2026-05-07T06:11:43.623403+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Brieskorn spheres and rational homology ball symplectic fillings

    math.GT 2026-05 unverdicted novelty 7.0

    Brieskorn spheres Σ(a1,...,an) obstruct rational homology ball symplectic fillings for any contact structure on -Y when n=3 or without half convex Giroux torsion for n>3, with limited exceptions for Milnor fillable ca...

Reference graph

Works this paper leans on

55 extracted references · 6 canonical work pages · cited by 1 Pith paper

  1. [1]

    Alfieri,Deformations of lattice cohomology and the upsilon invariant, arxiv:2010.07511

    A. Alfieri,Deformations of lattice cohomology and the upsilon invariant, arxiv:2010.07511

    work page arXiv 2010

  2. [2]

    Alfieri and A

    A. Alfieri and A. Cavallo,Holomorphic curves in Stein domains and the tau-invariant, arXiv:2310.08657

    work page arXiv

  3. [3]

    Baker, J

    K. Baker, J. Etnyre and J. Van Horn-Morris,Cabling, contact structures and mapping class monoids, J. Differ. Geom.,90(2012), no. 1, pp. 1–80

    2012

  4. [4]

    Bodnár and O

    J. Bodnár and O. Plamenevskaya,Heegaard Floer invariants of contact structures on links of surface singular- ities, Quantum Topol.,12(2021), no. 3, pp. 411–437. 57

    2021

  5. [5]

    Borodzik, B

    M. Borodzik, B. Liu and I. Zemke,Lattice homology, formality, and plumbedL-space links, J. Eur. Math. Soc., (2024)

    2024

  6. [6]

    Bowden,Contact structures, deformations and taut foliations, Geom

    J. Bowden,Contact structures, deformations and taut foliations, Geom. Topol.,20(2016), no. 2, pp. 697–746

    2016

  7. [7]

    Cavallo,On Bennequin-type inequalities for links in tight contact3-manifolds, J

    A. Cavallo,On Bennequin-type inequalities for links in tight contact3-manifolds, J. Knot Theory Ramications, 29 (2020), no. 8, 2050055

    2020

  8. [8]

    Cavallo and I

    A. Cavallo and I. Matkovič,Fillable structures on negative-definite Seifert fibred spaces, in preparation

  9. [9]

    Christian and M

    A. Christian and M. Menke,A JSJ-type decomposition theorem for symplectic fillings, arXiv:1807.03420

    work page arXiv

  10. [10]

    Colin,Chirurgies d’indice un et isotopies de sphéres dans les variétés de contact tendues, C

    V. Colin,Chirurgies d’indice un et isotopies de sphéres dans les variétés de contact tendues, C. R. Acad. Sci. Paris Sér. I Math.,324(1997), pp. 659–663

    1997

  11. [11]

    Dai and C

    I. Dai and C. Manolescu,Involutive Heegaard Floer homology and plumbed three-manifolds, J. Inst. Math. Jussieu,18(2019), no. 6, pp. 1115–1155

    2019

  12. [12]

    Ding and H

    F. Ding and H. Geiges,Symplectic fillability of tight contact structures on torus bundles, Algebr. Geom. Topol., 1(2001), pp. 153–172

    2001

  13. [13]

    Eliashberg,A few remarks about symplectic filling, Geom

    Y. Eliashberg,A few remarks about symplectic filling, Geom. Topol.8(2004), pp. 277–293

    2004

  14. [14]

    Etnyre and M

    J. Etnyre and M. Golla,Symplectic hats, J. Topol.,15(2022), no. 4, pp. 2216–2269

    2022

  15. [15]

    Etnyre and K

    J. Etnyre and K. Honda,On the nonexistence of tight contact structures, Ann. Math. (2),153(2001), no. 3, pp. 749–766

    2001

  16. [16]

    Etnyre and N

    J. Etnyre and N. Sağlam,Surgeries on the trefoil and symplectic fillings, arXiv:2308.00068

    work page arXiv

  17. [17]

    Fintushel and R

    R. Fintushel and R. Stern,Immersed spheres in4-manifolds and the immersed Thom conjecture, Turkish J. Math.,19(1995), pp. 145–157

    1995

  18. [18]

    Ghiggini,Strongly fillable contact3-manifolds without Stein fillings, Geom

    P. Ghiggini,Strongly fillable contact3-manifolds without Stein fillings, Geom. Topol.,9(2005), pp. 1677–1687

    2005

  19. [19]

    Ghiggini,Ozsváth-Szabó invariants and fillability of contact structures, Math

    P. Ghiggini,Ozsváth-Szabó invariants and fillability of contact structures, Math. Z.,253(2006), no. 1, pp. 159–175

    2006

  20. [20]

    Ghiggini,On tight contact structures with negative maximal twisting number on small Seifert manifolds, Algebr

    P. Ghiggini,On tight contact structures with negative maximal twisting number on small Seifert manifolds, Algebr. Geom. Topol.,8(2008), no. 1, pp. 381–396

    2008

  21. [21]

    Ghiggini, P

    P. Ghiggini, P. Lisca and A. Stipsicz,Classification of tight contact structures on small Seifert3-manifolds withe 0 ⩾0, Proc. Am. Math. Soc.,134(2006), no. 3, pp. 909–916

    2006

  22. [22]

    Ghiggini and J

    P. Ghiggini and J. Van Horn-Morris,Tight contact structures on the Brieskorn spheres−Σ(2,3,6n−1)and contact invariants, J. Reine Angew. Math.,718(2016), pp. 1–24

    2016

  23. [23]

    Hatcher,Notes on basic of3-manifold topology, Available athttp://pi.math.cornell.edu/~hatcher/3M/ 3Mdownloads.html

    A. Hatcher,Notes on basic of3-manifold topology, Available athttp://pi.math.cornell.edu/~hatcher/3M/ 3Mdownloads.html

  24. [24]

    Hedden,An Ozsváth-Szabó Floer homology invariant of knots in a contact manifold, Adv

    M. Hedden,An Ozsváth-Szabó Floer homology invariant of knots in a contact manifold, Adv. Math.,219 (2008) no. 1 pp. 89–117

    2008

  25. [25]

    Hedden and K

    M. Hedden and K. Raoux,Knot Floer homology and relative adjunction inequalities, Selecta Math. (N.S.),29 (2023), no. 1, 48 pp

    2023

  26. [26]

    Honda,On the classification of tight contact structures I., Geom

    K. Honda,On the classification of tight contact structures I., Geom. Topol.,4(2000), pp. 309–368

    2000

  27. [27]

    Honda,On the classification of tight contact structures II., J

    K. Honda,On the classification of tight contact structures II., J. Differential Geom.,55(2000), pp. 83–143

    2000

  28. [28]

    Lisca and G

    P. Lisca and G. Matić,Tight contact structures and Seiberg-Witten invariants, Invent. Math.,129(1997), pp. 509–525

    1997

  29. [29]

    Lisca and G

    P. Lisca and G. Matić,Transverse contact structures on Seifert3-manifolds, Algebr. Geom. Topol.,4(2004), pp. 1125–1144

    2004

  30. [30]

    Lisca and A

    P. Lisca and A. Stipsicz,Ozsváth-Szabó invariants and tight contact3-manifolds III, J. Symplectic Geom.,5 (2007), no. 4, pp. 357–384

    2007

  31. [31]

    Massot,Geodesible contact structures on3-manifolds, Geom

    P. Massot,Geodesible contact structures on3-manifolds, Geom. Topol.,12(2008), no. 3, pp. 1729–1776

    2008

  32. [32]

    Matkovič,Fillability of small Seifert fibered spaces, Math

    I. Matkovič,Fillability of small Seifert fibered spaces, Math. Proc. Camb. Philos. Soc.,174(2023), no. 3, pp. 585–604

    2023

  33. [33]

    Min,Strongly fillable contact structures without Liouville fillings, arXiv:2205.09912

    H. Min,Strongly fillable contact structures without Liouville fillings, arXiv:2205.09912

    work page arXiv

  34. [34]

    Némethi,On the Ozsváth-Szabó invariant of negative definite plumbed3-manifolds, Geom

    A. Némethi,On the Ozsváth-Szabó invariant of negative definite plumbed3-manifolds, Geom. Topol.,9(2005), pp. 991–1042

    2005

  35. [35]

    Niven, H

    I. Niven, H. Zuckerman and H. Montgomery,An introduction to the theory of numbers, New York etc.: John Wiley & Sons, Inc.. xiii, 529 pp. (1991)

    1991

  36. [36]

    Ozsváth, A

    P. Ozsváth, A. Stipsicz and Z. Szabó,Knots in lattice homology, Comment. Math. Helv.,89(2014), no. 4, pp. 783–818

    2014

  37. [37]

    Ozsváth and Z

    P. Ozsváth and Z. Szabó,The symplectic Thom conjecture, Ann. Math. (2),151(2000), no. 1, pp. 93–124

    2000

  38. [38]

    Ozsváth and Z

    P. Ozsváth and Z. Szabó,Absolutely graded Floer homologies and intersection forms for four-manifolds with boundary, Adv. Math.,173(2003), pp. 179–261

    2003

  39. [39]

    Ozsváth and Z

    P. Ozsváth and Z. Szabó,On the Floer homology of plumbed three-manifolds, Geom. Topol.,7(2003), no. 1, pp. 185–224. 58

    2003

  40. [40]

    Ozsváth and Z

    P. Ozsváth and Z. Szabó,Knot Floer homology and the four-ball genus, Geom. Topol.,7(2003), pp. 615–639

    2003

  41. [41]

    Ozsváth and Z

    P. Ozsváth and Z. Szabó,Holomorphic disks and three-manifold invariants: properties and applications, Ann. of Math. (2),159(2004), no. 3, pp. 1159–1245

    2004

  42. [42]

    Ozsváth and Z

    P. Ozsváth and Z. Szabó,Holomorphic triangle invariants and the topology of symplectic four-manifolds, Duke Math. J.,121(2004), no. 1, pp. 1–34

    2004

  43. [43]

    Ozsváth and Z

    P. Ozsváth and Z. Szabó,Holomorphic disks and genus bounds, Geom. Topol.,8(2004), pp. 311–334

    2004

  44. [44]

    Ozsváth and Z

    P. Ozsváth and Z. Szabó,Heegaard Floer homology and contact structures, Duke Math. J.,129(2005), no. 1, pp. 39–61

    2005

  45. [45]

    Ozsváth and Z

    P. Ozsváth and Z. Szabó,Holomorphic triangles and invariants for smooth four-manifolds, Adv. Math.,202 (2006), no. 2, pp. 326–400

    2006

  46. [46]

    Ozsváth and Z

    P. Ozsváth and Z. Szabó,Holomorphic disks, link invariants and the multi-variable Alexander polynomial, Algebr. Geom. Topol.,8(2008), no. 2, pp. 615–692

    2008

  47. [47]

    Pichon and J

    A. Pichon and J. Seade,Fibred multilinks and singularitiesfg, Math. Ann.,342(2008), no. 3, pp. 487–514

    2008

  48. [48]

    Plamenevskaya,Contact structures with distinct Heegaard Floer invariants, Mathematical Research Letters, 11(2004), pp

    O. Plamenevskaya,Contact structures with distinct Heegaard Floer invariants, Mathematical Research Letters, 11(2004), pp. 547–561

    2004

  49. [49]

    Rustamov,On Heegaard Floer homology of plumbed three-manifolds withb1 = 1, arXiv:math/0405118

    R. Rustamov,On Heegaard Floer homology of plumbed three-manifolds withb1 = 1, arXiv:math/0405118

    work page arXiv

  50. [50]

    Saveliev,Invariants for homology3-spheres, Encyclopaedia of Mathematical Sciences 140

    N. Saveliev,Invariants for homology3-spheres, Encyclopaedia of Mathematical Sciences 140. Low-Dimensional Topology 1. Berlin: Springer

  51. [51]

    Tosun,Tight small Seifert fibered manifolds withe 0 =−2, Algebr

    B. Tosun,Tight small Seifert fibered manifolds withe 0 =−2, Algebr. Geom. Topol.,20(2020), no. 1, pp. 1–27

    2020

  52. [52]

    Van Horn-Morris,Constructions of open book decompositions, Ph

    J. Van Horn-Morris,Constructions of open book decompositions, Ph. D. dissertation, University of Texas at Austin, 2007

    2007

  53. [53]

    Wan,Tight contact structures on some families of small Seifert fiber spaces, Acta Math

    S. Wan,Tight contact structures on some families of small Seifert fiber spaces, Acta Math. Hung.,173(2024), no. 1, pp. 286–296

    2024

  54. [54]

    Wu,Legendrian vertical circles in small Seifert spaces, Commun

    H. Wu,Legendrian vertical circles in small Seifert spaces, Commun. Contemp. Math.,8(2006), pp. 219–246

    2006

  55. [55]

    Zemke,The equivalence of lattice and Heegaard Floer homology, Duke Math

    I. Zemke,The equivalence of lattice and Heegaard Floer homology, Duke Math. J.,174(2025), no. 5, pp. 857–910. HUN-REN Alfréd Rényi Insitute of Mathematics, Budapest 1053, Hungary Email address:acavallo@impan.pl Uppsala Universitet, Uppsala 751 06, Sweden Email address:irma6504@student.uu.se

    2025