Positivity of relative canonical bundles and applications

TL;DR

This paper demonstrates the positivity properties of the relative canonical bundle in families of canonically polarized manifolds, extending curvature forms and applying these results to prove the quasi-projectivity and hyperbolicity of the moduli space.

Contribution

It introduces a new method using elliptic equations to establish positivity and extension properties of curvature forms in families of polarized manifolds, leading to applications in moduli space geometry.

Findings

The relative canonical bundle's metric is strictly positive unless the family is trivial.

Curvature forms extend as positive currents in degenerating families.

The quasi-projectivity of the moduli space of canonically polarized varieties is proven.

Abstract

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