Hyperbolicity versus non-hyperbolic ergodic measures inside homoclinic classes

We prove that, for $C^1$-generic diffeomorphisms, if a homoclinic class is not hyperbolic, then there is a non-hyperbolic ergodic measure supported on it. This proves a conjecture by D\'iaz and Gorodetski [28]. We also discuss the conjectured existence of periodic points with different stable dimension in the class.