Every compact manifold carries a completely hyperbolic diffeomorphism (Q4544228)

The authors prove the following theorem that provides an affirmative solution of the problem posed by \textit{M. I. Brin}, \textit{J. Feldman} and \textit{A. Katok} [Ann. Math. (2) 113, 159--179 (1981; Zbl 0477.58021)]: Given a compact smooth Riemannian manifold, \(K\neq S^1\), there exists a \(C^\infty\) diffeomorphism \(f\) of \(K\) such that: (1) \(f\) preserves the Riemannian volume on \(K\); (2) \(f\) has nonzero Lyapunov exponents at \(m\)-almost every point \(x\in K\); (3) \(f\) is a Bernoulli diffeomorphism. Thus, combining the results of Brin, Feldman and Katok, they obtain that any manifold \(K\) admits a diffeomorphism with \(\ell\) zero exponents where \(\ell=0\) if \(\dim K=2\), \(\ell=2\) if \(\dim K=4\) and \(\ell=1\) otherwise. Then they show how to perturb the diffeomorphism to remove zero exponents.