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 effective generation of direct images of pluricanonical bundles in mixed characteristic

Curvatures of Direct Image Sheaves of Vector Bundles and Applications

On the effectiveness of twisted pluricanonical bundles

Higher direct images of snc ideal sheaves

Frobenius stable pluricanonical systems on threefolds of general type in positive characteristic

Nakano Positivity of direct image sheaves of adjoint line bundles with mild singularities

Effectivity of Iitaka Fibrations and Pluricanonical Systems of Polarized Pairs

Invariance of plurigenera for generalized polarized pairs with abundant nef parts

Cohomological characterization of Universal Bundles of G(1,n)

On pluricanonical systems of algebraic varieties of general type

On the canonical bundle formula in positive characteristic

Injectivity theorems for higher direct images under proper Kähler morphisms on snc spaces

Positivity of relative canonical bundles and applications

Singular Nakano positivity of direct image sheaves of adjoint bundles

On twisted Kawamata's semi-positivity and finite generation of generalized canonical rings

Canonical bundle formula and degenerating families of volume forms

Log pluricanonical representations and abundance conjecture

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

A Nonabelian Hodge Correspondence for Principal Bundles in Positive Characteristic

Curvature Formulas and Curvature Strict Positivity of Direct Image Bundles

Relative semiampleness in mixed characteristic