Abstract:Given a family $$f:\mathcal{X} \to S$$ of canonically polarized manifolds, the unique Kähler–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^{p}f_{*}\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}}$$.

On the canonical bundle formula in positive characteristic

On canonical bundle formula for fibrations of curves with arithmetic genus one

Canonical bundle formula and degenerating families of volume forms

Positivity of relative canonical bundles and applications

Singularities on vertical $ε$-log canonical Fano fibrations

Nonnegativity of signed Euler characteristics of moduli of curves and abelian varieties

On the moduli part of the Kawamata-Kodaira canonical bundle formula

Liftings of ideals in positive characteristic to those in characteristic zero : Low dimension

On the Canonical Bundle Formula and Adjunction for Generalized Kaehler Pairs

Boundedness and volume of generalised pairs

A strong counterexample to the log canonical Beauville--Bogomolov decomposition

Log canonical pairs with good augmented base loci

A note on Iitaka's conjecture $C_{3,1}$ in positive characteristics

A Nonabelian Hodge Correspondence for Principal Bundles in Positive Characteristic

Canonical torsor bundles of prescribed rational functions on complex curves

Effectivity of Iitaka Fibrations and Pluricanonical Systems of Polarized Pairs

Note on the 3-dimensional log canonical abundance in characteristic $>3$

Note On The Three-Dimensional Log Canonical Abundance In Characteristic

Existence of Log Canonical Flips and a Special LMMP

Locally Constant Fibrations and Positivity of Curvature

Positivity on simple $G$-varieties