Convex hypersurface theory in contact topology

Austin Christian; Joseph Breen; Ko Honda; Yang Huang

arxiv: 1907.06025 · v4 · submitted 2019-07-13 · 🧮 math.SG

Convex hypersurface theory in contact topology

Joseph Breen , Austin Christian , Ko Honda , Yang Huang This is my paper

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

classification 🧮 math.SG

keywords convex hypersurfacecontact manifoldC^0 approximationbypass attachmentopen book decompositionGiroux theorycontact topology

0 comments

The pith

Any closed hypersurface in a contact manifold can be C^0-approximated by a convex one.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper extends the theory of convex surfaces from three-dimensional contact topology to higher dimensions. It shows that any closed hypersurface can be approximated in the C^0 sense by a convex hypersurface. It further establishes that a generic family of disjoint closed hypersurfaces parametrized by an interval is convex except at finitely many parameter values. At each such value, crossing it corresponds to attaching a bypass. This leads to the conclusion that contact manifolds admit compatible open book decompositions.

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.

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.

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.

Where Pith is reading between the lines

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

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.

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.

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.

read the original 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.

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.

Desk Editor's Note private letter to a colleague

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 main advance is the theorem that any closed hypersurface in a contact manifold admits a C0-close convex approximation, together with the statement that a C0-generic one-parameter family of disjoint closed hypersurfaces is convex except at finitely many times, where each crossing is a bypass attachment. Both results are new outside dimension three, and the open-book application follows directly from them. The local model for removing tangencies uses only a nowhere-vanishing Reeb field transverse to the contact planes; that construction does not rely on any three-dimensional feature, so the extension looks legitimate. The stress-test note confirms there is no obvious topological or dimensional obstruction. The paper therefore supplies the higher-dimensional analogue of Giroux's foundational toolkit. The bypass correspondence in families is the part that will require the most scrutiny in the proofs, but nothing in the outline suggests it introduces circularity or hidden choices. Minor gaps are the lack of explicit higher-dimensional examples in the abstract and the usual need to verify that the generic perturbation can be made while keeping the hypersurfaces disjoint; these are routine rather than load-bearing. Contact topologists working in dimensions five and above will want this paper as a reference. It is the sort of foundational note that organizes later work, so it merits a full referee process even if some details need tightening.

Referee Report

0 major / 4 minor

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

0 responses · 0 unresolved

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

0 steps flagged

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.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Review based on abstract only; no free parameters, invented entities, or non-standard axioms are visible. Relies on standard differential topology and contact geometry background.

axioms (1)

standard math Standard definitions and properties of contact manifolds and hypersurfaces from prior literature
Invoked implicitly to state the main theorems.

pith-pipeline@v0.9.0 · 5630 in / 1044 out tokens · 29570 ms · 2026-05-24T22:06:08.183071+00:00 · methodology

Convex hypersurface theory in contact topology

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)