Back to search
2103.02481

A NOTE ON THE PERIODIC ORBIT CONJECTURE

Robert Cardona

correcthigh confidence
Category
Not specified
Journal tier
Specialist/Solid
Processed
Sep 28, 2025, 12:56 AM

Audit review

Cardona’s note proves that if a non-vanishing vector field on a closed manifold admits a strongly adapted one-form (ι_X dα exact with α(X) > 0), then the periodic orbit conjecture holds. The proof is by contradiction using currents and the Edwards–Millet–Sullivan moving-leaf machinery: from an assumed unbounded-length bad set, one builds tangent 2-chains whose boundaries converge to a positive foliation cycle and shows their dα-flux tends to zero, contradicting the characterization of Eulerisable/strongly-adapted flows (no zero-flux tangent 2-chain sequence can approximate a non-trivial foliation cycle) . The candidate’s argument correctly observes that on each regular level set S_b of the Bernoulli function B, the normalized flow is a geodesic foliation for a suitable auxiliary metric, so Wadsley applies locally. However, it then asserts a uniform bound over all b by appealing to “local C^k bounds” on a cover; this step is unsubstantiated. Wadsley’s local period bounds do not automatically yield a single constant uniform across a continuum of varying hypersurfaces S_b (including near critical levels), nor is the existence of approximating closed orbits on nearby regular levels established. These are precisely the subtle issues the paper resolves via the currents-based contradiction. Hence, the paper’s theorem and proof are correct, while the model’s proof is incomplete.

Referee report (LaTeX)

\textbf{Recommendation:} minor revisions

\textbf{Journal Tier:} specialist/solid

\textbf{Justification:}

This short note establishes that flows admitting a strongly adapted one-form satisfy the periodic orbit conjecture. The argument is clean and leverages modern current-based characterizations, elegantly bypassing pitfalls that arise when trying to globalize Wadsley-style bounds across varying level sets. The result situates Eulerisable dynamics squarely within the realm where unbounded periods cannot occur, sharpening our understanding of the boundary between counterexamples and positive results.