Hyperbolicity, transversality and analytic first integrals

Let A be a (normally) hyperbolic compact invariant manifold of an analytic diffeomorphism f of an analytic manifold M. We assume that the stable and unstable manifold of A intersect transversally (in an admissible way), the dynamics on A is ergodic and the modulus of the eigenvalues associated to the stable and unstable manifold, respectively, satisfy a nonresonance condition. In the case where A is a point or a torus, we prove that the discrete dynamical system associated to f does not admit an analytic first integral. The proof is based on a triviality lemma, which is of combinatorial nature, and a geometrical lemma. The same techniques, allow us to prove analytic non-integrability of Hamiltonian systems having Arnold diffusion. In particular, using results of Xia, we prove analytic non-integrability of the elliptic restricted three-body problem, as well as the planar three-body problem.