Positivity of relative canonical bundles and applications

Georg Schumacher

DOI: https://doi.org/10.1007/s00222-012-0374-7

IF: 3.128

2012-01-14

Inventiones mathematicae

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}}$$.

mathematics