{"id":"5bef0dd1-006a-446e-9a03-8dad890f77da","arxiv_id":"2608.12102","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The overtwisted contact structure on S^3 with Hopf invariant -1 admits a contractible positive loop of contactomorphisms, making it the first known non-orderable overtwisted contact manifold.","lead":"The paper proves that one particular overtwisted contact structure on the three-dimensional sphere is non-orderable, the first such example. This settles, for this case, a long-standing question in contact topology about whether overtwisted contact manifolds can be ordered.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The load-bearing gap is the non-looseness of the stabilized unknot K in Lemma 3.2, not the slope-1 condition; the displacement used in Theorem 1.1 rests on a cited classification fact that is neither stated nor derived.","rationale":"The reader's verdict of CONDITIONAL is reasonable, and I agree that Lemma 3.2 is the weak point. However, the reader's specific concern about slope-1 crossings with T is not the most load-bearing issue for Theorem 1.1: the existence of f_1 with f_1(Lambda_0) cap T = empty follows once K is known to be a non-loose (tb=1, rot=0) unknot disjoint from T, because the classification gives a Legendrian isotopy to Lambda_0 and isotopy extension gives f_1; intermediate intersections with T are irrelevant to that conclusion. The slope condition only serves the stronger path-avoidance property f_t(Lambda_0) cap Lambda_1 = empty, which is used for Theorem 1.3. The genuinely load-bearing assertion is that the negative stabilization K of a non-loose (2,1) unknot is itself non-loose; this is asserted by citation without stating the theorem or giving a derivation, and Figure 1 is the only illustration. If that assertion were false, the central claim would not follow. The cited results from Etnyre and Vogel are independent and likely supply the missing fact, so the verdict should remain conditional rather than reject: the proof needs either a precise statement of the classification fact used for stabilizations, or an explicit verification that the K produced by Figure 1 is the standard non-loose (1,0) unknot.","tokens_in":7572,"tokens_out":36582,"duration_ms":320960,"concrete_test":"Implement the isotopy of Figure 1 in the explicit coordinates of Section 2.2: take K' as a Legendrian on the torus h^{-1}(c) with c = -1/sqrt(5) (so tan(3*pi*r/2) in (-2, -1/2)), perform the negative stabilization by adding a down-zigzag inside a Darboux chart away from T, then apply the front-projection move through the Hopf fibre described in [25, Section 2.5]. For each front segment compute the r-coordinate from tan(3*pi*r/2) = -slope and compute the classical invariants (tb, rot) of the final curve. Check (i) the final K is disjoint from T = h^{-1}(0), (ii) it has tb = 1 and rot = 0, and (iii) its front is the standard non-loose (1,0) front in the classification of [15]/[25], not a loose representative; also verify no tangency of slope 1 with the chosen red skeleton. If (i)-(iii) fail, Lemma 3.2 and Theorem 1.1 are unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Lemma 3.2 is the load-bearing step for Theorem 1.1, but the critical sub-claim is not the slope-1/Lambda_1 discussion: it is the assertion that the negative stabilization K of a non-loose (tb=2, rot=1) unknot K' is itself a non-loose (tb=1, rot=0) unknot. This is what puts K in the same Legendrian isotopy class as the skeleton Lambda_0 and yields, via isotopy extension, a contactomorphism f with f(Lambda_0) cap T = empty, i.e., the displacement hypothesis of Theorem 2.2. The paper cites [15, Thm 1.12] and [25, Section 2.5] for this, but does not state the exact result; Figure 1 is the only explicit evidence. If K were loose (a real possibility a priori, since stabilizations of non-loose knots are not automatically non-loose), then no contactomorphism of S^3 could send Lambda_0 to K, because non-looseness is preserved by contactomorphisms, and the whole displacement construction would fail. The slope-1/Lambda_1 condition only controls the auxiliary statement f_t(Lambda_0) cap Lambda_1 = empty, which is used for Theorem 1.3, not for the existence of f_1 in Theorem 1.1. Hence the proof of the central theorem is gap-prone exactly at the cited stabilization classification, even though the cited literature may well supply the needed fact.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":7744,"tokens_out":6521,"duration_ms":64234,"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":[{"comment":"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.","section":"§3.2, Lemma 3.2"},{"comment":"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.","section":"§3.2, Lemma 3.2"},{"comment":"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.","section":"§3.1, Lemma 3.1"}],"minor_comments":[{"comment":"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.","section":"Abstract and title"},{"comment":"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.","section":"Figure 1"},{"comment":"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}.","section":"§3.1"},{"comment":"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.","section":"§3.3, Theorem 1.3"}],"recommendation":"major_revision","confidential_remarks":"The main risk is Lemma 3.2: the paper relies on a cited but unstated classification fact about negative stabilizations of non-loose unknots, and on a figure that is not fully legible in the submitted text. The author should be asked to provide the exact statement from [15] or [25] and to verify that it applies to the specific stabilization used. It would also help the editor to confirm that [21], which is the author's own 'to appear' work, is available and refereed. If the missing details are supplied, the result would be publishable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","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.\n\nThe 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.\n\nVerdict: 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.","headline":"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.","tokens_in":8412,"tokens_out":3882,"would_cite":true,"duration_ms":36103,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53D10","53D35","57R17"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["overtwisted contact structure","non-orderability","contactomorphism","non-loose Legendrian unknot","open book decomposition","Reeb flow","translated points","contact topology"],"falsifier":"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.","tokens_in":7227,"feed_emoji":"🌀","tokens_out":11037,"duration_ms":93502,"temperature":0.7,"pith_summary":"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.","feed_headline":"First overtwisted contact manifold shown non-orderable","feed_subtitle":"A positive contractible loop of contactomorphisms exists on the overtwisted S^3 with Hopf invariant −1.","key_machinery":"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$.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the central criterion (Theorem 2.2/1.10): a contact manifold is non-orderable when a page skeleton can be displaced from its Reeb-flow image by a contactomorphism.","marker":"[21]"},{"why":"Provides the front-projection move and the Legendrian isotopy picture used in Lemma 3.2 to displace the skeleton from the pre-Lagrangian torus.","marker":"[25]"},{"why":"Gives classification of non-loose Legendrian unknots up to Legendrian isotopy, used to identify the stabilized knot $K$ with the skeleton $\\Lambda_0$.","marker":"[15]"},{"why":"Proves that non-loose unknots in $S^3$ are classified by $tb$ and $rot$, and that $\\xi$ is the only overtwisted structure admitting them.","marker":"[11]"},{"why":"Supplies the contact flow that contracts complements of skeletons, used to show $\\Lambda_0$ is non-loose and to construct the contactomorphism without translated points in Theorem 1.3.","marker":"[8]"},{"why":"Defines orderability and non-orderability via positive paths and establishes the contractible-positive-loop characterization used throughout.","marker":"[13]"},{"why":"Classifies overtwisted contact structures on 3-manifolds, so the Hopf invariant labels the structure $\\xi$ uniquely.","marker":"[10]"},{"why":"Describes Legendrian knots in overtwisted $S^3$ via front projections and the foliation of tori by non-loose unknots, providing the setup for the isotopy.","marker":"[9]"}],"fun_headline_variants":["First non-orderable overtwisted contact manifold","Overtwisted S^3 with Hopf -1 is non-orderable","Hopf -1 overtwisted sphere breaks orderability","Overtwisted contact structures can be non-orderable"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["First non-orderable overtwisted contact manifold","Overtwisted S^3 with Hopf -1 is non-orderable","Hopf -1 overtwisted sphere breaks orderability","Overtwisted contact structures can be non-orderable"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000379,"raw_usage":{"total_tokens":1949,"prompt_tokens":818,"completion_tokens":1131,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":434,"completion_tokens_details":{"reasoning_tokens":1061}},"tokens_in":434,"tokens_out":1131,"duration_ms":10642,"temperature":1.0,"reasoning_tokens":1061,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T00:16:06.909723+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"Vogel , Non-loose unknots, overtwisted discs, and the contact mapping class group of S^3 , Geometric and Functional Analysis, 28 (2018), pp","cited_arxiv_id":null,"evidence_quote":"Provides the front-projection move and the Legendrian isotopy picture used in Lemma 3.2 to displace the skeleton from the pre-Lagrangian torus."},{"cited_title":"229--264","cited_arxiv_id":null,"evidence_quote":"Gives classification of non-loose Legendrian unknots up to Legendrian isotopy, used to identify the stabilized knot $K$ with the skeleton $\\Lambda_0$."},{"cited_title":"Eliashberg and M","cited_arxiv_id":null,"evidence_quote":"Proves that non-loose unknots in $S^3$ are classified by $tb$ and $rot$, and that $\\xi$ is the only overtwisted structure admitting them."},{"cited_title":"Eliashberg and L","cited_arxiv_id":null,"evidence_quote":"Defines orderability and non-orderability via positive paths and establishes the contractible-positive-loop characterization used throughout."},{"cited_title":"Eliashberg , Classification of overtwisted contact structures on 3-manifolds , Inventiones mathematicae, 98 (1989), pp","cited_arxiv_id":null,"evidence_quote":"Classifies overtwisted contact structures on 3-manifolds, so the Hopf invariant labels the structure $\\xi$ uniquely."},{"cited_title":"Dymara , Legendrian knots in overtwisted contact structures on S^3 , Annals of Global Analysis and Geometry, 19 (2001), pp","cited_arxiv_id":null,"evidence_quote":"Describes Legendrian knots in overtwisted $S^3$ via front projections and the foliation of tori by non-loose unknots, providing the setup for the isotopy."}],"review_version":1}