A non-orderable overtwisted contact structure on the sphere

Jakob Hedicke

REVIEW 3 major objections 4 minor 25 references

A non-orderable overtwisted contact structure on the sphere

T0 review · 3 major / 4 minor · reviewed 2026-08-16 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The overtwisted contact structure on S^3 with Hopf invariant −1 is non-orderable: it admits a contractible positive loop of contactomorphisms, the first known example among overtwisted contact manifolds.

desk verdict The paper credibly produces the first non-orderable overtwisted contact manifold; the proof is mostly clean but the key displacement lemma is too sketchy on the page. read the letter →

arxiv 2608.12102 v1 pith:JGNXUZJR submitted 2026-08-12 math.SG

Jakob Hedicke This is my paper · ORCID

classification math.SG MSC 53D1053D3557R17

keywords overtwistedcontactstructurenon-orderabilitycontactomorphismnon-looseLegendrianunknotopenbookdecompositionReebflowtranslatedpointstopology

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper proves that the overtwisted contact structure on the 3-sphere with Hopf invariant $-1$ is non-orderable. Concretely, the contact manifold $(S^3,\xi)$ admits a loop of contactomorphisms that is positively transverse to the contact planes, starts and ends at the identity, and contracts to the identity. Because no overtwisted contact manifold had previously been known to be either orderable or non-orderable, this is the first example that settles the long-open question of whether overtwisted contact manifolds are orderable, in one direction. The proof reduces the problem to an open book decomposition and displaces the page skeleton from its image under the Reeb flow. The paper also shows that this same contact structure admits a contactomorphism with no translated points.

What carries the argument

The argument is carried by an open book decomposition of $S^3$ with an annulus page and monodromy isotopic to a negative Dehn twist, which supports $\xi$. The key object is the skeleton $\Lambda_0$ of a page with respect to an ideal Giroux form (a contact form adapted to the open book that makes the pages Liouville manifolds): a non-loose Legendrian unknot with $tb(\Lambda_0)=1$ and $rot(\Lambda_0)=0$. Its image under the Reeb flow is the pre-Lagrangian torus $T$, a torus whose intersection with the contact distribution is a linear foliation by Legendrian unknots with the same classical invariants. The main mechanism is a theorem of [21]: if a contactomorphism displaces the page skeleton from its Reeb image, the manifold is non-orderable. Displacement is achieved by taking a non-loose unknot with $tb=2$, $rot=1$, negatively stabilizing it to obtain a $tb=1$, $rot=0$ unknot that is Legendrian isotopic to $\Lambda_0$, and then applying the classification of non-loose unknots from [15, 25] to build an isotopy that avoids $T$.

What would settle it

An explicit coordinate computation of the front-projection isotopy in the complement of the Hopf link would settle the claim: if at any time $t$ the curve passes through a point of the torus $T = h^{-1}(0)$ where the tangent slope is not $1$, or if it intersects the second skeleton $\Lambda_1$, then the displacement condition of [21, Theorem 1.10] fails and the non-orderability conclusion would not follow. Conversely, confirming the slope-$1$-only intersections in all Reidemeister moves would put the proof on solid ground.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: the overtwisted contact structure $\xi$ on $S^3$ with Hopf invariant $-1$, obtained from the standard tight structure by a Lutz twist around a Hopf fibre, is non-orderable. In the sense introduced in [13], this means the universal cover of the identity component of the contactomorphism group admits no bi-invariant partial order, equivalently there exists a contractible positive loop of contactomorphisms. The discovery is that an overtwisted contact manifold can be non-orderable, and the construction identifies a specific mechanism: an annulus-page open book with negative Dehn twist monodromy whose page skeleton is a non-loose Legendrian unknot with Thurston–Bennequin invariant $1$ and rotation number $0$, and whose Reeb flow image is a pre-Lagrangian torus. A contact isotopy displaces that skeleton from the torus, which by the criterion from [21] yields non-orderability. As a further consequence (Theorem 1.3) there is a contactomorphism of this structure with no translated points.

Load-bearing premise

The load-bearing premise is that the Legendrian isotopy described in Lemma 3.2 really keeps the skeleton $\Lambda_0$ away from the pre-Lagrangian torus $T$ throughout, which the proof asserts by claiming all intersections with $T$ happen only where the front projection has slope $1$; this claim is not verified in the paper.

Editorial extensions

If this is right

The existence of a contractible positive loop settles, for at least one overtwisted structure, the long-open orderability question: $(S^3,\xi)$ cannot admit a bi-invariant partial order on its universal cover of contactomorphisms.
The same structure admits a contactomorphism with no translated points, giving an additional data point for the suspected link between non-orderability and the absence of translated points.
The displacement criterion combined with non-loose unknot classification is transferable: as the paper notes, similar knot theory exists for certain overtwisted lens spaces, so those manifolds are candidates for further non-orderable examples.
The method of proof is a template: find a supporting open book whose page skeleton is non-loose and displaceable from its Reeb image, then apply the theorem of [21] to conclude non-orderability.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If the argument propagates, the same open-book displacement test could be run on the integer family of overtwisted structures on $S^3$ with other Hopf invariants; the paper treats only Hopf invariant $-1$, and the classification results for non-loose unknots may differ in those cases.
A concrete check of the slope condition in Lemma 3.2 – verifying that the pictured isotopy crosses $T$ only at front-projection points of slope $1$ – would either establish the construction rigorously or expose a missing case; this is the part of the paper most amenable to independent verification.
The no-translated-points result raises the question whether every overtwisted contact form on $S^3$ has some contactomorphism without translated points; proving that would turn the phenomenon into a structural feature of overtwisted geometry rather than an accident of this example.
The displacement strategy may carry to higher-dimensional overtwisted manifolds if analogous non-loose submanifolds play the role of these non-loose unknots; nothing in the theorem of [21] is specific to dimension three.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

First: this is a real result. The paper gives the first concrete example of a non-orderable overtwisted contact manifold, settling an open question from Eliashberg–Polterovich for the Hopf-invariant-minus-one structure on S^3. That matters. The strategy is transparent: take the skeleton-displacement criterion from [21], identify the skeleton as a non-loose Legendrian unknot with (tb, rot) = (1,0), and then displace it from its Reeb image using the classification of non-loose unknots. Lemma 3.1 is solid, modulo a likely typo in the displayed contact form. The open-book picture with a negative Dehn twist on an annulus is standard and well handled. There are no fitted parameters and no circularity; the new input is the example, not the theorem.

The soft spot is exactly where the reader put it: Lemma 3.2. The existence of the displacement isotopy is the load-bearing step, and the proof is not a derivation. It relies on the claim that a negative stabilization of a non-loose (tb,rot) = (2,1) unknot is a non-loose (1,0) unknot, hence Legendrian isotopic to Λ0. The paper cites the right sources ([15, Thm 1.12] and [25, Sec 2.5]) for this, so I do not think the author invented the fact, but the exact statement is never written down, and the front-projection picture is doing too much work. The stress-test note is right to flag non-looseness as the critical point: if K were loose, the whole construction would fail. This is a presentation gap, not a contradiction. A referee should ask for the precise classification statement and a more explicit verification of the slope-1 condition and avoidance of Λ1. The rest of the proof, including the translated-point companion, follows the established template and looks fine.

Verdict: conditional, moderate confidence. The claim is probably true, and the paper deserves serious peer review, not a desk rejection. A well-chosen referee can check the cited classification and fill in the isotopy. I would bring this to a reading group; I'd cite it once the gap is closed.

Referee Report

3 major / 4 minor

Summary. The paper claims two theorems. Theorem 1.1 asserts that (S^3, ξ), the overtwisted contact structure on S^3 with Hopf invariant −1, is non-orderable, i.e., it admits a contractible positive loop of contactomorphisms; this would be the first example of a non-orderable overtwisted contact manifold. Theorem 1.3 asserts the existence of a contactomorphism of (S^3, ξ) without translated points. The proof follows the displacement criterion of Hedicke–Shelukhin [21, Thm 1.10]: the annulus open book for ξ is equipped with an ideal Giroux form whose page skeleton Λ0 is a non-loose Legendrian unknot with classical invariants (tb, rot) = (1, 0), and whose image under the Reeb flow is a pre-Lagrangian torus T. Lemma 3.2 claims a contact isotopy moving Λ0 off T while avoiding a second skeleton Λ1. The paper then invokes [21] to conclude non-orderability and sketches the proof of the no-translated-point result.

Significance. If the construction is valid, Theorem 1.1 resolves an open problem in the affirmative direction and provides the first concrete non-orderable overtwisted contact manifold; Theorem 1.3 reinforces the expected link between non-orderability and translated points. The paper is concise and the strategy is well chosen: the input theorem from [21] is not used circularly, since the new content consists of the identification of the skeleton, its Reeb image, and the displacement isotopy. No free parameters or fitted assumptions are introduced. However, the central displacement step, Lemma 3.2, is only sketched, and its key classification fact about negative stabilizations of non-loose unknots is not stated or verified precisely. The result is likely correct, but the written proof is incomplete at a load-bearing point.

major comments (3)

[§3.2, Lemma 3.2] The load-bearing displacement claim is not demonstrated. The proof asserts that a negative stabilization K of a non-loose (tb=2, rot=1) unknot K′ is non-loose with tb(K)=1 and rot(K)=0, citing [15, Theorem 1.12] and [25, Section 2.5], and then concludes that K is Legendrian isotopic to Λ0. Non-looseness is not automatically preserved by stabilization, and if K were loose then no contactomorphism of S^3 could send Λ0 to K, since looseness is preserved by contactomorphisms; the entire displacement construction would fail. Please state the exact classification theorem being used, explain why it applies to this particular negative stabilization, or give a direct verification of the non-looseness of K. Figure 1 alone is not a substitute for this argument.
[§3.2, Lemma 3.2] The assertion that the isotopy intersects T only at front-projection points of slope 1, and that these intersection points do not meet the front projection of Λ1, is unquantified and cannot be checked from the text. Since the condition f_t(Λ0) ∩ Λ1 = ∅ is part of the lemma and is later used for Theorem 1.3, please provide explicit coordinates for the front projection or a precise description of the Reidemeister/stabilization moves that makes the slope-1 condition verifiable.
[§3.1, Lemma 3.1] The proof that Λ0 is non-loose is only a reference to [21, Remark 1.2] together with a sketch invoking [8, Proposition 3.5] and [21, Lemma 2.7]. Because the identification of Λ0 with the classified non-loose unknots (tb=1, rot=0) is essential for the later step 'K is Legendrian isotopic to Λ0', this non-looseness assertion should be stated as a lemma with either a complete argument or a precise quoted statement from the cited papers.

minor comments (4)

[Abstract and title] The abstract contains the typo 'contactopmorphisms', and the title and body contain spelling and spacing inconsistencies such as 'over twisted' and 'overtisted'; please proofread the manuscript.
[Figure 1] Figure 1 is essential for Lemma 3.2, but in the submitted version it is not embedded or is not legible; please ensure that the figure is included and that the caption specifies which curves are the front projections of K′, K, Λ0, and Λ1.
[§3.1] The ideal Giroux form β is obtained by replacing s dφ with tan(πs/4)dφ, which has poles at s = ±2; please clarify the sense in which β is an ideal Giroux form and why the skeleton of the page is exactly {s = 0}.
[§3.3, Theorem 1.3] Theorem 1.3 is proved only by saying that the argument works 'completely analogously' to [3] and [21, Theorem 4.4]; since Theorem 1.3 is an advertised result, please spell out the construction or state the exact analogue being used.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the proof applies a prior non-orderability criterion [21, Theorem 1.10] and verifies its hypotheses with explicit geometry and external classification results.

full rationale

Theorem 1.1 is derived by applying the general criterion quoted as Theorem 2.2 from [21]: a contact manifold is non-orderable if a page skeleton can be displaced from its image under the Reeb flow. The paper's new contribution is the verification of that hypothesis for the overtwisted contact structure on S^3 with Hopf invariant -1. Lemma 3.1 computes the skeleton and the pre-Lagrangian torus from an explicit ideal Giroux form, and Lemma 3.2 constructs the displacing contact isotopy using the classification of non-loose unknots from external sources [9, 11, 15, 25] and a front-projection isotopy described in [25, Section 2.5]. No fitted parameter is renamed as a prediction, no definition is circular, and no equation is fed back into itself. Although the non-orderability criterion is cited from the author's own prior work with E. Shelukhin, it is a general theorem about arbitrary contact manifolds with open book decompositions; the present paper supplies the new example-specific geometry that makes the criterion applicable. The potential gap in Lemma 3.2 concerning the non-looseness of the stabilized unknot K is a correctness concern about the cited external classification results, not a circular reduction of the target claim to its own inputs.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper introduces no new free parameters or invented entities; all analytical content is imported from prior literature. The principal assumption is the external non-orderability criterion [21, Theorem 1.10], which is not proved here and comes from the author's own research program. The other axioms are standard results in contact topology and Legendrian knot theory.

assumptions (5)

domain assumption Non-orderability criterion of Hedicke-Shelukhin [21, Theorem 1.10]: if a supporting open book has a page skeleton displaceable from its Reeb image by a contactomorphism, then the manifold is non-orderable.
This is the central external black box, imported from the author's own prior work, and not reproved in this paper.
standard math Classification of non-loose Legendrian unknots in (S^3, ξ) up to isotopy by Thurston-Bennequin number and rotation number (Eliashberg-Fraser [11], Dymara [9], Etnyre [15], Vogel [25]).
Used to identify the skeleton Λ0, the knots K' and K, and to assert the relevant isotopy classes and stabilization behavior in Lemma 3.2.
standard math Giroux correspondence and the existence of a supporting open book for (S^3, ξ) with annulus page and negative Dehn twist monodromy.
Background construction cited to [14, 16] and used in Lemma 3.1 to set up the open book decomposition.
standard math Courte-Massot Legendrian flexibility [8, Proposition 3.5] and [21, Lemma 2.7] used to show that the skeleton Λ0 is non-loose.
Imported to rule out overtwisted disks in the complement of Λ0, a key step in Lemma 3.1.
standard math Lutz classification of S^1-invariant contact forms [23] used to identify the level sets of the function h that are foliated by non-loose unknots.
Used in Section 3.2 to pick the particular non-loose unknot K' from a level set of h.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A non-orderable overtwisted contact structure on the sphere." pith.science (2026). https://pith.science/paper/JGNXUZJR

@misc{pith2026260812102,
  author       = {Pith},
  title        = {Pith review of: A non-orderable overtwisted contact structure on the sphere},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JGNXUZJR}},
  note         = {Machine review of arXiv:2608.12102}
}

abstract

We show that the overtwisted contact structure on $S^3$ with Hopf invariant $-1$ is non-orderable, i.e., that it admits a contractible positive loop of contactopmorphisms. This provides the first known example of a non-orderable overtwisted contact manifold. We further show the existence of a contactomorphism without translated points.

Figures

Figures reproduced from arXiv: 2608.12102 by the authors.

**Figure 1.** The isotopy from the negative stabilization of K′ to Λ0. The red curve is the front projection of a skeleton on T disjoint from the isotopy. constructed using the contact flow in [8, Proposition 3.5], [21, Lemma 2.7] and the contactomorphism displacing the skeleton. References [1] P. Albers, U. Fuchs, and W. J. Merry, Orderability and the Weinstein conjecture, Compositio Mathematica, 151 (2015), pp. 2251–2272. 2, 4… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

25 extracted references · 22 canonical work pages

[21]

J., (2024)

height 2pt depth -1.6pt width 23pt, Non-orderability and the contact Hofer norm , arXiv preprint arXiv:2411.19887, to appear in Duke Math. J., (2024)

arXiv 2024
[1]

Albers, U

P. Albers, U. Fuchs, and W. J. Merry , Orderability and the Weinstein conjecture , Compositio Mathematica, 151 (2015), pp. 2251--2272

work page 2015
[2]

M. S. Borman, Y. Eliashberg, and E. Murphy , Existence and classification of overtwisted contact structures in all dimensions , Acta Mathematica, 215 (2015), pp. 281--361

work page 2015
[3]

Cant , Contactomorphisms of the sphere without translated points , Journal of Symplectic Geometry, (2022)

D. Cant , Contactomorphisms of the sphere without translated points , Journal of Symplectic Geometry, (2022)

work page 2022
[4]

Cant and J

D. Cant and J. Hedicke , On the rigidity of translated points , Geometriae Dedicata, 219 (2025), p. 52

work page 2025
[5]

Casals and F

R. Casals and F. Presas , On the strong orderability of overtwisted 3--folds , Commentarii Mathematici Helvetici, 91 (2016), pp. 305--316

work page 2016
[6]

Chantraine, V

B. Chantraine, V. Colin, and G. Dimitroglou Rizell , Positive L egendrian isotopies and F loer theory , in Annales de l'Institut Fourier, vol. 69, No. 4, 2019, pp. 1679--1737

work page 2019
[7]

Chatterjee, J

R. Chatterjee, J. B. Etnyre, H. Min, and A. Mukherjee , Existence and construction of non-loose knots , International Mathematics Research Notices, 2025 (2025), p. rnaf210

work page 2025

Show all 25 references

[8]

Courte and P

S. Courte and P. Massot , Contactomorphism groups and legendrian flexibility , arXiv preprint arXiv:1803.07997, (2018)

2018 arXiv
[9]

Dymara , Legendrian knots in overtwisted contact structures on S^3 , Annals of Global Analysis and Geometry, 19 (2001), pp

K. Dymara , Legendrian knots in overtwisted contact structures on S^3 , Annals of Global Analysis and Geometry, 19 (2001), pp. 293--305

2001
[10]

Eliashberg , Classification of overtwisted contact structures on 3-manifolds , Inventiones mathematicae, 98 (1989), pp

Y. Eliashberg , Classification of overtwisted contact structures on 3-manifolds , Inventiones mathematicae, 98 (1989), pp. 623--637

1989
[11]

Eliashberg and M

Y. Eliashberg and M. Fraser , Topologically trivial Legendrian knots , J. Symplectic Geom., 7 (2009), pp. 77--127

2009
[12]

Eliashberg, S

Y. Eliashberg, S. S. Kim, and L. Polterovich , Geometry of contact transformations and domains: orderability versus squeezing , Geometry & Topology, 10 (2006), pp. 1635--1747

2006
[13]

Eliashberg and L

Y. Eliashberg and L. Polterovich , Partially ordered groups and geometry of contact transformations , Geometric & Functional Analysis GAFA, 10 (2000), pp. 1448--1476

2000
[14]

J. B. Etnyre , Lectures on open book decompositions and contact structures , arXiv preprint math/0409402, (2004)

2004 arXiv
[15]

229--264

height 2pt depth -1.6pt width 23pt, On knots in overtwisted contact structures , Quantum Topology, 4 (2013), pp. 229--264

2013
[16]

Geiges , An introduction to contact topology , vol

H. Geiges , An introduction to contact topology , vol. 109 of Cambridge Studies in Advanced Mathematics, Cambridge University Press, Cambridge, 2008

2008
[17]

Geiges, J

H. Geiges, J. Hedicke, and M. Sa g lam , Bott-integrable Reeb flows on 3-manifolds , Journal of the London Mathematical Society, 109 (2024), p. e12859

2024
[18]

Geiges and S

H. Geiges and S. Onaran , Legendrian rational unknots in lens spaces , Journal of Symplectic Geometry, 13 (2015), pp. 17--50

2015
[19]

Giroux , Structures de contact en dimension trois et bifurcations des feuilletages de surfaces , Inventiones mathematicae, 141 (2000), pp

E. Giroux , Structures de contact en dimension trois et bifurcations des feuilletages de surfaces , Inventiones mathematicae, 141 (2000), pp. 615--689

2000
[20]

Hedicke and E

J. Hedicke and E. Shelukhin , On the non-orderability of overtwisted contact manifolds , Work in progress
[22]

Liu , Positive loops of loose legendrian embeddings and applications , Journal of Symplectic Geometry, 18 (2020), pp

G. Liu , Positive loops of loose legendrian embeddings and applications , Journal of Symplectic Geometry, 18 (2020), pp. 867--887

2020
[23]

Lutz , Structures de contact sur les fibrés principaux en cercles de dimension trois , Annales de l'institut Fourier, 27 (1977), pp

R. Lutz , Structures de contact sur les fibrés principaux en cercles de dimension trois , Annales de l'institut Fourier, 27 (1977), pp. 1--15

1977
[24]

Sandon , On iterated translated points for contactomorphisms of R ^ 2n+1 and R ^ 2n S^1 , International Journal of Mathematics, 23 (2012), p

S. Sandon , On iterated translated points for contactomorphisms of R ^ 2n+1 and R ^ 2n S^1 , International Journal of Mathematics, 23 (2012), p. 1250042

2012
[25]

Vogel , Non-loose unknots, overtwisted discs, and the contact mapping class group of S^3 , Geometric and Functional Analysis, 28 (2018), pp

T. Vogel , Non-loose unknots, overtwisted discs, and the contact mapping class group of S^3 , Geometric and Functional Analysis, 28 (2018), pp. 228--288

2018

Pith tools

Reviewed August 16, 2026 · model on record in the stance chip above.

[1] [21]

J., (2024)

height 2pt depth -1.6pt width 23pt, Non-orderability and the contact Hofer norm , arXiv preprint arXiv:2411.19887, to appear in Duke Math. J., (2024)

arXiv 2024

[2] [1]

Albers, U

P. Albers, U. Fuchs, and W. J. Merry , Orderability and the Weinstein conjecture , Compositio Mathematica, 151 (2015), pp. 2251--2272

work page 2015

[3] [2]

M. S. Borman, Y. Eliashberg, and E. Murphy , Existence and classification of overtwisted contact structures in all dimensions , Acta Mathematica, 215 (2015), pp. 281--361

work page 2015

[4] [3]

Cant , Contactomorphisms of the sphere without translated points , Journal of Symplectic Geometry, (2022)

D. Cant , Contactomorphisms of the sphere without translated points , Journal of Symplectic Geometry, (2022)

work page 2022

[5] [4]

Cant and J

D. Cant and J. Hedicke , On the rigidity of translated points , Geometriae Dedicata, 219 (2025), p. 52

work page 2025

[6] [5]

Casals and F

R. Casals and F. Presas , On the strong orderability of overtwisted 3--folds , Commentarii Mathematici Helvetici, 91 (2016), pp. 305--316

work page 2016

[7] [6]

Chantraine, V

B. Chantraine, V. Colin, and G. Dimitroglou Rizell , Positive L egendrian isotopies and F loer theory , in Annales de l'Institut Fourier, vol. 69, No. 4, 2019, pp. 1679--1737

work page 2019

[8] [7]

Chatterjee, J

R. Chatterjee, J. B. Etnyre, H. Min, and A. Mukherjee , Existence and construction of non-loose knots , International Mathematics Research Notices, 2025 (2025), p. rnaf210

work page 2025