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

Curvature of higher direct image sheaves

Curvature of higher direct images of sheaves of twisted holomorphic forms

Curvatures of Direct Image Sheaves of Vector Bundles and Applications

Curvatures of Moduli Space of Curves and Applications

Positive Kobayashi Curvature Metrics on Ample Vector Bundles

On Positive Scalar Curvature and Moduli of Curves

Direct Images and Hilbert Fields

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

Curved $\infty$-Local Systems And Projectively Flat Riemann-Hilbert Correspondence

Curvature formulas and curvature strict positivity of direct image bundles

Positivity of relative canonical bundles and applications

Mixing Metaphors

Higher direct images of snc ideal sheaves

Scalar curvature rigidity and the higher mapping degree

Curvature properties and Shafarevich conjecture for toroidal compactifications of ball quotients

An $L^2$ Dolbeault lemma on higher direct images and its application

Secant varieties of curves, Ulrich bundles and the arithmetic writhe

Singular Nakano positivity of direct image sheaves of adjoint bundles

Degeneration of families of projective hypersurfaces and Hodge conjecture

On Harder-Narasimhan slopes of direct images