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

Positivity of Direct Images of Positively Curved Volume Forms

Curvatures of Direct Image Sheaves of Vector Bundles and Applications

Curvatures of Moduli Space of Curves and Applications

Geometry of Complex Bounded Domains with Finite-Volume Quotients

Mirror Principle I

Positive Kobayashi Curvature Metrics on Ample Vector Bundles

Positivity and vanishing theorems in complex and algebraic geometry

Positivity in Foliated Manifolds and Geometric Applications

Curvature strict positivity of direct image bundles associated to pseudoconvex families of domains

Curvature Formulas and Curvature Strict Positivity of Direct Image Bundles

–Quasi-Negative Curvature and Positivity of the Canonical Bundle

Positivity and the Kodaira Embedding Theorem

$(\varepsilon, δ)$--Quasi-Negative Curvature and Positivity of the Canonical Bundle

Positivity of relative canonical bundles and applications

Positive Simplicial Volume Implies Virtually Positive Seifert Volume for 3-Manifolds

Complete stable minimal hypersurfaces in positively curved 4-manifolds

Positivity Functions for Curves on Algebraic Varieties

Geometry of positive scalar curvature on complete manifold

Almost Non-positive Kähler Manifolds

Free Boundary Stable Minimal Hypersurfaces in Positively Curved 4-Manifolds