## Semi-Simple Kahler Groups?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

We say that a Kahler manifold is a Kahler group if it is also a Lie group. I would like to know which semi-simple Lie groups are also Kahler groups?

-

I was about to reply, but then I saw that you meant something quite different than what I thought. Kahler group usually means fundamental group of a compact Kahler manifold. But anyway, for the question you asked, do you want the metric to be invariant under the group action? – Donu Arapura Jul 22 2011 at 20:37
Yes, it should be invariant.  – Jean Delinez Jul 24 2011 at 14:15

## 2 Answers

Semisimple Lie groups admit bi-invariant metrics (although not necessarily positive-definite) and it is not hard to show that if a Lie group admits a bi-invariant metric and also a left-invariant Kähler structure, then the group is abelian, contradicting the assumption that it was semisimple. Hence no semisimple Lie group admits a left-invariant Kähler structure.

In the case where the Kähler structure is not left-invariant, the two structures do not talk to each other and hence you are asking whether a manifold which admits the structure of a semisimple Lie group could also admit a Kähler structure. The identity component of such a manifold is (rationally) homotopy equivalent to a product of odd spheres (of dimension at least 3), so $H^2$ vanishes and thus, if compact, they again cannot admit a Kähler structure.

I'm not sure about the noncompact case, though; but it looks unlikely to me at this time.

-

1
In fact, it is enough for the group to be unimodular in order to deduce that if it has a left-invariant Kähler structure it is abelian. This is proved in a paper by Lichnerowicz and Medina (springerlink.com/content/p7p8gl6h5163j465) – José Figueroa-O'Farrill Jul 22 2011 at 22:54

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

See http://eom.springer.de/h/h047640.htm and references therein.

-

How does this answer the question? – José Figueroa-O'Farrill Jul 22 2011 at 22:32
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9135028719902039, "perplexity_flag": "head"}