Recognition: 2 theorem links
· Lean TheoremElementary spectral invariants and three-dimensional Reeb dynamics
Pith reviewed 2026-05-14 02:21 UTC · model grok-4.3
The pith
Elementary spectral invariants of contact three-manifolds suffice to prove some results on the existence and properties of Reeb periodic orbits.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The author establishes that elementary spectral invariants, constructed from modified alternative ECH capacities, carry enough information from embedded contact homology to prove certain existence and property results for periodic Reeb orbits on contact three-manifolds.
What carries the argument
The elementary spectral invariants, defined via modifications to alternative ECH capacities of symplectic four-manifolds.
If this is right
- Some Reeb vector fields on contact three-manifolds are guaranteed to possess periodic orbits.
- Bounds on the number or action of such orbits follow from the invariants.
- Properties of the orbits such as their existence in certain classes can be deduced from the invariants.
- The invariants connect symplectic capacities directly to Reeb dynamics without full homology computations.
Where Pith is reading between the lines
- The invariants might extend to give obstructions for fillings or embeddings of more general contact structures.
- Similar modifications could simplify other spectral sequences in symplectic field theory.
- Computations of these invariants could yield new explicit examples of Reeb flows with prescribed orbit properties.
Load-bearing premise
That the elementary spectral invariants preserve the key information needed from embedded contact homology for the dynamical applications.
What would settle it
Constructing a contact three-manifold and Reeb field where the elementary invariants predict no periodic orbit, yet one is known to exist by other means.
read the original abstract
We survey various recent results on the existence and properties of periodic orbits of Reeb vector fields in three dimensions. We give an introduction to the "elementary spectral invariants" of contact three-manifolds, and we explain how they can be used to prove some of these results. (The remaining results can be proved using spectral invariants from embedded contact homology, of which the elementary spectral invariants are a simplification.) We then review the "alternative ECH capacities" of symplectic four-manifolds, and explain how these can be modified to define the elementary spectral invariants.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper surveys recent results on the existence and properties of periodic orbits of Reeb vector fields in three-dimensional contact manifolds. It introduces elementary spectral invariants of contact three-manifolds as a simplification of spectral invariants from embedded contact homology (ECH), explains how these invariants can be used to prove some (but not all) of the surveyed results, and reviews alternative ECH capacities of symplectic four-manifolds together with the modifications needed to define the elementary invariants.
Significance. If the elementary invariants retain the required monotonicity, filtration, and existence properties from ECH while remaining strictly simpler, the survey provides a valuable accessible introduction to spectral methods in contact dynamics. It could lower the barrier for applying these tools to Reeb orbit problems without full ECH machinery, while clearly delineating which results still require the complete theory.
minor comments (2)
- The abstract states that the elementary invariants are obtained by modifying alternative ECH capacities, but a brief comparison table in the introduction (or §2) contrasting the definitions, monotonicity properties, and computational complexity of the elementary versus full ECH versions would improve readability for readers new to the area.
- In the section reviewing alternative ECH capacities, the description of the modification process would benefit from an explicit low-dimensional example (e.g., the standard contact S^3) showing how the capacities change under the elementary modification.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for the positive recommendation to accept. The referee's summary correctly identifies the paper as a survey of results on periodic Reeb orbits in three-dimensional contact manifolds, with emphasis on the role of elementary spectral invariants as a simplification of ECH spectral invariants.
Circularity Check
No significant circularity in derivation chain
full rationale
The paper is an expository survey defining elementary spectral invariants directly via explicit modification of alternative ECH capacities. All load-bearing steps (construction, monotonicity, and applications to Reeb orbits) are presented as self-contained definitions and properties without reducing to fitted inputs, self-definitions, or author-overlapping citations that force the result by construction. Full ECH is invoked only for the remaining cases, providing independent context rather than circular support.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
We survey various recent results on the existence and properties of periodic orbits of Reeb vector fields in three dimensions. We give an introduction to the 'elementary spectral invariants' of contact three-manifolds... review the 'alternative ECH capacities' of symplectic four-manifolds, and explain how these can be modified to define the elementary spectral invariants.
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 2.7... lim k→∞ c_k(Y, λ)² / k = 2 vol(Y, λ).
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
- [1]
- [2]
-
[3]
Bangert,On the existence of closed geodesics on two-spheres, Internat
V. Bangert,On the existence of closed geodesics on two-spheres, Internat. J. Math.4(1993), 1–10
work page 1993
-
[4]
Beiner,Infinite ECH capacities and Anosov flows, in preparation
G. Beiner,Infinite ECH capacities and Anosov flows, in preparation
- [5]
-
[6]
J. Chaidez, I. Datta, R. Prasad, and S. Tanny,Contact homology and higher dimensional closing lemmas, J. Mod. Dyn.20(2024), 67–153
work page 2024
-
[7]
J. Chaidez and S. Tanny,Elementary SFT spectral gaps and the strong closing property, arXiv:2312.17211
-
[8]
K. Choi, D. Cristofaro-Gardiner, D. Frenkel, M. Hutchings, and V. Ramos, Symplectic embeddings into four-dimensional concave toric domains, J. Topol. 7(2014), 1054–1076
work page 2014
-
[9]
E. C ¸ ineli, V. Ginzburg, and B. G¨ urel,Closed orbits of dynamically convex Reeb flows: towards the HZ- and multiplicity conjectures, arXiv:2410.13093
-
[10]
E. C ¸ ineli and S. Seyfaddini,The strong closing lemma and Hamiltonian pseudo- rotations, J. Mod. Dyn.20(2024), 299–318
work page 2024
- [11]
-
[12]
V. Colin and K. Honda,Reeb vector fields and open book decompositions, J. Eur. Math. Soc.15(2013), 443–507
work page 2013
-
[13]
C. Conley and E. Zehnder,The Birkhoff-Lewis fixed point theorem and a con- jecture of V.I. Arnold, Invent. Math.73(1983), 33–49
work page 1983
-
[14]
Cristofaro-Gardiner,Symplectic embeddings from concave toric domains into convex ones, J
D. Cristofaro-Gardiner,Symplectic embeddings from concave toric domains into convex ones, J. Diff. Geom.112(2019), 119–232
work page 2019
-
[15]
Cristofaro-Gardiner,Symplectic Weyl laws, arXiv:2512.05454, submitted to Proceedings of the ICM 2026
D. Cristofaro-Gardiner,Symplectic Weyl laws, arXiv:2512.05454, submitted to Proceedings of the ICM 2026. 47
-
[16]
D. Cristofaro-Gardiner and R. Hind,Boundaries of open symplectic manifolds and the failure of packing stability, arXiv:2307.01140, to appear in J. Eur. Math. Soc
-
[17]
D. Cristofaro-Gardiner, U. Hryniewicz, M. Hutchings, and H. Liu,Contact three-manifolds with exactly two simple Reeb orbits, Geom. Topol.27(2023), 3801–3831
work page 2023
-
[18]
D. Cristofaro-Gardiner, U. Hryniewicz, M. Hutchings, and H. Liu,Proof of Hofer-Wysocki-Zehnder’s two or infinity conjecture, arXiv:2310.07636, to ap- pear in J. Amer. Math. Soc
-
[19]
D. Cristofaro-Gardiner and M. Hutchings,From one Reeb orbit to two, J. Diff. Geom.102(2016), 25–36
work page 2016
-
[20]
D. Cristofaro-Gardiner, M. Hutchings, and D. Pomerleano,Torsion contact forms in three dimensions have two or infinitely many Reeb orbits, Geom. Topol.23(2019), 3601–3645
work page 2019
-
[21]
D. Cristofaro-Gardiner, M. Hutchings, and V. Ramos,The asymptotics of ECH capacities, Invent. Math.199(2015), 187–214
work page 2015
-
[22]
D. Cristofaro-Gardiner and M. Mazzucchelli,The action spectrum characterizes closed contact 3-manifolds all of whose Reeb orbits are closed, Comm. Math. Helv.95(2020), 461–481
work page 2020
-
[23]
D. Cristofaro-Gardiner, D. Pomerleano, R. Prasad, and B. Zhang,A note on the existence ofU-cyclic elements in periodic Floer homology, Proc. Amer. Math. Soc. Ser. B12(2025), 218–228
work page 2025
-
[24]
D. Cristofaro-Gardiner, R. Prasad, and B. Zhang,Periodic Floer homology and the smooth closing lemma for area-preserving surface diffeomorphisms, arXiv:2110.02925
-
[25]
A. Doan and T. Wapulski,Castelnuovo’s bound and rigidity in almost complex geometry, Adv. Math.379, 107550 (2021)
work page 2021
-
[26]
D.L. Dragnev,Fredholm theory and transversality for noncompact pseudoholo- morphic maps in symplectizations, Comm. Pure Appl. Math.57(2004), 726– 763
work page 2004
-
[27]
Edtmair,An elementary alternative to PFH spectral invariants, J
O. Edtmair,An elementary alternative to PFH spectral invariants, J. Symplec- tic Geom.23(2025), 511–574
work page 2025
-
[28]
Edtmair,Packing stability and the subleading asymptotics of symplectic Weyl laws, arXiv:2509.15390
O. Edtmair,Packing stability and the subleading asymptotics of symplectic Weyl laws, arXiv:2509.15390. 48
-
[29]
O. Edtmair and M. Hutchings,PFH spectral invariants andC ∞ closing lem- mas, arXiv:2110.02463
-
[30]
Eliashberg,Classification of overtwisted contact structures on 3-manifolds, Invent
Y. Eliashberg,Classification of overtwisted contact structures on 3-manifolds, Invent. Math.98(1989), 623–637
work page 1989
-
[31]
J. Etnyre and K. Honda,On the nonexistence of tight contact structures, Ann. Math.153(2001), 749–766
work page 2001
-
[32]
R. Fernandes and B. Ferreira,Max-min energy of pseudoholomorphic curves and periodic Reeb flows in dimension 3, arXiv:2510.06496
-
[33]
Franks,Geodesics onS 2 and periodic points of annulus homeomorphisms, Invent
J. Franks,Geodesics onS 2 and periodic points of annulus homeomorphisms, Invent. Math.108(1992), 403–418
work page 1992
-
[34]
E. Giroux,G´ eom´ etrie de contact: de la dimension trois vers les dimensions sup´ erieures, Proceedings of the ICM Beijing (2002), 405–414
work page 2002
-
[35]
Gromov,Pseudoholomorphic curves in symplectic manifolds, Invent
M. Gromov,Pseudoholomorphic curves in symplectic manifolds, Invent. Math. 82(1985), 307–347
work page 1985
-
[36]
J. Gutt, M. Hutchings, and V. Ramos,Examples around the strong Viterbo conjecture, J. Fixed Point Theory Appl.24(2022), no. 2, Paper No. 41, 22 pp
work page 2022
-
[37]
H. Hofer,Pseudoholomorphic curves in symplectizations with applications to the Weinstein conjecture in dimension three, Invent. Math.114(1993), 515– 563
work page 1993
- [38]
- [39]
-
[40]
Hutchings,An index inequality for embedded pseudoholomorphic curves in symplectizations, J
M. Hutchings,An index inequality for embedded pseudoholomorphic curves in symplectizations, J. Eur. Math. Soc.4(2002), 313–361
work page 2002
-
[41]
M. Hutchings,The embedded contact homology index revisited, in New Per- spectives and Challenges in Symplectic Field Theory, CRM Proceedings and Lecture Notes49(2009), 263–297
work page 2009
-
[42]
Hutchings,Taubes’s proof of the Weinstein conjecture in dimension three, Bull
M. Hutchings,Taubes’s proof of the Weinstein conjecture in dimension three, Bull. AMS47(2010), 73–125
work page 2010
-
[43]
Hutchings,Quantitative embedded contact homology, J
M. Hutchings,Quantitative embedded contact homology, J. Diff. Geom.88 (2011), 231–266. 49
work page 2011
-
[44]
M. Hutchings,Lecture notes on embedded contact homology, Contact and sym- plectic topology, 389–484, Bolyai Soc. Math. Stud.26, Springer, 2014
work page 2014
-
[45]
Hutchings,Beyond ECH capacities, Geom
M. Hutchings,Beyond ECH capacities, Geom. Topol.20(2016), 1085–1126
work page 2016
-
[46]
HutchingsECH capacities and the Ruelle invariant, J
M. HutchingsECH capacities and the Ruelle invariant, J. Fixed Point Theory and Applications24(2022), Paper No. 50, 25pp
work page 2022
-
[47]
Hutchings,An elementary alternative to ECH capacities, PNAS Vol
M. Hutchings,An elementary alternative to ECH capacities, PNAS Vol. 119, No. 35, e2203090119 (2022)
work page 2022
-
[48]
M. Hutchings,Elementary spectral invariants and quantitative closing lemmas for contact three-manifolds, J. Mod. Dyn.20(2024), 635–662
work page 2024
-
[49]
Hutchings,Reeb orbits frequently intersecting a symplectic surface, arXiv:2504.19332
M. Hutchings,Reeb orbits frequently intersecting a symplectic surface, arXiv:2504.19332
-
[50]
M. Hutchings, A. Roy, M. Weiler, and Y. Yao,Anchored symplectic embeddings, arXiv:2407.08512, to appear in Comm. Math. Helv
-
[51]
M. Hutchings and M. Sullivan,The periodic Floer homology of a Dehn twist, Alg. Geom. Topol.5(2005), 301–354
work page 2005
-
[52]
M. Hutchings and M. Sullivan,Rounding corners of polygons and the embedded contact homology ofT 3, Geom. Topol.10(2006), 169–266
work page 2006
-
[53]
IrieDense existence of periodic orbits and ECH spectral invariants, J
K. IrieDense existence of periodic orbits and ECH spectral invariants, J. Mod. Dyn.9(2015), 357–363
work page 2015
-
[54]
Irie,Equidistributed periodic orbits ofC ∞-generic three-dimensional Reeb flows, J
K. Irie,Equidistributed periodic orbits ofC ∞-generic three-dimensional Reeb flows, J. Symplectic Geom.19(2021), 531–566
work page 2021
-
[55]
K. Irie,Strong closing lemmas in Hamiltonian dynamics, arXiv:2512.05523, submitted to the Proceedings of the ICM 2026
-
[56]
K. Irie, F. Marques, and A. Neves,Density of minimal hypersurfaces for generic metrics, Ann. Math.187(2018), 963–972
work page 2018
-
[57]
Katok,Ergodic perturbations of degenerate integrable Hamiltonian sys- tems, Math
A.B. Katok,Ergodic perturbations of degenerate integrable Hamiltonian sys- tems, Math. USSR Izv.7(1973), 535–571
work page 1973
-
[58]
P. Kronheimer and T. Mrowka,Monopoles and three-manifolds, Cambridge University Press, 2007
work page 2007
-
[59]
Y. Liokumovich, F. Marques, and A. Neves,Weyl law for the volume spectrum, Ann. Math.187(2018), 933–961
work page 2018
-
[60]
F. Marques, A. Neves, and A. Song,Equidistribution of minimal hypersurfaces for generic metrics, Invent. Math.216(2019), 421–443. 50
work page 2019
-
[61]
McDuff,The Hofer conjecture on embedding symplectic ellipsoids, J
D. McDuff,The Hofer conjecture on embedding symplectic ellipsoids, J. Diff. Geom.88(2011), 519–532
work page 2011
-
[62]
D. McDuff and K. Siegel,Symplectic capacities, unperturbed curves, and convex toric domains, Geom. Topol.28(2024), 1213–1285
work page 2024
-
[63]
A. Pirnapasov and R. Prasad,Generic equidistribution for area-preserving dif- feomorphisms of compact surfaces with boundary, Rev. Mat. Iberoam. (2025)
work page 2025
-
[64]
Prasad,Generic equidistribution of periodic points for area-preserving sur- face maps, Int
R. Prasad,Generic equidistribution of periodic points for area-preserving sur- face maps, Int. Math. Res. Not., rnac340 (2023)
work page 2023
-
[65]
C. Pugh,The closing lemma, Amer. J. Math.89(1967), 956–1009
work page 1967
-
[66]
Rabinowitz,Periodic solutions of Hamiltonian systems, Comm
P. Rabinowitz,Periodic solutions of Hamiltonian systems, Comm. Pure Appl. Math.31(1978), 157–184
work page 1978
-
[67]
D. Salamon,Lectures on Floer homology, Symplectic geometry and topology (Park City, UT, 1997), IAS/Park City Mary Ser.7, Amer. Math. Soc., Provi- dence, RI, 1999, pp. 143–229
work page 1997
-
[68]
Schwarz,On the action spectrum for closed symplectically aspherical man- ifolds, Pacific J
M. Schwarz,On the action spectrum for closed symplectically aspherical man- ifolds, Pacific J. Math.193(2000), 419–461
work page 2000
-
[69]
C.H. Taubes,The structure of pseudoholomorphic subvarieties for a degenerate almost complex structure onS 1 ×B 3, Geom. Topol.2(1998), 221–332
work page 1998
-
[70]
Taubes,The Seiberg-Witten equations and the Weinstein conjecture, Geom
C.H. Taubes,The Seiberg-Witten equations and the Weinstein conjecture, Geom. Topol.11(2007), 2117–2202
work page 2007
-
[71]
Taubes,Embedded contact homology and Seiberg-Witten Floer cohomology I, Geom
C.H. Taubes,Embedded contact homology and Seiberg-Witten Floer cohomology I, Geom. Topol.14(2010), 2497–2581
work page 2010
-
[72]
W.P. Thurston and H.E. Winkelnkemper,On the existence of contact forms, Proc. AMS52(1975), 345–347
work page 1975
-
[73]
Weinstein,On the hypotheses of Rabinowitz’ periodic orbit theorems, J
A. Weinstein,On the hypotheses of Rabinowitz’ periodic orbit theorems, J. Differential Equations33(1979), 353–358
work page 1979
-
[74]
C. Wendl,Lectures on symplectic field theory, arXiv:1612.01009, to appear in the EMS Lectures in Mathematics series
-
[75]
Xue,Closing lemma and KAM normal form, Acta Math
J. Xue,Closing lemma and KAM normal form, Acta Math. Sin. (Engl. Ser.) 42(2026), 541–567. 51
work page 2026
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.