Which Kahler Manifolds are also Einstein Manifolds? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-18T18:16:34Z http://mathoverflow.net/feeds/question/57667 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/57667/which-kahler-manifolds-are-also-einstein-manifolds Which Kahler Manifolds are also Einstein Manifolds? Dyke Acland 2011-03-07T13:53:01Z 2012-01-27T06:21:16Z <p>Is it known which Kahler manifolds are also Einstein manifolds? For example complex projective spaces are Einstein. Are the Grassmannians Einsein? Are all flag manifolds Einstein?</p> http://mathoverflow.net/questions/57667/which-kahler-manifolds-are-also-einstein-manifolds/57669#57669 Answer by Dmitri for Which Kahler Manifolds are also Einstein Manifolds? Dmitri 2011-03-07T14:11:48Z 2011-03-09T22:54:20Z <p>This question can be interpreted in two different ways.</p> <p>1) Which Kahler manifolds admit a Kahler metric that is at the same time Einstein? </p> <p>2) Which Kahler manifolds admit an Einstein metric? </p> <p><strong>If you want 1)</strong>, then you need to start with a manifold whose canonical bundle is either a) ample (like hypersurfaces of degree $\ge n+2$ in $\mathbb CP^n$), or b) trivial (Calabi-Yau), c) is dual to an ample line bundle - Fano case.</p> <p>In a) and b) there is always a Kahler-Einstein metric by a theorem of Aubin and Yau. In the case c) we get a very subtle question, which is expected to be governed by Yau-Tian-Donaldson conjecture. But all homogenious varieties are Kahler-Einstein.</p> <p><strong>If you want 2)</strong>, then the amount of Einstein metrics clearly becomes much larger. For example, $\mathbb CP^2$ blown up in one or two point do not admit a Kahler-Einstein metric, but they do admit an Einstein metric. For a reference to this statement you can check the article of Lebrun <a href="http://arxiv.org/abs/1009.1270" rel="nofollow">http://arxiv.org/abs/1009.1270</a> .</p> <p>In general the question weather a given Kahler surface admits an Einstein metric is quite subtle. But at least there exists an obstruction. We can blow up any surface in sufficient number of points so that the obtained manifold violates Hitchin-Thorpe inequality <a href="http://en.wikipedia.org/wiki/Hitchin%E2%80%93Thorpe_inequality" rel="nofollow">http://en.wikipedia.org/wiki/Hitchin%E2%80%93Thorpe_inequality</a> , hence not Einstein.</p> <p>Finally, it was speculated (for example by Gromov here: <a href="http://www.ihes.fr/~gromov/topics/SpacesandQuestions.pdf" rel="nofollow">http://www.ihes.fr/~gromov/topics/SpacesandQuestions.pdf</a>), that starting from real dimension 5 each manifold admits an Einstein metric.</p> <p><strong>Added reference.</strong> "Every compact, simply connected, homogeneous Kahler manifold admits a unique (up to homothety) invariant Kahler-Einstein metric structure"- this result can be found in Y. Matsushima. Remakrs on Kahler-Einstein manifolds, Nagoya Math J. 46. (I found this reference in the book Besse, Einstein manifolds, 8.95). </p> http://mathoverflow.net/questions/57667/which-kahler-manifolds-are-also-einstein-manifolds/86796#86796 Answer by math3.14159 for Which Kahler Manifolds are also Einstein Manifolds? math3.14159 2012-01-27T06:21:16Z 2012-01-27T06:21:16Z <p>One of the most well known classes of K\"ahler-Einstein manifolds, i.e. manifolds which carry a Kahler metric $g$ such that $Ric_{g}= \lambda \cdot g$ $c\in\mathbb{R}$, are the <strong>generalized flag manifolds</strong> $$G^{\mathbb{C}}/P\cong G/K$$ of a compact connected simple Lie group. Here $P$ is a parabolic subgroup of the complexification $G^{\mathbb{C}}$ of $G$, and $K=p\cap G$ is the centralizer of a torus $S\subset G$, i.e. $K=C(S)$. If $S=T=$maximal torus, then we obtain a full flag manifold $G/T$.</p> <p>In the family of generalized flag manifolds, we find a very important subfamily of K\"ahler-Einstein manifolds, the <strong>(isotropy irreducible) Hermitian symmetric spaces</strong> $M=G/K$ of compact type (i.e. compact symmetric spaces endowed with a Hermitian structure invariant under the symmetries. In particular, this Hermitian structire is Kahler) . It well know that such a space $M=G/K$ admits a unique (as isotropy irreducible) K\"ahler-Einstein metric. We mention here two facts for isotropy irreducible Hermitian symmetric spaces $M=G/K$:</p> <p>1) The isotropy subgroup $K$ has an 1-dimensional center. </p> <p>2) They are the only generalized flag manifolds which are the same time symmetric spaces.</p> <p>Now, a (generalized) flag manifold is also a homogenepous K\"ahler manifold (the K\"ahler structure on these manifolds arising form the fact that any flag manifold is an adjoint orbit of an element in the Lie algebra of $G$). In particular, flag manifolds exhaust all compact simply connected Homogeneous Kahler manifolds corresponding to (compact, connected) simple Lie groups. Their classification is based on the painted Dynkin diagrams. </p> <p>Now, any $M=G^{\mathbb{C}}/P=G/C(S)$ admits a finite number of invariant complex structures. More-ever for any such complex structure we can define (a unique) homogeneous K\"ahler--Einstein metric, which given in terms of representation theory by computing the Koszul form $2\delta_{\frak{m}}$. Thus a flag manifolds admits a finite number of K\"ahler-Einstein metrics, Note that if some of the invariant complex structures are equivalent, then, the K\"ahler-Einstein metrics corresponding to these complex structures would be isometric. </p> <p>More information about the geometry of flag manifolds, painted Dynkin diagrams, K\"ahler-Einstein metrics, etc, can be found in the following articles:</p> <p>D. V. Alekseevsky: <strong>Flag manifolds</strong>, in Sbornik Radova, 11th Jugoslav. Geom. Seminar. Beograd 6 (14) (1997) 3--35.</p> <p>D. V. Alekseevsky and A. M. Perelomov: <strong>Invariant K\"ahler-Einstein metrics on compact homogeneous spaces</strong>, Funct. Anal. Appl. 20 (3) (1986) 171--182. </p> <p>Y. Sakane: <strong>Homogeneous Einstein metrics on flag manifolds</strong>, Lobachevskii J. Math. (4) (1999) 71--87.</p> <p>M. Kimura: <strong>Homogeneous Einstein metrics on certain K\"ahler C-spaces</strong>, Adv. Stud. Pure Math. 18-I (1990) 303--320. </p> <p>M. Bordeman, M. Forger and H. R\"omer: <strong>Homogeneous K\"ahler manifolds: paving the way towards new supersymmetric sigma models</strong>, Comm. Math. Phys. 102 (1986) 604--647.</p> <p>A. Borel and F. Hirzebruch: <strong>Characteristics classes and homogeneous spaces I</strong>, Amer. J. Math. 80 (1958) 458--538.</p> <p>A. Arvanitoyeorgos and I. Chrysikos: <strong>Invariant Einstein metrics on generalized flag manifolds with two isotropy summands</strong>, J. Aust. Math. Soc. 90 (2) (2011) 237--251.</p> <p>A. Arvanitoyeorgos and I. Chrysikos: <strong>Invariant Einstein metrics on generalized flag manifolds with four isotropy summands</strong>, Ann. Glob. Anal. Geom. 37 (2) (2010) 185-219. </p> <p>M. Nishiyama: <strong>Classification of invariant complex structures on irreducible compact simply connected coset spaces</strong>, Osaka J. Math. 21 (1984) 39--58.</p>