ScalingStacks

Theorem 7.8 . [02FY]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Theorem 7.8.

Let VV be a general type projective algebraic variety with only canonical singularities such that KVK_{V} is ample. Let hNh^{N} a smooth hermitian metric on ωVN\omega^{N}_{V} such that Ω=c1​(KV,h)\Omega=c_{1}(K_{V},h) is a smooth Kähler form on VV.

There is a unique φ∈𝒞0​(V,ℝ)\varphi\in{\mathcal{C}}^{0}(V,\mathbb{R}) such that:

  1. (1)

    φ\varphi is Ω\Omega-psh.

  2. (2)

    Ω+d​dc​φ\Omega+dd^{c}\varphi semi Kähler current with 𝒞0{\mathcal{C}}^{0} potential.

  3. (3)

    (Ω+d​dc​φ)n=eφ​v​(h)(\Omega+dd^{c}\varphi)^{n}=e^{\varphi}v(h).

Consequently Ω+d​dc​φ\Omega+dd^{c}\varphi is the unique singular KE metric on VV of negative curvature in the canonical class of VV. The current Ω+d​dc​φ\Omega+dd^{c}\varphi has continuous potentials and is smooth on Vr​e​gV^{reg} where it defines a bona fide KE metric.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.