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

$\overline{\partial}$ cohomology of the complement of a semi-positive anticanonical divisor of a compact surface

Symplectic cohomology relative to a smooth anticanonical divisor

Cohomology groups with compact support for flat line bundles on certain complex Lie groups

Non-vanishing of the twisted cohomology on the complement of hypersurfaces

Hochschild cohomology of differential operators in positive characteristic

Cohomologies of Unipotent Harmonic Bundles over Quasi-Projective Varieties I: the Case of Noncompact Curves

Integral cohomology of dual boundary complexes is motivic

Compact convergence, deformation of the $L^2$-$\overline{\partial}$-complex and canonical $K$-homology classes

Complexity functions on 1-dimensional cohomology

Equivariant aspects of de-completing cyclic homology

Intersection De Rham Complexes in Positive Characteristic

A non-vanishing theorem for -divisors on surfaces

Positivity of relative canonical bundles and applications

On some negative motivic homology groups

Images of manifolds with semi-ample anti-canonical divisor

Complex non-Kähler manifolds that are cohomologically close to, or far from, being Kähler

Cohomology rings of the moduli of one-dimensional sheaves on the projective plane

Intersection cohomology of moduli spaces of vector bundles over curves

The Cohomology Ring of the Deligne-Mumford Moduli Space of Real Rational Curves with Conjugate Marked Points

Homology of configuration spaces of surfaces modulo an odd prime

Stable twisted cohomology of the mapping class groups in the exterior powers of the unit tangent bundle homology