Mather theory and symplectic rigidity

Using methods from symplectic topology, we prove existence of invariant variational measures associated to the flow \begin{document}$ \phi_H $\end{document} of a Hamiltonian \begin{document}$ H\in C^{\infty}(M) $\end{document} on a symplectic manifold \begin{document}$ (M, \omega) $\end{document} . These measures coincide with Mather measures (from Aubry-Mather theory) in the Tonelli case. We compare properties of the supports of these measures to classical Mather measures, and we construct an example showing that their support can be extremely unstable when \begin{document}$ H $\end{document} fails to be convex, even for nearly integrable \begin{document}$ H $\end{document} . Parts of these results extend work by Viterbo [ 54 ] and Vichery [ 52 ]. Using ideas due to Entov-Polterovich [ 22 , 40 ], we also detect interesting invariant measures for \begin{document}$ \phi_H $\end{document} by studying a generalization of the symplectic shape of sublevel sets of \begin{document}$ H $\end{document} . This approach differs from the first one in that it works also for \begin{document}$ (M, \omega) $\end{document} in which every compact subset can be displaced. We present applications to Hamiltonian systems on \begin{document}$ \mathbb R^{2n} $\end{document} and twisted cotangent bundles.