Bi-normal trajectories in the Circular Restricted Three-Body Problem

Agustin Moreno; Arthur Limoge

REVIEW 3 major objections 4 minor 12 references

Bi-normal trajectories in the Circular Restricted Three-Body Problem

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

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

Pith's one-line read This paper argues that, under a twist condition on the first-return map, the spatial circular restricted three-body problem admits infinitely many trajectories that meet the xz-plane normally at both their initial and final times.

desk verdict Honest, well-written conditional roadmap connecting bi-normal orbits to wrapped Floer chords, but the main theorem rests on two unproven technical bridges. read the letter →

arxiv 2412.16671 v3 pith:DHDPJ7BO submitted 2024-12-21 math.SG

Agustin Moreno , Arthur Limoge This is my paper · ORCID

classification math.SG MSC 53D4037J4670F07

keywords circularrestrictedthree-bodyproblemspatialbi-normaltrajectoriesHamiltonianchordswrappedFloercohomologytwistconditionopenbookdecompositionconormalbundle

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 argues that, in the spatial circular restricted three-body problem, there should be infinitely many satellite trajectories that lie in the xz-plane at their initial and final times, with velocity perpendicular to that plane at those instants. The argument is conditional: it assumes a twist condition on the first-return map of the flow on a page of an open book decomposition, and it deliberately assumes away a degeneracy of the symplectic form at the boundary. The interest of the claim is that these bi-normal trajectories are concrete geometric constraints, and the proof reduces their existence to a chord-counting problem on a Lagrangian submanifold that is known to have infinite-dimensional wrapped Floer cohomology. If the twist condition is eventually verified or replaced by a workable weaker version, the same counting argument would give the infinite family for energies below or slightly above the first critical value, in the convexity range and near the two primaries.

What carries the argument

The machinery is a three-part chain. First, the regularized energy level set is viewed as a Reeb flow on a fibrewise star-shaped domain in $T^*S^3$, and an open book decomposition supplies a page $W$ with $\xi_3=0$ and $\eta_3\ge 0$ that is a global hypersurface of section, symplectomorphic to a fibre-wise star-shaped domain in $T^*S^2$. Second, bi-normal trajectories are reinterpreted as Hamiltonian chords on the Lagrangian $L_2 = N^*R \cap W$, the conormal bundle of the equator in $S^2$; exactness of $L_2$ lets wrapped Floer cohomology be computed as $HW^*(L_2) \cong H^*(P_{S^1}S^2)$, which is infinite-dimensional. Third, the relative Poincaré–Birkhoff theorem converts the twist condition on the return map — that it is generated by a Hamiltonian whose boundary vector field is a positive multiple of the Reeb field — together with infinite-dimensional wrapped Floer cohomology and finite interior chords, into infinitely many interior Hamiltonian chords of arbitrarily large order.

What would settle it

For one concrete mass ratio and Jacobi constant in the convexity range below $H(L_1)$, numerically integrate the regularized spatial flow near the boundary of the page $W$ with $\xi_3=0$ and $\eta_3\ge 0$, extract the first-return map, and check whether its boundary linearization is a positive multiple of the Reeb field; finding any boundary point with non-positive or zero proportionality would falsify Assumption 1, and with it the theorem's hypothesis in the spatial problem.

Watch

Extended reading notes

Core claim

The paper's central claim is that, in the spatial circular restricted three-body problem, for energies below or slightly above the first critical value and in the convexity range, infinitely many trajectories are bi-normal to the xz-plane, provided the first-return map on a page of the associated open book satisfies a twist condition. The reduction is geometric: a bi-normal trajectory is exactly a Hamiltonian chord with endpoints on the Lagrangian submanifold $L_2 = \widetilde{F}_2 \cap W$, the regularized fixed-point set of an anti-symplectic involution. The paper identifies $L_2$ with the conormal bundle $N^*R \cap W$ of the equator $R \subset S^2$ inside a page $W \simeq D^*S^2$, so that wrapped Floer cohomology $HW^*(L_2)$ is isomorphic to $H^*(P_{S^1}S^2)$, which is infinite-dimensional. Applying the relative Poincaré–Birkhoff theorem then yields infinitely many interior chords, hence infinitely many bi-normal trajectories; the paper marks the conclusion speculative because the twist condition is not yet known to hold in the spatial problem and the boundary degeneracy of the symplectic form is assumed away.

Load-bearing premise

The load-bearing premise is Assumption 1, the twist condition: the first-return map on the page of the open book must be generated by a Hamiltonian whose vector field on the boundary is a positive multiple of the Reeb field, and the paper itself notes that no Hamiltonian satisfying this condition is currently known in the spatial problem, while the boundary degeneracy of the symplectic form is simply assumed away.

Editorial extensions

If this is right

Under Assumption 1, in the convexity range and for energies below $H(L_1)$, infinitely many trajectories are bi-normal to the $xz$-plane in each bounded component near the primaries.
For energies slightly above $H(L_1)$, where the page is a connected sum of two copies of $W$, the same conclusion follows by the same argument.
The chords produced by the relative Poincaré–Birkhoff theorem have arbitrarily large order, so the bi-normal trajectories form an infinite family rather than finitely many low-order families.
If a boundary analog of the theorem can be proved, the paper conjectures infinitely many trajectories bi-normal to the $x$-axis; already, the chord conjecture for conormal bundles yields at least one such trajectory.

Reading between the lines

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

Editorial inference: if the twist condition is later weakened to allow boundary degeneracy, the same computation of $HW^*(L_2)$ should extend the conclusion beyond the convexity range, since the wrapped Floer cohomology computation is independent of the twist condition.
Editorial inference: the identification of $L_2$ with the conormal bundle of the equator suggests a concrete numerical check—integrate the regularized flow near the boundary of $W$ and measure whether the linearized return map rotates positively relative to the Reeb direction; sustained positive rotation would be direct evidence for Assumption 1.
Editorial inference: bi-normal trajectories are exactly the kind of constraint used in orbit design (start and end in a fixed plane with matching velocity), so a verified infinite family would provide a countable set of candidate transfer orbits between out-of-plane states near the Earth and Moon; the paper does not pursue this application.

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

Bottom line: a clear, honest research note that identifies a new route to a classical existence problem, but the main theorem is explicitly conditional on two unproven technical bridges. The paper is best read as a roadmap, not a demonstrated theorem.

The genuinely new step is the reduction of bi-normal trajectories to Hamiltonian chords on the Lagrangian L2 = Fix(ρ2) ∩ W in a page of the SCR3BP open book, together with the explicit identification L2 = N*R, the conormal bundle of an equator in D*S2. From there, the wrapped Floer cohomology computation via Abbondandolo–Portaluri–Schwarz is clean and gives HW*(L2) infinite-dimensional. The exposition is also unusually candid: Remark 1.2 states that no Hamiltonian generating the return map is known to satisfy the twist condition, and that the boundary degeneracy of the symplectic form has not been resolved. The authors call Theorem A 'speculative' themselves, and that label is accurate.

The soft spots are exactly where the stress-test points. The proof chain needs two unproven links: first, the twist condition (Assumption 1) is an open condition with no known example in the spatial problem; second, Theorem 1 from [ML24] is for a non-degenerate Liouville domain, while the page W is either smoothly mapped with degenerate ω or continuously mapped with non-degenerate ω. The paper simply assumes the technicalities away and invokes "a modified version" of the theorem without stating or proving it. That means even if the twist condition were verified, the chord-counting conclusion would not follow without a genuinely new boundary-degenerate fixed-point theorem. The authors acknowledge this in Remark 1.2, which is to their credit, but it is a hard gap, not a formality.

Minor concerns: the exactness claim for L2 near the boundary deserves a referee's check, and the paper relies heavily on the authors' own prior machinery (MvK22a, MvK22b, ML24), which is defensible but makes independent verification slower. None of that is a flaw in the work's logic.

Who should read this: symplectic topologists working on celestial mechanics and anyone interested in the existence of special orbits in the three-body problem. The paper deserves a serious referee: the framework is new, the writing is clear, and the open issues are stated honestly. I would send it to peer review, with the expectation that the referee assesses the reduction and the plausibility of the missing links rather than demanding an unconditional proof. My own position: it is a promising conditional roadmap, not an established theorem.

Referee Report

3 major / 4 minor

Summary. This paper studies the spatial circular restricted three-body problem (SCR3BP). It claims that, under an unproved twist condition of Moreno–van Koert, in the convexity range and near the primaries, there are infinitely many trajectories bi-normal to the xz-plane. The proof interprets such trajectories as Hamiltonian chords on a Lagrangian L2 (the regularized fixed point set of an anti-symplectic involution) in a page W of an adapted open book, and applies the relative Poincaré–Birkhoff theorem of the authors' preprint [ML24]. A conjecture for bi-normal trajectories to the x-axis is also stated, and a known result of Broćić–Cant–Shelukhin is invoked for a single Reeb chord.

Significance. The paper's main contribution is conceptual: it reduces a concrete celestial-mechanics question to a Floer-theoretic chord-counting statement and identifies L2 as a conormal bundle whose wrapped Floer cohomology is infinite-dimensional. If the twist condition and a suitable boundary-degenerate version of the relative Poincaré–Birkhoff theorem were established, the result would be a significant application of symplectic topology to the spatial three-body problem. The authors are admirably explicit about the conditional and speculative nature of Theorem A. However, the central claim is not a fully proven theorem, and the two missing ingredients are load-bearing.

major comments (3)

[§1, Assumption 1 & Remark 1.2] Theorem A is conditional on Assumption 1, but Remark 1.2 states that no Hamiltonian generating the return map τ is known to satisfy the twist condition in the spatial problem. Thus the hypothesis of the main theorem is an open problem, not an established property of the SCR3BP. The paper should state this explicitly as an assumption in the theorem and should not present Theorem A as a theorem of the SCR3BP; at present it is a conjecture or a conditional statement.
[§3, Theorem 1 & Proof of Theorem A] The proof applies 'a modified version' of Theorem 1 ([ML24]) to the page W, but no such modified theorem is stated or proved. Remark 1.2 concedes that the fixed-point theorem in the degenerate/continuous boundary setting 'has not yet been successfully addressed.' Since Theorem 1 is formulated for a Liouville domain with non-degenerate symplectic form and a smooth exact symplectomorphism, while in the SCR3BP one has either a smooth τ with degenerate ω (setup (a)) or a non-degenerate ω with only continuous τ (setup (b)), the chord-counting conclusion does not follow from the stated Theorem 1. This is a load-bearing gap.
[§2, Proposition 2.3 & Lemma 3.4] The identification L2 = N^*R ∩ W and the infinite-dimensionality of HW^*(L2) rely on the symplectomorphism W ≅ D^*S^2. In the setup where the symplectic form is non-degenerate, the conjugation is only continuous at the boundary, so the smoothness hypotheses needed for wrapped Floer cohomology and for Theorem 1 are not justified for the actual page. The paper should either prove the required modification or state it as an explicit additional assumption.

minor comments (4)

[Page 4, line 1] There is a missing space in 'theecliptic'; it should read 'the ecliptic'.
[§3, Eq. (3.13)] The passage from the coordinates in (2.12) to the coordinates in T^*S^2 is not self-contained; please spell out the symplectomorphism W ≅ D^*S^2 or give a precise reference to [MvK22b].
[References [Lim25]] The reference to [Lim25] is used for the 'standard methods of algebraic topology' and for the weakened twist condition; since it is a PhD thesis 'to appear', please replace it by a stable publication or include the relevant arguments in the paper.
[§1, 'convexity range'] The 'convexity range' is defined only by reference to [AFF+12]; a precise statement of the range of (µ,c) would make the paper more self-contained.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular reduction found; Theorem A is an openly conditional application of an independent, self-cited theorem—the real gaps are unverified hypotheses, not circularity.

full rationale

Walking the claimed derivation chain, I find no step where a conclusion is equivalent to an input by construction, no fitted parameter relabeled as a prediction, and no uniqueness claim imported solely from the authors' prior work. The rephrasing of bi-normal trajectories as Hamiltonian chords on L2 is an explicit identity: Definition 1.1 requires q2(tj)=q̇1(tj)=q̇3(tj)=0, which is exactly the fixed-point set Fix(ρ2) in equation (2.5), and after regularization equations (2.9)-(2.12) identify L2 = eF2∩W. The wrapped Floer computation does not presuppose the chord conclusion: Lemma 3.4 identifies L2 with N*R∩W by direct computation, and dim HW*(L2)=∞ follows from the external theorem [AS08] (HW*(L)≅H*(P_R M)) plus standard path-space homology, not from the existence of the desired trajectories. The load-bearing citation to the authors' own [ML24] is a general relative Poincaré–Birkhoff theorem whose hypotheses do not mention the SCR3BP; it is therefore independent support, not a circular premise. The paper's own text flags the genuine limitations: Remark 1.2 states that 'we do not know of any [Hamiltonian] satisfying a twist condition' and that the boundary-degenerate fixed-point problem 'has not yet been successfully addressed'; Section 1 says the authors 'assume the above technicalities away' and invoke 'a modified version' of [ML24] that is neither stated nor proved. These are unverified assumptions and an omitted proof, making Theorem A honestly speculative, but they do not make the derivation circular. Score 2 reflects only the presence of self-citations (notably [ML24] and [Lim25]); none is circularly load-bearing.

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

The proof relies on the unverified twist condition and on assuming away the boundary degeneracy of the symplectic form, both explicitly flagged by the authors. No free parameters or invented entities are introduced.

assumptions (3)

ad hoc to paper Twist condition (Assumption 1): the return map τ is generated by a Hamiltonian whose vector field on ∂W equals h_t R_α with h_t > 0.
Assumption 1 is unverified; Remark 1.2 says the authors know of no Hamiltonian satisfying it in the spatial problem. The theorem's conclusion is conditional on this.
ad hoc to paper The relative Poincaré-Birkhoff theorem of [ML24] (or a suitable modification) applies to the degenerate boundary setting of the actual SCR3BP.
The actual problem has a degenerate symplectic form at the boundary or a return map that only extends continuously. Remark 1.2 states this technicality is assumed away and resolving it is ongoing work.
domain assumption Strong index-definiteness of (∂W, α) holds for energies c < H(L1)+ε in the convexity range.
Cited from [MvK22b] as a known fact needed to apply Theorem 1.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Bi-normal trajectories in the Circular Restricted Three-Body Problem." pith.science (2026). https://pith.science/paper/DHDPJ7BO

@misc{pith2026241216671,
  author       = {Pith},
  title        = {Pith review of: Bi-normal trajectories in the Circular Restricted Three-Body Problem},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DHDPJ7BO}},
  note         = {Machine review of arXiv:2412.16671}
}

read the original abstract

In this note, we show there exist infinitely many trajectories which are bi-normal (i.e. normal at initial and final times) to the xz-plane, in the Spatial Circular Restricted Three-Body Problem, for energies below or slightly above the first critical value and near the primaries, under the assumption of the twist condition as defined by Moreno-van-Koert in arXiv:2011.06562. This is an application of the relative Poincar\'e-Birkhoff theorem for Lagrangians in Liouville domains, as proven by the authors in arXiv:2408.06919.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

12 extracted references · 4 canonical work pages

[1]

Contact geometry of the restricted three-body problem

Albers, Peter; Frauenfelder, Urs; van Koert, Otto; Paternain, Gabriel P. Contact geometry of the restricted three-body problem. Comm. Pure Appl. Math. 65 (2012), no. 2, 229--263. https://doi.org/10.1002/cpa.21380

doi:10.1002/cpa.21380 2012
[2]

Global surfaces of section in the planar restricted 3-body problem

Albers, Peter; Fish, Joel W.; Frauenfelder, Urs, et al. Global surfaces of section in the planar restricted 3-body problem. Arch. Rational Mech. Anal. 204 (2012), no. 2, 273--284. https://doi.org/10.1007/s00205-011-0475-2

work page doi:10.1007/s00205-011-0475-2 2012
[3]

The homology of path spaces and Floer homology with conormal boundary conditions

Abbondandolo, Alberto; Portaluri, Alessandro; Schwarz, Matthias. The homology of path spaces and Floer homology with conormal boundary conditions. J. Fixed Point Theory Appl. 4 (2008), no. 2, 263--293. https://doi.org/10.1007/s11784-008-0097-y

doi:10.1007/s11784-008-0097-y 2008
[4]

The chord conjecture for conormal bundles

Broćić, Filip; Cant, Dylan; Shelukhin, Egor. The chord conjecture for conormal bundles. Preprint arXiv:2401.08842, (2024). https://arxiv.org/abs/2401.08842

work page Pith review arXiv 2024
[5]

The contact geometry of the spatial circular restricted 3-body problem

Cho, WanKi; Jung, Hyojin; Kim, GeonWoo. The contact geometry of the spatial circular restricted 3-body problem. Abh. Math. Semin. Univ. Hambg. 90 (2020), no. 2, 161--181. https://doi.org/10.1007/s12188-020-00222-y

doi:10.1007/s12188-020-00222-y 2020
[6]

The Conley conjecture

Ginzburg, Viktor L. The Conley conjecture. Ann. of Math. (2) 172 (2010), no. 2, 1127--1180. https://doi.org/10.4007/annals.2010.172.1129

doi:10.4007/annals.2010.172.1129 2010
[7]

PhD Thesis

Limoge, Arthur. PhD Thesis. Heidelberg University, DE. To appear

work page
[8]

A Relative Poincar\'e-Birkhoff theorem

Moreno, Agustin; Limoge, Arthur. A Relative Poincar\'e-Birkhoff theorem. Preprint arXiv:2408.06919, (2024). https://arxiv.org/abs/2408.06919

arXiv 2024

Show all 12 references

[9]

Global hypersurfaces of section in the spatial restricted three-body problem

Moreno, Agustin; van Koert, Otto. Global hypersurfaces of section in the spatial restricted three-body problem. Nonlinearity 35 (2022), no. 6, 2920--2970. https://doi.org/10.1088/1361-6544/ac692b

2022 doi
[10]

A generalized Poincar\'e-Birkhoff theorem

Moreno, Agustin; van Koert, Otto. A generalized Poincar\'e-Birkhoff theorem. J. Fixed Point Theory Appl. 24 (2022), no. 2, Paper No. 32, 44 pp. https://doi.org/10.1007/s11784-022-00957-6

2022 doi
[11]

The symplectic geometry of the three-body problem

Moreno, Agustin. The symplectic geometry of the three-body problem. Preprint arXiv:2101.04438, (2024). https://arxiv.org/abs/2101.04438

2024
[12]

Sur un th\'eor\`eme de g\'eom\'etrie

Poincar\'e, Henri. Sur un th\'eor\`eme de g\'eom\'etrie. Rend. Circ. Mat. Palermo 33 (1912), 375--407. https://doi.org/10.1007/BF03015314

1912 doi

Pith tools

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

[1] [1]

Contact geometry of the restricted three-body problem

Albers, Peter; Frauenfelder, Urs; van Koert, Otto; Paternain, Gabriel P. Contact geometry of the restricted three-body problem. Comm. Pure Appl. Math. 65 (2012), no. 2, 229--263. https://doi.org/10.1002/cpa.21380

doi:10.1002/cpa.21380 2012

[2] [2]

Global surfaces of section in the planar restricted 3-body problem

Albers, Peter; Fish, Joel W.; Frauenfelder, Urs, et al. Global surfaces of section in the planar restricted 3-body problem. Arch. Rational Mech. Anal. 204 (2012), no. 2, 273--284. https://doi.org/10.1007/s00205-011-0475-2

work page doi:10.1007/s00205-011-0475-2 2012

[3] [3]

The homology of path spaces and Floer homology with conormal boundary conditions

Abbondandolo, Alberto; Portaluri, Alessandro; Schwarz, Matthias. The homology of path spaces and Floer homology with conormal boundary conditions. J. Fixed Point Theory Appl. 4 (2008), no. 2, 263--293. https://doi.org/10.1007/s11784-008-0097-y

doi:10.1007/s11784-008-0097-y 2008

[4] [4]

The chord conjecture for conormal bundles

Broćić, Filip; Cant, Dylan; Shelukhin, Egor. The chord conjecture for conormal bundles. Preprint arXiv:2401.08842, (2024). https://arxiv.org/abs/2401.08842

work page Pith review arXiv 2024

[5] [5]

The contact geometry of the spatial circular restricted 3-body problem

Cho, WanKi; Jung, Hyojin; Kim, GeonWoo. The contact geometry of the spatial circular restricted 3-body problem. Abh. Math. Semin. Univ. Hambg. 90 (2020), no. 2, 161--181. https://doi.org/10.1007/s12188-020-00222-y

doi:10.1007/s12188-020-00222-y 2020

[6] [6]

The Conley conjecture

Ginzburg, Viktor L. The Conley conjecture. Ann. of Math. (2) 172 (2010), no. 2, 1127--1180. https://doi.org/10.4007/annals.2010.172.1129

doi:10.4007/annals.2010.172.1129 2010

[7] [7]

PhD Thesis

Limoge, Arthur. PhD Thesis. Heidelberg University, DE. To appear

work page

[8] [8]

A Relative Poincar\'e-Birkhoff theorem

Moreno, Agustin; Limoge, Arthur. A Relative Poincar\'e-Birkhoff theorem. Preprint arXiv:2408.06919, (2024). https://arxiv.org/abs/2408.06919

arXiv 2024