Invariant family of leaf measures and the Ledrappier-Young property for hyperbolic equilibrium states

The manifold M is a Riemannian, boundaryless, and compact manifold with dim M >= 2, and f is a C1+beta (fi > 0) diffeomorphism of M. phi is a Holder continuous potential on M. We construct an invariant and absolutely continuous family of measures (with transformation relations defined by phi), which sit on local unstable leaves. We present two main applications. First, given an ergodic homoclinic class H-x (p), we prove that phi admits a local equilibrium state on Hx (p) if and only if phi is "recurrent on H-x (p)' (a condition tested by counting periodic points), and one of the leaf measures gives a positive measure to a set of positively recurrent hyperbolic points; and if an equilibrium measure exists, the said invariant and absolutely continuous family of measures constitute as its conditional measures. An immediate corollary is the local product structure of hyperbolic equilibrium states. Second, we prove a Ledrappier-Young property for hyperbolic equi-librium states: if phi admits a conformal family of leaf measures and a hyperbolic local equilibrium state, then the leaf measures of the invariant family (respective to phi) are equivalent to the conformal measures (on a full measure set). This extends the celebrated result by Ledrappier and Young for hyperbolic Sinai-Ruelle-Bowen measures, which states that a hyperbolic equilibrium state of the geometric potential (with pressure zero) has conditional measures on local unstable leaves which are absolutely continuous with respect to the Riemannian volume of these leaves.