REVIEW 1 major objections 4 minor 18 references
Generic density of periodic orbits of area-preserving maps on punctured surfaces
T0 review · 1 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read The C∞ closing lemma, previously known only for closed surfaces, holds for closed surfaces with finitely many punctures: every map can be C∞-approximated by one with a periodic orbit through any specified open set, and a generic map has…
desk verdict The proof of Theorem 1.1 assumes every area-preserving diffeomorphism of a punctured surface extends to the closed surface; that is false for a stable class of maps, so the main closing lemma is not established for the stated domain. 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 load-bearing machinery is the quantitative C∞ closing lemma from PFH spectral theory, applied to rational area-preserving homeomorphisms. The paper first proves Lemma 3.1: any area-preserving homeomorphism of a closed surface is the C0-limit of diffeomorphisms lying in one Hamiltonian isotopy class, so period bounds can be chosen uniformly. It then defines a rational area-preserving homeomorphism as one in the C0-closure of a rational Hamiltonian isotopy class, and shows such homeomorphisms inherit the closing property. For the equidistribution result on the sphere, the key identity is the PFH Weyl law variant (4.2), derived from a triangle-type inequality for spectral invariants, which lets the paper pass from smooth Hamiltonian perturbations to limits that are only continuous at the punctures.
What would settle it
Take a rational area-preserving homeomorphism Φ of a closed surface and a fixed open set U away from the punctures; let ℓ_n be the minimal period of any periodic orbit of the nth Hamiltonian approximation φ_n that meets U. If one can exhibit a sequence with ℓ_n → ∞ while all φ_n lie in the same rational Hamiltonian isotopy class, then the paper's period-uniformity step collapses and Theorem 1.1 would be false. Equivalently, checking whether the bound in the cited quantitative closing lemma depends only on the isotopy class and not on the particular map would settle the point.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is that the C∞ closing lemma, previously known for area-preserving diffeomorphisms of closed surfaces, survives when finitely many points are removed from the surface. The proof treats a diffeomorphism of the punctured surface as an area-preserving homeomorphism of the closed surface fixing the puncture set, and shows that such a homeomorphism lies in the C0-closure of a single Hamiltonian isotopy class. Using a quantitative Periodic Floer homology (PFH) closing lemma for rational area-preserving diffeomorphisms, it produces, for every approximating map, a periodic orbit through the prescribed open set with a period bounded uniformly by the isotopy class; a subsequence then converges to a periodic orbit of the limit homeomorphism, giving the closing lemma. For the punctured sphere, the paper proves a PFH Weyl law for rational area-preserving homeomorphisms—a variant of the closed-surface Weyl law, equation (4.2)—and combines it with a formal argument to show that a C∞_loc-dense set of elements has an equidistributed sequence of orbit sets.
Load-bearing premise
The whole argument rests on the cited quantitative PFH closing lemma for rational area-preserving diffeomorphisms of closed surfaces: for every approximating map the lemma must produce a periodic orbit through the open set with a period bounded only by the Hamiltonian isotopy class, not by the step n; if that uniformity fails, the limiting orbit may not exist.
Editorial extensions
If this is right
- Every C∞ area-preserving diffeomorphism of a finitely punctured closed surface has C∞ perturbations with periodic orbits through any prescribed open set.
- A C∞-generic area-preserving diffeomorphism of the punctured surface has a dense set of periodic points.
- On the punctured 2-sphere, a C∞_loc-dense set of area-preserving maps has an equidistributed sequence of orbit sets: for every compactly supported smooth test function, the normalized sum over the orbit set converges to the integral of the function against the area form.
- The PFH Weyl law for rational area-preserving homeomorphisms, proven here for the sphere, adds a quantitative tool for studying periodic orbit distribution of continuous area-preserving limits.
- The C0-closure perspective from Lemma 3.1 means the closing property is not lost when smooth maps degenerate to homeomorphisms with finitely many singular points.
Reading between the lines
- If the closing lemma survives on punctured surfaces, the same strategy may extend the C∞ closing lemma to surfaces with boundary by viewing them as closed surfaces with discs removed, provided the quantitative PFH input remains uniform.
- The PFH Weyl law for homeomorphisms on the 2-sphere suggests that equidistribution of periodic orbits is not an artifact of smoothness: it can hold for C0 limits of Hamiltonian flows in a non-compact setting.
- A concrete way to probe the boundary of the result is to test the triangle-type inequality (4.3) and the PFH/HF comparison on higher-genus punctured surfaces; the paper itself notes its method is unlikely to extend beyond the sphere, so a counterexample on a punctured torus would sharply delineate where the equidistribution theorem fails.
- The equidistribution result implies that, for C∞_loc-generic maps on the punctured sphere, periodic orbits of high period sample the area measure, giving a quantitative analogue of an ergodic theorem for maps that need not be ergodic.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the C^∞ closing lemma and generic density of periodic points for area-preserving diffeomorphisms of a closed surface with finitely many punctures. The main results are Theorem 1.1 (C^∞ closing lemma), Corollary 1.2 (C^∞-generic density of periodic points), and Theorem 1.3 (equidistribution of orbit sets for a C^∞_loc-dense set of maps on punctured spheres). The strategy is to extend a map of the punctured surface to a homeomorphism of the closed surface, approximate it by Hamiltonian isotopic diffeomorphisms, rationalize via a compactly supported symplectic vector field, apply the quantitative PFH-based closing lemma, and pass to the limit. For the sphere, a PFH Weyl law variant is proved and used to produce near-equidistributed orbit sets.
Significance. If the results hold, they would extend the C^∞ closing lemma and generic density of periodic points to a non-compact setting, a natural and nontrivial problem. The paper draws on recent advances in periodic Floer homology, including quantitative closing lemmas and spectral invariants, and proves a new Weyl-law variant for S^2 that may be of independent interest. The proof is well-structured and relies on machine-checkable cited results rather than fitting parameters, which is a strength. However, the main theorems are currently proved only for a restricted subclass of the stated domain, which is a serious caveat.
major comments (1)
- [3.1.1] The proof begins with 'Let Φ ∈ Homeo(Σ,ω) be the extension of φ such that Φ(P)=P.' This step is not available for every φ ∈ Diff(Σ_P,ω_0) under the standard meaning of the group. On S^2 with two punctures identified with the annulus (R/Z)×(0,1) with area form dx∧dy, the map F(x,y)=(x+ln y,y) is a C^∞ area-preserving diffeomorphism (the inverse is (x−ln y,y) and the determinant is 1), but as y→0 the x-coordinate winds infinitely often, so F has no continuous extension to the puncture. Thus Theorems 1.1 and 1.2 are proved only for the proper subclass of diffeomorphisms that admit a continuous extension to Σ fixing P. The same extension assumption underlies the proof of Theorem 1.3 (Section 6.3.1). Moreover, this gap cannot be filled by approximation: in the strong C^∞ topology, an extendable map has all derivatives bounded near each puncture, while F has derivatives blowing up like 1/y, so an extendable sequence cannot converge to F in the strong topology. The authors should either restrict the statements to extendable maps or provide a separate argument covering non-extendable ones.
minor comments (4)
- [6.1 / 6.3] The notation for the function spaces used in Section 6 is inconsistent: Section 6.1 defines C_c^∞(S^2;P) as smooth functions that are constant near P, while Claim 6.3 refers to C_0^∞(S^2;P) and uses cutoff functions χ_N that should vanish near P. Please clarify the intended spaces (e.g., functions vanishing in a neighborhood of P, or compactly supported in S^2\P) and use one notation throughout.
- [1.2] The statement of Theorem 1.3, 'A C∞_loc-dense element of Diff(S^2_P,ω_0) has an equidistributed sequence of orbit sets,' is grammatically unclear. The proof actually shows that for every φ there is a residual set of Hamiltonian perturbations whose maps have the property, which implies a C∞_loc-dense subset of Diff(S^2_P,ω_0) consists of such maps. The theorem statement should be rephrased accordingly.
- [3.1] In Lemma 3.1, the notation φ_{H_n}^1 and φ_{K_n}^2 is confusing because the superscripts 1 and 2 could be mistaken for powers. Consider using subscripts or a different label, e.g., φ^1_n and φ^2_n.
- [6.2.4] The expression φ_{F^{τ_n}}^n is hard to parse. It seems to denote φ_n ∘ ϕ^1_{F^{τ_n}}; please use a more explicit notation, for example by writing the composition directly.
Circularity Check
No significant circularity: the proofs derive new punctured-surface results from independent closed-surface PFH theorems, with no fitted parameter or by-construction identity.
full rationale
I find no circular step in the derivation chain. The main new results (Theorem 1.1, Corollary 1.2, Theorem 1.3) are proved by reducing to external, independently established quantitative PFH closing lemmas and Weyl-law statements for area-preserving maps on closed surfaces, namely [CGPPZ21, Corollary 2], [EH21, Theorem 7.4], and [CGPZ21, Lemma 5.4]. These cited results have stated assumptions that do not include the punctured-surface conclusions of this paper, and they are not restatements of the present theorems. The paper's own contributions, especially Lemma 3.1 (C0-approximation within one Hamiltonian isotopy class), the rationalization step in Section 3.1.2, the limit argument in Section 3.1.3, and the S^2 Weyl-law variant in Section 4, are proved directly rather than assumed. No parameter is fitted and no quantity called a 'prediction' is equal to an input by construction. The paper does contain a notable mathematical gap, not a circularity: Sections 1.4 and 3.1.1 assume every element of Diff(Σ_P,ω0) extends to an area-preserving homeomorphism fixing the punctures, which is false for diffeomorphisms with non-removable winding near a puncture. That affects whether Theorem 1.1 covers the stated domain, but it is not a circular reduction of the conclusion to the hypothesis, so under the scoring rules it does not raise the circularity score. The paper's own stated limitations, such as the remark in Section 4.1 that the method is unlikely to extend to higher genus, and Remark 6.4 about the strong C∞ topology, are explicit and do not conceal circular reasoning.
Assumptions & free parameters
assumptions (7)
- domain assumption Fathi's mass-flow homomorphism is surjective, C0-continuous, and its kernel equals the C0-closure of the Hamiltonian diffeomorphism group.
- domain assumption Oh's theorem: every area-preserving homeomorphism of a closed surface is the C0-limit of C-infinity area-preserving diffeomorphisms.
- domain assumption Existence, invariance, and spectral invariants of twisted Periodic Floer homology, including Hofer-Lipschitz continuity and the PFH Weyl law for rational area-preserving diffeomorphisms.
- domain assumption The quantitative C-infinity closing lemma for rational Hamiltonian isotopy classes on closed surfaces, with a period bound depending only on the isotopy class.
- domain assumption For every area-preserving diffeomorphism, there exists a symplectic vector field X compactly supported in the punctured surface such that the composition is rational.
- domain assumption Chen's HF/PFH spectral invariant comparison and triangle inequalities for the HF unit class on the sphere, including the relation U^d σ_d^heart = σ_d^diamond.
- domain assumption Prasad's formal equidistribution argument and transversality lemmas adapted from [Pra21, Lemma 5.1-5.3], together with the Sard-Smale theorem.
Cite this review
Pith. "Pith review of Generic density of periodic orbits of area-preserving maps on punctured surfaces." pith.science (2026). https://pith.science/paper/GTZX74SP
@misc{pith2026241115429,
author = {Pith},
title = {Pith review of: Generic density of periodic orbits of area-preserving maps on punctured surfaces},
year = {2026},
howpublished = {\url{https://pith.science/paper/GTZX74SP}},
note = {Machine review of arXiv:2411.15429}
}
abstract
We study the dynamics of area-preserving maps in a non-compact setting. We show that the $C^{\infty}$-closing lemma holds for area-preserving diffeomorphisms on a closed surface with finitely many points removed. As a corollary, a $C^{\infty}$-generic area-preserving diffeomorphism on such a surface has a dense set of periodic points. For area-preserving maps on a finitely punctured 2-sphere, we establish a more quantitative result regarding the equidistribution of periodic orbits. The proof of this result involves a PFH Weyl law for rational area-preserving homeomorphisms, which may be of independent interest.
Reference graph
Works this paper leans on
-
[1]
A C^ closing lemma for H amiltonian diffeomorphisms of closed surfaces
Masayuki Asaoka and Kei Irie. A C^ closing lemma for H amiltonian diffeomorphisms of closed surfaces. Geom. Funct. Anal. , 26(5):1245--1254, 2016
work page 2016
-
[2]
A note on the existence of U-cyclic elements in periodic Floer homology
Dan Cristofaro-Gardiner, Dan Pomerleano, Rohil Prasad, and Boyu Zhang. A note on the existence of U -cyclic elements in periodic floer homology. arXiv:2110.13844 https://arxiv.org/abs/2110.13844, 2021
work page Pith review arXiv 2021
-
[3]
Periodic F loer homology and the smooth closing lemma for area-preserving surface diffeomorphisms
Dan Cristofaro-Gardiner, Rohil Prasad, and Boyu Zhang. Periodic F loer homology and the smooth closing lemma for area-preserving surface diffeomorphisms. arXiv:2110.02925 https://arxiv.org/abs/2110.02925, 2021
arXiv 2021
-
[4]
Closed-open morphisms on periodic Floer homology
Guanheng Chen. Closed-open morphisms on periodic F loer homology. arXiv:2111.11891 https://arxiv.org/abs/2111.11891, 2021
work page Pith review arXiv 2021
-
[5]
On PFH and HF spectral invariants
Guanheng Chen. On PFH and HF spectral invariants. arXiv:2209.11071 https://arxiv.org/abs/2209.11071, 2022
work page Pith review arXiv 2022
-
[6]
PFH spectral invariants and C^ closing lemmas
Oliver Edtmair and Michael Hutchings. PFH spectral invariants and C^ closing lemmas. arXiv:2110.02463 https://arxiv.org/abs/2110.02463, 2021
arXiv 2021
-
[7]
A. Fathi. Structure of the group of homeomorphisms preserving a good measure on a compact manifold. Ann. Sci. \'Ecole Norm. Sup. (4) , 13(1):45--93, 1980
work page 1980
-
[8]
Area preserving homeomorphisms of surfaces with rational rotation direction
Pierre-Antoine Guih\'eneuf, Patrice Le Calvez, and Alejandro Passeggi. Area preserving homeomorphisms of surfaces with rational rotation direction. preprint , 2023
work page 2023
Show all 18 references
-
[9]
Morris W. Hirsch. Differential topology , volume 33 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1994. Corrected reprint of the 1976 original
1994
-
[10]
Equidistributed periodic orbits of C^ -generic three-dimensional R eeb flows
Kei Irie. Equidistributed periodic orbits of C^ -generic three-dimensional R eeb flows. J. Symplectic Geom. , 19(3):531--566, 2021
2021
-
[11]
C^0 -coerciveness of moser’s problem and smoothing area preserving homeomorphisms
Yong-Geun Oh. C^0 -coerciveness of moser’s problem and smoothing area preserving homeomorphisms. arXiv:0601183 https://arxiv.org/abs/math/0601183, 2006
2006 arXiv
-
[12]
The group of H amiltonian homeomorphisms and C^0 -symplectic topology
Yong-Geun Oh and Stefan Müller. The group of H amiltonian homeomorphisms and C^0 -symplectic topology. J. Symplectic Geom. , 5(2):167--219, 2007
2007
-
[13]
Generic equidistribution for area-preserving diffeomorphisms of compact surfaces with boundary
Abror Pirnapasov and Rohil Prasad. Generic equidistribution for area-preserving diffeomorphisms of compact surfaces with boundary. arXiv:2211.07548 https://arxiv.org/abs/2211.07548, 2022
2022 arXiv
-
[14]
Pugh and Clark Robinson
Charles C. Pugh and Clark Robinson. The C 1 \ closing lemma, including H amiltonians. Ergodic Theory Dynam. Systems , 3(2):261--313, 1983
1983
-
[15]
Generic equidistribution of periodic orbits for area-preserving surface maps
Rohil Prasad. Generic equidistribution of periodic orbits for area-preserving surface maps. arXiv:2112.14601 https://arxiv.org/abs/2112.14601, 2021
2021 arXiv
-
[16]
Periodic points of rational area-preserving homeomorphisms
Rohil Prasad. Periodic points of rational area-preserving homeomorphisms. arXiv: 2305.05876 https://arxiv.org/abs/2305.05876, 2023
2023 arXiv
-
[17]
Asymptotic cycles
Sol Schwartzman. Asymptotic cycles. Ann. of Math. (2) , 66:270--284, 1957
1957
-
[18]
Mathematical problems for the next century
Steve Smale. Mathematical problems for the next century. In Mathematics: frontiers and perspectives , pages 271--294. Amer. Math. Soc., Providence, RI, 2000
2000
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.