On contact type hypersurfaces in 4-space
Pith reviewed 2026-05-24 14:14 UTC · model grok-4.3
The pith
No Brieskorn homology sphere admits a contact type embedding in R^4
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Using an obstruction derived from Heegaard Floer homology, we prove that no Brieskorn homology sphere admits a contact type embedding in R^4. This has implications for conjectures of Gompf and Kollár and shows in particular that no rationally convex domain in C^2 has boundary diffeomorphic to a Brieskorn sphere. We also construct infinitely many examples of contact three-manifolds that bound Stein domains but not symplectically convex ones in the standard symplectic structure on C^2.
What carries the argument
Heegaard Floer homology obstruction applied to contact type hypersurfaces in R^4
If this is right
- No Brieskorn homology sphere bounds a rationally convex domain in C^2.
- Infinitely many contact 3-manifolds bound Stein domains but not symplectically convex domains in C^2.
- Stein domains in C^2 exist that cannot be realized as Weinstein domains with respect to the ambient symplectic structure while keeping the boundary contact structure.
Where Pith is reading between the lines
- The separation between Stein and Weinstein structures may indicate deeper differences in how fillings interact with ambient symplectic forms.
- Obstructions of this type could extend to other families of 3-manifolds with nontrivial Floer homology.
- Such results might help classify which contact manifolds can appear in convex position in higher-dimensional symplectic spaces.
Load-bearing premise
The Heegaard Floer homology obstruction for contact structures extends to contact type embeddings in the standard symplectic R^4.
What would settle it
An explicit example of a Brieskorn homology sphere realized as a contact type hypersurface in R^4 would falsify the claim.
read the original abstract
We consider constraints on the topology of closed 3-manifolds that can arise as hypersurfaces of contact type in standard symplectic $R^4$. Using an obstruction derived from Heegaard Floer homology we prove that no Brieskorn homology sphere admits a contact type embedding in $R^4$, a result that has bearing on conjectures of Gompf and Koll\'ar. This implies in particular that no rationally convex domain in $C^2$ has boundary diffeomorphic to a Brieskorn sphere. We also give infinitely many examples of contact 3-manifolds that bound Stein domains but not symplectically convex ones; in particular we find Stein domains in $C^2$ that cannot be made Weinstein with respect to the ambient symplectic structure while preserving the contact structure on their boundaries.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that no Brieskorn homology sphere admits a contact-type embedding into standard symplectic R^4 by deriving an obstruction from Heegaard Floer homology; this yields consequences for conjectures of Gompf and Kollár, shows that no rationally convex domain in C^2 has boundary diffeomorphic to a Brieskorn sphere, and produces infinitely many contact 3-manifolds that bound Stein domains but not symplectically convex ones in the ambient structure.
Significance. If the central claim holds, the result supplies a concrete topological constraint on contact-type hypersurfaces in R^4 and separates Stein-fillable structures from those that can be realized as Weinstein domains with respect to the standard symplectic form on C^2. The argument draws on externally established properties of Heegaard Floer homology rather than ad-hoc normalizations.
major comments (1)
- [Abstract and §1] Abstract and §1: the central claim requires that every contact structure induced by a contact-type embedding of a Brieskorn sphere into (R^4, ω_std) satisfies the HF vanishing condition used in the obstruction. The manuscript states that an obstruction is 'derived from' HF and then applied, but does not explicitly confirm that the outward-pointing Liouville condition with respect to ω_std forces the induced ξ into the obstructed class; this compatibility step is load-bearing for the embedding result.
Simulated Author's Rebuttal
We thank the referee for their careful reading and constructive comments on our manuscript. We address the single major comment below.
read point-by-point responses
-
Referee: [Abstract and §1] Abstract and §1: the central claim requires that every contact structure induced by a contact-type embedding of a Brieskorn sphere into (R^4, ω_std) satisfies the HF vanishing condition used in the obstruction. The manuscript states that an obstruction is 'derived from' HF and then applied, but does not explicitly confirm that the outward-pointing Liouville condition with respect to ω_std forces the induced ξ into the obstructed class; this compatibility step is load-bearing for the embedding result.
Authors: We agree that the manuscript would benefit from an explicit statement of this compatibility. The obstruction derived from Heegaard Floer homology is formulated for contact structures on Brieskorn spheres that arise precisely as the boundaries of contact-type hypersurfaces in (R^4, ω_std); the outward-pointing Liouville vector field is part of the definition of contact type and ensures the induced ξ belongs to the class where the HF vanishing applies. Nevertheless, to make the logical step fully transparent, we will insert a short clarifying paragraph in §1 (and update the abstract if needed) that recalls how the Liouville condition places the contact structure in the obstructed class. This is a minor expository revision. revision: yes
Circularity Check
No circularity; derivation applies external HF obstruction to embeddings
full rationale
The paper derives its main result by applying a pre-existing obstruction from Heegaard Floer homology (an independent theory developed by Ozsváth-Szabó) to the induced contact structures on Brieskorn spheres arising from contact-type embeddings in (R^4, ω_std). The abstract and description indicate no self-definitional steps, no fitted parameters renamed as predictions, and no load-bearing self-citations; the passage from embedding to HF vanishing condition rests on standard properties of contact invariants rather than any reduction internal to the paper's own inputs or equations.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Heegaard Floer homology provides an obstruction to the existence of certain contact structures or embeddings
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Using an obstruction derived from Heegaard Floer homology we prove that no Brieskorn homology sphere admits a contact type embedding in R^4
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
-
[1]
Selman Akbulut, A fake compact contractible 4-manifold, Journal of Differential Geometry 33 (1991), no. 2, 335–356
work page 1991
-
[2]
Press, Somerville, MA, 2012, pp
Selman Akbulut and C ¸ a˘grı Karakurt, Action of the cork twist on Floer homology , Proceedings of the G ¨okova Geometry-Topology Conference 2011, Int. Press, Somerville, MA, 2012, pp. 42–52. MR 3076042
work page 2011
- [3]
-
[4]
Press, Somerville, MA, 2018, pp
Weimin Chen, Contact splitting of symplectic Q-homology CP2, Proceedings of the G ¨okova Geometry-Topology Conference 2017, Int. Press, Somerville, MA, 2018, pp. 53–72. MR 3838085
work page 2017
-
[5]
K. Cieliebak and Y. Eliashberg, From Stein to Weinstein and Back – Symplectic Geometry of Affine Complex Manifolds, Colloquium Publications, vol. 59, Amer. Math. Soc., 2012
work page 2012
-
[6]
Kai Cieliebak and Yakov Eliashberg, The topology of rationally and polynomially convex domains , Invent. Math. 199 (2015), no. 1, 215–238. MR 3294960
work page 2015
-
[7]
HF = ECH via open book decompositions: a summary
Vincent Colin, Paolo Ghiggini, and Ko Honda, HF = ECH via open book decompositions: a summary , arXiv:1103.1290. 30 THOMAS E. MARK AND B ¨ULENT TOSUN
work page internal anchor Pith review Pith/arXiv arXiv
-
[8]
Vincent Colin, Paolo Ghiggini, and Ko Honda, The equivalence of Heegaard Floer homology and embedded contact homology III: from hat to plus, arXiv:1208.1526
work page internal anchor Pith review Pith/arXiv arXiv
-
[9]
Vincent Colin, Ko Honda, and Paolo Ghiggini, The equivalence of Heegaard Floer homology and embedded contact homology, arxiv:1208.1074, arXiv:1208.1077, arXiv:1208.1526
work page internal anchor Pith review Pith/arXiv arXiv
- [10]
-
[11]
S. K. Donaldson, An application of gauge theory to four-dimensional topology , J. Differential Geom. 18 (1983), no. 2, 279–315. MR 710056
work page 1983
-
[12]
Julien Duval and Nessim Sibony, Polynomial convexity, rational convexity, and currents , Duke Math. J. 79 (1995), no. 2, 487–513. MR 1344768
work page 1995
-
[13]
Mariano Echeverria, Naturality of the contact invariant in monopole Floer homology under strong symplectic cobordisms, Algebr. Geom. Topol.20 (2020), 1795–1875
work page 2020
-
[14]
Yakov Eliashberg, Filling by holomorphic discs and its applications , Geometry of low-dimensional manifolds, 2 (Durham, 1989), London Math. Soc. Lecture Note Ser., vol. 151, Cambridge Univ. Press, Cambridge, 1990, pp. 45–
work page 1989
-
[15]
Yakov Eliashberg, Topological Characterization of Stein Manifolds of Dimension> 2, Internat. J. Math. 1 (1990), no. 1, 29–46. MR 1044658 (91k:32012)
work page 1990
-
[16]
D. B. A. Epstein, Embedding punctured manifolds, Proc. Amer. Math. Soc. 16 (1965), 175–176. MR 208606
work page 1965
-
[17]
Etnyre, Planar Open Book Decompositions and Contact Structures, IMRN 79 (2004), 4255–4267
John B. Etnyre, Planar Open Book Decompositions and Contact Structures, IMRN 79 (2004), 4255–4267
work page 2004
-
[18]
Etnyre and Ko Honda, On the nonexistence of tight contact structures , Ann
John B. Etnyre and Ko Honda, On the nonexistence of tight contact structures , Ann. of Math. (2) 153 (2001), no. 3, 749–766. MR 1836287
work page 2001
-
[19]
Stern, O(2) actions on the 5-sphere , Invent
Ronald Fintushel and Ronald J. Stern, O(2) actions on the 5-sphere , Invent. Math. 87 (1987), no. 3, 457–476. MR 874031
work page 1987
-
[20]
, Instanton homology of Seifert fibred homology three spheres , Proc. London Math. Soc. (3) 61 (1990), no. 1, 109–137. MR 1051101
work page 1990
-
[21]
Mikio Furuta, Homology cobordism group of homology 3-spheres, Invent. Math. 100 (1990), no. 2, 339–355. MR 1047138
work page 1990
-
[22]
Hansj ¨org Geiges, Examples of symplectic 4-manifolds with disconnected boundary of contact type, Bull. London Math. Soc. 27 (1995), no. 3, 278–280. MR 1328705
work page 1995
-
[23]
Paolo Ghiggini, Ozsv´ ath-Szab´ o invariants and fillability of contact structures, Math. Z. 253 (2006), no. 1, 159–175. MR 2206641
work page 2006
-
[24]
, On tight contact structures with negative maximal twisting number on small Seifert manifolds , Algebr. Geom. Topol. 8 (2008), no. 1, 381–396. MR 2443233
work page 2008
-
[25]
Paolo Ghiggini and Stephan Sch ¨onenberger, On the classification of tight contact structures, Topology and geometry of manifolds (Athens, GA, 2001), Proc. Sympos. Pure Math., vol. 71, Amer. Math. Soc., Providence, RI, 2003, pp. 121–151. MR 2024633
work page 2001
-
[26]
Gompf, Handlebody Construction of Stein Surfaces, Ann
Robert E. Gompf, Handlebody Construction of Stein Surfaces, Ann. Math. 148 (1998), 619–693
work page 1998
-
[27]
, Smooth embeddings with Stein surface images, J. Topol. 6 (2013), no. 4, 915–944. MR 3145144
work page 2013
-
[28]
Robert E. Gompf and Andr ´as I. Stipsicz, 4-manifolds and Kirby calculus, Graduate Studies in Mathematics, vol. 20, American Mathematical Society, Providence, RI, 1999. MR 1707327
work page 1999
-
[29]
C. McA. Gordon, Ribbon concordance of knots in the 3-sphere, Math. Ann. 257 (1981), no. 2, 157–170. MR 634459
work page 1981
-
[30]
Gromov, Pseudo holomorphic curves in symplectic manifolds, Invent
M. Gromov, Pseudo holomorphic curves in symplectic manifolds, Invent. Math. 82 (1985), no. 2, 307–347. MR 809718
work page 1985
-
[31]
Matthew Hedden, An Ozsv´ ath-Szab´ o Floer homology invariant of knots in a contact manifold, Adv. Math. 219 (2008), no. 1, 89–117. MR 2435421
work page 2008
-
[32]
Ko Honda, On the Classification of Tight Contact Structures I, Geom. Topol. 4 (2000), 309–368
work page 2000
-
[33]
Ahmad Issa and Duncan McCoy, Smoothly embedding Seifert fibered spaces inS4, Preprint, arxiv:1810.04770, 2018
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[34]
Andr ´as Juh´asz, Dylan Thurston, and Ian Zemke, Naturality and mapping class groups in Heegaard Floer homology , To appear in Mem. AMS
-
[35]
C ¸ a˘grı Karakurt, Takahiro Oba, and Takuya Ukida, Planar Lefschetz fibrations and Stein structures with distinct Ozsv´ ath-Szab´ o invariants on corks, Topology Appl. 221 (2017), 630–637. MR 3624490
work page 2017
-
[36]
J ´anos Koll´ar, Is there a topological Bogomolov-Miyaoka-Yau inequality?, Pure Appl. Math. Q. 4 (2008), no. 2, Special Issue: In honor of Fedor Bogomolov. Part 1, 203–236. MR 2400877 ON CONTACT TYPE HYPERSURFACES IN 4-SPACE 31
work page 2008
-
[37]
10, Cambridge University Press, Cambridge, 2007
Peter Kroheimer and Tomasz Mrowka, Monopoles and three-manifolds, New Mathematical Monographs, vol. 10, Cambridge University Press, Cambridge, 2007
work page 2007
- [38]
-
[39]
Paolo Lisca and Gordana Mati ´c, Transverse contact structures on Seifert 3-manifolds, Algebr. Geom. Topol.4 (2004), 1125–1144. MR 2113899
work page 2004
-
[40]
Stipsicz, Ozsv´ ath-Szab´ o Invariants and Tight Contact Three-Manifolds, III, J
Paolo Lisca and Andr ´as I. Stipsicz, Ozsv´ ath-Szab´ o Invariants and Tight Contact Three-Manifolds, III, J. Sympl. Geom. 5 (2007), no. 4, 357–384
work page 2007
-
[41]
Thomas E. Mark and B ¨ulent Tosun, Obstructing pseudoconvex embeddings and contractible Stein fillings for Brieskorn spheres, Adv. Math. 335 (2018), 878–895. MR 3836681
work page 2018
-
[42]
Barry Mazur, A note on some contractible 4-manifolds, Ann. of Math. (2) 73 (1961), 221–228. MR 125574
work page 1961
-
[43]
Dusa McDuff, The structure of rational and ruled symplectic 4-manifolds, J. Amer. Math. Soc.3 (1990), no. 3, 679–712. MR 1049697
work page 1990
-
[44]
, Symplectic manifolds with contact type boundaries, Invent. Math. 103 (1991), no. 3, 651–671. MR 1091622
work page 1991
-
[45]
John Milnor, On the 3-dimensional Brieskorn manifolds M (p,q,r ), Knots, groups, and 3-manifolds (Papers dedi- cated to the memory of R. H. Fox), 1975, pp. 175–225. Ann. of Math. Studies, No. 84. MR 0418127
work page 1975
-
[46]
Tomasz Mrowka and Yann Rollin, Legendrian knots and monopoles , Algebr. Geom. Topol. 6 (2006), 1–69. MR 2199446
work page 2006
-
[47]
Stefan Nemirovski and Kyler Siegel, Rationally convex domains and singular Lagrangian surfaces inC2, Invent. Math. 203 (2016), no. 1, 333–358. MR 3437874
work page 2016
-
[48]
S. Yu. Nemirovski ˘ı, Finite unions of balls in Cn are rationally convex , Uspekhi Mat. Nauk 63 (2008), no. 2(380), 157–158. MR 2640558
work page 2008
-
[49]
Neumann, Brieskorn complete intersections and automorphic forms , Invent
Walter D. Neumann, Brieskorn complete intersections and automorphic forms , Invent. Math. 42 (1977), 285–293. MR 463493
work page 1977
-
[50]
Walter D. Neumann and Frank Raymond, Seifert manifolds, plumbing, µ-invariant and orientation reversing maps , Algebraic and geometric topology (Proc. Sympos., Univ. California, Santa Barbara, Calif., 1977), Lecture Notes in Math., vol. 664, Springer, Berlin, 1978, pp. 163–196. MR 518415
work page 1977
-
[51]
Kiyoshi Oka, Sur les fonctions analytiques de plusieurs variables. IX. Domaines finis sans point critique int´ erieur, Jpn. J. Math. 23 (1953), 97–155 (1954). MR 71089
work page 1953
-
[52]
Stipsicz, and Zolt ´an Szab ´o, Planar Open Books and Floer Homology , Internat
Peter Ozsv ´ath, Andr´as I. Stipsicz, and Zolt ´an Szab ´o, Planar Open Books and Floer Homology , Internat. Math. Res. Notices 2005 (2005), 3385–3401
work page 2005
-
[53]
Peter Ozsv ´ath and Zolt´an Szab´o, Knot floer homology and the four-ball genus , Geom. Topol. 7(2003) 615-639
work page 2003
-
[54]
, Absolutely graded Floer homologies and intersection forms for four-manifolds with boundary , Adv. Math. 173 (2003), no. 2, 179–261. MR 1957829
work page 2003
-
[55]
, On the Floer Homology of Plumbed Three-Manifolds, Geom. Topol. 7 (2003), no. 1, 185–224
work page 2003
-
[56]
, Holomorphic Disks and Knot Invariants, Adv. Math. 1 (2004), 58–116
work page 2004
-
[57]
, Holomorphic Disks and Three-Manifold Invariants: Properties and Applications , Ann. of Math. (2) 159 (2004), no. 3, 1159–1245
work page 2004
-
[58]
, Holomorphic Disks and Topological Invariants for Closed Three-Manifolds, Ann. of Math. (2) 159 (2004), no. 3, 1027–1158
work page 2004
-
[59]
, Heegaard Floer Homologies and Contact Structures, Duke Math. J. 129 (2005), no. 1, 39–61
work page 2005
-
[60]
Olga Plamenevskaya, Bounds for the Thurston-Bennequin number from Floer homology , Algebr. Geom. Topol. 4 (2004), 399–406. MR 2077671
work page 2004
-
[61]
Olga Plamenevskaya and Jeremy Van Horn-Morris, Planar open books, monodromy factorizations and symplectic fillings, Geom. Topol. 14 (2010), no. 4, 2077–2101. MR 2740642
work page 2010
-
[62]
Katherine Raoux, τ–invariants for knots in rational homology spheres , Algebr. Geom. Topol. 20 (2020), no. 4, 1601–
work page 2020
-
[63]
thesis, Harvard University, 2003
Jacob Rasmussen, Floer Homology and Knot Complements, Ph.D. thesis, Harvard University, 2003
work page 2003
-
[64]
140, Springer- Verlag, Berlin, 2002, Low-Dimensional Topology, I
Nikolai Saveliev, Invariants for homology 3-spheres, Encyclopaedia of Mathematical Sciences, vol. 140, Springer- Verlag, Berlin, 2002, Low-Dimensional Topology, I. MR 1941324
work page 2002
-
[65]
thesis, University of Pennsylvania, 2005
Stephan Sch ¨onenberger, Planar open books and symplectic fillings, Ph.D. thesis, University of Pennsylvania, 2005
work page 2005
-
[66]
Clifford Henry Taubes, Embedded contact homology and Seiberg-Witten Floer cohomology I , Geom. Topol. 14 (2010), no. 5, 2497–2581. MR 2746723 32 THOMAS E. MARK AND B ¨ULENT TOSUN
work page 2010
-
[67]
B ¨ulent Tosun, Stein domains in C2 with prescribed boundary, Preprint 2020
work page 2020
-
[68]
Claude Viterbo, A proof of Weinstein’s conjecture in R2n, Ann. Inst. H. Poincar´e Anal. Non Lin´eaire 4 (1987), no. 4, 337–356. MR 917741
work page 1987
-
[69]
Differential Equations 33 (1979), no
Alan Weinstein, On the hypotheses of Rabinowitz’ periodic orbit theorems , J. Differential Equations 33 (1979), no. 3, 353–358. MR 543704
work page 1979
-
[70]
Chris Wendl, Strongly fillable contact manifolds andJ-holomorphic foliations, Duke Math. J.151 (2010), no. 3, 337–384. MR 2605865
work page 2010
-
[71]
E. C. Zeeman, Twisting spun knots, Trans. Amer. Math. Soc.115 (1965), 471–495. MR 195085 DEPARTMENT OF MATHEMATICS , U NIVERSITY OF VIRGINIA , CHARLOTTESVILLE , VA Email address: tmark@virginia.edu DEPARTMENT OF MATHEMATICS , U NIVERSITY OF ALABAMA , T USCALOOSA , AL Email address: btosun@ua.edu
work page 1965
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.