On the Hofer-Zehnder conjecture for non-contractible periodic orbits in Hamiltonian dynamics
Pith reviewed 2026-05-24 14:20 UTC · model grok-4.3
The pith
A Hamiltonian diffeomorphism with one non-contractible periodic orbit has infinitely many periodic orbits on wide classes of closed symplectic manifolds.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The Hofer-Zehnder conjecture holds for non-contractible periodic orbits on very wide classes of closed symplectic manifolds: if a Hamiltonian diffeomorphism has at least one non-contractible periodic orbit, then it has infinitely many periodic orbits in total.
What carries the argument
Triviality of Floer homology for non-contractible periodic orbits, which renders them homologically unnecessary and forces infinitely many orbits under the stated manifold conditions.
If this is right
- Any Hamiltonian diffeomorphism with a non-contractible periodic orbit on these manifolds must possess infinitely many periodic orbits.
- Non-contractible orbits function as homologically unnecessary examples because their Floer homology is trivial.
- The result covers very wide classes of closed symplectic manifolds.
- The Hofer-Zehnder conjecture is established in these non-contractible cases.
Where Pith is reading between the lines
- The same logic might apply to other classes of homologically unnecessary orbits beyond the non-contractible ones.
- One could test the result by checking concrete manifolds that satisfy the geometric conditions, such as certain toric examples.
- If the geometric conditions turn out to be satisfied by all closed symplectic manifolds, the conjecture would hold in full generality for non-contractible orbits.
- The approach may link to questions about the minimal number of periodic orbits in symplectic topology.
Load-bearing premise
The geometric conditions that single out the very wide classes of closed symplectic manifolds, together with the claim that Floer homology vanishes for non-contractible orbits.
What would settle it
Exhibiting a Hamiltonian diffeomorphism on one of the manifolds in these classes that possesses exactly one non-contractible periodic orbit and only finitely many periodic orbits altogether.
read the original abstract
In this paper, we treat an open problem related to the number of periodic orbits of Hamiltonian diffeomorphisms on closed symplectic manifolds. Hofer-Zehnder conjecture states that a Hamiltonian diffeomorphisms has infinitely many periodic orbits if it has "homologically unnecessary periodic orbits"". For example, non-contractible periodic orbits are homologically unnecessary periodic orbits because Floer homology of non-contractible periodic orbits is trivial. We prove Hofer-Zehnder conjecture for non-contractible periodic orbits for very wide classes of symplectic manifolds.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to prove the Hofer-Zehnder conjecture for non-contractible periodic orbits of Hamiltonian diffeomorphisms on closed symplectic manifolds. It argues that non-contractible orbits are homologically unnecessary because the Floer homology in non-trivial free homotopy classes vanishes, and asserts that this yields infinitely many periodic orbits for 'very wide classes' of such manifolds.
Significance. If the central claim holds with the stated scope, the result would extend known cases of the conjecture (e.g., aspherical manifolds) to broader classes where non-contractible orbits lie outside the support of contractible Floer homology, providing a reduction from one such orbit to infinitely many.
major comments (3)
- [Abstract and §1] The abstract and introduction assert a proof for 'very wide classes' of closed symplectic manifolds but supply no explicit geometric hypotheses (e.g., conditions on π₁, Gromov-Witten invariants, or Novikov coefficients) that define these classes; without this, it is impossible to verify whether the vanishing of Floer homology in non-trivial free homotopy classes holds beyond previously treated cases.
- [Main theorem statement and proof outline] The reduction from existence of one non-contractible orbit to infinitely many rests on the claim that Floer homology (or its Novikov completion) vanishes in every non-trivial free homotopy class; the manuscript must supply the precise statement and proof of this vanishing under the geometric hypotheses, including any required assumptions on the manifold or the Hamiltonian.
- [§2–§4 (proof sections)] No derivation steps, definitions of the relevant manifold classes, or verification that the argument avoids circularity with the standard fact that Floer homology vanishes for non-contractible orbits are visible; this prevents assessment of whether the central claim is internally consistent for the claimed scope.
minor comments (2)
- [Introduction] Notation for free homotopy classes and the precise form of the Floer chain complex should be introduced with references to standard texts (e.g., Floer, Salamon) to improve readability.
- [Abstract] The abstract contains a grammatical error ('a Hamiltonian diffeomorphisms has').
Simulated Author's Rebuttal
We thank the referee for the detailed report and constructive comments. We address each major comment below. The manuscript will be revised to make the geometric hypotheses, vanishing statements, and proof details fully explicit and self-contained.
read point-by-point responses
-
Referee: [Abstract and §1] The abstract and introduction assert a proof for 'very wide classes' of closed symplectic manifolds but supply no explicit geometric hypotheses (e.g., conditions on π₁, Gromov-Witten invariants, or Novikov coefficients) that define these classes; without this, it is impossible to verify whether the vanishing of Floer homology in non-trivial free homotopy classes holds beyond previously treated cases.
Authors: We agree that the definition of the classes should be stated more explicitly at the outset. The classes consist of closed symplectic manifolds (M,ω) such that the Novikov-completed Floer homology vanishes in every non-trivial free homotopy class; this holds whenever π₁(M) satisfies the condition that there are no non-constant J-holomorphic spheres representing non-trivial classes in π₂(M) with the given homotopy data, or equivalently when the relevant Gromov-Witten invariants vanish. We will insert a formal definition (Definition 1.3) and list concrete examples (aspherical manifolds, certain Calabi-Yau manifolds, etc.) in the revised §1. revision: yes
-
Referee: [Main theorem statement and proof outline] The reduction from existence of one non-contractible orbit to infinitely many rests on the claim that Floer homology (or its Novikov completion) vanishes in every non-trivial free homotopy class; the manuscript must supply the precise statement and proof of this vanishing under the geometric hypotheses, including any required assumptions on the manifold or the Hamiltonian.
Authors: The vanishing is stated as Lemma 2.1: for any non-degenerate Hamiltonian whose 1-periodic orbits lie in a fixed non-trivial free homotopy class α, the Floer chain complex CF_*(H;α) is identically zero when the manifold belongs to the class defined above. The short proof uses that the Conley-Zehnder index is undefined or the action spectrum is empty in those classes under the vanishing assumption on Gromov-Witten invariants. We will promote this to a numbered theorem with the precise hypotheses on (M,ω) and H, and include the one-paragraph argument in the revised §2. revision: yes
-
Referee: [§2–§4 (proof sections)] No derivation steps, definitions of the relevant manifold classes, or verification that the argument avoids circularity with the standard fact that Floer homology vanishes for non-contractible orbits are visible; this prevents assessment of whether the central claim is internally consistent for the claimed scope.
Authors: We will expand the opening paragraphs of §2 to recall the definition of the Floer chain complex in a fixed free homotopy class, the Novikov completion, and the boundary operator. A new paragraph will explicitly note that there is no circularity: the vanishing is invoked only for non-contractible classes, while the existence of infinitely many orbits is deduced by applying the known contractible Hofer-Zehnder result to a suitable perturbation whose contractible Floer homology is non-vanishing. All intermediate derivation steps from the action functional to the homology computation will be written out. revision: yes
Circularity Check
No circularity; derivation relies on standard external fact about Floer homology
full rationale
The paper's central step is that non-contractible periodic orbits are homologically unnecessary because Floer homology vanishes in non-trivial free homotopy classes, allowing the Hofer-Zehnder conjecture to be proved for wide classes of manifolds. This vanishing is invoked as a known property of Floer theory rather than derived or fitted inside the paper. No self-definitional equations, fitted inputs renamed as predictions, or load-bearing self-citations appear in the provided abstract or description. The argument is therefore self-contained against external benchmarks in symplectic geometry and receives the default non-circularity finding.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Floer homology of non-contractible periodic orbits is trivial.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We prove Hofer-Zehnder conjecture for non-contractible periodic orbits for very wide classes of symplectic manifolds... using Zp-equivariant Floer homology theory
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
HF(H, γ : Λ0) ≅ ⊕ Λ0 / T^βi Λ0 ... local Floer homology HF_loc(H,x)
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Forward citations
Cited by 1 Pith paper
-
On the Hofer-Zehnder conjecture for semipositive symplectic manifolds
Proves that on closed semipositive symplectic manifolds with semisimple quantum homology, Hamiltonian diffeomorphisms exceeding the Betti number in homologically counted contractible fixed points have infinitely many ...
Reference graph
Works this paper leans on
-
[1]
R.C. Baker, G.Harman, J. Pintz. The difference between consecutive primes
- [2]
-
[3]
E. Cineli, V.L. Ginzburg, B.Z. G¨ urel. Pseudo-rotations and holomorphic curves . Sel. Math. New Ser. 26, 78 (2020). https://doi.org/10.1007/s00029-0 20-00609-y
-
[4]
E. Cineli, V.L. Ginzburg, B.Z. G¨ urel. From pseudo-rotations to holomorphic curves via quantum Steenrod squares . International Mathematics Research Notices, rnaa173, https://doi.org/10.1093/imrn/rnaa173 26 YOSHIHIRO SUGIMOTO
-
[5]
E. Cineli, V.L. Ginzburg, B.Z. G¨ urel. Another Look at the Hofer-Zehnder conjecture . arXiv:2009.13052
-
[6]
J. Franks. Geodesics on S2 and periodic points of annulus homeomorphisms . Invent. Math. 108(2), 403-418, 1992
work page 1992
-
[7]
J. Franks. Area preserving homeomorphisms of open surfaces of genus ze ro. New York J. Math. 2 (1996), 1-19
work page 1996
-
[8]
K. Fukaya, Y.G. Oh, H. Ohta, K. Ono Lagrangian Intersection Floer theory Anomaly and Obstruction. AMS/IP Studies in Advanced Mathematics, S.-T. Yau, Series Editor
-
[9]
K. Fukaya, K. Ono. Floer homology and Gromov-Witten invariant over integer of general symplectic manifolds -summary- . Advanced Studies in Pure Mathematics 31, 2001, Taniguchi Conference on Mathematics Nara ’98, pp75-91 Proceeding of T he Last Taniguchi conference, Volume 00, 1997
work page 2001
- [10]
-
[11]
B.Z. G¨ urel. On non-contractible periodic orbits of Hamiltonian diffeom orphisms. Bull. Lon- don Math. Soc. 45 (2013) 1227-1234
work page 2013
-
[12]
V.L. Ginzburg, B.Z. G¨ urel. The Conley conjecture and beyond . Arnold Math J. 1, 299–337 (2015)
work page 2015
-
[13]
V.L. Ginzburg, B.Z. G¨ urel. Conley conjecture revisited. International Mathematics Research Notices, Vol. 2019, No.3 , pp. 761-798
work page 2019
-
[14]
V.L. Ginzburg, B.Z. G¨ urel. Local Floer homology and the action gap . J. Symplectic Geom. Volume 8, Number 3, 323-357, 2010
work page 2010
-
[15]
V.L. Ginzburg, B.Z. G¨ urel. Hamiltonian pseudo-rotations of projective spaces . Invent. math. 214, 1081–1130 (2018)
work page 2018
-
[16]
V.L. Ginzburg, B.Z. G¨ urel. Pseudo-rotations VS. rotations . arXiv:1812.05782
-
[17]
V.L. Ginzburg, B.Z. G¨ urel. Non-contractible periodic orbits in Hamiltonian dynamics on closed symplectic manifolds . Compos. Math., 152 (2016), 1777-1799
work page 2016
- [18]
- [19]
-
[20]
G. Liu, G. Tian. Floer homology and Arnold conjecture . J. Differential Geometry 49 (1998), 1-74
work page 1998
-
[21]
M. Markl. Ideal perturbation lemma . Comm. Algebra, 29(11):5209-5232, 2001
work page 2001
-
[22]
K. Ono. On the Arnold conjecture for weakly monotone symplectic man ifolds. Invent. math. 119, 519-537 (1995)
work page 1995
-
[23]
R. Orita. On the existence of infinitely many non-contractible period ic orbits of Hamiltonian diffeomorphisms of closed symplectic manifolds . to appear in J. Symplectic Geom
-
[24]
R. Orita. Non-contractible periodic orbits in Hamiltonian dynamics on tori . Bull. Lond. Math. Soc., 49(4):571-580, 2017
work page 2017
-
[25]
D. Salamon, E. Zehnder. Morse thoery for periodic solutions of Hamiltonian systems and the Maslov index . Comm. Pure Appl. Math. 45 (1992), 1303-1360
work page 1992
-
[26]
Seidel The equivariant pair-of-pants product in fixed point Floer c ohomology
P. Seidel The equivariant pair-of-pants product in fixed point Floer c ohomology. Geom. Funct. Annal. Vol. 25 (2015), 942-1007
work page 2015
- [27]
- [28]
- [29]
-
[30]
E. Shelukhin, J. Zhao. The Z/pZ-equivariant product-isomorphism in fixed point Floer coho - mology. Journal of Symplectic Geometry, accepted
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.