4

5

Does every complex flag manifold have a natural K\"{a}hler structure? If so, what is it?

flag
Surely the question is only about complex flag manifolds. The real flag manifolds are not even hermitian. – José Figueroa-O'Farrill Nov 5 2010 at 23:42
Yes, of course. I've put this in the question. – Dyke Acland Nov 5 2010 at 23:46

3 Answers

2

Every flag manifold $M=G^{\mathbb{C}}/P=G/C(S)$ where $P$ is a parabolik subgroup and $C(S)=P\cap G$ is the centralizer of a torus $S\subset G$, admits a finite number of invariant Kahler structures. In particular the complex presentation $G^{\mathbb{C}}/P$ gives rise to an finite number of invariant complex structures (i.e. integrable almost complex structures commuting with the isotropy representation of $M$). Any such complex structure is determined by an invariant ordering $R_{M}^{+}$ on the set of complementary roots $R_{M}=R\backslash R_{K}$ of $M$ and explicitly is given by $$ J_{o}E_{\pm \alpha}=\pm i E_{\pm\alpha}, \quad a\in R_{M}^{+} $$ where $E_{\alpha}$ are root vectors with respect a Weyl basis of $\frak{g}^{\mathbb{C}}$.

On the other hand, the real presentation $G/C(S)$ makes $M$ a (homogeneous) Kahler manifold, as a (co)-adjoint orbit of an element $w\in\frak{g}$ in the Lie algebra $\frak{g}$ of the compact connected (semi)simple Lie group. Flag manifolds exhaust all compact homgeneous Kahler manifolds corresponding to a compact connected semi-simple Lie group.

To be more specific, $M$ admits a finite number of Kahler structures which are parametrized by the well-known $\frak{t}$-chambers (connected components of the set of regular elements of $\frak{t}$) where

$$ {\frak{t}} =( H\in{\frak{h}} : (H, \Pi_{0})=0 ) $$

is a real form of the center ${\frak{z}}$ of the isotropy subgroup $K=C(S)$.

Here $\frak{h}$ is the Cartan subalgebra corresponding to a maximal torus $T$ of $G$ which contains $S$, and $\Pi_{0}\subset\Pi$ is the subgroup of simple roots which define (the semi-simple part of) the complexification $\frak{k}^{\mathbb{C}}$ (note that $K=C(S)=P\cap G$ is areductive Lie group). We have

$$ {\frak{z}}^{\mathbb{C}}={\frak{t}}\oplus i {\frak{t}}, \ \ \ {\frak{k}}^{\mathbb{C}}={\frak{z}}^{\mathbb{C}}\oplus{\frak{k}}_{ss}^{\mathbb{C}} $$

where ${\frak{z}}^{\mathbb{C}}$ is the complexification of the center ${\frak{z}}$ and ${\frak{k}}_{ss}^{\mathbb{C}}$ is the semi-simple part of the reductive complex Lie subalgebra ${\frak{k}}^{\mathbb{C}}$

In particular, there exists a natural 1-1 corespondence between elements from ${\frak{t}}$ and closed invariant 2-forms on $M$. Symplectic 2-forms (non-degenerate) correspond to regular elements $t$ of ${\frak{t}}$.

Note that the corresponding symplectic form corresponding to a regular elemnt $t_{0}$ is the Kirillov-Kostant-Souriau 2-form in the (co)-adjoint orbit $Ad(G)t_{0}$, that is

$$ \omega_{t_{0}}(X, Y)=B(t_{0}, [X, Y]), \ \ X, Y\in T_{t_{0}}M. $$

For more details see: D. Alekseevsky: Flag manifolds (11. Yugoslav Geometrical seminar, Divcibare, 10-17 October 1993, 3-35. This article is a very good review on the geometry of flag manifolds.

link|flag
Great answer, thanks a lot! – Dyke Acland Mar 21 2012 at 20:41
8

Yes. Use Plucker embedding to embed it into $CP^n$ then restrict Fubini-Study metric.

link|flag
4 
More concretely, let $\lambda$ be a dominant weight of $G$, and $V_\lambda$ its corresponding irrep. Then the unique closed $G$-orbit on ${\mathbb P}V$ is a flag manifold $G/P$, now projectively embedded. (Which $P$ arises depends on which wall of the Weyl chamber $\lambda$ lies on.) – Allen Knutson Nov 6 2010 at 4:12
5

The question has already been answered by Bugs Bunny, but I thought I'd point out that there is a nice paper by H.-C. Wang from the 1950s that discusses the complex structure of homogeneous manifolds in some detail. One of the results proved there is that a compact, simply connected complex homogeneous manifold (such as a complex flag manifold) is Kähler if and only if it has nonzero (ordinary) Euler characteristic. That complex flag manifolds have nonzero Euler characteristics follows, for example, from the Bruhat decomposition.

link|flag

Your Answer

Get an OpenID
or

Not the answer you're looking for? Browse other questions tagged or ask your own question.