REVIEW 2 major objections 3 minor 37 references
Reeb orbits frequently intersecting a symplectic surface
T0 review · 2 major / 3 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read A symplectic surface in any nice contact 3-manifold is crossed by Reeb orbits at least at the area–volume frequency.
desk verdict A genuinely new no-genericity result in contact dynamics, with a real but likely repairable analytic gap in Lemma 4.6 that a referee should push on. 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 argument is carried by three objects: the elementary spectral invariants $c_k(Y,\lambda)$ (spectral numbers built from holomorphic curves in the symplectization, satisfying a Weyl law $c_k^2/k\to 2\,\mathrm{vol}(Y,\lambda)$); the alternative ECH capacities $c^{\mathrm{Alt}}_l$ of four-dimensional symplectic domains (min–max symplectic capacities with their own Weyl law); and the inflation construction, which replaces $\lambda$ by $\lambda_\delta=e^{\delta\zeta(s)\beta_\Sigma(z)}\lambda$ in a thin slab $[0,s_0]\times\Sigma$. The inflation makes the volume grow by $2\delta\,\mathrm{Area}(\Sigma)$ while shifting the action of an interior-crossing orbit by $\delta(\gamma\cdot\Sigma)$; the capacity bound $c_{k+l}(Y,\lambda_\delta)\ge c_k(Y,\lambda)+c^{\mathrm{Alt}}_l(M_{\Sigma_0,\delta})$ then combines the two Weyl laws to force an orbit with frequency at least area/volume. The 'nice' hypothesis is what makes the boundary Reeb orbits behave like linear rotations, so the action shift and the counting near the boundary are under control.
What would settle it
A concrete disproof would be a contact three-manifold with a nice admissible symplectic surface satisfying inequality (1.5) for which every simple Reeb orbit meeting $\mathrm{int}(\Sigma)$ has $\gamma\cdot\Sigma/A(\gamma)<\mathrm{Area}(\Sigma,d\lambda)/\mathrm{vol}(Y,\lambda)$; one could search for this numerically in a one-parameter family of tight contact forms on a lens space or prequantization bundle by computing periods and intersection numbers of low-action Reeb orbits.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is Theorem 1.10: if $(Y,\lambda,u)$ is nice in the sense of Definition 1.9, then $\sup_{\gamma\in P(\lambda)} (\gamma\cdot\Sigma)/A(\gamma) \ge \mathrm{Area}(\Sigma,d\lambda)/\mathrm{vol}(Y,\lambda)$. Because the supremum may be attained only on boundary orbits, Corollary 1.11 adds inequality (1.5), under which the same lower bound holds for the supremum restricted to orbits that meet $\mathrm{int}(\Sigma)$. The proof proceeds by inflating the contact form near $\Sigma$ and studying how the elementary spectral invariants $c_k(Y,\lambda)$ grow; if all Reeb orbits had frequency below area/volume, the growth forced by the Weyl laws would be contradicted. An application reformulates this as a statement about mean action and Calabi invariants for area-preserving surface diffeomorphisms.
Load-bearing premise
The proof collapses if the Reeb vector field is not exactly a linear rotation near each boundary Reeb orbit: the 'nice' hypothesis (Definition 1.9) is what makes the inflation construction and the action-shift estimates hold.
Editorial extensions
If this is right
- For every $\varepsilon>0$ there is a simple Reeb orbit whose crossing frequency $\gamma\cdot\Sigma/A(\gamma)$ is within $\varepsilon$ of $\mathrm{Area}(\Sigma)/\mathrm{vol}(Y)$, with no genericity assumption on the contact form.
- If every boundary Reeb orbit has frequency strictly below that ratio (inequality (1.5)), the orbit can be chosen to meet the interior of $\Sigma$, and Lemma 4.8 gives an explicit upper bound on its action in terms of the spectral invariant used in the proof.
- For area-preserving surface diffeomorphisms satisfying zero flux and rigid-rotation boundary conditions, the mean action of some periodic orbit is bounded above by the Calabi invariant when the Calabi invariant is below the boundary value of the primitive; a dual corollary gives the reverse bound.
- The frequency bound is sharp: in the irrational ellipsoid examples every orbit has frequency exactly area/volume, and the interior version of the theorem fails without inequality (1.5).
- If the Reeb flow is not dense over the surface, the denominator can be replaced by the smaller volume of the closure of $\Phi(\mathbb{R}\times\Sigma)$, giving a stronger bound.
Reading between the lines
- An extension the author leaves open: if the niceness hypothesis can be removed, the same inflation-and-Weyl-law strategy would likely give frequent intersections with Birkhoff sections and with geodesics in reversible Finsler metrics; the paper states this as an open question, so this consequence is speculative.
- The action bound in the proof suggests a quantitative return time: one should be able to say how large an action is needed before an $\varepsilon$-frequent orbit appears; the optimal dependence on $\varepsilon$ is identified in the paper as open.
- The equality cases in the ellipsoid indicate that inequality (1.5) is not merely technical: when boundary orbits sit exactly at the area/volume ratio, interior orbits need not exist at all. A natural test is to perturb such ellipsoid boundary rotations slightly and check whether interior-intersecting orbits appear with frequency near the ratio.
- The same mechanism may yield the reverse inequality stated as an open question by running the inflation with the opposite sign (deflating near $\Sigma$); if the interval property also holds, the set of crossing frequencies would accumulate at area/volume from both sides.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that if (Y, λ, u) is an admissible symplectic surface in a closed contact three-manifold satisfying a 'nice' boundary hypothesis, then the supremum over simple Reeb orbits γ of (γ · Σ)/A(γ) is at least Area(Σ, dλ)/vol(Y, λ). The proof inflates λ in a slab over Σ, tracks the elementary spectral invariants c_k during the inflation, and compares them with alternative ECH capacities of a symplectization domain via Weyl laws. If the boundary ratio inequality (1.5) holds, the orbit can be chosen to meet int(Σ), giving Corollary 1.11. Examples 1.12 and 1.13 show the bound is sharp, and Section 2 derives a generalization of mean-action/Calabi-type inequalities for area-preserving surface diffeomorphisms. No genericity of the contact form is assumed.
Significance. If the main theorem is correct, it is a significant quantitative statement for Reeb flows without genericity, complementing Irie's equidistribution results and giving a new proof route to mean-action/Calabi inequalities. The proof is largely explicit: Lemma 4.4 gives a detailed inflation construction, Lemma 4.6 records the spectral growth estimate, and Lemma 4.7 performs the Weyl-law comparison; the examples verify sharpness. The main caveats are the heavy reliance on the author's own spectral machinery from [21,22] and the technical gap in Lemma 4.6 discussed below; these appear local and fixable rather than fatal.
major comments (2)
- [§4.3, Lemma 4.6 and Eq. (4.28)] The proof of Lemma 4.6 obtains, for almost every sufficiently small δ, the differential inequality d/dδ c_k(Y, λδ) < (F+ε)c_k(Y, λδ), and then says 'Integrating this inequality gives (4.28)'. However, Proposition 3.5 gives only C^0-continuity of δ ↦ c_k(Y, λδ), and Remark 3.6 gives monotonicity; neither implies absolute continuity. A continuous monotone function can have an almost-everywhere derivative bound without satisfying the integrated bound (Cantor-type singular functions are counterexamples). Inequality (4.28) is then used in Lemma 4.8 and in the proof of Theorem 1.10, so this is load-bearing. The manuscript needs an additional argument, for example proving that for nondegenerate λ and small δ the function δ ↦ c_k(Y, λδ) is piecewise given by finitely many smooth action functions of persistent orbit sets and hence is absolutely continuous, or replacing the integration by a finite-difference (Dini derivative) argument.
- [§4.4, Lemma 4.7 and Lemma 4.4(d)] The proof of Lemma 4.7 begins 'By increasing δ slightly if necessary, we can assume without loss of generality that A0δ/V is rational.' Lemma 4.8 later applies Lemma 4.6 at exactly this δ, and Lemma 4.6 as written requires δ to lie in the full-measure set of Lemma 4.4(d) where δ ↦ c_k(Y, λδ) is differentiable. An arbitrary full-measure set need not contain any rational numbers, so this maneuver is not justified as written. One can avoid changing δ by choosing positive integers k, l with l/k → 2A0δ/V and controlling the O(k^{1/4}) errors in the Weyl laws, or one can first establish an endpoint-independent form of Lemma 4.6 using absolute continuity; the paper should state which repair is intended.
minor comments (3)
- [§4.4, Lemma 4.8] The sentence 'Then by Lemma 4.6, there exists a simple Reeb orbit γ ∈ P(λ) with A(γ) ≤ L satisfying (4.48)' is logically misleading: Lemma 4.6 does not assert existence. The intended argument is a contradiction: if no such orbit exists, then F satisfies the hypothesis of Lemma 4.6, giving (4.28) with k replaced by k+l, which contradicts (4.50). Please rewrite this step accordingly.
- [Throughout §4.4] There are small typographical errors where 'P(γ)' appears instead of 'P(λ)': in the proof of Theorem 1.10 ('simple Reeb orbit γ ∈ P(γ)') and in the proof of Lemma 4.6 ('α_i ∈ P(γ)').
- [§4.2, Lemma 4.4, Step 2] The statement that 'the return map along γ is an irrational rotation' should be justified from the nondegeneracy hypothesis: for a nondegenerate Reeb flow, a rational rotation number would create extra degenerate torus orbits in the neighborhood, so irrationality follows, but this is not immediate from Definition 1.9 alone.
Circularity Check
No circularity: the main theorem is a new application of established spectral-invariant machinery, not an assumption of the target result.
full rationale
The derivation of Theorem 1.10 is not circular. The spectral invariants c_k(Y,lambda) and cAlt_l(X,omega) are imported from the author's prior published papers [22] and [21], but those results (spectrality, C^0-continuity, Weyl laws, capacity bound) are parameter-free statements whose hypotheses do not include Theorem 1.10; they are independently established theorems rather than the paper's own inputs being renamed. The inflation family {lambda_delta} is constructed in Lemma 4.4 with explicit formulas, and the comparison in Lemmas 4.6-4.7 between the growth of c_k and the Weyl-law growth of cAlt_l is a new argument; no fitted parameter is later relabeled as a prediction. The application in Theorem 2.7 reduces to Corollary 1.11 through the standard [19] suspension construction, which is a genuine reduction rather than an assumption of the target inequality. The reviewer-identified gap in Lemma 4.6 (integrating an almost-everywhere derivative inequality without absolute continuity) is a possible correctness issue in the proof, not a circularity: it does not make the conclusion equivalent to an input by construction. Self-citation is present, but it is not load-bearing in the sense of substituting for proof of the central claim, because the central claim is not assumed by [19], [21], or [22].
Assumptions & free parameters
assumptions (6)
- domain assumption Elementary spectral invariants c_k(Y,lambda) exist and satisfy spectrality, C^0-continuity, and the Capacity Bound property (Proposition 3.5), proved in [22].
- domain assumption Weyl law for elementary spectral invariants: lim_{k->infty} c_k(Y,lambda)^2 / k = 2 vol(Y,lambda), equation (3.12).
- domain assumption Alternative ECH capacities cAlt_k exist and satisfy monotonicity, disjoint union, and the Weyl law cAlt_k(U) = 2 vol(U)^{1/2} k^{1/2} + O(k^{1/4}), as in Lemma 3.1.
- domain assumption The Reeb flow near a nice boundary orbit has the form R = d/dt + (2 pi rho / T) d/dtheta, equation (1.2).
- domain assumption For any contact form there is a sequence of nondegenerate contact forms converging to it in C^infty while preserving the very nice property near the boundary, used in Section 4.4.
- domain assumption [19, Prop. 2.1] provides, for a surface symplectomorphism, a closed three-manifold with a contact form whose Reeb orbits correspond to periodic orbits and whose volume is the Calabi invariant.
Cite this review
Pith. "Pith review of Reeb orbits frequently intersecting a symplectic surface." pith.science (2026). https://pith.science/paper/6A5EJENW
@misc{pith2026250419332,
author = {Pith},
title = {Pith review of: Reeb orbits frequently intersecting a symplectic surface},
year = {2026},
howpublished = {\url{https://pith.science/paper/6A5EJENW}},
note = {Machine review of arXiv:2504.19332}
}
read the original abstract
Consider a symplectic surface in a three-dimensional contact manifold with boundary on Reeb orbits (periodic orbits of the Reeb vector field). We assume that the rotation numbers of the boundary Reeb orbits satisfy a certain inequality, and we also make a technical assumption that the Reeb vector field has a particular ``nice'' form near the boundary of the surface. We then show that there exist Reeb orbits which intersect the interior of the surface, with a lower bound on the frequency of these intersections in terms of the symplectic area of the surface and the contact volume of the three-manifold. No genericity of the contact form is assumed. As a corollary of the main result, we obtain a generalization of various recent results relating the mean action of periodic orbits to the Calabi invariant for area-preserving surface diffeomorphisms.
Reference graph
Works this paper leans on
-
[19]
Hutchings, Mean action and the Calabi invariant , J
M. Hutchings, Mean action and the Calabi invariant , J. Modern Dynamics 10 (2016), 511–539
work page 2016
-
[21]
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
-
[22]
M. Hutchings, Elementary spectral invariants and quantitative closing l emmas for contact three-manifolds , J. Modern Dynamics 20 (2024), 635–662
work page 2024
-
[1]
M. Asaoka and K. Irie, AC ∞ closing lemma for Hamiltonian diffeomorphisms of closed surfaces , GAF A 26 (2016), 1245–1254
work page 2016
-
[2]
D. Bechara Senior, U. Hryniewicz, and P. Salom˜ ao, On the relation between action and linking , J. Modern Dynamics 17 (2021), 319–336
work page 2021
-
[3]
B. Bramham and A. Pirnapasov, Spectral invariants for non-compactly sup- ported Hamiltonians on the disc, and an application to the me an action spec- trum, arXiv:2403.07863
- [4]
- [5]
Show all 37 references
-
[6]
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
-
[7]
Cristofaro-Gardiner, M
D. Cristofaro-Gardiner, M. Hutchings, and D. Pomerlean o, Torsion contact forms in three dimensions have two or infinitely many Reeb orb its, Geom. Topol. 23 (2019), 3601–3645
2019
-
[8]
Cristofaro-Gardiner, M
D. Cristofaro-Gardiner, M. Hutchings, and V. Ramos, The asymptotics of ECH capacities, Invent. Math. 199 (2015), 187–214
2015
-
[9]
Cristofaro-Gardiner, R
D. Cristofaro-Gardiner, R. Prasad, and B. Zhang, Periodic Floer homology and the smooth closing lemma for area-preserving surface di ffeomorphisms , arXiv:2110.02925
-
[10]
Cristofaro-Gardiner and N
D. Cristofaro-Gardiner and N. Savale, Sub-leading asymptotics of ECH capac- ities, Selecta Math. (N.S.) 26 (2020), no. 65
2020
-
[11]
Edtmair, Packing stability and the subleading asymptotics of symple ctic Weyl laws , in preparation
O. Edtmair, Packing stability and the subleading asymptotics of symple ctic Weyl laws , in preparation
-
[12]
Edtmair and M
O. Edtmair and M. Hutchings, PFH spectral invariants and C ∞ closing lem- mas, arXiv:2110.02463
-
[13]
Fried, Transitive flows and pseudo-Anosov maps , Topology 22 (1983), 299– 303
D. Fried, Transitive flows and pseudo-Anosov maps , Topology 22 (1983), 299– 303. 35
1983
-
[14]
Gambaudo and E
J. Gambaudo and E. Ghys, Enlacements asymptotiques , Topology 36 (1997), 1355-1379
1997
-
[15]
Geiges, An introduction to contact topology , Cambridge University Press, 2009
H. Geiges, An introduction to contact topology , Cambridge University Press, 2009
2009
-
[16]
Hofer, K
H. Hofer, K. Wysocki, and E. Zehnder, Properties of pseudo-holomorphic curves in symplectisations, II: Embedding controls and algeb raic invariants , Geom. Funct. Anal. 5 (1995), 270–328
1995
-
[17]
Hutchings, Quantitative embedded contact homology , J
M. Hutchings, Quantitative embedded contact homology , J. Diff. Geom. 88 (2011), 231–266
2011
-
[18]
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
2014
-
[20]
Hutchings ECH capacities and the Ruelle invariant , J
M. Hutchings ECH capacities and the Ruelle invariant , J. Fixed Point Theory and Applications 24 (2022), Paper No. 50, 25pp
2022
-
[23]
Hutchings, A
M. Hutchings, A. Roy, M. Weiler, and Y. Yao, Anchored symplectic embeddings, arXiv:2407.08512
-
[24]
Irie Dense existence of periodic orbits and ECH spectral invarian ts, J
K. Irie Dense existence of periodic orbits and ECH spectral invarian ts, J. Mod. Dyn. 9 (2015), 357–363
2015
-
[25]
Irie, Equidistributed periodic orbits of C ∞-generic three-dimensional Reeb flows , J
K. Irie, Equidistributed periodic orbits of C ∞-generic three-dimensional Reeb flows , J. Symplectic Geom. 19 (2021), 531–566
2021
-
[26]
K. Irie, F. Marques, and A. Neves, Density of minimal hypersurfaces for generic metrics, Ann. Math. 187 (2018), 963–972
2018
-
[27]
Liokumovich, F
Y. Liokumovich, F. Marques, and A. Neves, Weyl law for the volume spectrum , Ann. Math. 187 (2018), 933–961
2018
-
[28]
Marques, A
F. Marques, A. Neves, and A. Song, Equidistribution of minimal hypersurfaces for generic metrics , Invent. Math. 216 (2019), 421–443
2019
-
[29]
McDuff and K
D. McDuff and K. Siegel, Symplectic capacities, unperturbed curves, and convex toric domains , Geom. Topol. 28 (2024), 1213–1285. 36
2024
-
[30]
Nelson and M
J. Nelson and M. Weiler, Torus knotted Reeb dynamics and the Calabi invari- ant, arXiv:2310.18307, to appear in Advances in Mathematics
-
[31]
Pirnapasov, Hutchings’ inequality for the Calabi invariant revisited wi th an application to pseudo-rotations , J
A. Pirnapasov, Hutchings’ inequality for the Calabi invariant revisited wi th an application to pseudo-rotations , J. Fixed Point Theory and Applications 26 (2024), article number 56
2024
-
[32]
Pirnapasov and R
A. Pirnapasov and R. Prasad, Generic equidistribution for area-preserving dif- feomorphisms of compact surfaces with boundary , Rev. Mat. Iberoam. (2025)
2025
-
[33]
Prasad, Generic equidistribution of periodic points for area-pres erving sur- face maps , Int
R. Prasad, Generic equidistribution of periodic points for area-pres erving sur- face maps , Int. Math. Res. Not., rnac340 (2023)
2023
-
[34]
Viterbo, Symplectic topology as the geometry of generating function s, Math- ematische Annalen 292 (1992), 685–710
C. Viterbo, Symplectic topology as the geometry of generating function s, Math- ematische Annalen 292 (1992), 685–710
1992
-
[35]
Wang, A connected sum formula for embedded contact homology , arXiv:2305.1646, to appear in Advances in Mathematics
L. Wang, A connected sum formula for embedded contact homology , arXiv:2305.1646, to appear in Advances in Mathematics
-
[36]
Weiler, Mean action of periodic orbits of area-preserving annulus d iffeomor- phisms, J
M. Weiler, Mean action of periodic orbits of area-preserving annulus d iffeomor- phisms, J. Topology and Analysis 13 (2021), 1013–1074
2021
-
[37]
Wendl, Compactness for embedded pseudoholomorphic curves in 3- manifolds, J
C. Wendl, Compactness for embedded pseudoholomorphic curves in 3- manifolds, J. Eur. Math. Soc. 12 (2010), 313–342. 37
2010
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.