ScalingStacks

3. The complex Monge-Ampère equation [01D3]

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

3. The complex Monge-Ampère equation

Theorem 3.1.

Let (X,L)(X,L) be a polarized complex projective variety of dimension nn and let μ\mu be a positive measure on Xan{X^{\mathrm{an}}} of total mass (Ln)(L^{n}).

  • (i)

    If μ\mu is a volume form, then there exists a smooth positive metric ϕ\phi on Lan{L^{\mathrm{an}}} such that MA⁡(ϕ)=μ\operatorname{MA}(\phi)=\mu.

  • (ii)

    If μ\mu is absolutely continuous with respect to Lebesgue measure, with density in LpL^{p} for some p>1p>1, then there exists a (Hölder) continuous metric ϕ\phi on Lan{L^{\mathrm{an}}} such that MA⁡(ϕ)=μ\operatorname{MA}(\phi)=\mu.

  • (iii)

    The metrics in (i) and (ii) are unique up to additive constants.

The uniqueness statement in the setting of (i) is due to Calabi. The much harder existence part was proved by Yau [Yau78], using PDE techniques. The combined result is often called the Calabi-Yau Theorem.

The general setting of (ii)–(iii) was treated by Kołodziej [Koł98, Koł03] who used methods of pluripotential theory together with a nontrivial reduction to Yau’s result. Guedj and Zeriahi [GZ07] more generally established the existence of solutions of MA⁡(ϕ)=μ\operatorname{MA}(\phi)=\mu for positive measures μ\mu (of mass (Ln)(L^{n})) that do not put mass on pluripolar sets. In this generality, the metrics ϕ\phi are no longer continuous but rather lie in a suitable energy class, modeled upon work by Cegrell [Ceg98]. Dinew [Din09], improving upon an earlier result by Błocki [Bło03], proved the corresponding uniqueness theorem. All these existence and uniqueness results are furthermore valid (in a suitable formulation) in the transcendental case, when (X,ω)(X,\omega) is a Kähler manifold.

The complex Monge-Ampère equation is of fundamental importance to complex geometry. For example, it implies that every compact complex manifold with vanishing first Chern class (such manifolds are now called Calabi-Yau manifolds) admit a Ricci flat metric in any given Kähler class. The complex Monge-Ampère equation also plays a key role in recent work on the space of Kähler metrics.

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