Expanding measures

We prove that any C1+α transformation, possibly with a (non-flat) critical or singular region, admits an invariant probability measure absolutely continuous with respect to any expanding measure whose Jacobian satisfies a mild distortion condition. This is an extension to arbitrary dimension of a famous theorem of Keller (1990) [33] for maps of the interval with negative Schwarzian derivative.Given a non-uniformly expanding set, we also show how to construct a Markov structure such that any invariant measure defined on this set can be lifted. We used these structure to study decay of correlations and others statistical properties for general expanding measures.