On the Hofer-Zehnder conjecture for semipositive symplectic manifolds

Han Lou; Marcelo S. Atallah

arxiv: 2309.13791 · v3 · submitted 2023-09-25 · 🧮 math.SG · math.DS

On the Hofer-Zehnder conjecture for semipositive symplectic manifolds

Marcelo S. Atallah , Han Lou This is my paper

Pith reviewed 2026-05-24 06:47 UTC · model grok-4.3

classification 🧮 math.SG math.DS

keywords Hofer-Zehnder conjecturesemipositive symplectic manifoldsHamiltonian diffeomorphismsperiodic pointsquantum homologycontractible fixed pointsBetti number

0 comments

The pith

On closed semipositive symplectic manifolds with semisimple quantum homology, any Hamiltonian diffeomorphism with more contractible fixed points than the total Betti number must have infinitely many periodic points.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that excess contractible fixed points, counted homologically, force infinitely many periodic points for Hamiltonian diffeomorphisms. This holds precisely when the manifold is closed and semipositive and its quantum homology is semisimple. The result extends an earlier theorem that required stronger assumptions on the manifold. A reader would care because the statement converts a count of fixed points into a guarantee of dynamical complexity measured by periodic orbits.

Core claim

We show that, on a closed semipositive symplectic manifold with semisimple quantum homology, any Hamiltonian diffeomorphism possessing more contractible fixed points, counted homologically, than the total Betti number of the manifold, must have infinitely many periodic points. This generalizes to the semipositive setting the result of Shelukhin on the Hofer-Zehnder conjecture.

What carries the argument

Semisimplicity of quantum homology, which supplies the algebraic structure needed to detect additional periodic points once fixed-point counts exceed the Betti number.

If this is right

The Hofer-Zehnder conjecture holds for all Hamiltonian diffeomorphisms on these manifolds once the fixed-point threshold is crossed.
The conclusion applies to every closed semipositive manifold whose quantum homology ring is semisimple.
The homological count of contractible fixed points serves as a sharp threshold separating finite from infinite periodic-point sets.

Where Pith is reading between the lines

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

The same threshold argument might extend to manifolds whose quantum homology satisfies weaker algebraic conditions than full semisimplicity.
Explicit computations on manifolds such as complex projective spaces could verify that the Betti-number threshold is attained by some diffeomorphisms with only finitely many periodic points.
The result supplies a new test for whether a given symplectic manifold admits Hamiltonian diffeomorphisms with exactly the Betti number of contractible fixed points and no further periodic points.

Load-bearing premise

The quantum homology of the manifold is semisimple.

What would settle it

A Hamiltonian diffeomorphism on such a manifold that has only finitely many periodic points yet possesses strictly more contractible fixed points, counted in homology, than the total Betti number.

read the original abstract

We show that, on a closed semipositive symplectic manifold with semisimple quantum homology, any Hamiltonian diffeomorphism possessing more contractible fixed points, counted homologically, than the total Betti number of the manifold, must have infinitely many periodic points. This generalizes to the semipositive setting the beautiful result of Shelukhin on the Hofer-Zehnder conjecture.

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.

Desk Editor's Note private letter to a colleague

This generalizes Shelukhin's result on the Hofer-Zehnder conjecture to closed semipositive manifolds with semisimple quantum homology, with the logic holding under the stated hypotheses.

read the letter

The new piece is the extension of the homological argument from monotone manifolds to the semipositive case, using semisimplicity of quantum homology to ensure the relevant module has rank equal to the classical Betti number. This yields the same conclusion: a Hamiltonian diffeomorphism with more homologically counted contractible fixed points than the total Betti number must have infinitely many periodic points. The abstract states the hypotheses up front, so the scope is clear and there is no overclaim about broader classes of manifolds. The structure follows directly from adapting the existing Floer or quantum homology comparison, and the stress-test note confirms no internal gap in that chain. A minor limitation is that semipositivity plus semisimple quantum homology remains a genuine restriction, though the paper treats it as such rather than hiding it. Without the full proof details here, the adaptation of the estimates under semipositivity would need checking in review, but nothing in the setup suggests a load-bearing flaw. This is aimed at symplectic geometers working on fixed-point problems and the HZ conjecture. It is a focused, incremental step that builds cleanly on prior results. I would send it to peer review.

Referee Report

0 major / 2 minor

Summary. The manuscript proves that on any closed semipositive symplectic manifold whose quantum homology is semisimple, every Hamiltonian diffeomorphism whose number of contractible fixed points, counted with homological multiplicity, exceeds the total Betti number of the manifold, necessarily possesses infinitely many periodic points. The argument adapts the homological rank comparison used by Shelukhin in the monotone case to the semipositive setting via the given algebraic hypotheses on quantum homology.

Significance. The result extends a known theorem on the Hofer-Zehnder conjecture to a strictly larger class of manifolds while preserving the same homological threshold. The conditional hypotheses (closed, semipositive, semisimple quantum homology) are stated explicitly and used to guarantee that the relevant Floer or quantum homology module has rank equal to the classical Betti number, yielding the infinitude conclusion directly from the fixed-point count.

minor comments (2)

§2: the precise definition of 'semisimple quantum homology' is referenced to an earlier paper; a self-contained one-sentence reminder of the algebraic condition used in the rank argument would improve readability.
The transition from the monotone case to the semipositive case in the proof of the main theorem relies on a standard perturbation argument; a short remark clarifying why the semipositivity hypothesis suffices to control the relevant moduli spaces would help readers unfamiliar with the technical details.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and recommendation of minor revision. No major comments appear in the report, so we have no points requiring rebuttal or revision at this stage.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper explicitly conditions its result on closed semipositive symplectic manifolds with semisimple quantum homology and adapts a homological argument (more contractible fixed points than Betti number implies infinitely many periodic points) from Shelukhin's prior work on the monotone case. The logical structure relies on the rank of Floer/quantum homology modules equaling the classical Betti number under the stated algebraic and geometric hypotheses, with no reduction of any prediction or central claim to fitted inputs, self-definitions, or load-bearing self-citations. The generalization is presented as an extension using standard techniques in the semipositive setting, making the derivation independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on domain assumptions standard to symplectic geometry; no free parameters or invented entities are introduced in the abstract.

axioms (1)

domain assumption The manifold is closed, semipositive, and has semisimple quantum homology.
Explicitly stated in the abstract as the setting where the result holds.

pith-pipeline@v0.9.0 · 5578 in / 1179 out tokens · 20549 ms · 2026-05-24T06:47:53.125857+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 5.1 (Smith-type inequality) and Theorem 4.11 (uniform bound on boundary depth via idempotents)

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.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages · 2 internal anchors

[1]

Abouzaid and A.J

[AB21] M. Abouzaid and A.J. Blumberg. Arnold conjecture and Morava K-theory. arXiv preprint arXiv:2103.01507,

work page arXiv
[2]

[Arn14] V.I. Arnold. The stability problem and ergodic prop erties for classical dynamical systems. Vladimir I. Arnold-Collected Works: Hydrodynamics, Bifur cation Theory, and Algebraic Geometry 1965-1972, pages 107–113,

work page 1965
[3]

[Bay04] A. Bayer. Semisimple quantum cohomology and blowup s. International Mathematics Re- search Notices, 2004(40):2069–2083,

work page 2004
[4]

Bai and G

[BX22] S. Bai and G. Xu. Arnold conjecture over integers. arXiv preprint arXiv:2209.08599 ,

work page arXiv
[5]

Bai and G

[BX23] S. Bai and G. Xu. Hofer-Zehnder conjecture for toric m anifolds. arXiv preprint arXiv:2309.07991,

work page arXiv
[6]

Conley and E

[CZ86] C. Conley and E. Zehnder. for symplectic maps and subh armonic solutions of Hamiltonian equations on tori. Nonlinear Functional Analysis and Its Applications, Part 1 : Proceedings of the Summer Research Institute: the Result of the Thirty-ﬁ rst Summer Research Institute of the American Mathematical Society; Berkeley-Calif., Ju ly 11-29, 1983 , 45(P...

work page 1983
[7]

Entov and L

[EP03] M. Entov and L. Polterovich. Calabi quasimorphism an d quantum homology. International Mathematics Research Notices , 2003(30):1635–1676,

work page 2003
[8]

Ginzburg and B.Z

[GG12] V.L. Ginzburg and B.Z. G¨ urel. Conley conjecture for negative monotone symplectic mani- folds. IMRN: International Mathematics Research Notices , 2012(8),

work page 2012
[9]

Ginzburg and B.Z

[GG19] V.L. Ginzburg and B.Z. G¨ urel. Conley conjecture rev isited. International Mathematics Research Notices, 2019(3):761–798,

work page 2019
[10]

ATALLAH AND HAN LOU [LMN22] T.-J

34 MARCELO S. ATALLAH AND HAN LOU [LMN22] T.-J. Li, J. Min, and S. Ning. Enumerative aspect of s ymplectic log Calabi-Yau divisors and almost toric ﬁbrations. arXiv preprint arXiv:2203.08544 ,

work page arXiv
[11]

[McL12] M. McLean. Local ﬂoer homology and inﬁnitely many si mple Reeb orbits. Algebraic & Geometric Topology, 12(4):1901–1923,

work page 1901
[12]

[Ori19] R. Orita. On the existence of inﬁnitely many non-con tractible periodic orbits of Hamil- tonian diﬀeomorphisms of closed symplectic manifolds. Journal of Symplectic Geometry , 17(6):1893–1927,

work page 1927
[13]

Poincar´ e

[Poi12] H. Poincar´ e. Sur un th´ eoreme de g´ eom´ etrie. Rendiconti del Circolo Matematico di Palermo (1884-1940), 33(1):375–407,

work page 1940
[14]

Rezchikov

[Rez22] S. Rezchikov. Integral Arnol’d conjecture. arXiv preprint arXiv:2209.11165 ,

work page arXiv
[15]

On the Hofer-Zehnder conjecture for non-contractible periodic orbits in Hamiltonian dynamics

[Sug21] Y. Sugimoto. On the Hofer-Zehnder conjecture for no n-contractible periodic orbits in Hamiltonian dynamics. arXiv preprint arXiv:2102.05273 ,

work page internal anchor Pith review Pith/arXiv arXiv
[16]

The Lagrangian Floer-quantum-PSS package and canonical orientations in Floer theory

[Zap] F. Zapolsky. The Lagrangian Floer-quantum-PSS packa ge and canonical orientations in Floer theory. Preprint, arXiv:1507.02253,

work page internal anchor Pith review Pith/arXiv arXiv
[17]

Zomorodian and G

[ZC04] A. Zomorodian and G. Carlsson. Computing persistent homology. In Proceedings of the twentieth annual symposium on Computational geometry , pages 347–356, 2004

work page 2004

[1] [1]

Abouzaid and A.J

[AB21] M. Abouzaid and A.J. Blumberg. Arnold conjecture and Morava K-theory. arXiv preprint arXiv:2103.01507,

work page arXiv

[2] [2]

[Arn14] V.I. Arnold. The stability problem and ergodic prop erties for classical dynamical systems. Vladimir I. Arnold-Collected Works: Hydrodynamics, Bifur cation Theory, and Algebraic Geometry 1965-1972, pages 107–113,

work page 1965

[3] [3]

[Bay04] A. Bayer. Semisimple quantum cohomology and blowup s. International Mathematics Re- search Notices, 2004(40):2069–2083,

work page 2004

[4] [4]

Bai and G

[BX22] S. Bai and G. Xu. Arnold conjecture over integers. arXiv preprint arXiv:2209.08599 ,

work page arXiv

[5] [5]

Bai and G

[BX23] S. Bai and G. Xu. Hofer-Zehnder conjecture for toric m anifolds. arXiv preprint arXiv:2309.07991,

work page arXiv

[6] [6]

Conley and E

[CZ86] C. Conley and E. Zehnder. for symplectic maps and subh armonic solutions of Hamiltonian equations on tori. Nonlinear Functional Analysis and Its Applications, Part 1 : Proceedings of the Summer Research Institute: the Result of the Thirty-ﬁ rst Summer Research Institute of the American Mathematical Society; Berkeley-Calif., Ju ly 11-29, 1983 , 45(P...

work page 1983

[7] [7]

Entov and L

[EP03] M. Entov and L. Polterovich. Calabi quasimorphism an d quantum homology. International Mathematics Research Notices , 2003(30):1635–1676,

work page 2003

[8] [8]

Ginzburg and B.Z

[GG12] V.L. Ginzburg and B.Z. G¨ urel. Conley conjecture for negative monotone symplectic mani- folds. IMRN: International Mathematics Research Notices , 2012(8),

work page 2012

[9] [9]

Ginzburg and B.Z

[GG19] V.L. Ginzburg and B.Z. G¨ urel. Conley conjecture rev isited. International Mathematics Research Notices, 2019(3):761–798,

work page 2019

[10] [10]

ATALLAH AND HAN LOU [LMN22] T.-J

34 MARCELO S. ATALLAH AND HAN LOU [LMN22] T.-J. Li, J. Min, and S. Ning. Enumerative aspect of s ymplectic log Calabi-Yau divisors and almost toric ﬁbrations. arXiv preprint arXiv:2203.08544 ,

work page arXiv

[11] [11]

[McL12] M. McLean. Local ﬂoer homology and inﬁnitely many si mple Reeb orbits. Algebraic & Geometric Topology, 12(4):1901–1923,

work page 1901

[12] [12]

[Ori19] R. Orita. On the existence of inﬁnitely many non-con tractible periodic orbits of Hamil- tonian diﬀeomorphisms of closed symplectic manifolds. Journal of Symplectic Geometry , 17(6):1893–1927,

work page 1927

[13] [13]

Poincar´ e

[Poi12] H. Poincar´ e. Sur un th´ eoreme de g´ eom´ etrie. Rendiconti del Circolo Matematico di Palermo (1884-1940), 33(1):375–407,

work page 1940

[14] [14]

Rezchikov

[Rez22] S. Rezchikov. Integral Arnol’d conjecture. arXiv preprint arXiv:2209.11165 ,

work page arXiv

[15] [15]

On the Hofer-Zehnder conjecture for non-contractible periodic orbits in Hamiltonian dynamics

[Sug21] Y. Sugimoto. On the Hofer-Zehnder conjecture for no n-contractible periodic orbits in Hamiltonian dynamics. arXiv preprint arXiv:2102.05273 ,

work page internal anchor Pith review Pith/arXiv arXiv

[16] [16]

The Lagrangian Floer-quantum-PSS package and canonical orientations in Floer theory

[Zap] F. Zapolsky. The Lagrangian Floer-quantum-PSS packa ge and canonical orientations in Floer theory. Preprint, arXiv:1507.02253,

work page internal anchor Pith review Pith/arXiv arXiv

[17] [17]

Zomorodian and G

[ZC04] A. Zomorodian and G. Carlsson. Computing persistent homology. In Proceedings of the twentieth annual symposium on Computational geometry , pages 347–356, 2004

work page 2004