pith. sign in

arxiv: 2008.02755 · v3 · pith:5JEMUPOOnew · submitted 2020-08-06 · 🧮 math.GT · math.CV· math.SG

On contact type hypersurfaces in 4-space

Pith reviewed 2026-05-24 14:14 UTC · model grok-4.3

classification 🧮 math.GT math.CVmath.SG
keywords Brieskorn homology spherescontact type embeddingsHeegaard Floer homologyStein domainssymplectically convexrational convexitycontact structures4-manifolds
0
0 comments X

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.

The paper establishes that Brieskorn homology spheres cannot arise as contact type hypersurfaces in standard symplectic R^4 by means of a Heegaard Floer homology obstruction. Sympathetic readers care because this constrains the possible boundaries of convex domains in C^2 and distinguishes Stein fillability from symplectic convexity relative to the ambient structure. It also supplies infinitely many contact three-manifolds that bound Stein domains without admitting symplectically convex realizations. The result bears on conjectures regarding such embeddings and their topological restrictions.

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

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

  • 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.

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

1 major / 0 minor

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)
  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

1 responses · 0 unresolved

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
  1. 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

0 steps flagged

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

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard properties of Heegaard Floer homology for contact 3-manifolds and the definition of contact type embeddings; no free parameters or new entities are introduced.

axioms (1)
  • domain assumption Heegaard Floer homology provides an obstruction to the existence of certain contact structures or embeddings
    The paper states that an obstruction derived from HF is used; this is a background fact from the literature on HF.

pith-pipeline@v0.9.0 · 5666 in / 1261 out tokens · 22313 ms · 2026-05-24T14:14:28.607359+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

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

  1. [1]

    2, 335–356

    Selman Akbulut, A fake compact contractible 4-manifold, Journal of Differential Geometry 33 (1991), no. 2, 335–356

  2. [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

  3. [3]

    1, 23–36

    Andrew Casson and John Harer, Some homology lens spaces which bound rational homology balls , Pacific Journal of Mathematics 96 (1981), no. 1, 23–36

  4. [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

  5. [5]

    Cieliebak and Y

    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

  6. [6]

    Kai Cieliebak and Yakov Eliashberg, The topology of rationally and polynomially convex domains , Invent. Math. 199 (2015), no. 1, 215–238. MR 3294960

  7. [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

  8. [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

  9. [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

  10. [10]

    Aliakbar Daemi, Tye Lidman, David Shea Vela-Vick, and C. M. Michael Wong, Ribbon homology cobordisms , arXiv:1904.09721

  11. [11]

    S. K. Donaldson, An application of gauge theory to four-dimensional topology , J. Differential Geom. 18 (1983), no. 2, 279–315. MR 710056

  12. [12]

    Julien Duval and Nessim Sibony, Polynomial convexity, rational convexity, and currents , Duke Math. J. 79 (1995), no. 2, 487–513. MR 1344768

  13. [13]

    Mariano Echeverria, Naturality of the contact invariant in monopole Floer homology under strong symplectic cobordisms, Algebr. Geom. Topol.20 (2020), 1795–1875

  14. [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–

  15. [15]

    Yakov Eliashberg, Topological Characterization of Stein Manifolds of Dimension> 2, Internat. J. Math. 1 (1990), no. 1, 29–46. MR 1044658 (91k:32012)

  16. [16]

    D. B. A. Epstein, Embedding punctured manifolds, Proc. Amer. Math. Soc. 16 (1965), 175–176. MR 208606

  17. [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

  18. [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

  19. [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

  20. [20]

    London Math

    , Instanton homology of Seifert fibred homology three spheres , Proc. London Math. Soc. (3) 61 (1990), no. 1, 109–137. MR 1051101

  21. [21]

    Mikio Furuta, Homology cobordism group of homology 3-spheres, Invent. Math. 100 (1990), no. 2, 339–355. MR 1047138

  22. [22]

    London Math

    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

  23. [23]

    Paolo Ghiggini, Ozsv´ ath-Szab´ o invariants and fillability of contact structures, Math. Z. 253 (2006), no. 1, 159–175. MR 2206641

  24. [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

  25. [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

  26. [26]

    Gompf, Handlebody Construction of Stein Surfaces, Ann

    Robert E. Gompf, Handlebody Construction of Stein Surfaces, Ann. Math. 148 (1998), 619–693

  27. [27]

    , Smooth embeddings with Stein surface images, J. Topol. 6 (2013), no. 4, 915–944. MR 3145144

  28. [28]

    Gompf and Andr ´as I

    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

  29. [29]

    C. McA. Gordon, Ribbon concordance of knots in the 3-sphere, Math. Ann. 257 (1981), no. 2, 157–170. MR 634459

  30. [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

  31. [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

  32. [32]

    Ko Honda, On the Classification of Tight Contact Structures I, Geom. Topol. 4 (2000), 309–368

  33. [33]

    Ahmad Issa and Duncan McCoy, Smoothly embedding Seifert fibered spaces inS4, Preprint, arxiv:1810.04770, 2018

  34. [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. [35]

    221 (2017), 630–637

    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

  36. [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

  37. [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

  38. [38]

    C ¸ a˘gatay Kutluhan, Clifford Taubes, and Yi-Jen Lee, Heegaard Floer homology and Seiberg-Witten Floer homology , arxiv:1007.1979, arxiv:1008.1595, arxiv:1010.3456, arxiv:1107.2297, arxiv:1204.0115

  39. [39]

    Paolo Lisca and Gordana Mati ´c, Transverse contact structures on Seifert 3-manifolds, Algebr. Geom. Topol.4 (2004), 1125–1144. MR 2113899

  40. [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

  41. [41]

    Mark and B ¨ulent Tosun, Obstructing pseudoconvex embeddings and contractible Stein fillings for Brieskorn spheres, Adv

    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

  42. [42]

    Barry Mazur, A note on some contractible 4-manifolds, Ann. of Math. (2) 73 (1961), 221–228. MR 125574

  43. [43]

    Dusa McDuff, The structure of rational and ruled symplectic 4-manifolds, J. Amer. Math. Soc.3 (1990), no. 3, 679–712. MR 1049697

  44. [44]

    , Symplectic manifolds with contact type boundaries, Invent. Math. 103 (1991), no. 3, 651–671. MR 1091622

  45. [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

  46. [46]

    Tomasz Mrowka and Yann Rollin, Legendrian knots and monopoles , Algebr. Geom. Topol. 6 (2006), 1–69. MR 2199446

  47. [47]

    Stefan Nemirovski and Kyler Siegel, Rationally convex domains and singular Lagrangian surfaces inC2, Invent. Math. 203 (2016), no. 1, 333–358. MR 3437874

  48. [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

  49. [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

  50. [50]

    Neumann and Frank Raymond, Seifert manifolds, plumbing, µ-invariant and orientation reversing maps , Algebraic and geometric topology (Proc

    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

  51. [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

  52. [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

  53. [53]

    Peter Ozsv ´ath and Zolt´an Szab´o, Knot floer homology and the four-ball genus , Geom. Topol. 7(2003) 615-639

  54. [54]

    , Absolutely graded Floer homologies and intersection forms for four-manifolds with boundary , Adv. Math. 173 (2003), no. 2, 179–261. MR 1957829

  55. [55]

    , On the Floer Homology of Plumbed Three-Manifolds, Geom. Topol. 7 (2003), no. 1, 185–224

  56. [56]

    , Holomorphic Disks and Knot Invariants, Adv. Math. 1 (2004), 58–116

  57. [57]

    , Holomorphic Disks and Three-Manifold Invariants: Properties and Applications , Ann. of Math. (2) 159 (2004), no. 3, 1159–1245

  58. [58]

    , Holomorphic Disks and Topological Invariants for Closed Three-Manifolds, Ann. of Math. (2) 159 (2004), no. 3, 1027–1158

  59. [59]

    , Heegaard Floer Homologies and Contact Structures, Duke Math. J. 129 (2005), no. 1, 39–61

  60. [60]

    Olga Plamenevskaya, Bounds for the Thurston-Bennequin number from Floer homology , Algebr. Geom. Topol. 4 (2004), 399–406. MR 2077671

  61. [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

  62. [62]

    Katherine Raoux, τ–invariants for knots in rational homology spheres , Algebr. Geom. Topol. 20 (2020), no. 4, 1601–

  63. [63]

    thesis, Harvard University, 2003

    Jacob Rasmussen, Floer Homology and Knot Complements, Ph.D. thesis, Harvard University, 2003

  64. [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

  65. [65]

    thesis, University of Pennsylvania, 2005

    Stephan Sch ¨onenberger, Planar open books and symplectic fillings, Ph.D. thesis, University of Pennsylvania, 2005

  66. [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

  67. [67]

    B ¨ulent Tosun, Stein domains in C2 with prescribed boundary, Preprint 2020

  68. [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

  69. [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

  70. [70]

    J.151 (2010), no

    Chris Wendl, Strongly fillable contact manifolds andJ-holomorphic foliations, Duke Math. J.151 (2010), no. 3, 337–384. MR 2605865

  71. [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