Generalized $u$-Gibbs measures for $C^\infty$ diffeomorphisms

We show that for every $C^\infty$ diffeomorphism of a closed Riemannian manifold, if there exists a positive volume set of points which admit some expansion with a positive Lyapunov exponent (in a weak sense) then there exists an invariant probability measure with a disintegration by absolutely continuous conditionals on smoothly embedded disks subordinated to unstable leaves. As an application, we prove a strong version of the Viana conjecture in any dimension. Our methods include developing a quantitative approach to high-dimensional Yomdin theory which allows to control the geometry of disks, and introducing a notion of ``measured disks" in order to provide a disintegration by absolutely continuous conditionals. In particular, we provide also a new proof for the case of surfaces (a previous result by the second author) proving directly the absolute continuity of conditionals rather than mere entropy estimates.