  We show that for a large class of maps on manifolds of arbitrary finite
dimension, the existence of a Gibbs-Markov-Young structure (with Lebesgue as
the reference measure) is a necessary as well as sufficient condition for the
existence of an invariant probability measure which is absolutely continuous
measure (with respect to Lebesgue) and for which all Lyapunov exponents are
positive.
