{"id":"ff21f67a-c1ed-4b32-b155-b96adc0127a3","arxiv_id":"2411.19887","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Contact Hofer norm bounds, obtained from open books and loose Legendrians, imply non-orderability and resolve the standard S^1 × S^2 case.","lead":"The paper proves that several long-studied contact manifolds, including the standard S^1 × S^2, are non-orderable by showing their contact Hofer norm is bounded along Reeb flows. The method connects a geometric notion of shortening to orderability and yields new examples of contactomorphisms without translated points.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The conditional verdict is appropriate: the relative extension of Nakamura's small-energy theorem to loose isotropic complexes (Theorem 2.10, used in §3.9) is asserted without proof and is load-bearing for Theorem 1.5, though the S1×S2 example is not affected.","rationale":"The reader's verdict is CONDITIONAL with moderate confidence, and I largely agree. The proof strategy is clear and mostly well-supported: Theorem 2.2 gives a useful criterion, Lemma 2.7 and Proposition 3.1 provide bounded Hofer norm on skeleton-complements, and the open-book arguments are transparent. The single most load-bearing unproved step is the relative version of Nakamura's theorem for loose isotropic complexes. Section 3.9 says 'Applying the argument of [45], which readily extends to the relative case,' while Theorem 2.10 is stated without proof. This is not a routine variation: Nakamura's theorem is for closed loose Legendrians, but the isotropic complex setting requires working with a non-closed top stratum and with a fixed neighbourhood of the subcritical part, while preserving uniform Hofer bounds. If this extension fails, Theorem 1.16 fails and Theorem 1.5, the claim about ideal boundaries of subcritical Weinstein domains of dimension at least 6, is unsupported. Some of the other principal claims escape this concern: the standard S1 × S2 case is proved via Theorem 1.10 with pre-Lagrangian displacement in Section 3.7, and Theorem 1.1(i) has an independent open-book argument. I also noticed that the proof of Theorem 2.2 has a terse normalization step when choosing a path with ∫ min h = c and |c| < 1, but the criterion itself is consistent with the cited framework of [36], so I do not treat that as the primary weakness. Therefore no change to the reader's verdict is needed; the paper should remain CONDITIONAL until Theorem 2.10 is supplied or independently verified.","tokens_in":25912,"tokens_out":23630,"duration_ms":237497,"concrete_test":"Independently re-derive Theorem 2.10 from Nakamura's proof of [45, Thm 1.2] in the minimal case where the loose isotropic complex has a non-empty subcritical stratum: take L = L^1 ∪ D^2, a loose Lagrangian disk attached to an isotropic circle, with φ_t an isotopy that is the identity on a neighbourhood of L^1. Verify that the h-principle yields ψ_t with ψ_t = id on that neighbourhood, ψ_1(L) = φ_1(L), ψ_t(L) C^0-close to φ_t(L), and |ψ_1|_α ≤ 2C(V) + δ. If the proof requires moving the collar or introduces a constant depending on the number of strata, Theorem 1.16 is not established.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The overall architecture is sound: Theorem 2.2 reduces non-orderability to shortening of the Reeb flow in the contact Hofer norm, and Proposition 3.1 together with Lemma 3.2 gives the open-book bounds. The weakest point is the relative version of Nakamura's theorem for loose isotropic complexes. Theorem 2.10 is stated as 'readily extends' with no proof, and Section 3.9 relies on it through 'Applying the argument of [45], which readily extends to the relative case.' The extension is genuinely non-obvious: Nakamura's original theorem concerns closed loose Legendrians, whereas here the top stratum L \\ L^{n-1} is non-closed and the argument works relative to a pointwise fixed neighbourhood U of L^{n-1}, with uniform Hofer bounds independent of t and of the number of strata. If this extension fails, Theorem 1.16 and hence Theorem 1.5, non-orderability of the ideal contact boundary of W × C for dim W ≥ 4, do not follow from the supplied arguments. This does not affect the proof of the headline example S1 × S2, which is handled by Theorem 1.10 and pre-Lagrangian displacement in §3.7, nor Theorem 1.1(i), which has an independent open-book argument.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper establishes a general criterion relating non-orderability of closed contact manifolds to shortening of the Reeb flow in the contact Hofer norm (Theorem 2.2). It then proves boundedness of the contact Hofer norm on the identity component and its universal cover for several classes of contact manifolds, using open book decompositions and Legendrian flexibility. The main results are Theorem 1.1 (bounded Hofer norm for subcritical pages and for loose Legendrian skeleta), Theorem 1.10 (bounded Hofer norm along paths displacing a page skeleton), and Theorem 1.16 (a relative loose-complex version), leading to non-orderability of ideal contact boundaries of subcritical Weinstein domains and of the standard S^1 × S^2. Applications include obstructions to subcritical polarizations, contactomorphisms without translated points, and a C^0-continuity property of the contact Hofer metric.","tokens_in":26110,"tokens_out":7185,"duration_ms":64414,"significance":"If the proofs are completed, the paper resolves a long-standing question by showing that the standard tight S^1 × S^2 is non-orderable, and more generally gives many new non-orderable contact manifolds. The overarching idea—reducing non-orderability to boundedness of the contact Hofer norm along the Reeb flow—is conceptually clean and likely influential. The paper contains several genuinely detailed proofs: Theorem 2.2 is proved from first principles, Lemma 2.7 gives an explicit contracting flow, Proposition 3.1 contains explicit Hofer-norm estimates, and Lemma 3.2 is elementary and clearly proved. These are strong points. The central caveat is that the relative extension of Nakamura's small-energy isotopy theorem (Theorem 2.10) is asserted without proof and is load-bearing for Theorem 1.16 and hence Theorem 1.5; the S^1 × S^2 example and Theorem 1.1(i) do not depend on that step.","major_comments":[{"comment":"Theorem 2.10 is stated as a 'readily extends' version of Nakamura's theorem, but no proof of the relative extension is supplied. The only justification in Section 3.9 is the sentence 'Applying the argument of [45], which readily extends to the relative case.' This extension is load-bearing: it is used to produce the isotopy ψ_t with ψ_t = id on U′, ψ_1(L)=φ_1(L), and uniform Hofer bound |ψ̃_1|_α ≤ 2C(V)+δ, which is essential for the proof of Theorem 1.16 and hence for Theorem 1.5. The extension is not a routine restatement: the top stratum L \\setminus L^{n-1} is non-closed, the isotopy must be pointwise fixed on a neighbourhood of L^{n-1}, and the Hofer bound must be uniform in t and in the number of strata in the isotropic complex. Without a proof of this relative statement, Theorem 1.5 does not follow from the supplied arguments. I ask the authors to provide the missing proof, or to state and prove a more precise relative version, or to restrict the claims accordingly. Note that Theorem 1.1(i), Theorem 1.10, and Corollary 1.12 are not affected by this gap.","section":"Section 3.9, Theorem 2.10"},{"comment":"There is a normalization error in the proof of Theorem 2.2. After choosing a path (ψ_s)_{s∈[0,t]} representing φ˜^α_t with length < t, the proof claims that c := ∫_0^t min_M α(dψ_s/ds) ds satisfies |c| < 1. This does not follow from |φ˜^α_t|_α < t; the correct bound is |c| < t (after the natural time rescaling from [0,t] to [0,1], the normalized average satisfies |c|/t < 1). Accordingly, the displayed inequalities '1 + c > 0' and '≥ 1 + c − δ > 0' should be 't + c > 0' and '≥ t + c − δ > 0' once the path is correctly normalized with respect to the Reeb flow over time t. This is a load-bearing step for the implication 'shortening ⇒ non-orderability', and the proof as written is not correct. The repair appears straightforward, but it must be written out explicitly.","section":"Section 2.2, proof of Theorem 2.2"}],"minor_comments":[{"comment":"Proposition 4.11 is stated as a proposition but introduced with the phrase 'without proof, as we do not use it in the rest of the paper.' A proposition without proof is not a proved result; please either provide a proof, move the statement to a conjecture or remark, or explicitly mark it as an aside outside the main theorems.","section":"Section 4.7, Proposition 4.11"},{"comment":"The sentence 'It would be interesting to study possible values of C(α) for non-orderable manifolds ... and see if intermediate values C(α) ∈ (0, ∞) could be achieved' conflicts with the definition C(θ) ≥ 1. The range should presumably be (1, ∞) if intermediate values are meant.","section":"Section 4.7, after Proposition 4.11"},{"comment":"In the proof of Theorem 1.1(ii), the appeal to Theorem 2.8 requires Hofer-norm bounds on the loose chart U and its image φ_1(U); the text says Proposition 3.1 supplies such bounds, but the step could be spelled out more explicitly because U is a Darboux ball and not literally a skeleton-complement as written in Proposition 3.1.","section":"Section 3.4"}],"recommendation":"major_revision","confidential_remarks":"The paper has two fixable but important technical gaps: the unproved relative Nakamura extension in Theorem 2.10/Section 3.9, and the normalization error in the proof of Theorem 2.2. The main architectural idea is sound and the S^1 × S^2 example and many other statements survive independently of the relative extension. I would be willing to look at a revised version with the relative proof supplied and the proof of Theorem 2.2 corrected."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe short version: this paper gives the first proof that the standard S^1 × S^2 is non-orderable for the universal cover of the contactomorphism group, and it does so with a mechanism that should be reusable: shortening in the contact Hofer norm implies non-orderability (Theorem 2.2), and open-book and loose-Legendrian technology supplies the uniform bounds. The proof of Theorem 2.2 is self-contained; Lemma 2.7 is explicit; and the fragmentation argument is genuinely elementary. The paper also recovers the Eliashberg–Kim–Polterovich examples and extends them to ideal boundaries of subcritical Weinstein domains in a clean way. I particularly appreciate that the authors flag Corollary 1.7 as already following from [23] and [29]; that honesty makes the rest of the paper easier to trust.\n\nThe soft spot is Theorem 2.10, the relative version of Nakamura's small-energy isotopy theorem for loose isotropic complexes. It is asserted with 'readily extends' and no proof, and it is load-bearing for Theorem 1.16 and therefore for Theorem 1.5 (non-orderability of the ideal contact boundary of W × C for dim W ≥ 4). The extension is not formal: the top stratum L \\ L^{n-1} is non-closed, the isotopy is required to be identity on a neighbourhood of L^{n-1}, and the Hofer bound has to be independent of t. A referee should ask for the details. The headline example, S^1 × S^2, does not depend on this relative extension — it goes through Theorem 1.10 and the pre-Lagrangian displacement in §3.7 — so the main case is in good shape. Proposition 4.11 is also stated without proof; it is not used elsewhere, so I treat it as minor.\n\nThe citation pattern looks fine. The quoted [36] and [51] are published with independent proofs; no hidden circularity. The writing is dense but readable.\n\nMy recommendation: send it out. It is a significant result with a mostly rigorous argument, and the gaps are localized. A referee should press on Section 3.9 and on Proposition 4.11. If the relative extension of Nakamura fails, Theorem 1.5 collapses but the rest stands. I would cite this paper for the S^1 × S^2 result and for the Hofer-shortening criterion.","headline":"Strong paper: new Hofer-shortening criterion proves non-orderability of standard S^1 × S^2 and subcritical Weinstein boundaries; only real worry is an unproved relative extension of Nakamura's theorem.","tokens_in":26726,"tokens_out":4728,"would_cite":true,"duration_ms":38298,"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":"A short Reeb flow lift forces a contact manifold to be non-orderable.","keywords":["contact Hofer norm","orderability","open book decompositions","loose Legendrians","positive loops","subcritical Weinstein domains","Weinstein conjecture","pre-Lagrangian displacement"],"falsifier":"Compute the contact Hofer norm of the Reeb flow on the ideal contact boundary of $W \\times \\mathbb{C}$ for a finite-type Weinstein manifold of dimension at least 4 and find that $|\\tilde\\phi^\\alpha_t|_\\alpha$ grows linearly in $t$; that would contradict Theorem 1.5. More narrowly, exhibiting a loose isotropic complex with fixed subcritical part for which the asserted relative small-energy isotopy fails would remove the proof of Theorem 1.16 without necessarily disproving the theorem.","tokens_in":25646,"feed_emoji":"🔁","tokens_out":5937,"duration_ms":50179,"temperature":0.7,"pith_summary":"The paper establishes a quantitative criterion for non-orderability: a closed contact manifold admits a contractible positive loop as soon as the contact Hofer norm of a Reeb flow can be shortened, $|\\tilde\\phi^\\alpha_t|_\\alpha < |t|$ for some $t$. The authors prove this shortening occurs for many manifolds by showing their contact Hofer norms are bounded along large classes of paths, via open book decompositions and Legendrian flexibility. This yields many new non-orderable contact manifolds, including contact boundaries of subcritical Weinstein domains and the long-standing case of the standard $S^1 \\times S^2$. A sympathetic reader should care because the result replaces the search for explicit positive loops by a norm estimate and opens new families of contact manifolds to orderability questions.","feed_headline":"Short Reeb flow lift forces non-orderability","feed_subtitle":"Open-book and loose-Legendrian methods settle S^1 × S^2 and subcritical Weinstein boundaries.","key_machinery":"The argument runs on three objects. First, the contact Hofer norm $|\\cdot|_\\alpha$ of a path, the integrated maximum of the contact Hamiltonian, together with the shortening criterion Theorem 2.2 that turns boundedness of the norm along the Reeb flow into a positive contractible loop. Second, a flow built in Lemma 2.7 that contracts the complement of one page skeleton into an arbitrarily small neighbourhood of another, which makes the Hofer diameter of skeleton-complements finite and enables a fragmentation lemma splitting any isotopy that avoids a skeleton into two isotopies with controlled norm. Third, for loose Legendrians and loose isotropic complexes, a small-energy isotopy theorem that reconnects the Reeb image of the skeleton to itself with Hofer cost bounded by chart constants; the relative form for complexes with fixed subcritical part is invoked to handle the combined subcritical and loose case.","core_discovery":"On the paper's own terms, the central discovery is Theorem 2.2: for the lift of the Reeb flow of any contact form $\\alpha$, strict inequality $|\\tilde\\phi^\\alpha_t|_\\alpha < |t|$ for one time $t$ forces the existence of a contractible positive loop, so the manifold is non-orderable. This turns orderability into a quantitative question about the contact Hofer norm. The paper then shows the norm is bounded on the contactomorphism group, or on its universal cover, for closed contact manifolds admitting a Weinstein open book whose page is subcritical, or whose page skeleton is a loose Legendrian or a loose isotropic complex. Consequences include non-orderability of ideal contact boundaries of $W \\times \\mathbb{C}$ for finite-type Weinstein manifolds of dimension at least 4, and of the standard $T^n \\times S^{n+1}$ for every $n \\geq 1$.","pith_inferences":["If the relative small-energy extension is correct, the same method should also give non-orderability for ideal boundaries of flexible Weinstein manifolds, a case the authors flag as future work.","The shortening criterion suggests a numerical invariant, the asymptotic growth rate $\\mu(\\alpha)=\\lim_{t\\to\\infty}|\\tilde\\phi^\\alpha_t|_\\alpha/t$; the paper shows it is 0 in the bounded cases and 1 in orderable cases, and intermediate values may distinguish non-orderable manifolds.","The paper's examples cluster at the non-orderable end of the translated-point spectrum, suggesting that existence of contactomorphisms without translated points may characterize non-orderability, a question the authors pose explicitly.","The explicit positive-loop construction of Section 4.6 may connect to previously known loops on $S^3$, raising the question of whether all such loops are homotopic through positive loops."],"forward_implications":["Every contact form on a manifold satisfying the hypotheses has a contractible closed Reeb orbit, so the Weinstein conjecture holds there.","Orderable prequantization spaces do not admit subcritical polarizations, giving new obstructions to polarizations of symplectic manifolds whose Boothby-Wang bundles are orderable.","The standard contact $T^n \\times S^{n+1}$ is non-orderable for every $n \\geq 1$.","The ideal contact boundary of $W \\times \\mathbb{C}$ is non-orderable for every finite-type Weinstein manifold of dimension at least 4.","Domains inside the symplectization or inside $W \\times S^1$ admit squeezing phenomena whenever these non-orderability results apply."],"supporting_citations":[{"why":"supplies the orderability relation and its characterization in terms of positive loops","marker":"[28]"},{"why":"proves that orderability forces equality $|\\phi^\\alpha_t|_\\alpha=|t|$, the base for the shortening criterion","marker":"[36]"},{"why":"introduces the contact Hofer norm and its basic properties used throughout","marker":"[51]"},{"why":"supplies the small-energy isotopy theorem for loose Legendrians used in Theorem 1.1(ii)","marker":"[45]"},{"why":"provides the contraction and fragmentation techniques for open books and loose complexes","marker":"[23]"},{"why":"gives the previous non-orderable examples via 2-stabilizations and the squeezing consequences used here","marker":"[26]"},{"why":"shows skeletons in stabilizations are loose, a key input for Corollary 1.3 and Theorem 1.5","marker":"[15]"},{"why":"supplies displacement results for pre-Lagrangian tori used for $T^n \\times S^{n+1}$","marker":"[41]"},{"why":"provides the contact form periodic near the skeleton on the boundary of $W\\times\\mathbb{C}$","marker":"[54]"}],"fun_headline_variants":["Short Reeb lift breaks orderability","Non-orderability via Reeb flow norm","Hofer norm unmasks non-orderable manifolds","S^1×S^2 yields to Reeb flow metric","Subcritical Weinstein: non-orderable at last"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that a flexible Legendrian object, namely a loose Legendrian or loose isotropic complex, can be moved close to a prescribed isotopy with contact Hofer cost bounded only by chart constants, and that this small-energy property survives when the lower-dimensional part of the complex is held fixed; the paper cites the Legendrian case and asserts the relative complex case without a full proof.","fun_headline_variants_meta":{"raw":{"variants":["Short Reeb lift breaks orderability","Non-orderability via Reeb flow norm","Hofer norm unmasks non-orderable manifolds","S^1×S^2 yields to Reeb flow metric","Subcritical Weinstein: non-orderable at last"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000142,"raw_usage":{"total_tokens":1104,"prompt_tokens":820,"completion_tokens":284,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":436,"completion_tokens_details":{"reasoning_tokens":209}},"tokens_in":436,"tokens_out":284,"duration_ms":2941,"temperature":1.0,"reasoning_tokens":209,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T05:42:19.807240+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the contact Hofer norm of the Reeb flow on the ideal contact boundary of $W \\times \\mathbb{C}$ for a finite-type Weinstein manifold of dimension at least 4 and find that $|\\tilde\\phi^\\alpha_t|_\\alpha$ grows linearly in $t$; that would contradict Theorem 1.5. More narrowly, exhibiting a loose isotropic complex with fixed subcritical part for which the asserted relative small-energy isotopy fails would remove the proof of Theorem 1.16 without necessarily disproving the theorem.","supporting_citations":[{"cited_title":"Eliashberg and L","cited_arxiv_id":null,"evidence_quote":"supplies the orderability relation and its characterization in terms of positive loops"},{"cited_title":"Hedicke , Lorentzian distance functions in contact geometry , Journal of Topology & Anal- ysis, 16 (2024)","cited_arxiv_id":null,"evidence_quote":"proves that orderability forces equality $|\\phi^\\alpha_t|_\\alpha=|t|$, the base for the shortening criterion"},{"cited_title":"Shelukhin , The Hofer norm of a contactomorphism , J","cited_arxiv_id":null,"evidence_quote":"introduces the contact Hofer norm and its basic properties used throughout"},{"cited_title":"Small energy isotopies of loose Legendrian submanifolds","cited_arxiv_id":"2105.05970","evidence_quote":"supplies the small-energy isotopy theorem for loose Legendrians used in Theorem 1.1(ii)"},{"cited_title":"Contactomorphism groups and Legendrian flexibility","cited_arxiv_id":"1803.07997","evidence_quote":"provides the contraction and fragmentation techniques for open books and loose complexes"},{"cited_title":"Eliashberg, S","cited_arxiv_id":null,"evidence_quote":"gives the previous non-orderable examples via 2-stabilizations and the squeezing consequences used here"},{"cited_title":"Casals and E","cited_arxiv_id":null,"evidence_quote":"shows skeletons in stabilizations are loose, a key input for Corollary 1.3 and Theorem 1.5"},{"cited_title":"Marinković and M","cited_arxiv_id":null,"evidence_quote":"supplies displacement results for pre-Lagrangian tori used for $T^n \\times S^{n+1}$"},{"cited_title":"v an Koert, Lecture notes on stabilization of contact open books , Münster J","cited_arxiv_id":null,"evidence_quote":"provides the contact form periodic near the skeleton on the boundary of $W\\times\\mathbb{C}$"}],"review_version":1}