  Given a family $f:\mathcal X \to S$ of canonically polarized manifolds, the
unique K\"ahler-Einstein metrics on the fibers induce a hermitian metric on the
relative canonical bundle $\mathcal K_{\mathcal X/S}$. We use a global elliptic
equation to show that this metric is strictly positive on $\mathcal X$, unless
the family is infinitesimally trivial.
  For degenerating families we show that the curvature form on the total space
can be extended as a (semi-)positive closed current. By fiber integration it
follows that the generalized Weil-Petersson form on the base possesses an
extension as a positive current. We prove an extension theorem for hermitian
line bundles, whose curvature forms have this property. This theorem can be
applied to a determinant line bundle associated to the relative canonical
bundle on the total space. As an application the quasi-projectivity of the
moduli space $\mathcal M_{\text{can}}$ of canonically polarized varieties
follows.
  The direct images $R^{n-p}f_*\Omega^p_{\mathcal X/S}(\mathcal K_{\mathcal
X/S}^{\otimes m})$, $m > 0$, carry natural hermitian metrics. We prove an
explicit formula for the curvature tensor of these direct images. We apply it
to the morphisms $S^p \mathcal T_S \to R^pf_*\Lambda^p\mathcal T_{\mathcal
X/S}$ that are induced by the Kodaira-Spencer map and obtain a differential
geometric proof for hyperbolicity properties of $\mathcal M_{\text{can}}$.
