REVIEW 4 minor 3 cited by
Convex hypersurface theory in contact topology
T0 review · 0 major / 4 minor · reviewed 2026-05-24 · grok-4.3
Pith's one-line read Any closed hypersurface in a contact manifold can be C^0-approximated by a convex one.
desk verdict This paper cleanly extends Giroux convexity to higher dimensions with a dimension-independent C0 approximation and a generic family result that yields open books. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The convexity condition on hypersurfaces in contact manifolds, extended from Giroux's three-dimensional definition, which enables the C^0 approximation and the analysis of generic families via bypasses.
What would settle it
A concrete example of a closed hypersurface embedded in a contact manifold of dimension at least five that admits no C^0-small perturbation making it convex.
Extended reading notes
Core claim
Any closed hypersurface in a contact manifold can be C^0-approximated by a convex one. A C^0-generic family of mutually disjoint closed hypersurfaces parametrized by t in [0,1] is convex except at finitely many times, with each crossing corresponding to a bypass attachment. This implies the existence of compatible relative open book decompositions for contact manifolds.
Load-bearing premise
Convexity for hypersurfaces extends from three dimensions in a manner that allows every closed hypersurface to be C^0 approximated by one that satisfies the convexity condition.
Editorial extensions
If this is right
- Closed hypersurfaces are C^0-dense with convex ones.
- Generic one-parameter families of disjoint hypersurfaces fail to be convex only at isolated times.
- Each failure in such a family corresponds to a bypass attachment.
- Every contact manifold has a compatible relative open book decomposition.
Reading between the lines
- If the approximation holds, many results from three-dimensional convex surface theory could carry over to higher dimensions by perturbing to convex position.
- The bypass correspondence in families provides a mechanism to understand how contact structures change with hypersurface position.
- Open book decompositions may serve as a standard tool for decomposing and studying contact manifolds in all dimensions.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper extends Giroux's convex surface theory from dimension three to higher-dimensional contact manifolds. It proves that any closed hypersurface admits a C^0 approximation by a convex hypersurface (one admitting a transverse contact vector field). It further shows that a C^0-generic one-parameter family of mutually disjoint closed hypersurfaces is convex except at finitely many parameters, where each crossing corresponds to a bypass attachment. As an application, the authors establish the existence of compatible (relative) open book decompositions for contact manifolds.
Significance. If the results hold, this supplies a foundational toolkit for contact topology in dimensions greater than three, directly analogous to Giroux's 3D theory and enabling systematic use of convex hypersurfaces and bypasses. The C^0-approximation theorem is dimension-independent, relying only on local models with a nowhere-vanishing Reeb field transverse to the contact planes. The generic-family statement and the open-book application are concrete strengths that make the work immediately usable for constructions and invariants.
minor comments (4)
- [§2] Definition 2.3 (convexity) should include an explicit sentence comparing the higher-dimensional notion to Giroux's original dividing-set definition in dimension three.
- [§3.1] In the proof of the approximation theorem (Theorem 1.1), the local model for removing tangencies is presented in coordinates; a short remark confirming that the construction is independent of the ambient dimension would clarify the argument.
- [§1] The statement of the generic-family result (Theorem 1.2) refers to 'bypass attachment' without a forward reference to the precise definition used in §4; adding the reference would improve readability.
- [§4] Figure 2 (bypass attachment) would benefit from an additional panel or label indicating the dividing set before and after the attachment.
Simulated Author's Rebuttal
We thank the referee for their thorough reading and positive evaluation of the manuscript. The report correctly identifies the main contributions: the C^0-approximation theorem for convex hypersurfaces in any dimension, the generic one-parameter family result with bypass attachments, and the application to compatible open book decompositions. We are pleased that the referee views the work as providing a foundational toolkit analogous to Giroux's theory in dimension three. Since the recommendation is minor revision and no specific major comments were raised, we will incorporate any editorial suggestions in the revised version.
Circularity Check
No significant circularity identified
full rationale
The derivation chain rests on the external definition of convexity (extending Giroux) and standard contact geometry facts such as the existence of a contact form with nowhere-vanishing Reeb field; the C^0-approximation argument proceeds by transverse perturbation whose local model is dimension-independent and does not invoke any fitted parameter, self-citation chain, or ansatz that reduces the target statement to its own inputs. No load-bearing step equates a claimed prediction or uniqueness result to a prior self-referential construction.
Assumptions & free parameters
assumptions (1)
- standard math Standard definitions and properties of contact manifolds and hypersurfaces from prior literature
Cite this review
Pith. "Pith review of Convex hypersurface theory in contact topology." pith.science (2026). https://pith.science/paper/1907.06025
@misc{pith2026190706025,
author = {Pith},
title = {Pith review of: Convex hypersurface theory in contact topology},
year = {2026},
howpublished = {\url{https://pith.science/paper/1907.06025}},
note = {Machine review of arXiv:1907.06025}
}
abstract
We lay the foundations of convex hypersurface theory in contact topology, extending the work of Giroux in dimension three. Specifically, we prove that any closed hypersurface in a contact manifold can be $C^0$-approximated by a convex one. We also prove that a $C^0$-generic family of mutually disjoint closed hypersurfaces parametrized by $t\in[0,1]$ is convex except at finitely many times $t_1,\dots,t_N$, and that crossing each $t_i$ corresponds to a bypass attachment. As an application, we prove the existence of compatible (relative) open book decompositions for contact manifolds.
Forward citations
Cited by 3 Pith papers
-
Non-orderability and the contact Hofer norm
Contact Hofer norm bounds, obtained from open books and loose Legendrians, imply non-orderability and resolve the standard S^1 × S^2 case.
-
Convex hypersurfaces and robust heterodimensional dynamics
Any closed orientable hypersurface in a contact manifold of dimension ≥5 is isotopic via a C^{0}-small isotopy to a C^{2}-robustly non-convex hypersurface.
-
Conformally symplectic topology from a dynamical viewpoint
Characteristic foliations of contact Hamiltonian manifolds determine convexity of hypersurfaces, with Morse-Smale implying convexity, C0-density of convex hypersurfaces, and C2-robust non-convex examples in dimensions ≥5.
Reviewed May 24, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.