Monge-Ampère equations in big cohomology classes (Q617885)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Monge-Ampère equations in big cohomology classes |
scientific article |
Statements
Monge-Ampère equations in big cohomology classes (English)
0 references
14 January 2011
0 references
The authors first show how to define a non-pluripolar (meaning that it puts no mass on pluripolar subsets) wedge product \(\langle T_1\wedge\cdots\wedge T_p\rangle\) of arbitrary closed positive \((1,1)\)-currents \(T_1,\dots,T_p\) on a compact \(n\)-dimensional Kähler manifold \(X\), for \(1\leq p\leq n\). In particular, the non-pluripolar Monge-Ampère measure \(\langle T^n\rangle\) is well-defined for any closed positive (1,1)-current \(T\), and it turns out that it is non-trivial only if the cohomology class \(\alpha\in H^{1,1}(X,\mathbb{R})\) represented by~\(T\) is big. The authors then consider the non-pluripolar Monge-Ampère equation \(\langle T^n\rangle=\mu\), where \(\mu\) is a positive measure putting no mass on pluripolar subsets, and prove an important existence and uniqueness theorem: given any big class \(\alpha\in H^{1,1}(X,\mathbb{R})\) on a compact Kähler manifold \(X\) and any positive measure \(\mu\) on \(X\) as above satisfying the compatibility condition \(\mu(X)=\text{vol}(\alpha)\), then there exists a unique closed positive \((1,1)\)-current \(T\) representing~\(\alpha\) and such that \(\langle T^n\rangle=\mu\). The authors furthermore study regularity properties of the solution. They prove that if \(\mu\) has \(L^{1+\epsilon}\) density with respect to Lebesgue measure for some \(\epsilon>0\) then the solution \(T\) has minimal singularities, in the sense that it has the least possible poles among all positive currents representing~\(\alpha\). Furthermore, they show that if \(\mu\) is smooth and strictly positive, and \(\alpha\) is nef, then \(T\) is smooth on the ample locus of~\(\alpha\). As a consequence, the authors show that a smooth projective variety \(X\) of general type admits a unique singular Kähler-Einstein volume form of total mass equal to \(\text{vol}(K_X)\), where \(K_X\) is the canonical bundle; furthermore, this volume form is the non-pluripolar Monge-Ampère measure of a current \(dd^c\phi_{KE}\) having minimal singularities.
0 references
Monge-Ampère measure
0 references
Monge-Ampère equation
0 references
Kähler-Einstein volume form
0 references
0 references
0 references
0 references