pith. machine review for the scientific record. sign in

arxiv: 2605.12958 · v1 · submitted 2026-05-13 · 🧮 math.SG · math.DS

Recognition: 2 theorem links

· Lean Theorem

Elementary spectral invariants and three-dimensional Reeb dynamics

Authors on Pith no claims yet

Pith reviewed 2026-05-14 02:21 UTC · model grok-4.3

classification 🧮 math.SG math.DS
keywords Reeb dynamicsperiodic orbitscontact three-manifoldsspectral invariantsembedded contact homologyECH capacitiessymplectic geometry
0
0 comments X

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.

The paper surveys theorems on the existence and properties of periodic orbits for Reeb vector fields on three-dimensional contact manifolds. It presents elementary spectral invariants as a simplification of the spectral invariants arising from embedded contact homology. These invariants are used to prove a subset of the surveyed results. They are defined by modifying the alternative ECH capacities of associated symplectic four-manifolds. Readers interested in contact dynamics would care because these tools offer a more accessible way to obtain dynamical conclusions from symplectic data.

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

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

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

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

0 major / 2 minor

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

0 responses · 0 unresolved

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

0 steps flagged

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

0 free parameters · 0 axioms · 0 invented entities

This is a survey paper that explains and modifies existing concepts from embedded contact homology and ECH capacities; no new free parameters, axioms, or invented entities are introduced in the abstract.

pith-pipeline@v0.9.0 · 5372 in / 1128 out tokens · 44511 ms · 2026-05-14T02:21:32.065349+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.

  • IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking echoes
    ?
    echoes

    ECHOES: 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.lean washburn_uniqueness_aczel unclear
    ?
    unclear

    Relation 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

75 extracted references · 75 canonical work pages

  1. [1]

    Abbas, K

    C. Abbas, K. Cieliebak and H. Hofer,The Weinstein conjecture for planar contact structures in dimension three, Comm. Math. Helv.80(2005), 771–793

  2. [2]

    Albers, H

    P. Albers, H. Geiges, and K. Zehmisch,Pseudorotations of the2-disc and Reeb flows on the3-sphere, Ergodic Theory Dynam. Systems,42(2022), 402–436

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

  4. [4]

    Beiner,Infinite ECH capacities and Anosov flows, in preparation

    G. Beiner,Infinite ECH capacities and Anosov flows, in preparation

  5. [5]

    Borman, Y

    M. Borman, Y. Eliashberg, and E. Murphy,Existence and classification of overtwisted contact structures in all dimensions, Acta Math.215(2015), 281– 361

  6. [6]

    Chaidez, I

    J. Chaidez, I. Datta, R. Prasad, and S. Tanny,Contact homology and higher dimensional closing lemmas, J. Mod. Dyn.20(2024), 67–153

  7. [7]

    Chaidez and S

    J. Chaidez and S. Tanny,Elementary SFT spectral gaps and the strong closing property, arXiv:2312.17211

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

  9. [9]

    C ¸ ineli, V

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

    C ¸ ineli and S

    E. C ¸ ineli and S. Seyfaddini,The strong closing lemma and Hamiltonian pseudo- rotations, J. Mod. Dyn.20(2024), 299–318

  11. [11]

    Colin, P

    V. Colin, P. Dehornoy, and A. Rechtman,On the existence of supporting bro- ken book decompositions for contact forms in dimension 3, Invent. Math.231 (2023), 1489–1539

  12. [12]

    Colin and K

    V. Colin and K. Honda,Reeb vector fields and open book decompositions, J. Eur. Math. Soc.15(2013), 443–507

  13. [13]

    Conley and E

    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

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

  15. [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. [16]

    Cristofaro-Gardiner and R

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

    Cristofaro-Gardiner, U

    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

  18. [18]

    Cristofaro-Gardiner, U

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

    Cristofaro-Gardiner and M

    D. Cristofaro-Gardiner and M. Hutchings,From one Reeb orbit to two, J. Diff. Geom.102(2016), 25–36

  20. [20]

    Cristofaro-Gardiner, M

    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

  21. [21]

    Cristofaro-Gardiner, M

    D. Cristofaro-Gardiner, M. Hutchings, and V. Ramos,The asymptotics of ECH capacities, Invent. Math.199(2015), 187–214

  22. [22]

    Cristofaro-Gardiner and M

    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

  23. [23]

    Cristofaro-Gardiner, D

    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

  24. [24]

    Cristofaro-Gardiner, R

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

    Doan and T

    A. Doan and T. Wapulski,Castelnuovo’s bound and rigidity in almost complex geometry, Adv. Math.379, 107550 (2021)

  26. [26]

    Dragnev,Fredholm theory and transversality for noncompact pseudoholo- morphic maps in symplectizations, Comm

    D.L. Dragnev,Fredholm theory and transversality for noncompact pseudoholo- morphic maps in symplectizations, Comm. Pure Appl. Math.57(2004), 726– 763

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

  28. [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. [29]

    Edtmair and M

    O. Edtmair and M. Hutchings,PFH spectral invariants andC ∞ closing lem- mas, arXiv:2110.02463

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

  31. [31]

    Etnyre and K

    J. Etnyre and K. Honda,On the nonexistence of tight contact structures, Ann. Math.153(2001), 749–766

  32. [32]

    Fernandes and B

    R. Fernandes and B. Ferreira,Max-min energy of pseudoholomorphic curves and periodic Reeb flows in dimension 3, arXiv:2510.06496

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

  34. [34]

    Giroux,G´ eom´ etrie de contact: de la dimension trois vers les dimensions sup´ erieures, Proceedings of the ICM Beijing (2002), 405–414

    E. Giroux,G´ eom´ etrie de contact: de la dimension trois vers les dimensions sup´ erieures, Proceedings of the ICM Beijing (2002), 405–414

  35. [35]

    Gromov,Pseudoholomorphic curves in symplectic manifolds, Invent

    M. Gromov,Pseudoholomorphic curves in symplectic manifolds, Invent. Math. 82(1985), 307–347

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

  37. [37]

    Hofer,Pseudoholomorphic curves in symplectizations with applications to the Weinstein conjecture in dimension three, Invent

    H. Hofer,Pseudoholomorphic curves in symplectizations with applications to the Weinstein conjecture in dimension three, Invent. Math.114(1993), 515– 563

  38. [38]

    Hofer, K

    H. Hofer, K. Wysocki, and E. Zehnder,The dynamics on three-dimensional strictly convex energy surfaces, Ann. Math.148(1998), 197–289

  39. [39]

    Hofer, K

    H. Hofer, K. Wysocki, and E. Zehnder,Finite energy foliations of tight three- spheres and Hamiltonian dynamics, Ann. Math157(2003), 125–255

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

  41. [41]

    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

    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

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

  43. [43]

    Hutchings,Quantitative embedded contact homology, J

    M. Hutchings,Quantitative embedded contact homology, J. Diff. Geom.88 (2011), 231–266. 49

  44. [44]

    Hutchings,Lecture notes on embedded contact homology, Contact and sym- plectic topology, 389–484, Bolyai Soc

    M. Hutchings,Lecture notes on embedded contact homology, Contact and sym- plectic topology, 389–484, Bolyai Soc. Math. Stud.26, Springer, 2014

  45. [45]

    Hutchings,Beyond ECH capacities, Geom

    M. Hutchings,Beyond ECH capacities, Geom. Topol.20(2016), 1085–1126

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

  47. [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)

  48. [48]

    Hutchings,Elementary spectral invariants and quantitative closing lemmas for contact three-manifolds, J

    M. Hutchings,Elementary spectral invariants and quantitative closing lemmas for contact three-manifolds, J. Mod. Dyn.20(2024), 635–662

  49. [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. [50]

    Hutchings, A

    M. Hutchings, A. Roy, M. Weiler, and Y. Yao,Anchored symplectic embeddings, arXiv:2407.08512, to appear in Comm. Math. Helv

  51. [51]

    Hutchings and M

    M. Hutchings and M. Sullivan,The periodic Floer homology of a Dehn twist, Alg. Geom. Topol.5(2005), 301–354

  52. [52]

    Hutchings and M

    M. Hutchings and M. Sullivan,Rounding corners of polygons and the embedded contact homology ofT 3, Geom. Topol.10(2006), 169–266

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

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

  55. [55]

    Irie,Strong closing lemmas in Hamiltonian dynamics, arXiv:2512.05523, submitted to the Proceedings of the ICM 2026

    K. Irie,Strong closing lemmas in Hamiltonian dynamics, arXiv:2512.05523, submitted to the Proceedings of the ICM 2026

  56. [56]

    K. Irie, F. Marques, and A. Neves,Density of minimal hypersurfaces for generic metrics, Ann. Math.187(2018), 963–972

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

  58. [58]

    Kronheimer and T

    P. Kronheimer and T. Mrowka,Monopoles and three-manifolds, Cambridge University Press, 2007

  59. [59]

    Liokumovich, F

    Y. Liokumovich, F. Marques, and A. Neves,Weyl law for the volume spectrum, Ann. Math.187(2018), 933–961

  60. [60]

    Marques, A

    F. Marques, A. Neves, and A. Song,Equidistribution of minimal hypersurfaces for generic metrics, Invent. Math.216(2019), 421–443. 50

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

  62. [62]

    McDuff and K

    D. McDuff and K. Siegel,Symplectic capacities, unperturbed curves, and convex toric domains, Geom. Topol.28(2024), 1213–1285

  63. [63]

    Pirnapasov and R

    A. Pirnapasov and R. Prasad,Generic equidistribution for area-preserving dif- feomorphisms of compact surfaces with boundary, Rev. Mat. Iberoam. (2025)

  64. [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)

  65. [65]

    Pugh,The closing lemma, Amer

    C. Pugh,The closing lemma, Amer. J. Math.89(1967), 956–1009

  66. [66]

    Rabinowitz,Periodic solutions of Hamiltonian systems, Comm

    P. Rabinowitz,Periodic solutions of Hamiltonian systems, Comm. Pure Appl. Math.31(1978), 157–184

  67. [67]

    Salamon,Lectures on Floer homology, Symplectic geometry and topology (Park City, UT, 1997), IAS/Park City Mary Ser.7, Amer

    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

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

  69. [69]

    Taubes,The structure of pseudoholomorphic subvarieties for a degenerate almost complex structure onS 1 ×B 3, Geom

    C.H. Taubes,The structure of pseudoholomorphic subvarieties for a degenerate almost complex structure onS 1 ×B 3, Geom. Topol.2(1998), 221–332

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

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

  72. [72]

    Thurston and H.E

    W.P. Thurston and H.E. Winkelnkemper,On the existence of contact forms, Proc. AMS52(1975), 345–347

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

  74. [74]

    Wendl,Lectures on symplectic field theory, arXiv:1612.01009, to appear in the EMS Lectures in Mathematics series

    C. Wendl,Lectures on symplectic field theory, arXiv:1612.01009, to appear in the EMS Lectures in Mathematics series

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