THE SMOOTH CLOSING LEMMA FOR AREA-PRESERVING SURFACE DIFFEOMORPHISMS

The paper establishes the smooth closing lemma via twisted PFH spectral invariants and Seiberg–Witten–Floer theory, culminating in a rigorous contradiction argument that forces the creation of a periodic point in any prescribed open disk D for some small Hamiltonian isotopy supported in D (Theorem 1.1 and Section 10) . By contrast, the candidate’s short local-shear argument assumes (without proof) a “clean return” that can be isolated inside a single embedded disk B containing x and φ^n(x) but excluding all intermediate orbit points φ^i(x), 1≤i≤n−1, and then asserts the existence of a compactly supported, C∞-small, area-preserving diffeomorphism h supported in B with h(φ^n(x))=x. This step is the crux of decades of difficulty: isolating such a return with the needed geometric support and quantitative C∞ control is precisely what is nontrivial in the C∞ category. If the model’s construction were correct as stated, it would give a short proof of the smooth closing lemma (and much more) long before 2021—contradicting the historical difficulty and the deep machinery used in this paper. The model solution omits key measure/geometric lemmas guaranteeing the required isolation of the orbit segment in a single Darboux disk with the necessary C∞ support and estimates; the paper resolves this via spectral invariants and a global contradiction argument rather than such a local paste-in.