Multiplicity of closed Reeb orbits on contact manifolds with periodic equivariant symplectic homology
Pith reviewed 2026-07-02 01:20 UTC · model grok-4.3
The pith
Contact forms on manifolds with periodic positive equivariant symplectic homology have at least r_M simple closed Reeb orbits, with equality precisely when the form is lacunary.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Under weak and homologically natural index assumptions on a non-degenerate contact form α on M, a sharp lower bound r_M exists for the number of simple closed Reeb orbits of α. The bound is attained if and only if α is lacunary, i.e., the Conley-Zehnder indices of all closed orbits have the same parity. Whenever a non-degenerate lacunary contact form exists on M, r_M equals the number of its simple closed Reeb orbits and is therefore independent of the choice of such a form. In the lacunary case r_M is a contact invariant completely determined by the positive equivariant symplectic homology. For a broad class of prequantizations of symplectic orbifolds, r_M equals dim H_*(M/S^1; Q).
What carries the argument
Periodic positive equivariant symplectic homology of the contact manifold, which supplies the invariant r_M that lower-bounds the multiplicity of simple closed Reeb orbits.
If this is right
- r_M is independent of the choice of non-degenerate lacunary contact form whenever such a form exists.
- In the lacunary case r_M is a contact invariant determined by the positive equivariant symplectic homology.
- For prequantizations of symplectic orbifolds, r_M equals the dimension of the rational homology of M/S^1.
- The bound r_M is attained exactly when the contact form is lacunary.
Where Pith is reading between the lines
- The results motivate checking whether every contact form with only finitely many closed Reeb orbits must be both non-degenerate and lacunary.
- If that conjecture holds, the underlying contact manifold must be a prequantization of a symplectic orbifold.
- The invariant r_M offers a concrete topological test for the existence of lacunary forms on a given manifold.
Load-bearing premise
The contact manifold belongs to the class possessing periodic positive equivariant symplectic homology.
What would settle it
A non-degenerate contact form whose number of simple closed Reeb orbits is strictly smaller than the value r_M extracted from the positive equivariant symplectic homology.
read the original 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 equivariant symplectic homology is a well-defined invariant. 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$. 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. The bound $r_M$ admits a clean dynamical characterization: whenever a non-degenerate lacunary contact form exists on $M$, $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 $r_M$ is a contact invariant completely determined by the positive equivariant symplectic homology. 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 this 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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that for closed contact manifolds (M, ξ) belonging to the class with periodic positive equivariant symplectic homology (which includes all currently known examples with finitely many closed Reeb orbits where the homology is well-defined), under weak and homologically natural index assumptions on a non-degenerate contact form α, there is a sharp lower bound r_M on the number of simple closed Reeb orbits. This bound is attained if and only if α is lacunary (Conley-Zehnder indices of all closed orbits have the same parity). The bound r_M admits a dynamical characterization as the number of simple closed Reeb orbits of any non-degenerate lacunary form, making it independent of the choice and a contact invariant determined by the positive equivariant symplectic homology. For prequantizations of symplectic orbifolds, r_M equals dim H_*(M/S¹; ℚ). The authors conjecture that any contact form with finitely many closed Reeb orbits is non-degenerate and lacunary, with the manifold a prequantization of this type.
Significance. If the claims hold, the work would provide a significant contribution to contact geometry by linking the multiplicity of Reeb orbits to equivariant symplectic homology via a sharp, attainable bound with a clean dynamical characterization. The explicit computation for prequantizations as a topological invariant and the conjecture on finite-orbit forms would offer new tools for classification and invariants in the field.
Simulated Author's Rebuttal
We thank the referee for their report and summary of the manuscript. No specific major comments are listed, so we have nothing to address point-by-point. We remain available to clarify any aspects of the work if needed.
Circularity Check
No significant circularity
full rationale
The abstract presents r_M as a lower bound derived from the positive equivariant symplectic homology of the contact structure, an invariant independent of any particular contact form. The statement that this bound is attained precisely when the form is lacunary is given as a result under stated index assumptions, with the homology class positioned as containing known examples rather than being defined circularly from the bound itself. No equations, fitted parameters, or self-citations appear in the abstract that would reduce the central claim to a self-definitional or constructionally forced input. The derivation is therefore self-contained against the homology invariant.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Positive equivariant symplectic homology is a well-defined invariant for the class of contact manifolds considered.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.