ScalingStacks

7.1. Singular Ricci curvature [02FK]

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

7.1. Singular Ricci curvature

The smooth case

The link between Monge-Ampère equations and Kähler-Einstein metrics is provided by the following classical

Lemma 7.1.

Let XX be complex manifold, let hh be a smooth hermitian metric on ωX\omega_{X} and Ω\Omega a Kähler form such that Ωn=v⁡(h)\Omega^{n}=v(h). The Ricci curvature divided by 2​π2\pi of Ω\Omega is the Chern-Weil form −c1​(KX,h)-c_{1}(K_{X},h).

Adapted measures and hermitian metrics on the canonical sheaf

Assume VV is compact with only log terminal singularities, has index NN and let hNh^{N} be a smooth hermitian metric on ωV[N]\omega_{V}^{[N]}. Let β\beta be a local generator local of ωV[N]\omega_{V}^{[N]}. Define vβ​(h)v_{\beta}(h) to be the volume form on Vr​e​gV^{reg}:

vβ​(h)=(−1N​n​(−1)N​n⁡(n+1)2​β∧β¯‖β‖hN2)1Nv_{\beta}(h)=\left(\sqrt{-1}^{Nn}(-1)^{N\frac{n(n+1)}{2}}\frac{\beta\wedge\bar{\beta}}{\|\beta\|^{2}_{h^{N}}}\right)^{\frac{1}{N}}

Since vβ​(h)v_{\beta}(h) is independent of β\beta, this expression defines an adapted measure v⁡(h)v(h) with 𝒞∞{\mathcal{C}}^{\infty} density on VV.

Now, let hs​i​n​gN=e−N​χ​hNh^{N}_{sing}=e^{-N\chi}h^{N} be a singular metric on ωV[N]\omega_{V}^{[N]}. The Chern-Weil form c1​(ωXN,hs​i​n​gN)c_{1}(\omega_{X}^{N},h_{sing}^{N}) is then well defined as a quasipositive current. Since hs​i​n​gNh_{sing}^{N} has locally 𝒞∞{\mathcal{C}}^{\infty}+psh potentials χ\chi is locally bounded above and the above formula defines a measure v⁡(hs​i​n​g)=eχ​v​(h)v(h_{sing})=e^{\chi}v(h) on VV such that v⁡(hs​i​n​g)v⁡(h)∈Ll​o​c∞\frac{v(h_{sing})}{v(h)}\in L^{\infty}_{loc}. In particular

v⁡(hs​i​n​g)Ωn∈L1+ε​(V,Ωn)​ for ​ε>0​ small enough.\frac{v(h_{sing})}{\Omega^{n}}\in L^{1+\varepsilon}(V,\Omega^{n})\text{ for }\varepsilon>0\text{ small enough}.

We have c1​(KX,hs​i​n​g)=c1​(KX,h)+d​dc​χc_{1}(K_{X},h_{sing})=c_{1}(K_{X},h)+dd^{c}\chi, where c1​(KX,h):=1N​c1​(ωXN,hN)c_{1}(K_{X},h):=\frac{1}{N}c_{1}(\omega^{N}_{X},h^{N}).

Definition 7.2.

Assume VV has only log terminal singularities. An adapted measure on VV is a positive Radon measure locally of the form ef.ve^{f}.v where ff is locally given as the sum of a psh and a smooth function on VV. An adapted measure is 𝒞0{\mathcal{C}}^{0}, 𝒞α{\mathcal{C}}^{\alpha}, 𝒞∞{\mathcal{C}}^{\infty} density if so is efe^{f}.

The definition has the virtue of generalizing the usual equivalence between smooth metrics on the canonical sheaf of a manifold and positive definite volume forms to singular metrics and log terminal spaces. This suggests the following ad hoc:

Definition 7.3.

Let VV be a ℚ\mathbb{Q}-Gorenstein Kähler normal nn-dimensional complex space with only log terminal singularities. Let Ω\Omega be a semi-Kähler current with Ll​o​c∞L^{\infty}_{loc} potential and adapted Monge-Ampère measure. Let hh be the singular metric on the canonical sheaf such that Ωn=v⁡(h)\Omega^{n}=v(h). We define

R​i​c​(Ω):=−c1​(KV,h),Ric(\Omega):=-c_{1}(K_{V},h),

where the equality is to be taken in the sense of currents.

The metric Ω\Omega will be called a singular Kähler-Einstein metric if R​i​c​(Ω)=c​ΩRic(\Omega)=c\Omega for some c∈ℝc\in\mathbb{R}.

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