Back to search
2006.16351

ALMOST EXISTENCE FROM THE FERAL PERSPECTIVE AND SOME QUESTIONS

Joel W. Fish, Helmut H. W. Hofer

correcthigh confidence
Category
math.DS
Journal tier
Strong Field
Processed
Sep 28, 2025, 12:55 AM

Audit review

The paper’s Theorem 2 exactly addresses the setup and proves almost-existence using feral curves and an adiabatic-degeneration/measure argument; see the statement of Theorem 2 and the proof outline reducing to local bands and invoking a localized result (Theorem 4) to obtain full-measure sets of energies with periodic orbits . The authors explicitly avoid capacities in this proof, contrasting with classical Hofer–Zehnder arguments . By contrast, the candidate solution’s Step 2 claims a nonstandard ‘suspension/graph’ argument in W×ℂ and a positivity-of-intersections/monotonicity bound max K ≤ ∫ u*Ω. This bound is not justified: positivity/monotonicity apply to J-holomorphic maps, not to general symplectic embeddings like the proposed suspension annulus; no reference or mechanism is given to compare its ℂ-area to the area of a J-holomorphic “barrier.” Hence the capacity upper bound—and the entire capacity-based proof—lacks a correct core argument. Step 1 (capacity blow-up from aperiodic levels) is standard, but without a valid Step 2 the model’s proof does not go through.

Referee report (LaTeX)

\textbf{Recommendation:} minor revisions

\textbf{Journal Tier:} strong field

\textbf{Justification:}

The manuscript establishes almost existence under a natural crossing-curve hypothesis via a novel feral-curve and adiabatic-degeneration framework, dispensing with capacity arguments. The localization and measure-theoretic slicing blend is technically solid and impactful for Hamiltonian dynamics. Minor clarifications would further improve accessibility, but correctness and significance are compelling.