Fahnenmannigfaltigkeit
# Fahnenmannigfaltigkeit

In der Mathematik ist eine Fahnenmannigfaltigkeit der Raum der vollständigen Fahnen in einem Vektorraum oder allgemeiner der Quotient einer halbeinfachen algebraischen Gruppe nach einer borelschen Untergruppe. Fahnenmannigfaltigkeiten sind projektive Varietäten.

## Fahnenmannigfaltigkeit eines Vektorraums

Eine vollständige Fahne in einem endlichdimensionalen (reellen oder komplexen) Vektorraum $V$ ist eine Folge

    $(V_{0},V_{1},\ldots ,V_{n})$

von Untervektorräumen von $V$ mit $V_{0}=0$ und $V_{n}=V$, so dass jeder Unterraum im nachfolgenden echt enthalten ist, d. h.

    $V_{0}\subsetneq V_{1}\subsetneq \ldots \subsetneq V_{n}$

und so dass

    $\dim V_{i}=i$

für $i=0,\ldots ,n$ gilt, insbesondere also $n=\dim(V)$.

Die allgemeine lineare Gruppe $\operatorname {GL} (V)$ wirkt transitiv auf der Menge aller vollständigen Fahnen, die Stabilisatoren einer Fahne sind konjugiert zur Gruppe $B$ der invertierbaren oberen Dreiecksmatrizen. Es gibt also eine Bijektion zwischen $\operatorname {GL} (V)/B$ und der Menge aller vollständigen Fahnen. Deshalb wird

    ${\mathcal {F}}l(V):=\operatorname {GL} (V)/B$

als Fahnenmannigfaltigkeit bezeichnet.

Die kanonische Einbettung in das Produkt von Graßmann-Mannigfaltigkeiten

    ${\mathcal {F}}l(V)\subset Gr(1,n)\times Gr(2,n)\times \ldots \times Gr(n,n)$

macht die Fahnenmannigfaltigkeit zu einer differenzierbaren Mannigfaltigkeit und (vermittels der Plücker-Einbettung der Graßmann-Mannigfaltigkeiten) zu einer projektiven Varietät.

## Verallgemeinerte Fahnenmannigfaltigkeiten

Es sei $G$ eine halbeinfache Liegruppe und $B\subset G$ eine Borel-Gruppe, d. h. eine minimale parabolische Untergruppe von $G$. Dann heißt der homogene Raum $G/B$ verallgemeinerte Fahnenmannigfaltigkeit. Falls $G$ eine algebraische Gruppe ist, ist $G/B$ eine projektive Varietät.

Die obigen Beispiele der Fahnenmannigfaltigkeiten eines Vektorraums erhält man für $G=\operatorname {GL} (n,\mathbb {R} )$ oder $G=\operatorname {GL} (n,\mathbb {C} )$ und $B$ die Untergruppe der invertierbaren oberen Dreiecksmatrizen.

