Invariant Sets in Three-Dimensional Energy Surfaces

Let H be any smooth function on R4 and let Y be any compact and regular level set. I'll explain a proof that Y admits an infinite family of proper compact subsets that are invariant under the Hamiltonian flow, which moreover have dense union in Y. This improves on a recent result by Fish-Hofer.