Every cusp singularity link admits infinitely many strong symplectic fillings
Pith reviewed 2026-07-03 03:04 UTC · model grok-4.3
The pith
Links of cusp singularities admit infinitely many distinct minimal strong symplectic fillings.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
If the link of an isolated complex surface singularity is either a Sol^3-manifold or an SL̃(2,R)-manifold with its canonical contact structure, then it admits infinitely many strong symplectic fillings that are pairwise non-diffeomorphic and not related by a sequence of blow-ups or blow-downs. As a consequence, the link of any cusp singularity, exceptional unimodal singularity, or hyperbolic Brieskorn singularity admits infinitely many pairwise non-diffeomorphic minimal strong symplectic fillings.
What carries the argument
The canonical contact structures on Sol^3-manifolds and SL̃(2,R)-manifolds, which serve as the input for the main theorem that produces the infinite families of fillings.
If this is right
- Cusp singularity links each support infinitely many minimal strong symplectic fillings.
- The fillings remain distinct as smooth 4-manifolds and are not related by blow-ups or blow-downs.
- The same infinitude holds for links of exceptional unimodal singularities and hyperbolic Brieskorn singularities.
- These contact 3-manifolds therefore admit infinite families of symplectic fillings that cannot be reduced to one another by standard operations.
Where Pith is reading between the lines
- The result separates the question of existence of fillings from the question of their uniqueness for a large class of Seifert fibered contact manifolds.
- It raises the possibility that similar infinitude statements hold for other classes of isolated surface singularities whose links carry canonical contact structures.
- One could test whether the fillings produced are distinguished by their intersection forms or by the symplectic areas of their exceptional spheres.
Load-bearing premise
That the links of the singularities in question are Sol^3-manifolds or SL̃(2,R)-manifolds equipped with their canonical contact structures.
What would settle it
A single cusp singularity whose link possesses only finitely many minimal strong symplectic fillings up to diffeomorphism.
read the original abstract
In this paper, we show that if the link of an isolated complex surface singularity is either a $Sol^3$-manifold or an $\widetilde{SL}(2;\mathbb{R})$-manifold with its canonical contact structure, then it admits infinitely many strong symplectic fillings that are pairwise non-diffeomorphic and not related by a sequence of blow-ups or blow-downs. As a consequence, the link of any cusp singularity, exceptional unimodal singularity, or hyperbolic Brieskorn singularity admits infinitely many pairwise non-diffeomorphic minimal strong symplectic fillings.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves that if the link of an isolated complex surface singularity is a Sol³-manifold or an ilde{SL}(2,ℝ)-manifold equipped with its canonical contact structure, then the link admits infinitely many pairwise non-diffeomorphic strong symplectic fillings that are not related by sequences of blow-ups or blow-downs. As a consequence, the links of any cusp singularity, exceptional unimodal singularity, or hyperbolic Brieskorn singularity admit infinitely many pairwise non-diffeomorphic minimal strong symplectic fillings.
Significance. If the geometric and contact identifications hold, the result would provide a substantial collection of new examples of contact 3-manifolds with infinitely many distinct minimal strong symplectic fillings, a property that is known to be rare. The main theorem appears to give a uniform mechanism applicable to several classes of singularity links once the hypotheses are verified.
major comments (1)
- [Abstract (consequence paragraph) and any application section] The consequence for cusp singularities (and the listed exceptional cases) is obtained by applying the main theorem, which requires that these links are Sol³- or ilde{SL}(2,ℝ)-manifolds with canonical contact structures. The manuscript must supply an explicit reference, citation, or self-contained verification that the contact structure induced by the singularity coincides with the canonical one; without this step the advertised consequence for cusp singularity links does not follow from the main result.
Simulated Author's Rebuttal
We thank the referee for the careful reading and the constructive comment on clarifying the application to singularity links. We respond point-by-point to the major comment below.
read point-by-point responses
-
Referee: [Abstract (consequence paragraph) and any application section] The consequence for cusp singularities (and the listed exceptional cases) is obtained by applying the main theorem, which requires that these links are Sol³- or ilde{SL}(2,ℝ)-manifolds with canonical contact structures. The manuscript must supply an explicit reference, citation, or self-contained verification that the contact structure induced by the singularity coincides with the canonical one; without this step the advertised consequence for cusp singularity links does not follow from the main result.
Authors: We agree that the consequence paragraph relies on the contact structure identification and that an explicit reference or verification is required for rigor. The contact structure on the link of an isolated complex surface singularity is the one induced by the complex structure, which is known to coincide with the canonical contact structure on the Sol³ or ilde{SL}(2,ℝ) manifold for the listed classes. To address this, we will add a brief paragraph (with citations to the relevant singularity theory and contact geometry literature) in the introduction and revise the consequence statement in the abstract to make the identification explicit. revision: yes
Circularity Check
No circularity; main theorem is conditional and consequence relies on independent geometric identification of singularity links
full rationale
The paper states a conditional theorem applying to Sol^3 or tilde SL(2,R) manifolds with canonical contact structures, then notes a consequence for cusp singularities etc. The derivation chain does not reduce any prediction or result to its own inputs by definition, fitting, or self-citation load-bearing; the identification of cusp links as satisfying the hypotheses is treated as a separate (presumably cited or proven) fact rather than smuggled in or renamed. No quoted step exhibits the forbidden patterns of self-definition or fitted inputs called predictions. This is the normal self-contained case for a theorem-plus-application paper.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
V . I. Arnol’d, S. M. Guse ˘in-Zade, and A. N. Varchenko,Singularities of differentiable maps. Vol. I, Monographs in Mathematics, vol. 82, Birkh¨auser Boston, Inc., Boston, MA, 1985, The classification of critical points, caustics and wave fronts, Translated from the Russian by Ian Porteous and Mark Reynolds. MR 777682
1985
-
[2]
˙Inan¸c Baykur, Andr´as N ´emethi, and Olga Plamenevskaya,Stein fillings vs
R. ˙Inan¸c Baykur, Andr´as N ´emethi, and Olga Plamenevskaya,Stein fillings vs. milnor fibers, arXiv preprint arXiv:2403.12216 (2024)
-
[3]
Fan Ding and Hansj ¨org Geiges,A Legendrian surgery presentation of contact 3-manifolds, Math. Proc. Cambridge Philos. Soc.136(2004), no. 3, 583–598. MR 2055048
2004
-
[4]
I. V . Dolgachev,Automorphic forms, and quasihomogeneous singularities, Funkcional. Anal. i Priloˇzen.9(1975), no. 2, 67–68. MR 568895
1975
-
[5]
Dolgachev,On the link space of a Gorenstein quasihomogeneous surface singularity, Math
Igor V . Dolgachev,On the link space of a Gorenstein quasihomogeneous surface singularity, Math. Ann.265(1983), no. 4, 529–540. MR 721886
1983
-
[6]
Ehlers, W
F. Ehlers, W. D. Neumann, and J. Scherk,Links of surface singularities and CR space forms, Comment. Math. Helv.62(1987), no. 2, 240–264. MR 896096
1987
-
[7]
Tobias Ekholm, Ko Honda, and Tam ´as K ´alm´an,Legendrian knots and exact Lagrangian cobordisms, J. Eur. Math. Soc.18(2016), no. 11, 2627–2689. MR 3562353 14 N KASUYA AND T OBA
2016
-
[8]
Etnyre and Ko Honda,On symplectic cobordisms, Math
John B. Etnyre and Ko Honda,On symplectic cobordisms, Math. Ann.323(2002), no. 1, 31–39. MR 1906906
2002
-
[9]
Gay,Explicit concave fillings of contact three-manifolds, Math
David T. Gay,Explicit concave fillings of contact three-manifolds, Math. Proc. Cambridge Philos. Soc.133(2002), no. 3, 431–441. MR 1919715
2002
-
[10]
London Math
Hansj ¨org Geiges,Examples of symplectic4-manifolds with disconnected boundary of contact type, Bull. London Math. Soc.27(1995), no. 3, 278–280. MR 1328705
1995
-
[11]
Hansj ¨org Geiges and Kai Zehmisch,Symplectic fillings of unit cotangent bundles of hyper- bolic surfaces, Israel J. Math. (2025), 1–14
2025
-
[12]
Gompf,A new construction of symplectic manifolds, Ann
Robert E. Gompf,A new construction of symplectic manifolds, Ann. of Math. (2)142(1995), no. 3, 527–595. MR 1356781
1995
-
[13]
Friedrich E. P . Hirzebruch,Hilbert modular surfaces, Enseign. Math. (2)19(1973), 183–
1973
-
[14]
Sym- pos
Ulrich Karras,Deformations of cusp singularities, Several complex variables (Proc. Sym- pos. Pure Math., Vol. XXX, Part 1, Williams Coll., Williamstown, Mass., 1975), Proc. Sympos. Pure Math., vol. Vol. XXX, Part 1, Amer. Math. Soc., Providence, RI, 1977, pp. 37–44. MR 472811
1975
-
[15]
Math.37(2014), no
Naohiko Kasuya,The canonical contact structure on the link of a cusp singularity, Tokyo J. Math.37(2014), no. 1, 1–20. MR 3238328
2014
-
[16]
Laufer,Taut two-dimensional singularities, Math
Henry B. Laufer,Taut two-dimensional singularities, Math. Ann.205(1973), 131–164. MR 333238
1973
-
[17]
,On minimally elliptic singularities, Amer. J. Math.99(1977), no. 6, 1257–1295. MR 568898
1977
-
[18]
Lisca and G
P . Lisca and G. Mati´c,Tight contact structures and Seiberg-Witten invariants, Invent. Math. 129(1997), no. 3, 509–525. MR 1465333
1997
-
[19]
Math.103(1991), no
Dusa McDuff,Symplectic manifolds with contact type boundaries, Invent. Math.103(1991), no. 3, 651–671. MR 1091622
1991
-
[20]
John Milnor,On the3-dimensional Brieskorn manifoldsM(p, q, r), Knots, groups, and3- manifolds (Papers dedicated to the memory of R. H. Fox), Ann. of Math. Stud., vol. No. 84, Princeton Univ. Press, Princeton, NJ, 1975, pp. 175–225. MR 418127
1975
-
[21]
Montpellier II, Montpellier, 1995, pp
Yoshihiko Mitsumatsu,Anosov flows and non-Stein symplectic manifolds, S ´eminaire Gas- ton Darboux de G ´eom´etrie et Topologie Diff´erentielle, 1994–1995 (Montpellier), Univ. Montpellier II, Montpellier, 1995, pp. iii, 31–42. MR 1343776
1994
-
[22]
Neumann,A calculus for plumbing applied to the topology of complex surface singularities and degenerating complex curves, Trans
Walter D. Neumann,A calculus for plumbing applied to the topology of complex surface singularities and degenerating complex curves, Trans. Amer. Math. Soc.268(1981), no. 2, 299–344. MR 632532
1981
-
[23]
,Geometry of quasihomogeneous surface singularities, Singularities, Part 2 (Arcata, Calif., 1981), Proc. Sympos. Pure Math., vol. 40, Amer. Math. Soc., Providence, RI, 1983, pp. 245–258. MR 713253
1981
-
[24]
Reine Angew
Hiroshi Ohta and Kaoru Ono,Symplectic fillings of the link of simple elliptic singularities, J. Reine Angew. Math.565(2003), 183–205. MR 2024651
2003
-
[25]
Differential Geom.69(2005), no
,Simple singularities and symplectic fillings, J. Differential Geom.69(2005), no. 1, 1–42. MR 2169581
2005
-
[26]
Fixed Point Theory Appl.3(2008), no
,Examples of isolated surface singularities whose links have infinitely many symplectic fillings, J. Fixed Point Theory Appl.3(2008), no. 1, 51–56. MR 2402907
2008
-
[27]
Vasquez,3-manifolds whose universal coverings are Lie groups, Topology Appl.12(1981), no
Frank Raymond and Alphonse T. Vasquez,3-manifolds whose universal coverings are Lie groups, Topology Appl.12(1981), no. 2, 161–179. MR 612013
1981
-
[28]
Math.23(1974), 289–325
Kyoji Saito,Einfach-elliptische Singularit¨ aten, Invent. Math.23(1974), 289–325. MR 354669
1974
-
[29]
241, Birkh¨auser Verlag, Basel, 2006
Jos ´e Seade,On the topology of isolated singularities in analytic spaces, Progress in Mathe- matics, vol. 241, Birkh¨auser Verlag, Basel, 2006. MR 2186327 INFINITELY MANY SYMPLECTIC FILLINGS 15 DEPARTMENT OFMATHEMATICS, FACULTY OFSCIENCE, HOKKAIDOUNIVERSITY, NORTH 10, WEST8, KITA-KU, SAPPORO, HOKKAIDO060-0810, JAPAN. Email address:nkasuya@math.sci.hokuda...
2006
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.