REVIEW 3 major objections 3 minor 26 references
A Poincar\'e--Birkhoff theorem for $C^0$-Hamiltonian maps
T0 review · 3 major / 3 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read The paper proves a higher-dimensional Poincaré–Birkhoff theorem: C0-Hamiltonian twist maps on Liouville domains with symplectic cohomology nonzero in infinitely many degrees have simple interior periodic points of arbitrarily large…
desk verdict New C0-Hamiltonian twist-map formulation of a higher-dimensional Poincaré-Birkhoff theorem, but the action-growth proof has a gap: collar orbits are not excluded from fixed degrees without an index-action estimate. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machinery is the action-growth estimate of Proposition 4.1, computed for a linear-at-infinity extension $\widehat{H}$ of the generating Hamiltonian. For each trajectory $x$ in the collar $[1,+\infty)\times B$, the proof bounds the action by $A_{\widehat{H}}(x) \le -c\,T + d$, with $c>0$; the quantitative twist condition $\min_B h_t > \max_B H_t$ is exactly what makes the constant $c$ positive in the boundary-most zone. This estimate replaces the index-growth assumption used in earlier work, and it is then combined with a spectral sequence whose $E^1$ page groups orbits by action columns, with local Floer cohomology on each column.
What would settle it
Pick the concrete open-book page and smoothing from Section 5, run the local-to-global spectral sequence for a large prime iterate, and locate a collar orbit with action below all cutoffs whose Conley–Zehnder index lies in one of the nonzero degrees; if its local Floer cohomology is nonzero, the separation step fails. Establishing or refuting an inequality $|\mu_{CZ}(x)| \le \kappa(A(x))$ for such orbits would decide the question.
Extended reading notes
Core claim
The central discovery is that a quantitative twist condition, namely $h_t = \partial_r H_t$ bounded below by $\max_B H_t$ near the boundary, produces an action-growth estimate forcing trajectories in the cylindrical end to have action going to $-\infty$ linearly in their period, with a growth constant that diverges as the map is smoothed. The authors argue that this action growth, feeding into a local-to-global spectral sequence ordered by action columns, separates collar orbits from interior orbits, so that Floer homology in a fixed degree is generated only by interior orbits. Iterating along a sequence of large primes then contradicts the hypothesis that symplectic cohomology is nonzero in infinitely many degrees unless there are interior periodic points of arbitrarily large period.
Load-bearing premise
The proof assumes that an orbit staying near the boundary contributes to Floer homology in a degree determined by how negative its action is, so that once its action is made extremely negative it cannot affect the finitely many fixed degrees; but the degree of a Floer homology class is set by an independent index of the orbit, not by its action, and this identification is unproven.
Editorial extensions
If this is right
- If Theorem A holds, the C0-Hamiltonian twist return maps produced in the open-book construction for the spatial CR3BP force infinitely many periodic trajectories of arbitrarily large period.
- Theorem B yields infinitely many interior chords for exact spin Lagrangians, including trajectories that meet the symmetry plane orthogonally, such as halo-type orbits, and consecutive collision orbits.
- The twist condition becomes open, so small $C^0$-perturbations of a C0-Hamiltonian twist map remain covered by the theorem.
- The theorem removes the index-positivity and global-triviality assumptions that limited earlier generalised Poincaré–Birkhoff results.
- The same setup is expected to apply to billiard maps on degenerate Liouville domains, although the authors note the conclusions may be weaker than those from Morse-theoretic methods.
Reading between the lines
- Inference: If the action-growth separation step is valid, the same proof should extend to Hamiltonians satisfying only the weakened twist condition after smoothing, because the quantitative condition is automatically achieved by the construction in Section 5.
- Inference: A natural next step is to prove an index–action inequality for collar orbits, which would make the action-growth argument independent of the local-to-global spectral sequence and would close the remaining gap.
- Inference: The relative theorem suggests that in the CR3BP the same open-book page yields infinitely many collision-to-symmetry-plane chords, since wrapped Floer cohomology is often supported in infinitely many degrees.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces C0-Hamiltonian twist maps on Liouville domains, a weakening of the twist condition used by Moreno and van Koert, and proves two existence results: Theorem A, asserting that such a map with isolated fixed points on a Liouville domain with c1(W)=0 and symplectic cohomology non-zero in infinitely many degrees admits simple interior periodic points of arbitrarily large period; and Theorem B, the analogous wrapped Floer statement for exact spin Lagrangians. The proof strategy is to smooth the C0 map to a family of C1-Hamiltonian twist maps satisfying a quantitative twist condition, to construct admissible extensions with large slope, to use a new action-growth estimate (Proposition 4.1) to separate interior orbits from collar orbits, and then to run a Ginzburg-type counting argument against the mean-index property of iterates of the fixed points.
Significance. If valid, Theorem A would be a substantial higher-dimensional generalization of the Poincaré–Birkhoff theorem, with potential applications to the spatial CR3BP and billiard maps. The paper contains several useful ideas: degenerate Liouville domains, the smoothing construction in Theorem C, and the quantitative twist condition with its action-growth estimate. The theorems are honestly stated as conditional on an external hypothesis (symplectic or wrapped Floer cohomology non-zero in infinitely many degrees), which is legitimate and not circular. However, the central proof does not establish the claimed results because the step excluding collar orbits from fixed-degree Floer homology is unjustified.
major comments (3)
- [Section 6, Eq. (6.10)] The claim that collar orbits with action escaping to -infinity 'appear on columns with p >> 1, and therefore cannot contribute to the diagonals p+q = i_j' is not justified. In the local-to-global spectral sequence, the total degree p+q of a class is the Conley-Zehnder index (in the local Floer cohomology), which is independent of the action filtration column p. From A_hatH(x) <= -c_i p_i + d one learns only that the action level goes to -infinity; the Conley-Zehnder index of such an orbit can still take any fixed finite value. Indeed, on a boundary that is not index-definite, Reeb orbits can have bounded Conley-Zehnder index and arbitrarily long period; under the linear extension these give collar orbits with action tending to -infinity and fixed finite total degree. Appendix A does not repair this: it is not used in the proof and requires strong index-definiteness and C2 regularity, which the paper explicitly removes. Without an index-action estimate, the exclusion of collar orbits fails, and the contradiction in the proof of Theorem A collapses.
- [Section 1 (Theorem B) and Section 6] Theorem B is one of the two main theorems, yet no proof is given in the manuscript. The text states that the proof is 'completely analogous to that of Theorem A' and refers to an unpublished PhD thesis [L]. For a self-contained journal submission, each main theorem should be proved in the paper or the result should be explicitly presented as conditional on a forthcoming reference. As written, the manuscript does not provide a verifiable proof of Theorem B, and the omitted proof inherits the gap in Theorem A.
- [Section 4, Proposition 4.1] The proof of the action-growth proposition is not rigorous at the level of detail required for a paper whose central mechanism is action growth. The argument repeatedly uses approximations such as 'we ignore the terms of order >= 1 in r-1', 'r is approximately 1 everywhere', and 'the inequality is true up to a small error', without quantifying these errors or showing that they do not contribute a positive term that could overwhelm the negative linear growth. Moreover, the estimate is stated for trajectories entirely contained in [1,+infinity)xB; periodic orbits that mix interior and collar portions are not covered. Since the proof of Theorem A relies on a clean dichotomy between 'interior' and 'collar' orbits, this gap is load-bearing.
minor comments (3)
- [Section 6] The spectral sequence statement 'E1(hatH_epsilon_i^{#p_i}) = impies HF^*(hatH_epsilon_i^{#p_i})' would benefit from a precise statement of the convergence and of the meaning of the E_infty page; as written, the notation E^{p,q}_infty is used without definition.
- [Sections 1 and 4] There are several LaTeX/OCR artifacts in the displayed formulas, such as '/∫hortrightarrow' in Definition 1.1 and the mislabeled 'last term' in Step 2 of the proof of Proposition 4.1. These should be corrected before resubmission.
- [Section 1] The paper claims to remove index-positivity assumptions, but Theorem A now requires SH(W) to be non-zero in infinitely many degrees, whereas in [MvK] this followed from index-positivity. This trade-off is mentioned in the introduction, but the discussion could be more explicit about how strong the new hypothesis is and whether it is satisfied in the intended CR3BP examples.
Circularity Check
No circularity: the theorem is conditional on an external symplectic-cohomology input, and the flagged Section 6 gap is a missing index-action estimate (a correctness risk), not a self-referential reduction; self-citations supply technical machinery only.
full rationale
The derivation chain of Theorem A is not circular. The hypothesis 'SH^•(W) is non-zero in infinitely many degrees' is an external input: it is an invariant of the Liouville domain W, not of the C0-Hamiltonian twist map f, so it is not a consequence of the conclusion that f has interior periodic points. The smoothing construction of Section 5 approximates the given map f, chosen 'so that the γj and the f-orbits of all xi lie away from the collar'; it does not insert the periodic points whose existence is to be proved, and no parameter is fitted to the conclusion. Proposition 4.1 is a substantive estimate derived from the quantitative twist condition, and Corollary 5.2 shows the smoothed Hamiltonians satisfy that condition, so the action bound (6.10) follows from stated assumptions. The final counting argument (each iterate γ^{p_i}_j covers at most 2n degrees, so k fixed points cover 2nk degrees, versus N > 2nk nonzero degrees, hence a contradiction) is the standard Conley-conjecture counting and does not restate the hypotheses. The one genuinely load-bearing step in Section 6 — 'orbits of Ĥ^{#p_i}_{ε_i} on [1,+∞)×∂W will have action escaping to -∞, and hence appear on columns with p ≫ 1. Therefore such orbits cannot contribute to the diagonals p+q = i_j' — is a missing estimate, not a circular reduction: total degree p+q is the Conley–Zehnder index, which the action bound does not control once the index-positivity/definiteness assumptions of [MvK] are dropped (as the paper explicitly does in Section 4). That is a correctness risk, which per the scoring rules does not raise the circularity score. The self-citations to [MvK], [MvK2], [LM2], and [L] supply the extension construction, the spectral-sequence formalism, and the full proof of the (deferred) Theorem B; these are standard or externally checkable technical facts, and Theorem A's core action-growth mechanism is new to this paper.
Assumptions & free parameters
assumptions (5)
- domain assumption Symplectic cohomology SH(W) is nonzero in infinitely many degrees
- domain assumption The local-to-global spectral sequence exists and converges to Floer homology for the possibly degenerate iterated Hamiltonians
- standard math Mean index bound |Delta(gamma)-mu_CZ(gamma)| <= n holds for the relevant orbits
- domain assumption The direct limit over primes computes symplectic cohomology
- domain assumption Quantitative twist condition is satisfied by the smoothed Hamiltonians for small epsilon
Cite this review
Pith. "Pith review of A Poincar\'e--Birkhoff theorem for $C^0$-Hamiltonian maps." pith.science (2026). https://pith.science/paper/FW755SPJ
@misc{pith2026250610545,
author = {Pith},
title = {Pith review of: A Poincar\'e--Birkhoff theorem for $C^0$-Hamiltonian maps},
year = {2026},
howpublished = {\url{https://pith.science/paper/FW755SPJ}},
note = {Machine review of arXiv:2506.10545}
}
read the original abstract
We prove a higher-dimensional version of the well-known Poincar\'e--Birkhoff theorem, using Floer homology. We also prove a relative version for Lagrangian submanifolds. The motivation is finding periodic orbits and Hamiltonian chords in the circular, restricted three-body problem.
Reference graph
Works this paper leans on
- [1]
-
[2]
Vladimir Arnold, Sur une propriété topologique des applications globalement canoniques de la mécanique classique, C.R.Acad.Sc.Paris 261 (1965), no. 1, 3719–3722
work page 1965
-
[3]
Vladimir Arnold, Mathematical methods of classical mechanics, Graduate Text in Mathematics, vol. 60, Springer, 1978
work page 1978
-
[4]
Shaoyun Bai, Guangbo Xu, Arnold conjecture over integers. Preprint arXiv:2209.08599
-
[5]
Birkhoff, G. D. Proof of Poincar\'e’s last geometric theorem, Trans. AMS 14 (1913), 14-22
work page 1913
-
[6]
W. Cho, H. Jung, G. Kim, The contact geometry of the spatial circular restricted 3-body problem, Abh. Math. Semin. Univ. Hambg. 90 (2020), no. 2, 161--181
work page 2020
-
[7]
On Some New Long Periodic Solutions of the Plane Restricted Three Body Problem
C.C.\ Conley. On Some New Long Periodic Solutions of the Plane Restricted Three Body Problem. Comm. Pure Appl. Math. 16 (1963), 449--467
work page 1963
-
[8]
C.C.\ Conley, Lecture at the University of Wisconsin, April 6, 1984
work page 1984
Show all 26 references
-
[9]
orner, Hansj\
Max D\"orner, Hansj\"org Geiges, Kai Zehmisch, Open books and the Weinstein conjecture, Q. J. Math. 65 (2014), no. 3, 869--885
2014
-
[10]
Andreas Floer, Symplectic fixed points and holomorphic spheres, Communications in Mathematical Physics 120 (1989), 575–611
1989
-
[11]
V. L. Ginzburg, The Conley conjecture, Ann. of Math. (2) 172 (2010), no. 2, 1127--1180; MR2680488
2010
-
[12]
On the part of the Motion of the Lunar Perigee which is a Function of the Mean Motions of the Sun and the Moon
Hill, George. On the part of the Motion of the Lunar Perigee which is a Function of the Mean Motions of the Sun and the Moon. John Wilson & Son, Cambridge, Massachusetts (1877), Reprinted in Acta 8, (1886), 1–36
-
[13]
Researches in the lunar theory
Hill, George. Researches in the lunar theory. Amer. J. Math.1 (1878), 5–26, 129–147, 245–260
-
[14]
S.; Wysocki, Krzysztof
Hryniewicz, Umberto L.; Salomão, Pedro A. S.; Wysocki, Krzysztof. Genus zero global surfaces of section for Reeb flows and a result of Birkhoff. J. Eur. Math. Soc. (JEMS) 25 (2023), no. 9, 3365--3451
2023
-
[15]
Myeonggi Kwon, Otto van Koert, Brieskorn manifolds in contact topology, Bull. Lond. Math. Soc. 48 (2016), no. 2, 173--241. 10.1112/blms/bdv088
2016 doi
-
[16]
Katok, A. B. Ergodic perturbations of degenerate integrable Hamiltonian systems. (Russian) Izv. Akad. Nauk SSSR Ser. Mat. 37 (1973), 539--576
1973
-
[17]
Fixed Point Theory Appl
Arthur Limoge, Agustin Moreno, Bi-normal trajectories in the Circular Restricted Three-Body Problem, J. Fixed Point Theory Appl. 27 (2025), Article No. 55. https://doi.org/10.1007/s11784-025-01203-5
2025 doi
-
[18]
Arthur Limoge, Agustin Moreno, A Relative Poincaré-Birkhoff theorem, Preprint arXiv:2408.06919
-
[19]
To appear
Arthur Limoge, Wrapped Floer Homology and the Three-Body Problem, PhD thesis, University of Heidelberg. To appear
-
[20]
A generalised Poincaré-Birkhoff theorem
Agustin Moreno, Otto van Koert. A generalised Poincaré-Birkhoff theorem. J. Fixed Point Theory Appl. 24 (2022), no. 2, Paper No. 32, 44 pp
2022
-
[21]
Global hypersurfaces of section in the spatial restricted three-body problem
Agustin Moreno, Otto van Koert. Global hypersurfaces of section in the spatial restricted three-body problem. Nonlinearity 35 (2022), no. 6, 2920--2970
2022
-
[22]
Second species orbits of negative action and contact forms in the circular restricted three-body problem
Nicholls, Robert. Second species orbits of negative action and contact forms in the circular restricted three-body problem. Preprint arXiv:2108.05741, 2021
2021 arXiv
-
[23]
Les M\'ethodes Nouvelles de la M\'ecanique C\'eleste, Tome I, Paris, Gauthier-Viltars, 1892
Poincar\'e, Henri. Les M\'ethodes Nouvelles de la M\'ecanique C\'eleste, Tome I, Paris, Gauthier-Viltars, 1892. Republished by Blanchard, Paris, 1987
1987
-
[24]
Sur un th\'eor\`eme de g\'eom\'etrie, Rend
Poincar\'e, Henri. Sur un th\'eor\`eme de g\'eom\'etrie, Rend. Circ. Mat. Palermo 33 (1912), 375-407
1912
-
[25]
Robert Thomas Seeley, Extension of C^ functions defined in a half space Proc. Amer. Math. Soc. 15 (1964) 625-626
1964
-
[26]
PhD thesis, Stanford University (1999)
Ilya Ustilovsky: Contact homology and contact structures on S^ 4m+1 . PhD thesis, Stanford University (1999)
1999
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.