View source for User:Maximilian Janisch/latexlist/Algebraic Groups/Kähler-Einstein metric

{{TEX|done}}<div class="Vorlage_Achtung" style="border: 0.18em solid #FF6666; border-left:1em solid #FF6666; margin:0.5em 0em; overflow:hidden; padding:0.5em; text-align: left;">
This page is a copy of the article [[Kähler-Einstein metric]] in order to test [[User:Maximilian_Janisch/latexlist|automatic LaTeXification]]. This article is not my work.
</div>


A [[Kähler metric|Kähler metric]] on a [[Complex manifold|complex manifold]] (or orbifold) whose [[Ricci tensor|Ricci tensor]] $\operatorname { Ric } ( \omega )$ is proportional to the [[Metric tensor|metric tensor]]:

\begin{equation} \operatorname { Ric } ( \omega ) = \lambda \omega \end{equation}

This proportionality is an analogue of the Einstein field equation in general relativity. The following conjecture is due to E. Calabi: Let $N$ be a compact connected complex manifold and $c _ { 1 } ( M ) _ { R }$ its first [[Chern class|Chern class]]; then

a) if $c _ { 1 } ( M ) _ { R } &lt; 0$, then $N$ carries a unique (Ricci-negative) Kähler–Einstein metric $4$ such that $\operatorname { Ric } ( \omega ) = - \omega$;

b) if $c _ { 1 } ( M ) _ { R } = 0$, then any Kähler class of $N$ admits a unique (Ricci-flat) Kähler–Einstein metric such that $\operatorname { Ric } ( \omega ) = 0$.

This conjecture was solved affirmatively by T. Aubin [[#References|[a1]]] and S.T. Yau [[#References|[a8]]] via studies of complex Monge–Ampère equations, and Kähler–Einstein metrics play a very important role not only in [[Differential geometry|differential geometry]] but also in [[Algebraic geometry|algebraic geometry]]. The affirmative solution of this conjecture gives, for instance, the Bogomolov decomposition for compact Kähler manifolds with $c _ { 1 } ( M ) _ { R } = 0$. It also implies (see [[#References|[a2]]], [[#References|[a3]]]):

1) Any Kähler manifold homeomorphic to $C ^ { \prime } D ^ { \prime }$ is biholomorphic to $C ^ { \prime } D ^ { \prime }$. Any compact complex surface homotopically equivalent to $C P ^ { 2 }$ is biholomorphic to $C P ^ { 2 }$.

2) In the Miyaoka–Yau inequality $c _ { 1 } ( S ) ^ { 2 } \leq 3 _ { C 2 } ( S )$, for a compact complex surface $5$ of general type, equality holds if and only if $5$ is covered by a ball in $c ^ { 2 }$.

For a Fano manifold $N$ (i.e., $N$ is a compact complex manifold with $c _ { 1 } ( M ) _ { R } &gt; 0$), let $k$ be the identity component of the group of all holomorphic automorphisms of $N$. Let $\varepsilon$ be the set of all Kähler–Einstein metrics $4$ on $N$ such that $\operatorname { Ric } ( \omega ) = \omega$. If $E \neq \emptyset$, then $\varepsilon$ consists of a single $k$-orbit (see [[#References|[a5]]]). Moreover, the following obstructions to the existence of Kähler–Einstein metrics are known (cf. [[#References|[a5]]], [[#References|[a6]]]):

Matsushima's obstruction. If $E \neq \emptyset$, then $k$ is a reductive algebraic group (cf. also [[Reductive group|Reductive group]]).

Futaki's obstruction. If $E \neq \emptyset$, then Futaki's character $F _ { M } : G \rightarrow C ^ { * }$ is trivial.

Recently (1997), G. Tian [[#References|[a7]]] showed some relationship between the existence of Kähler–Einstein metrics on $N$ and stability of the manifold $N$, and gave an example of an $N$ with no non-zero holomorphic vector fields satisfying $E = \emptyset$.

The Poincaré metric on the unit open disc $\{ z \in C : | z | &lt; 1 \}$ (cf. [[Poincaré model|Poincaré model]]) and the [[Fubini–Study metric|Fubini–Study metric]] on $C ^ { \prime } D ^ { \prime }$ are both typical examples of Kähler–Einstein metrics. For more examples, see [[Kähler–Einstein manifold|Kähler–Einstein manifold]].

For the relationship between Kähler–Einstein metrics and multiplier ideal sheaves, see [[#References|[a4]]]. See, for instance, [[#References|[a2]]] for moduli spaces of Kähler–Einstein metrics. Finally, Kähler metrics of constant scalar curvature and extremal Kähler metrics are nice generalized concepts of Kähler–Einstein metrics (cf. [[#References|[a2]]]).

====References====
<table><tr><td valign="top">[a1]</td> <td valign="top"> T. Aubin, "Nonlinear analysis on manifolds" , Springer (1982)</td></tr><tr><td valign="top">[a2]</td> <td valign="top"> A.L. Besse, "Einstein manifolds" , Springer (1987) {{MR|0867684}} {{ZBL|0613.53001}} </td></tr><tr><td valign="top">[a3]</td> <td valign="top"> J.P. Bourguignon, et al., "Preuve de la conjecture de Calabi" ''Astérisque'' , '''58''' (1978)</td></tr><tr><td valign="top">[a4]</td> <td valign="top"> A.M. Nadel, "Multiplier ideal sheaves and existence of Kähler–Einstein metrics of positive scalar curvature" ''Ann. of Math.'' , '''132''' (1990) pp. 549–596</td></tr><tr><td valign="top">[a5]</td> <td valign="top"> T. Ochiai, et al., "Kähler metrics and moduli spaces" , ''Adv. Stud. Pure Math.'' , '''18–II''' , Kinokuniya (1990)</td></tr><tr><td valign="top">[a6]</td> <td valign="top"> Y.-T. Siu, "Lectures on Hermitian–Einstein metrics for stable bundles and Kähler–Einstein metrics" , Birkhäuser (1987)</td></tr><tr><td valign="top">[a7]</td> <td valign="top"> G. Tian, "Kähler–Einstein metrics with positive scalar curvature" ''Invent. Math.'' , '''137''' (1997) pp. 1–37</td></tr><tr><td valign="top">[a8]</td> <td valign="top"> S.-T. Yau, "On the Ricci curvature of a compact Kähler manifold and the complex Monge–Ampère equation I" ''Commun. Pure Appl. Math.'' , '''31''' (1978) pp. 339–411</td></tr></table>