REVIEW 4 minor 58 references
Multiplicity of closed Reeb orbits on contact manifolds with periodic equivariant symplectic homology
T0 review · 0 major / 4 minor · reviewed 2026-07-13 · grok-4.5
Pith's one-line read A Floer-theoretic count gives a sharp lower bound on simple Reeb orbits, attained exactly when the form is lacunary.
desk verdict Solid, carefully proved sharp multiplicity bound for Reeb orbits under weak index assumptions on a large class of contact manifolds; the three-way characterization of r_M is the real advance. 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 integer r_M extracted from the eventually periodic positive equivariant symplectic homology HC_*(M): it measures the finite-dimensional defect between the initial sum of contact Betti numbers and the asymptotic average given by the mean Euler characteristic, and it becomes the exact orbit count of any non-degenerate lacunary form.
What would settle it
Exhibit a non-degenerate contact form on a manifold with periodic HC_* that has fewer than r_M simple orbits, or that attains r_M while possessing orbits of both even and odd Conley-Zehnder index.
Extended reading notes
Core claim
Under weak index assumptions that exclude only good orbits of a single unnecessary degree, every non-degenerate contact form on a manifold with periodic positive equivariant symplectic homology has at least r_M simple closed Reeb orbits, where r_M is an explicit linear combination of contact Betti numbers and the positive mean Euler characteristic; equality holds if and only if the form is lacunary.
Load-bearing premise
The contact form must have no good closed orbit whose Conley-Zehnder index equals a prescribed integer of the wrong parity; the authors note this is probably technical but use it essentially for the Morse-inequality cancellations.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies closed contact manifolds with periodic positive equivariant symplectic homology HC_*(M). Under weak, homologically natural index assumptions on a non-degenerate contact form α (no good orbits of index ±p of opposite parity to the lacunary parity, non-vanishing mean indices, and index-admissibility under (NF)), it proves a sharp lower bound #P_α ≥ r_M, where r_M is an explicit combination of the contact Betti numbers and the positive mean Euler characteristic of M (Theorem 1, and the more general formulae of Theorems 5–6). Equality holds if and only if α is lacunary. Consequently, whenever a non-degenerate lacunary form exists, r_M equals the number of its simple closed Reeb orbits and is a contact invariant determined by Floer theory. The paper also obtains lower bounds for non-hyperbolic orbits (Theorem 3/7), computes r_M for prequantizations of monotone manifolds and orbifolds, good toric contact manifolds, Ustilovsky spheres, and manifolds with vanishing symplectic homology (Theorem 2), and shows that in the prequantization cases r_M = dim H_*(M/S^{1};ℚ). The proofs combine Morse inequalities for HC_*, resonance relations, and an index-recurrence theorem.
Significance. The work substantially generalizes and unifies earlier multiplicity results for spheres and prequantization bundles (Long–Zhu, Ginzburg–Gürel–Macarini, etc.) by replacing dynamical convexity or low-index exclusions with a weaker, homologically natural condition, and by treating the much larger class of manifolds with periodic HC_*. The invariant r_M is cleanly defined from Floer theory, admits dynamical and (in the prequantization case) topological characterizations, and is shown to be sharp precisely for lacunary forms. The computations cover essentially all currently known examples with finitely many Reeb orbits, and the conjectures in Section 9 are natural and well-motivated. The technical machinery (equivariant symplectic homology, Morse inequalities, resonance, index recurrence) is standard and carefully assembled; the necessity of the main index hypothesis is demonstrated by explicit toric counter-examples in §5.1.
minor comments (4)
- The definition of r_M in Theorem 1 and the more general formulae (2.1) in Remark 2.9 / Theorems 5–6 are dense; a short table or display summarizing the four cases (lacunary/non-lacunary × parity of p) would improve readability without changing the mathematics.
- In §6.2 the five classes of iterates (A)–(E) and the subsequent subclasses (B1±), (C1±) etc. are carefully tracked, but a brief schematic diagram or summary table of which classes contribute to the alternating sum would help the reader follow the cancellations leading to (6.17) and (6.20).
- The dependence of HC_*(M) on the filling under condition (F) is correctly noted (and vanishes for lacunary forms); a single sentence in the introduction or §3.1 reminding the reader that all statements about r_M for lacunary forms are therefore filling-independent would make this point more prominent.
- A few minor typos appear (e.g., “computer M” for “compute r_M”, occasional missing spaces around mathematical symbols). These are purely cosmetic.
Circularity Check
Homological r_M is defined independently of orbit counts; main multiplicity bound derived via Morse inequalities + index recurrence without feeding the target back into the inputs.
-
self citation load bearing
[Theorem 4 (Index recurrence) and its proof]
"This theorem was proved in [29, Theorem 4.1] under the assumption that μ̂(Φ_i) > 0 for every i. We claim that the desired result can be reduced to this case."
The general index-recurrence statement used throughout §§6–7 is obtained by a short reduction to the authors’ earlier positive-mean-index result [29]. The reduction itself is elementary and non-circular, and [29] is an independent published paper; the step is therefore only a minor self-citation, not a load-bearing circularity that forces the multiplicity bound.
full rationale
r_M is introduced purely from the contact Betti numbers b_j and the mean Euler characteristic χ^{+}(M) of the (eventually) periodic positive equivariant symplectic homology HC_*(M) (Definition 1 and the explicit formulae in Theorem 1 / (2.1)). The inequality #P_α ≥ r_M and the equality case (iff α lacunary) are then proved in Theorems 5–6 by combining the Morse inequalities of Proposition 1, the resonance relation (3.1), and the index-recurrence Theorem 4; none of these steps redefine r_M in terms of the orbit count being bounded. When a non-degenerate lacunary form exists, Corollary 1 simply specialises the already-proved equality, yielding the dynamical characterisation. Self-citations ([3,6,8,29] etc.) supply either the combinatorial description of HC_* for toric examples or the positive-mean-index case of index recurrence; both are used as black-box inputs whose statements do not presuppose the multiplicity lower bound. The exclusion of good orbits of index ±p is an explicit hypothesis (not derived from the conclusion) and is shown necessary by counter-examples in §5.1. No fitted parameters, self-definitional loops, or uniqueness theorems imported solely from the authors appear in the load-bearing chain. The derivation is therefore self-contained against its own Floer-theoretic inputs.
Assumptions & free parameters
assumptions (4)
- domain assumption Positive equivariant symplectic homology HC_*(M) is well-defined with integer grading under either a strong symplectic filling with c_1(TW)=0 and H^1(M;Q)→H^1(W;Q) trivial, or c_1(ξ)=0, H^1(M;Q)=0 and existence of an index-admissible form (conditions (F) or (NF)).
- domain assumption HC_*(M) is eventually periodic with even period Δ after degree P (Definition 1).
- domain assumption Every closed orbit of the non-degenerate form α has non-vanishing mean index.
- standard math Index-recurrence theorem (Theorem 4) for a finite collection of strongly non-degenerate paths in the universal cover of Sp(2n).
invented entities (1)
-
r_M (the multiplicity invariant extracted from contact Betti numbers)
independent evidence
Cite this review
Pith. "Pith review of Multiplicity of closed Reeb orbits on contact manifolds with periodic equivariant symplectic homology." pith.science (2026). https://pith.science/paper/NM552DBR
@misc{pith2026260701219,
author = {Pith},
title = {Pith review of: Multiplicity of closed Reeb orbits on contact manifolds with periodic equivariant symplectic homology},
year = {2026},
howpublished = {\url{https://pith.science/paper/NM552DBR}},
note = {Machine review of arXiv:2607.01219}
}
abstract
We consider closed contact manifolds $(M,\xi)$ with periodic positive equivariant symplectic homology. This is a very large class of contact manifolds and, to the best of our knowledge, includes all currently known examples admitting Reeb flows with finitely many closed orbits for which this homology is well defined. Under weak and homologically natural index assumptions on a non-degenerate contact form $\alpha$ on $M$, we establish a sharp lower bound $r_M$ for the number of simple closed Reeb orbits of $\alpha$. The quantity $r_M$ is completely defined in terms of the positive equivariant symplectic homology of $M$. Moreover, we show that this bound is attained if and only if $\alpha$ is lacunary, i.e., the Conley-Zehnder indices of all closed orbits have the same parity. Consequently, the invariant $r_M$ admits a clean dynamical characterization: whenever $M$ admits a non-degenerate lacunary contact form, $r_M$ equals the number of its simple closed Reeb orbits and is therefore independent of the choice of such a form. In particular, in the lacunary case the number of such orbits is a contact invariant completely determined by Floer theory. We compute $r_M$ for a broad class of examples, including several prequantizations of symplectic orbifolds, and show that in this case $r_M=\dim H_*(M/S^1;\mathbb{Q})$, thereby giving a topological characterization of the invariant. Motivated by these results, we conjecture that any contact form with finitely many closed Reeb orbits is necessarily non-degenerate and lacunary, and that the underlying contact manifold is a prequantization of this type.
Reference graph
Works this paper leans on
-
[1]
Abbondandolo, M
A. Abbondandolo, M. Schwarz,On the Floer homology of cotangent bundles.Comm. Pure Appl. Math. 59(2006), 254–316
2006
-
[2]
Abreu, J
M. Abreu, J. Gutt, J. Kang, L. Macarini,Two closed orbits for non-degenerate Reeb flows.Math. Proc. Cambridge Philos. Soc.170(2021), no. 3, 625–660
2021
-
[3]
Abreu, L
M. Abreu, L. Macarini,Contact homology of good toric contact manifolds.Compositio Mathematica148 (2012), 304–334
2012
-
[4]
Abreu, L
M. Abreu, L. Macarini,Multiplicity of periodic orbits for dynamically convex contact forms.Journal of Fixed Point Theory and Applications19(2017), 175–204
2017
-
[5]
Abreu, L
M. Abreu, L. Macarini,On the mean Euler characteristic of Gorenstein toric contact manifolds.Int. Math. Res. Not. IMRN 2020, no. 14, 4465–4495
2020
-
[6]
Abreu, L
M. Abreu, L. Macarini,Periodic orbits of non-degenerate lacunary contact forms on prequantization bundles.Selecta Math. (N.S.)32(2026), no. 3, Paper No. 59. MULTIPLICITY OF CLOSED REEB ORBITS 71
2026
-
[7]
Abreu, L
M. Abreu, L. Macarini, M. Moreira,On contact invariants of non-simply connected Gorenstein toric contact manifolds.Mathematical Research Letters29(2022), 1–42
2022
-
[8]
Abreu, L
M. Abreu, L. Macarini, M. Moreira,Contact invariants ofQ-Gorenstein toric contact manifolds, the Ehrhart polynomial and Chen-Ruan cohomology.Advances in Mathematics429(2023), Paper No. 109180
2023
Show all 58 references
-
[9]
Albers, H
P. Albers, H. Geiges, K. Zehmisch,Reeb dynamics inspired by Katok’s example in Finsler geometry. Math. Ann.370(2018), No. 3-4, 1883–1907
2018
-
[10]
Besse,Manifolds all of whose Geodesics are Closed.Ergebnisse der Mathematik und ihrer Grenzge- biete, 93
A. Besse,Manifolds all of whose Geodesics are Closed.Ergebnisse der Mathematik und ihrer Grenzge- biete, 93. Springer-Verlag, Berlin-New York, 1978
1978
-
[11]
Bourgeois,A Morse–Bott Approach to Contact Homology.Ph.D
F. Bourgeois,A Morse–Bott Approach to Contact Homology.Ph.D. dissertation, Stanford University, Stanford, Calif., 2002
2002
-
[12]
Bourgeois,A survey of contact homology.CRM Proceedings and Lecture Notes,49(2009), 45–60
F. Bourgeois,A survey of contact homology.CRM Proceedings and Lecture Notes,49(2009), 45–60
2009
-
[13]
Bourgeois, A
F. Bourgeois, A. Oancea,Symplectic homology, autonomous Hamiltonians, and Morse-Bott moduli spaces.Duke Math. J.146(2009), 71–174
2009
-
[14]
Bourgeois, A
F. Bourgeois, A. Oancea,Fredholm theory and transversality for the parametrized and for theS 1-invariant symplectic action.J. Eur. Math. Soc. (JEMS)12(2010), no. 5, 1181–1229
2010
-
[15]
Bourgeois, A
F. Bourgeois, A. Oancea,The index of Floer moduli problems for parametrized action functionals.Geom. Dedicata165(2013), 5–24
2013
-
[16]
Bourgeois, A
F. Bourgeois, A. Oancea,The Gysin exact sequence forS 1-equivariant symplectic homology.J. Topol. Anal.5(2013), no. 4, 361–407
2013
-
[17]
Bourgeois, A
F. Bourgeois, A. Oancea,S 1-equivariant symplectic homology and linearized contact homology.Int. Math. Res. Not. IMRN 2017, no. 13, 3849–3937
2017
-
[18]
Cineli, V
E. Cineli, V. Ginzburg, B. G¨ urel,Closed Orbits of Dynamically Convex Reeb Flows: Towards the HZ- and Multiplicity Conjectures.Preprint arXiv:2410.13093 (2024). To appear in Ann. of Math
2024 arXiv
-
[19]
Cineli, V
E. Cineli, V. Ginzburg, B. G¨ urel,Filtered Symplectic Homology and Closed Reeb Orbits.Preprint arXiv:2606.13372 (2026)
2026 arXiv
-
[20]
Cristofaro-Gardiner, M
D. Cristofaro-Gardiner, M. Hutchings,From one Reeb orbit to two.J. Differential Geom.102(2016), no. 1, 25–36
2016
-
[21]
Cristofaro-Gardiner, U
D. Cristofaro-Gardiner, U. Hryniewicz, M. Hutchings, H. Liu,Contact three-manifolds with exactly two simple Reeb orbits.Geom. Topol.27(2023), no. 9, 3801–3831
2023
-
[22]
Cristofaro-Gardiner, U
D. Cristofaro-Gardiner, U. Hryniewicz, M. Hutchings, H. Liu,Proof of Hofer-Wysocki-Zehnder’s two or infinity conjecture.Preprint (2023), arXiv:2310.07636
2023 arXiv
-
[23]
H. Duan, H. Liu, Y. Long, W. Wang,Non-hyperbolic closed characteristics on non-degenerate star-shaped hypersurfaces inR 2n.Acta Math. Sin. (Engl. Ser.)34(2018), 1–18
2018
-
[24]
H. Duan, H. Liu, Y. Long, W. Wang,Generalized common index jump theorem with applications to closed characteristics on star-shaped hypersurfaces and beyond.J. Funct. Anal.286(2024), no. 7, Paper No. 110352, 41 pp
2024
-
[25]
Eliashberg, A
Y. Eliashberg, A. Givental, H. Hofer.Introduction to Symplectic Field Theory.Geom. Funct. Anal., Special volume, Part II (2000), 560–673
2000
-
[26]
Espina,On the mean Euler characteristic of contact structures.Internat
J. Espina,On the mean Euler characteristic of contact structures.Internat. J. Math.25(2014), doi: 10.1142/S0129167X14500463
2014 doi
-
[27]
Ginzburg, Y
V. Ginzburg, Y. Goren,Iterated index and the mean Euler characteristic.J. Topol. Anal.7(2015), no. 3, 453–481
2015
-
[28]
Ginzburg, B
V. Ginzburg, B. G¨ urel,Lusternik–Schnirelmann theory and closed Reeb orbits.Math. Z.295(2020), 515–582
2020
-
[29]
Ginzburg, B
V. Ginzburg, B. G¨ urel, L. Macarini,Multiplicity of Closed Reeb Orbits on Prequantization Bundles.Israel J. Math.228(2018), no. 1, 407–453
2018
-
[30]
Ginzburg, D
V. Ginzburg, D. Hein, U. Hryniewicz, L. Macarini,Closed Reeb orbits on the sphere and symplectically degenerate maxima.Acta Math. Vietnam.38(2013), no. 1, 55-78
2013
-
[31]
Ginzburg, E
V.L. Ginzburg, E. Kerman,Homological resonances for Hamiltonian diffeomorphisms and Reeb flows. Int. Math. Res. Not. IMRN 2010, 53–68
2010
-
[32]
Ginzburg, L
V.L. Ginzburg, L. Macarini,Dynamical convexity and closed orbits on symmetric spheres.Duke Math. J.170(2021), 1201–1250
2021
-
[33]
Goresky, R
M. Goresky, R. MacPherson, Stratified Morse theory. Ergeb. Math. Grenzgeb. (3), 14, Springer-Verlag, Berlin, 1988. 72 MIGUEL ABREU AND LEONARDO MACARINI
1988
-
[34]
G¨ urel,Perfect Reeb flows and action-index relations.Geom
B. G¨ urel,Perfect Reeb flows and action-index relations.Geom. Dedicata174(2015), 105–120
2015
-
[35]
J. Gutt, J. Kang,On the minimal number of periodic orbits on some hypersurfaces inR 2n.Ann. Inst. Fourier (Grenoble)66(2016), no. 6, 2485–2505
2016
-
[36]
Hryniewicz, L
U. Hryniewicz, L. Macarini,Local contact homology and applications.J. Topol. Anal.7(2015), 167–238
2015
-
[37]
X. Hu, Y. Long,Closed characteristics on non-degenerate star-shaped hypersurfaces inR 2n.Sci. China Ser. A45(2002), 1038–1052
2002
-
[38]
M. Kwon, O. van Koert,Brieskorn manifolds in contact topology.Bull. Lond. Math. Soc.48(2016), no. 2, 173–241
2016
-
[39]
Lerman,Contact toric manifolds, J
E. Lerman,Contact toric manifolds, J. Symplectic Geom.1(2003), 785–828
2003
-
[40]
Lerman, S
E. Lerman, S. Tolman,Hamiltonian torus actions on symplectic orbifolds and toric varieties.Trans. Amer. Math. Soc.349(1997), no. 10, 4201–4230
1997
-
[41]
H. Liu, Y. Long,The existence of two closed characteristics on every compact star-shaped hypersurface inR 4. Acta Math. Sin. (Engl. Ser.)32(2016), 40–53
2016
-
[42]
Long, Index Theory for Symplectic Paths with Applications
Y. Long, Index Theory for Symplectic Paths with Applications. Birkh¨ auser, Basel, 2002
2002
-
[43]
Y. Long, C. Zhu,Closed characteristics on compact convex hypersurfaces inR 2n.Ann. of Math.155 (2002), no. 2, 317–368
2002
-
[44]
Macarini,Multiplicity, stability and symmetry of periodic orbits of Reeb flows.Proceedings of the First Brazil-Portugal Joint Meeting in Mathematics, Coimbra Math
L. Macarini,Multiplicity, stability and symmetry of periodic orbits of Reeb flows.Proceedings of the First Brazil-Portugal Joint Meeting in Mathematics, Coimbra Math. Texts 4, Springer, Cham, 2025, 159–188
2025
-
[45]
Macarini, G
L. Macarini, G. Paternain,Equivariant symplectic homology of Anosov contact structures.Bulletin of the Brazilian Mathematical Society43(2012), 513–527
2012
-
[46]
McLean,Local Floer homology and infinitely many simple Reeb orbits.Algebraic & Geometric Topol- ogy12(2012), no
M. McLean,Local Floer homology and infinitely many simple Reeb orbits.Algebraic & Geometric Topol- ogy12(2012), no. 4 1901–1923
2012
-
[47]
McLean,Reeb orbits and the minimal discrepancy of an isolated singularity.Invent
M. McLean,Reeb orbits and the minimal discrepancy of an isolated singularity.Invent. Math.204(2016), no. 2, 505–594
2016
-
[48]
McLean, A
M. McLean, A. Ritter,The McKay correspondence via Floer theory.Journal of Differential Geometry 124(2023), no. 1, 113–168
2023
-
[49]
Robbin, D
J. Robbin, D. Salamon,The Maslov index for paths.Topology32(1993), 827–844
1993
-
[50]
Salamon, E
D. Salamon, E. Zehnder,Morse theory for periodic solutions of hamiltonian systems and the Maslov index.Comm. Pure Appl. Math.45(1992), no.10, 1303–1360
1992
-
[51]
Shelukhin,On the Hofer-Zehnder conjecture.Ann
E. Shelukhin,On the Hofer-Zehnder conjecture.Ann. of Math. (2)195(2022), no. 3, 775–839
2022
-
[52]
Seidel,A biased view of symplectic cohomology.In Current developments in mathematics, 2006, pages 211–253
P. Seidel,A biased view of symplectic cohomology.In Current developments in mathematics, 2006, pages 211–253. Int. Press, Somerville, MA, 2008
2006
-
[53]
Ustilovsky,Infinitely many contact structures onS 4m`1, Internat
I. Ustilovsky,Infinitely many contact structures onS 4m`1, Internat. Math. Res. Notices14(1999), 781–791
1999
-
[54]
Viterbo,Functors and computations in Floer homology with applications
C. Viterbo,Functors and computations in Floer homology with applications. I.Geom. Funct. Anal.9 (1999), no. 5, 985–1033
1999
-
[55]
Wang,Closed characteristics on compact convex hypersurfaces inR 8.Adv
W. Wang,Closed characteristics on compact convex hypersurfaces inR 8.Adv. Math.297(2016), 93–148
2016
-
[56]
Wang,Existence of closed characteristics on compact convex hypersurfaces inR 2n.Calc
W. Wang,Existence of closed characteristics on compact convex hypersurfaces inR 2n.Calc. Var. Partial Differential Equations,55(2016), 1–25
2016
-
[57]
Yau,Cylindrical contact homology of subcritical Stein-fillable contact manifolds.Geom
M.-L. Yau,Cylindrical contact homology of subcritical Stein-fillable contact manifolds.Geom. Topol.8 (2004), 1243–1280
2004
-
[58]
Ziller,Geometry of the Katok examples.Ergodic Theory Dynam
W. Ziller,Geometry of the Katok examples.Ergodic Theory Dynam. Syst.3(1983), no. 1, 135–157. Center for Mathematical Analysis, Geometry and Dynamical Systems, Instituto Superior T´ecnico, Universidade de Lisboa, Av. Rovisco Pais, 1049-001 Lisboa, Portugal Email address:mabreu@...
1983
Reviewed July 13, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.