pith. sign in

arxiv: 2102.05273 · v4 · submitted 2021-02-10 · 🧮 math.SG · math.DS

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

classification 🧮 math.SG math.DS
keywords Hofer-Zehnder conjecturenon-contractible periodic orbitsHamiltonian diffeomorphismssymplectic manifoldsFloer homologyperiodic orbitsHamiltonian dynamics
0
0 comments X

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.

The paper proves the Hofer-Zehnder conjecture in the special case of non-contractible periodic orbits. It shows that whenever a Hamiltonian diffeomorphism on one of the covered manifolds possesses such an orbit, the total number of periodic orbits must be infinite. Non-contractible orbits count as homologically unnecessary because the Floer homology they generate is trivial. The argument applies to very wide classes of closed symplectic manifolds.

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

These are editorial extensions of the paper, not claims the author makes directly.

  • 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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

3 major / 2 minor

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)
  1. [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.
  2. [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.
  3. [§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)
  1. [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.
  2. [Abstract] The abstract contains a grammatical error ('a Hamiltonian diffeomorphisms has').

Simulated Author's Rebuttal

3 responses · 0 unresolved

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
  1. 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

  2. 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

  3. 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

0 steps flagged

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

0 free parameters · 1 axioms · 0 invented entities

The claim rests on the domain fact that Floer homology vanishes for non-contractible orbits and on unspecified geometric hypotheses that define the wide classes of manifolds; no free parameters or invented entities appear in the abstract.

axioms (1)
  • domain assumption Floer homology of non-contractible periodic orbits is trivial.
    Explicitly invoked in the abstract to classify non-contractible orbits as homologically unnecessary.

pith-pipeline@v0.9.0 · 5604 in / 1095 out tokens · 24827 ms · 2026-05-24T14:20:58.140074+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. On the Hofer-Zehnder conjecture for semipositive symplectic manifolds

    math.SG 2023-09 unverdicted novelty 6.0

    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

30 extracted references · 30 canonical work pages · cited by 1 Pith paper

  1. [1]

    Baker, G.Harman, J

    R.C. Baker, G.Harman, J. Pintz. The difference between consecutive primes

  2. [2]

    Cartan, S

    H. Cartan, S. Eilenberg. Homological Algebra. Princeton Landmarks in Mathematics

  3. [3]

    Cineli, V.L

    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. [4]

    Cineli, V.L

    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. [5]

    Cineli, V.L

    E. Cineli, V.L. Ginzburg, B.Z. G¨ urel. Another Look at the Hofer-Zehnder conjecture . arXiv:2009.13052

  6. [6]

    J. Franks. Geodesics on S2 and periodic points of annulus homeomorphisms . Invent. Math. 108(2), 403-418, 1992

  7. [7]

    J. Franks. Area preserving homeomorphisms of open surfaces of genus ze ro. New York J. Math. 2 (1996), 1-19

  8. [8]

    Fukaya, Y.G

    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. [9]

    Fukaya, K

    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

  10. [10]

    Fukaya, K

    K. Fukaya, K. Ono. Arnold conjecture and Gromov-Witten invariant . Topology Vol 38, No. 5, pp. 933-1048, 1999

  11. [11]

    B.Z. G¨ urel. On non-contractible periodic orbits of Hamiltonian diffeom orphisms. Bull. Lon- don Math. Soc. 45 (2013) 1227-1234

  12. [12]

    Ginzburg, B.Z

    V.L. Ginzburg, B.Z. G¨ urel. The Conley conjecture and beyond . Arnold Math J. 1, 299–337 (2015)

  13. [13]

    Ginzburg, B.Z

    V.L. Ginzburg, B.Z. G¨ urel. Conley conjecture revisited. International Mathematics Research Notices, Vol. 2019, No.3 , pp. 761-798

  14. [14]

    Ginzburg, B.Z

    V.L. Ginzburg, B.Z. G¨ urel. Local Floer homology and the action gap . J. Symplectic Geom. Volume 8, Number 3, 323-357, 2010

  15. [15]

    Ginzburg, B.Z

    V.L. Ginzburg, B.Z. G¨ urel. Hamiltonian pseudo-rotations of projective spaces . Invent. math. 214, 1081–1130 (2018)

  16. [16]

    Ginzburg, B.Z

    V.L. Ginzburg, B.Z. G¨ urel. Pseudo-rotations VS. rotations . arXiv:1812.05782

  17. [17]

    Ginzburg, B.Z

    V.L. Ginzburg, B.Z. G¨ urel. Non-contractible periodic orbits in Hamiltonian dynamics on closed symplectic manifolds . Compos. Math., 152 (2016), 1777-1799

  18. [18]

    Hofer, D

    H. Hofer, D. Salamon. Floer homology and Novikov rings . The Floer Memorial Volume pp483- 524

  19. [19]

    Hofer, E

    H. Hofer, E. Zehnder. Symplectic invariants and Hamiltonian dynamics . Birkh¨ auser, 1994

  20. [20]

    G. Liu, G. Tian. Floer homology and Arnold conjecture . J. Differential Geometry 49 (1998), 1-74

  21. [21]

    M. Markl. Ideal perturbation lemma . Comm. Algebra, 29(11):5209-5232, 2001

  22. [22]

    K. Ono. On the Arnold conjecture for weakly monotone symplectic man ifolds. Invent. math. 119, 519-537 (1995)

  23. [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. [24]

    R. Orita. Non-contractible periodic orbits in Hamiltonian dynamics on tori . Bull. Lond. Math. Soc., 49(4):571-580, 2017

  25. [25]

    Salamon, E

    D. Salamon, E. Zehnder. Morse thoery for periodic solutions of Hamiltonian systems and the Maslov index . Comm. Pure Appl. Math. 45 (1992), 1303-1360

  26. [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

  27. [27]

    Shelukhin

    E. Shelukhin. On the Hofer-Zehnder conjecture . arXiv:1905.04769

  28. [28]

    Shelukhin

    E. Shelukhin. Pseudo-rotations and Steenrod squares. Journal of Modern Dynamics, to appear

  29. [29]

    Shelukhin

    E. Shelukhin. Pseudo-rotations and Steenrod squares revisited . Mathematical Research Let- ters, accepted

  30. [30]

    Shelukhin, J

    E. Shelukhin, J. Zhao. The Z/pZ-equivariant product-isomorphism in fixed point Floer coho - mology. Journal of Symplectic Geometry, accepted