Hyperbolicity versus weak periodic orbits inside homoclinic classes

Abstract

We prove that, for $C^1$-generic diffeomorphisms, if the periodic orbits contained in a homoclinic class $H(p)$ have all their Lyapunov exponents bounded away from 0, then $H(p)$ must be (uniformly) hyperbolic. This is in sprit of the works of the stability conjecture, but with a significant difference that the homoclinic class $H(p)$ is not known isolated in advance, hence the "weak" periodic orbits created by perturbations near the homoclinic class have to be guaranteed strictly inside the homoclinic class. In this sense the problem is of an "intrinsic" nature, and the classical proof of the stability conjecture does not pass through. In particular, we construct in the proof several perturbations which are not simple applications of the connecting lemmas.