Pith. sign in

REVIEW 2 major objections 5 minor 42 references

On orderability and the chord conjecture

T0 review · 2 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read The chord conjecture holds for every weakly non-orderable contact manifold of displacement type, yielding Reeb chords for all Legendrians in many prequantizations and Brieskorn manifolds.

desk verdict A serious advance on the chord conjecture, with a clean main theorem and a fragile technical core in the general prequantization case; worth refereeing, but the sketch of Proposition 8 needs to be either completed or explicitly marked conditional. read the letter →

arxiv 2608.10493 v1 pith:WKX7YHZS submitted 2026-08-11 math.SG math.DS

Egor Shelukhin This is my paper · ORCID
classification math.SGmath.DS MSC 53D1053D3553D4053D42
keywords chordconjectureReebchordsLegendriansubmanifoldscontactorderabilityHoferdisplacementenergyprequantizationBrieskornmanifoldsRGWcompactifications
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

The paper aims to prove the chord conjecture—that every closed Legendrian submanifold has a non-constant Reeb chord for every contact form—for a large class of closed contact manifolds, characterized by two geometric properties. A manifold is weakly non-orderable when it admits a positive loop of contactomorphisms—a one-parameter loop of contact transformations with strictly positive contact Hamiltonian; it is of displacement type when every totally rational Lagrangian in its symplectization has Hofer displacement energy at least its rationality constant $\rho_L$. The main theorem states that every weakly non-orderable displacement-type manifold satisfies the conjecture, and relatively spin Legendrians do so under the weaker Q displacement-type assumption. The applications cover prequantizations over symplectically aspherical and suitable monotone base manifolds, all relatively spin Legendrians in arbitrary prequantizations, and links of weighted homogeneous hypersurface singularities including Brieskorn manifolds. The same argument gives a uniform upper bound on the length of the shortest chord for forms proportional to a standard period-one form.

What carries the argument

The engine of the proof is a contradiction between two estimates on the Hofer displacement energy of one Lagrangian. Starting from a closed Legendrian $K$ with no Reeb chord of length up to $T$, the paper builds a Lagrangian $L$ in the symplectization from the images of $K$ under the Reeb flow for times in $[0,T-\delta]$, with the endpoints pushed outward by the Liouville flow; $L$ is totally rational with rationality constant $\rho_L$ arbitrarily close to $T$, and if no chord exists then the time-$T$ Reeb flow displaces $L$. The displacement-type property gives $e(L) \ge \rho_L \approx T$. Weak non-orderability, however, supplies a positive loop of contactomorphisms whose non-negative contact Hamiltonian generates the time-$T$ Reeb flow with contact Hofer length strictly less than $T$; the canonical lift of this Hamiltonian displaces $L$ with Hofer energy $< T$, contradicting the lower bound. The technical work is in establishing the displacement-type inequality, especially in prequantizations, where a lemma comparing intersection number with the zero section to symplectic area (Lemma 17) and short action-window counts of RGW configurations—a specific holomorphic-curve compactification—are used.

What would settle it

Find a totally rational Lagrangian $L$ in the symplectization of a weakly non-orderable contact manifold whose Hofer displacement energy is strictly smaller than its rationality constant $\rho_L$; the displacement-type premise would fail and the contradiction in Theorem 14 would collapse. Concretely, in a general prequantization one can search for an RGW configuration with energy below $\rho_L$ and nonzero intersection with the zero section, which would invalidate the $d^2=0$ step in the short-window argument.

Watch

Extended reading notes

Core claim

The central claim, stated as Theorem 14, is that the chord conjecture holds for every weakly non-orderable displacement-type contact manifold, and for relatively spin Legendrians in weakly non-orderable Q displacement-type manifolds. Weak non-orderability means a positive loop of contactomorphisms exists; displacement type means that for every totally rational Lagrangian $L$ in the symplectization, the Hofer displacement energy satisfies $e(L) \ge \rho_L$, where $\rho_L$ is the rationality constant of $L$. The theorem is applied to prequantizations of closed symplectically aspherical manifolds, to prequantizations of monotone manifolds with minimal Chern number at least two, to Liouville-fillable prequantizations, to all relatively spin Legendrians in arbitrary prequantizations, and to links of isolated weighted homogeneous hypersurface singularities such as Brieskorn manifolds. It also yields Corollary 4: for $\alpha = f \alpha_0$ with $\alpha_0$ the standard period-one form, a chord of length at most $2\max f$ exists.

Load-bearing premise

The load-bearing premise is that every totally rational Lagrangian in the symplectization has Hofer displacement energy at least its rationality constant $\rho_L$; in the most general prequantization case this is only sketched and depends on a short action-window counting argument whose foundations are supplied by a trilogy of preprints.

Editorial extensions

If this is right

  • Every prequantization of a closed symplectically aspherical manifold satisfies the chord conjecture for every Legendrian.
  • Every prequantization of a closed monotone symplectic manifold with minimal Chern number at least two satisfies the chord conjecture.
  • In any prequantization, the chord conjecture holds for every relatively spin Legendrian, which includes all Legendrians diffeomorphic to spheres.
  • The chord conjecture holds for all links of isolated weighted homogeneous hypersurface singularities, in particular Brieskorn manifolds with all exponents at least two.
  • For a contact form that is a positive function multiple of the standard period-one form, a Reeb chord exists with length at most twice the maximum of the multiplier, uniformly in the Legendrian.

Reading between the lines

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

  • The same contradiction mechanism should extend the conjecture to all contact manifolds with periodic Reeb flow: they are weakly non-orderable, so proving the displacement-type inequality is the remaining step.
  • The uniform bound of twice the maximum of the conformal multiplier suggests that a quantitative version of the chord conjecture, with one chord whose length is controlled only by the contact form, may hold in all dimensions for this class.
  • The short-window configuration argument for general prequantizations looks replaceable: any Floer-theoretic framework that can rule out low-energy contributions in an action window shorter than the rationality constant would recover the same theorem, which is why alternative transversality approaches are mentioned as future work.
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.

Referee Report

2 major / 5 minor

Summary. The paper proves a new general form of Arnol'd's chord conjecture: for every contact form on a weakly non-orderable 'displacement-type' contact manifold, every closed Legendrian has a non-constant Reeb chord (Theorem 14), and the proof yields a uniform upper bound on the chord length. The main applications (Theorem 1 and Theorem 3) use Proposition 8 to identify large classes of displacement-type manifolds, including many prequantizations, Liouville-fillable manifolds, and links of isolated weighted homogeneous hypersurface singularities. The proof strategy relates Mohnke's Lagrangian construction to the Hofer displacement energy in the symplectization and to contact Hofer geometry of non-negative paths.

Significance. If the technical steps in Proposition 8 can be completed, this is a substantial breakthrough: it unifies and extends Mohnke's and Hutchings-Taubes results, establishes the chord conjecture for arbitrary prequantization spaces in the relatively spin case, and provides the first uniform bounds on chord length in this generality. The conceptual reduction of the chord conjecture to a displacement-energy lower bound plus weak non-orderability is elegant and likely to be influential. The proof of Theorem 14 is coherent and self-contained conditional on Definition 7, and Lemma 17 is a clean, useful computation. The main risk is the unfinished proof of the displacement-type property in the most general cases, where the argument relies on unpublished work and sketches.

major comments (2)
  1. [§2.3 (Proposition 8, general prequantization case, final two paragraphs)] The proof that short-window RGW Floer complexes satisfy d^2=0 in the general prequantization case is not written out and contains a specific gap. The text asserts that all RGW configurations contributing to Items (2) and (3) of [16, Theorem 2.8] have energy at least rho_L by Lemma 17, but Lemma 17 only applies to disk-like relative homology classes with zero intersection with the zero section; it says nothing about sphere bubbles contained in the zero section, whose positive symplectic area in M can be smaller than rho_L. Since d^2=0 and the non-triviality of the continuation maps are the justification for the displacement-type inequality e(L) >= rho_L, a failure here would invalidate the contradiction in Theorem 14 for the relatively spin case of arbitrary prequantizations. The appeal to a non-monotone adaptation of [16, Theorem 2.16] without presenting the adaptation is not sufficient for a proof in a research article.
  2. [§2.3 (Proposition 8, monotone prequantization case)] The displacement-type claim for prequantizations of monotone symplectic manifolds with minimal Chern number at least two is not proven in the manuscript. The argument presented for the symplectically aspherical case concludes that bubble configurations must be constant because the zero section is symplectically aspherical; in the monotone case the zero section contains holomorphic spheres, so this argument does not apply. The text defers to [40, Remark 3.11] for index estimates without stating or proving them, and it is unclear how the short-window argument excludes positive-area sphere bubbles in the zero section. Since Theorem 1 explicitly includes this case, the paper's statement of Proposition 8 goes beyond what is demonstrated.
minor comments (5)
  1. [§2.2 (proof of Corollary 4)] In the formula h(t,x)=S−f(ϕ^{(1−t)T}_R x), the time parameter in the exponent should be S, not T, to generate ϕ^S; this appears to be a typo.
  2. [§2.3 (Proposition 8)] The word 'mononotone' appears twice in place of 'monotone'; please fix these typos.
  3. [§2.3 (hypertight case)] The notation 'minsupp_F ρ' is undefined; please define it explicitly when introducing the perturbation support.
  4. [Lemma 17] The notation H^D_2(E,i_ε(L);Z) is not defined; please clarify that it denotes the relative homology group of disk classes, or introduce a definition.
  5. [§2.1 (proof of Theorem 14)] The assertion that Mohnke's Lagrangian L is totally rational with rationality constant arbitrarily close to T is stated without a proof or reference; a brief justification would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular derivation: Theorem 14's contradiction is proved directly from the displacement-type bound and a positive loop; cited tools are not load-bearing.

full rationale

The central implication (Theorem 14) does not assume the chord conjecture. It assumes two independent properties: weak non-orderability (existence of a positive loop of contactomorphisms) and displacement-type (e(L) ≥ ρ_L for every totally rational Lagrangian). Assuming the absence of Reeb chords, the paper builds Mohnke's Lagrangian L with rationality constant ρ_L arbitrarily close to T. Displacement-type gives e(L) ≥ ρ_L. Since the canonical lift of the Reeb flow φ^T_R displaces L, any positive loop g with max g ≤ T yields a non-negative contact Hamiltonian h(t,x)=T−g(1−t,φ^{-tT}_R x) generating φ^T_R with ℓ(h)<T. Usher's trick converts its canonical lift into a compactly supported Hamiltonian F1 displacing L with ℓ(F1)≤e^εℓ(h), forcing ℓ(h)≥e^{-ε}ρ_L and, in the stated limit, ℓ(h)≥T, contradicting ℓ(h)<T. No parameter is fitted to the conclusion, and 'displacement-type' is not a restatement of the chord conjecture. Proposition 8 reduces each case to Chekanov's displacement-energy lower bound, exactness or asphericity, hypertight SFT compactness, or Daemi–Fukaya RGW compactifications. In the general prequantization case the proof is only sketched and relies on the unpublished Daemi–Fukaya trilogy [14–16] plus Lemma 17; this is the fragile step of the paper, but fragility of a technical compactness/virtual-counting argument is a correctness risk, not a circular step. Self-citations such as [38] and [26] provide tools (contact Hofer norm, non-negative path constructions) but the final contradiction in Theorem 14 is argued directly from the displacement-type inequality and the explicit positive loop; it does not reduce to a self-citation. The paper's claims are therefore not equivalent to their inputs by definition or by construction.

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

No fitted constants or invented physical/mathematical entities appear. The new definitions (displacement-type, Q displacement-type) are properties, not entities. The five axioms listed are the main unproved background inputs the central claim rests on, ranging from classical results in symplectic geometry to the heavy Daemi-Fukaya virtual perturbation machinery.

assumptions (5)
  • standard math Chekanov's displacement-energy lower bound e(L) ≥ ρ_L for compact Lagrangians in geometrically bounded symplectic manifolds.
    Used in §2.3 for the Liouville-fillable case to obtain e(L) ≥ ρ_L; this is the sharp bound defining displacement-type.
  • standard math Daemi-Fukaya RGW compactification and virtual perturbation theory (Kuranishi structures, d^2=0, continuation maps) from [14,15,16].
    Foundational for the general prequantization case in §2.3; the paper relies on these unpublished preprints for existence of virtual counts and for the structure of the RGW boundary.
  • standard math SFT compactness and the maximum principle in the symplectization, confining low-energy holomorphic curves to compact regions.
    Used in the hypertight case and in the symplectic-cut argument for prequantizations to rule out curves escaping to the ends and to constrain bubble trees.
  • standard math Hedicke-Shelukhin: the contact Hofer norm of the Reeb flow, if equal to the flow time T, implies strong orderability of the contact manifold.
    This result [26] is the engine of the contradiction: it converts the Hofer-norm statement into orderability, contradicting weak non-orderability.
  • standard math The standard contact form on a link of an isolated weighted homogeneous hypersurface singularity has periodic Reeb flow, making the manifold weakly non-orderable.
    Used in Theorem 3 for Brieskorn manifolds and weighted homogeneous links; this is a known fact (see [30]).

how reviews work

0 comments
Cite this review

Pith. "Pith review of On orderability and the chord conjecture." pith.science (2026). https://pith.science/paper/WKX7YHZS

@misc{pith2026260810493,
  author       = {Pith},
  title        = {Pith review of: On orderability and the chord conjecture},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WKX7YHZS}},
  note         = {Machine review of arXiv:2608.10493}
}
read the original abstract

We prove Arnol'd's chord conjecture for a large new class of contact manifolds: for every contact form and every closed Legendrian submanifold there exists a non-constant Reeb chord with endpoints on the Legendrian. This class is characterized by contact non-orderability and rigidity of symplectizations. This proves the chord conjecture for Brieskorn manifolds, many prequantization spaces, and for all prequantization spaces under a mild topological condition on the Legendrians. Moreover, it provides a uniform upper bound on the length of the minimal chord. Our approach involves a new link between Mohnke's construction and contact Hofer geometry.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

42 extracted references · 32 canonical work pages

  1. [16]

    Daemi and K

    A. Daemi and K. Fukaya. Monotone Lagrangian Floer theory in smooth divisor comple- ments: III. Preprint arXiv:2211.02095, 2022

    arXiv 2022

  2. [40]

    Y. Sun, I. Uljarevi´ c, and U. Varolgunes. Contact big fiber theorems.Geom. Funct. Anal., 36(1):301–350, 2026. 14 EGOR SHELUKHIN

    work page 2026

  3. [1]

    Abouzaid and A

    M. Abouzaid and A. J. Blumberg. Arnold conjecture and Morava K-theory. Preprint arXiv:2103.01507, 2021

    arXiv 2021

  4. [2]

    Albers, U

    P. Albers, U. Fuchs, and W. J. Merry. Orderability and the Weinstein conjecture.Compos. Math., 151(12):2251–2272, 2015

    work page 2015

  5. [3]

    Albers, E

    P. Albers, E. Shelukhin, and F. Zapolsky. Spectral invariants of contactomorphisms of pre- quantizations and their applications.Forthcoming

    work page

  6. [4]

    V. Arnol’d. First steps in symplectic topology.Russ. Math. Surv., 41(6):1–21, 1986

    work page 1986

  7. [5]

    Bai and G

    S. Bai and G. Xu. Arnold conjecture over integers. Preprint arXiv:2209.08599, 2022

    arXiv 2022

  8. [6]

    Bai and G

    S. Bai and G. Xu. Integral Hamiltonian Floer theory: Foundations. Preprint arXiv:2606.15847, 2026

    work page arXiv 2026

Show all 42 references
  1. [7]

    Bai and G

    S. Bai and G. Xu. A new transversality condition on orbifolds and integer-valued Gromov- Witten type invariants. Preprint arXiv:2201.02688, 2025

    2025 arXiv

  2. [8]

    Bro´ ci´ c and D

    F. Bro´ ci´ c and D. Cant. Lengths of Reeb chords and Viterbo restriction. Preprint arXiv:2606.16270, 2026

    2026 arXiv

  3. [9]

    Bro´ ci´ c, D

    F. Bro´ ci´ c, D. Cant, and E. Shelukhin. The chord conjecture for conormal bundles.Math. Ann., 392(3):3959–4021, 2025

    2025

  4. [10]

    D. Cant. The strong Arnol’d chord conjecture for the boundary of a uniformly convex domain inR 4. Preprint arXiv:2606.23663, 2026

    2026 arXiv

  5. [11]

    Y. V. Chekanov. Lagrangian intersections, symplectic energy, and areas of holomorphic curves.Duke Math. J., 95(1):213–226, 1998

    1998

  6. [12]

    Chernov and S

    V. Chernov and S. Nemirovski. Non-negative Legendrian isotopy inST ∗M.Geom. Topol., 14(1):611–626, 2010

    2010

  7. [13]

    Cornea and E

    O. Cornea and E. Shelukhin. Lagrangian cobordism and metric invariants.J. Differential Geom., 112(1):1–45, 2019

    2019

  8. [14]

    Daemi and K

    A. Daemi and K. Fukaya. Monotone Lagrangian Floer theory in smooth divisor comple- ments: I. Preprint arXiv:1808.08915, 2022

    2022 arXiv

  9. [15]

    Daemi and K

    A. Daemi and K. Fukaya. Monotone Lagrangian Floer theory in smooth divisor comple- ments: II. Preprint arXiv:1809.03409, 2022. ON ORDERABILITY AND THE CHORD CONJECTURE 13

    2022 arXiv

  10. [17]

    Daemi and K

    A. Daemi and K. Fukaya. Atiyah-Floer conjecture: a formulation, a strategy of proof and generalizations. InModern geometry: a celebration of the work of Simon Donaldson, vol- ume 99 ofProc. Sympos. Pure Math., pages 23–57. Amer. Math. Soc., Providence, RI, 2018

    2018

  11. [18]

    Dahinden

    L. Dahinden. Lower complexity bounds for positive contactomorphisms.Israel J. Math., 224(1):367–383, 2018

    2018

  12. [19]

    Dahinden

    L. Dahinden. Positive topological entropy of positive contactomorphisms.J. Symplectic Geom., 18(3):691–732, 2020

    2020

  13. [20]

    Dimitroglou Rizell

    G. Dimitroglou Rizell. Exact Lagrangians in four-dimensional symplectisations.Bull. Lond. Math. Soc., 56(4):1511–1531, 2024

    2024

  14. [21]

    Eliashberg, S

    Y. Eliashberg, S. S. Kim, and L. Polterovich. Geometry of contact transformations and domains: orderability versus squeezing.Geom. Topol., 10:1635–1747, 2006

    2006

  15. [22]

    Eliashberg and L

    Y. Eliashberg and L. Polterovich. Partially ordered groups and geometry of contact trans- formations.Geom. Funct. Anal., 10(6):1448–1476, 2000

    2000

  16. [23]

    Frauenfelder

    U. Frauenfelder. Rabinowitz action functional on very negative line bundles.Habilitation- sschrift, M¨ unich, 2008

    2008

  17. [24]

    Guo and Z

    K. Guo and Z. Zhou. The Arnol’d chord conjecture forST ∗T 3. Preprint arXiv:2606.15318, 2026

    2026

  18. [25]

    J. Hedicke. Lorentzian distance functions in contact geometry.J. Topol. Anal., 16(2):205– 225, 2024

    2024

  19. [26]

    Hedicke and E

    J. Hedicke and E. Shelukhin. Non-orderability and the contact Hofer norm.Duke Math. J., to appear. Preprint available at arXiv:2411.19887

    arXiv

  20. [27]

    Hutchings and C

    M. Hutchings and C. H. Taubes. Proof of the Arnold chord conjecture in three dimensions 1.Math. Res. Lett., 18(2):295–313, 2011

    2011

  21. [28]

    Hutchings and C

    M. Hutchings and C. H. Taubes. Proof of the Arnold chord conjecture in three dimensions, II.Geom. Topol., 17(5):2601–2688, 2013

    2013

  22. [29]

    Kislev and E

    A. Kislev and E. Shelukhin. Bounds on spectral norms and barcodes.Geom. Topol., 25(7):3257–3350, 2021

    2021

  23. [30]

    Kwon and O

    M. Kwon and O. van Koert. Brieskorn manifolds in contact topology.Bull. Lond. Math. Soc., 48(2):173–241, 2016

    2016

  24. [31]

    Meiwes and K

    M. Meiwes and K. Naef. Translated points on hypertight contact manifolds.J. Topol. Anal., 10(2):289–322, 2018

    2018

  25. [32]

    K. Mohnke. Holomorphic disks and the chord conjecture.Ann. of Math. (2), 154(1):219–222, 2001

    2001

  26. [33]

    E. Murphy. Closed exact Lagrangians in the symplectization of contact manifolds. Preprint arXiv:1304.6620, 2013

    2013 arXiv

  27. [34]

    Y.-G. Oh. Gromov-Floer theory and disjunction energy of compact Lagrangian embeddings. Math. Res. Lett., 4(6):895–905, 1997

    1997

  28. [35]

    Polterovich

    L. Polterovich. Symplectic displacement energy for Lagrangian submanifolds.Ergodic The- ory Dynam. Systems, 13(2):357–367, 1993

    1993

  29. [36]

    M. Rabah. Fukaya algebra overZ. Preprint arXiv:2411.14657, 2025

    2025

  30. [37]

    Rezchikov

    S. Rezchikov. Integral Arnol’d conjecture. Preprint arXiv:2209.11165, 2022

    2022 arXiv

  31. [38]

    Shelukhin

    E. Shelukhin. The Hofer norm of a contactomorphism.J. Symplectic Geom., 15(4):1173– 1208, 2017

    2017

  32. [39]

    Shelukhin

    E. Shelukhin. Viterbo conjecture for Zoll symmetric spaces.Invent. Math., 230(1):321–373, 2022

    2022

  33. [41]

    P. Uebele. Symplectic homology of some Brieskorn manifolds.Math. Z., 283(1-2):243–274, 2016

    2016

  34. [42]

    Z. Zhou. On the minimal symplectic area of Lagrangians.J. Symplectic Geom., 20(6):1385– 1413, 2022. D´epartement de Math ´ematiques et de Statistique, Universit ´e de Montr ´eal, C.P. 6128 Succ. Centre-Ville, Montreal (Qu ´ebec), H3C 3J7, Canada Email address:egor.shelukhin@um...

    2022

Pith tools

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