REVIEW 1 major objections 7 minor 49 references
Any closed orientable hypersurface in a contact 5-or-higher manifold can be C0-small isotoped to one that is C2-robustly non-convex.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · grok-4.5
2026-07-12 00:56 UTC pith:YIWIAI76
load-bearing objection Clean strengthening of Chaidez's earlier non-convexity result: every hypersurface is C0-close to a C2-robustly non-convex one via a local deconvexifying plug built from Li-Turaev unfoldings. the 1 major comments →
Convex hypersurfaces and robust heterodimensional dynamics
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Any closed orientable hypersurface in a contact manifold of dimension five or greater is isotopic, by an arbitrarily C0-small isotopy, to a hypersurface that is C2-robustly non-convex. The obstruction is a robust positive-negative heterodimensional cycle of indices (n-1,n) in the characteristic foliation; such a cycle can be created and then robustified by a local deconvexifying plug.
What carries the argument
The robust deconvexifying plug: a C0-small ambient deformation of a standard model region that inserts a non-degenerate coindex-one heterodimensional cycle and then unfolds it so that Li-Turaev persistence produces a C1-open set of nearby characteristic foliations still carrying a positive-negative cycle, thereby obstructing convexity.
Load-bearing premise
That the two-parameter family of contact Hamiltonian structures built by successive plug insertions really is a proper unfolding in the sense required by the Li-Turaev persistence theorem.
What would settle it
Exhibit a closed orientable hypersurface in a contact five-manifold that remains convex under every C0-small isotopy, or verify that the constructed two-parameter family fails one of the multiplier-ratio or signed-distance regularity conditions of a proper unfolding.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that any closed orientable hypersurface in a contact manifold of dimension five or greater is isotopic, via an arbitrarily C^0-small isotopy, to a C^2-robustly non-convex hypersurface (Theorem 3). The argument proceeds in three steps: (i) hyperbolic basic sets of the characteristic foliation are Liouville, with sign determined by index (Theorem 3.15 / Theorem 10), yielding a heteroclinic obstruction to convexity (Corollary 3.16 / Corollary 11); (ii) simple coindex-one heterodimensional cycles of index (n-1,n) can be created by C^0-small contact Hamiltonian plugs (Theorem 4.1 / Theorem 14); (iii) any such cycle can be made non-degenerate by C^8-small plugs (Theorem 6.16) and then extended to a proper unfolding of characteristic foliations (Theorem 6.21 / Construction 6.23), so that Li-Turaev's theorem produces robust cycles and hence robust non-convexity (Theorem 15). The constructions are local and produce a robust deconvexifying plug.
Significance. If correct, the result is a strong counterpart to the Honda-Huang/Giroux C^0-density of convex hypersurfaces: non-convexity is not merely dense but can be forced robustly by arbitrarily small C^0 isotopies. It resolves a conjecture of the first author and places the convex/non-convex dichotomy squarely inside Bonatti's C^1-generic dynamics program via positive-negative heterodimensional cycles. Strengths include an independent ergodic divergence criterion for Liouville sets (Proposition 3.6, Lemma 3.7), explicit plug constructions that stay inside contact Hamiltonian manifolds, and a careful verification that the constructed 2-parameter family is a proper unfolding (Proposition 6.22 and Lemma 6.24). The work cleanly separates the new contact-geometric input from the external dynamical black box of Li-Turaev.
major comments (1)
- No load-bearing technical gaps were found. The application of Li-Turaev (Theorem 5.31) is the only non-local step, but the paper closes it carefully: non-degeneracy Conditions 5.19-5.25 are achieved by C^8-small contact Hamiltonian plugs using contact transversality (Lemmas 6.10, 6.18-6.20) and the contact fact that center multipliers are real (Corollary 6.8); the subsequent 2-parameter family is built so that the splitting function equals the second parameter s while the multiplier ratio varies non-trivially with the first parameter r (Proposition 6.22 + Lemma 6.24). These verifications are local and use only standard contact geometry.
minor comments (7)
- Throughout: many words are concatenated without spaces (e.g., 'Weprovethatanyclosedorientablehypersurface', 'arbitrarilyC0-smallisotopy', 'robustdeconvexifyingplug'). This appears to be a systematic typesetting artifact and should be corrected before publication.
- Section 1, Definition 17 and Conjecture 18: the terminology 'positive-negative heterodimensional cycle' is introduced cleanly, but a short forward reference to the coindex-one restriction used in the body would help the reader see why higher-coindex examples remain open (Question 19).
- Section 3.2, Proposition 3.6 (Div Criterion): the Hahn-Banach separation argument is standard but terse; a one-sentence reminder that the dual of the cohomology is precisely the space of signed invariant measures would improve readability for contact geometers.
- Section 4.1, Lemma 4.3 (Orbit Creation): the construction via a Darboux chart and a momentum Hamiltonian is clear, but the size estimate |F+G|<=epsilon is only sketched; an explicit bound in terms of the support of the cutoff would make the C^0-smallness fully quantitative.
- Section 5.3, Setup 5.18 and Conditions 5.19-5.25: the non-degeneracy package is long; a short summary table or diagram listing which condition controls which geometric feature (fragile transversality, strong foliations, saddle/focus ratio) would help navigation.
- Section 6.4, Construction 6.23: the choice of two disjoint plugging domains U_G and U_H is essential for independence of the return map of C+ and the transition map of Gamma+; a one-line remark that the supports can be chosen arbitrarily small along the orbit and the fragile heteroclinic would make this transparent.
- References: the arXiv numbers for Honda-Huang and for the first author's earlier blender paper are given; adding the published versions (if available) would be useful for the final version.
Circularity Check
No significant circularity: main theorem follows from independent obstruction, cycle-creation plugs, and explicit proper-unfolding construction applied to external Li-Turaev theorem.
full rationale
The derivation chain is self-contained and non-circular. Theorem 10 (basic sets are Liouville, sign by index) is proved from an ergodic divergence criterion (Prop. 3.6 + Lem. 3.7) and orbit-density for hyperbolic basic sets; Corollary 11 (convexity obstruction) follows immediately by the dividing-set splitting of a convex structure. Theorem 14 (local cycle creation) is an explicit plug construction (orbit creation + isotopy-to-identity + contact vector field with cycle). Theorem 15 (fragile-to-robust) reduces to constructing a proper unfolding (Thm 6.21 / Construction 6.23) whose splitting function equals the second parameter and whose multiplier ratio varies non-trivially with the first (Prop. 6.22 + Lem. 6.24), then invoking the external Li-Turaev Theorem B. Non-degeneracy of the coindex-one cycle is obtained by C^8-small contact plugs enforcing Conditions 5.19–5.25 via standard transversality (Lems 6.10, 6.18–6.20) and the contact fact that center multipliers are real (Cor. 6.8). The prior self-citation [14] is only historical (the earlier blender examples are strengthened, not used as a premise). No equation, definition, or fitted quantity reduces the main claim to its inputs by construction.
Axiom & Free-Parameter Ledger
axioms (4)
- domain assumption Li-Turaev Theorem B: a proper unfolding of a non-degenerate coindex-one heterodimensional cycle yields robust heterodimensional cycles for generic nearby parameters.
- standard math Standard facts of contact Hamiltonian manifolds, characteristic foliations, and contactizations (Definitions 2.1–2.18).
- standard math Hyperbolic basic sets of flows admit dense periodic orbit measures and continuous invariant manifolds (Hirsch-Pugh-Shub, Shilnikov et al.).
- domain assumption Honda-Huang C^{0}-density of convex hypersurfaces and Giroux's three-dimensional genericity.
invented entities (2)
-
robust deconvexifying plug
no independent evidence
-
positive-negative heterodimensional cycle
no independent evidence
read the original abstract
We prove that any closed orientable hypersurface in a contact manifold of dimension five or greater is isotopic to a robustly non-convex hypersurface via an arbitrarily $C^0$-small isotopy. This strengthens a recent result of the first author and yields a strong counterpart to the groundbreaking density theorem of Honda-Huang and Giroux. This is proven by combining a new convexity obstruction via heteroclinics and recent advances in robust heterodimensional dynamics due to Li-Turaev to produce a robust deconvexifying plug, which is a local and robust convexity obstruction.
Figures
Reference graph
Works this paper leans on
-
[1]
World Scientific, 2000
RalphAbrahamandStephenSmale.Nongenericityof𝜔-stability.InTheCollectedPapersofStephenSmale: Volume 2, pages 735–738. World Scientific, 2000
2000
-
[2]
Masayuki Asaoka. Stable intersection of cantor sets in higher dimension and robust homoclinic tangency of the largest codimension.Transactions of the American Mathematical Society, 375(2):873–908, 2022
2022
-
[3]
Pablo G Barrientos, Lorenzo J Díaz, Yuri Ki, Cristina Lizana, and Sebastián A Pérez. Robust heterodimensional cycles of co-index two via split blending machines.arXiv preprint arXiv:2511.12412, 2025
arXiv 2025
-
[4]
Symbolic blender-horseshoes and applications.Nonlinearity, 27(12):2805–2839, 2014
Pablo G Barrientos, Yuri Ki, and Artem Raibekas. Symbolic blender-horseshoes and applications.Nonlinearity, 27(12):2805–2839, 2014
2014
-
[5]
PhD thesis, Universitäts-und Stadtbiblio- thek Köln, 2023
Tilman Becker.On geodesible vector fields and related geometric structures. PhD thesis, Universitäts-und Stadtbiblio- thek Köln, 2023
2023
-
[6]
Towards a global view of dynamical systems, for thec1-topology.Ergodic Theory, pages 959–993, 2010
C Bonatti. Towards a global view of dynamical systems, for thec1-topology.Ergodic Theory, pages 959–993, 2010
2010
-
[7]
Christian Bonatti, Sylvain Crovisier, Lorenzo Diaz, and Amie Wilkinson. What is... a blender?arXiv preprint arXiv:1608.02848, 2016
Pith/arXiv arXiv 2016
-
[8]
ChristianBonattiandLorenzoJ.Diaz.Persistentnonhyperbolictransitivediffeomorphisms.AnnalsofMathemat- ics, 143(2):357–396, 1996
1996
-
[9]
Robust heterodimensional cycles and-generic dynamics.Journal of the Institute of Mathematics of Jussieu, 7(3):469–525, 2008
Christian Bonatti and Lorenzo J Díaz. Robust heterodimensional cycles and-generic dynamics.Journal of the Institute of Mathematics of Jussieu, 7(3):469–525, 2008
2008
-
[10]
Springer Science & Business Media, 2004
Christian Bonatti, Lorenzo J Díaz, and Marcelo Viana.Dynamics beyond uniform hyperbolicity: A global geometric and probabilistic perspective, volume 3. Springer Science & Business Media, 2004
2004
-
[11]
JosephBreen.Morse-smalecharacteristicfoliationsandconvexityincontactmanifolds.ProceedingsoftheAmerican Mathematical Society, 149(9):3977–3989, 2021
2021
-
[12]
Folded symplectic forms in contact topology.Journal of Geometry and Physics, 201:105213, 2024
Joseph Breen. Folded symplectic forms in contact topology.Journal of Geometry and Physics, 201:105213, 2024
2024
-
[13]
The giroux correspondence in arbitrary dimensions.arXiv preprint arXiv:2307.02317, 2023
Joseph Breen, Ko Honda, and Yang Huang. The giroux correspondence in arbitrary dimensions.arXiv preprint arXiv:2307.02317, 2023
Pith/arXiv arXiv 2023
-
[14]
Robustly non-convex hypersurfaces in contact manifolds.arXiv preprint arXiv:2406.05979, 2024
Julian Chaidez. Robustly non-convex hypersurfaces in contact manifolds.arXiv preprint arXiv:2406.05979, 2024
arXiv 2024
-
[15]
Conformally symplectic topology from a dynamical viewpoint.Proceedings of the 2026 Georgia International Topology Conference, 2026
Julian Chaidez. Conformally symplectic topology from a dynamical viewpoint.Proceedings of the 2026 Georgia International Topology Conference, 2026
2026
-
[16]
LJDíaz.Persistenceofcyclesandnonhyperbolicdynamicsatheteroclinicbifurcations.Nonlinearity,8(5):693–713, 1995
1995
-
[17]
LorenzoJDíazandJorgeRocha.Nonconnectedheterodimensionalcycles: bifurcationandstability.Nonlinearity, 5(6):1315–1341, 1992
1992
-
[18]
Convex symplectic manifolds.Several complex variables and complex geometry, pages 135–162, 1991
Yakov Eliashberg and Mikhael Gromov. Convex symplectic manifolds.Several complex variables and complex geometry, pages 135–162, 1991
1991
-
[19]
Convex surfaces in contact geometry: Class notes
John Etnyre. Convex surfaces in contact geometry: Class notes
-
[20]
On the nonexistence of tight contact structures.Annals of Mathematics, pages 749–766, 2001
John B Etnyre and Ko Honda. On the nonexistence of tight contact structures.Annals of Mathematics, pages 749–766, 2001
2001
-
[21]
Tight contact structures with no symplectic fillings.Inventiones Mathematicae, 148(3):609, 2002
John B Etnyre and Ko Honda. Tight contact structures with no symplectic fillings.Inventiones Mathematicae, 148(3):609, 2002
2002
-
[22]
Cabling and transverse simplicity.Annals of mathematics, pages 1305–1333, 2005
John B Etnyre and Ko Honda. Cabling and transverse simplicity.Annals of mathematics, pages 1305–1333, 2005
2005
-
[23]
Zurich Lectures in Advanced Mathematics
Todd Fisher and Boris Hasselblatt.Hyperbolic flows. Zurich Lectures in Advanced Mathematics. EMS Publishing House, Berlin, [2019]©2019
2019
-
[24]
Cambridge University Press, 2008
Hansjörg Geiges.An introduction to contact topology, volume 109. Cambridge University Press, 2008
2008
-
[25]
Cambridge University Press, Cambridge, 2008
Hansjörg Geiges.An introduction to contact topology, volume 109 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2008
2008
-
[26]
Convexity in contact topology.Comment
Emmanuel Giroux. Convexity in contact topology.Comment. Math. Helv, 66(4):637–677, 1991
1991
-
[27]
Certain properties of skew products over a horseshoe and a solenoid
AS Gorodetski and Yulij Sergeevich Ilyashenko. Certain properties of skew products over a horseshoe and a solenoid. InProc. Steklov Inst. Math, volume 231, pages 90–112, 2000. CONVEX HYPERSURFACES AND ROBUST HETERODIMENSIONAL DYNAMICS 47
2000
-
[28]
Partial hyperbolicity and classification: a survey.Ergodic Theory and Dynamical Systems, 38(2):401–443, 2018
Andy Hammerlindl and Rafael Potrie. Partial hyperbolicity and classification: a survey.Ergodic Theory and Dynamical Systems, 38(2):401–443, 2018
2018
-
[29]
Partially hyperbolic dynamics.Publicaçoes Matemáticas do IMPA, 2011
F Rodriguez Hertz, J Rodriguez Hertz, and Raúl Ures. Partially hyperbolic dynamics.Publicaçoes Matemáticas do IMPA, 2011
2011
-
[30]
Hirsch, C.C
M.W. Hirsch, C.C. Pugh, and M. Shub.Invariant Manifolds. Lecture Notes in Mathematics. Springer Berlin Heidelberg, 2006
2006
-
[31]
On the classification of tight contact structures i.arXiv preprint math/9910127, 1999
Ko Honda. On the classification of tight contact structures i.arXiv preprint math/9910127, 1999
Pith/arXiv arXiv 1999
-
[32]
On the classification of tight contact structures ii.Journal of Differential Geometry, 55(1):83–143, 2000
Ko Honda. On the classification of tight contact structures ii.Journal of Differential Geometry, 55(1):83–143, 2000
2000
-
[33]
Bypass attachments in higher-dimensional contact topology.arXiv preprint arXiv:1803.09142, 2018
Ko Honda and Yang Huang. Bypass attachments in higher-dimensional contact topology.arXiv preprint arXiv:1803.09142, 2018
Pith/arXiv arXiv 2018
-
[34]
Convex hypersurface theory in contact topology.arXiv preprint arXiv:1907.06025, 2019
Ko Honda and Yang Huang. Convex hypersurface theory in contact topology.arXiv preprint arXiv:1907.06025, 2019
Pith/arXiv arXiv 1907
-
[35]
Convex decomposition theory.International Mathematics Research Notices, 2002(2):55–88, 2002
Ko Honda, William H Kazez, and Gordana Matić. Convex decomposition theory.International Mathematics Research Notices, 2002(2):55–88, 2002
2002
-
[36]
Tight contact structures on fibred.Journal of Differential Geometry, 64(2):305–358, 2003
Ko Honda, William H Kazez, and Gordana Matić. Tight contact structures on fibred.Journal of Differential Geometry, 64(2):305–358, 2003
2003
-
[37]
Right-veering diffeomorphisms of compact surfaces with boundary.Inventiones mathematicae, 169(2):427–449, 2007
Ko Honda, William H Kazez, and Gordana Matić. Right-veering diffeomorphisms of compact surfaces with boundary.Inventiones mathematicae, 169(2):427–449, 2007
2007
-
[38]
Persistence of heterodimensional cycles.Inventiones mathematicae, 236(3):1413–1504, April 2024
Dongchen Li and Dmitry Turaev. Persistence of heterodimensional cycles.Inventiones mathematicae, 236(3):1413–1504, April 2024
2024
-
[39]
Contributions to the stability conjecture.Topology, 17(4):383–396, 1978
Ricardo Mañé. Contributions to the stability conjecture.Topology, 17(4):383–396, 1978
1978
-
[40]
McDuff and D
D. McDuff and D. Salamon.Introduction To Symplectic Topology, 3rd Ed. Oxford University Press, 2017
2017
-
[41]
DusaMcDuff.Applicationsofconvexintegrationtosymplecticandcontactgeometry.Ann.Inst.Fourier(Grenoble), 37(1):107–133, 1987
1987
-
[42]
J.Palis.Aglobalperspectivefornon-conservativedynamics.Ann.Inst.H.PoincaréCAnal.NonLinéaire,22(4):485– 507, 2005
2005
-
[43]
A global view of dynamics and a conjecture on the denseness of finitude of attractors.Astérisque, 261(xiiixiv):335–347, 2000
Jacob Palis. A global view of dynamics and a conjecture on the denseness of finitude of attractors.Astérisque, 261(xiiixiv):335–347, 2000
2000
-
[44]
Aim problem list in higher dimensional contact topology, 2024
Workshop Participants. Aim problem list in higher dimensional contact topology, 2024
2024
-
[45]
Methods of qualitative theory in nonlinear dynamics part i, 2001
Leonid P Shilnikov, Andrey L Shilnikov, Dmitry V Turaev, and Leon O Chua. Methods of qualitative theory in nonlinear dynamics part i, 2001
2001
-
[46]
Topologically transitive diffeomorphisms of t4
Michael Shub. Topologically transitive diffeomorphisms of t4. InProceedings of the Symposium on Differential Equations and Dynamical Systems: University of Warwick September 1968—August 1969 Summer School, July 15–25, 1969, pages 39–40. Springer, 2006
1968
-
[47]
A 3-dimensional abraham-smale example
Carl P Simon. A 3-dimensional abraham-smale example. InProc. Amer. Math. Soc, volume 34, pages 629–630, 1972
1972
-
[48]
Differentiable dynamical systems.Bulletin of the American mathematical Society, 73(6):747–817, 1967
Stephen Smale. Differentiable dynamical systems.Bulletin of the American mathematical Society, 73(6):747–817, 1967
1967
-
[49]
Cycles for the dynamical study of foliated manifolds and complex manifolds.Inventiones math- ematicae, 36(1):225–255, 1976
Dennis Sullivan. Cycles for the dynamical study of foliated manifolds and complex manifolds.Inventiones math- ematicae, 36(1):225–255, 1976. Department of Mathematics, University of Southern California, Los Angeles, CA, 90007, USA Email address:julian.chaidez@usc.edu Department of Mathematics, University of Southern California, Los Angeles, CA, 90007, USA...
1976
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.