Smoothness of Laws

Divergence of differentiable flow — Divergence as the adjoint operator of a derivation — Non-degenerate maps and their covariance matrices — Lifting up vector fields through a non-degenerate map — Pushing down divergences — Hölder regularity under D₂∞−0 hypothesis — Smoothness under D_∞ hypothesis — Lifting up and pushing down through a non-degenerate D_∞ map — Inverse image of a distribution — Absolute continuity of scalar functionals under D₁1 hypothesis — Appendix: Computation of derivatives by means of divergence operators — Law of a weakly non degenerated map.