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 {\displaystyle V} ist eine Folge

( V 0 , V 1 , , V n ) {\displaystyle (V_{0},V_{1},\ldots ,V_{n})}

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

V 0 V 1 V n {\displaystyle V_{0}\subsetneq V_{1}\subsetneq \ldots \subsetneq V_{n}}

und so dass

dim V i = i {\displaystyle \dim V_{i}=i}

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

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

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

als Fahnenmannigfaltigkeit bezeichnet.

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

F l ( V ) G r ( 1 , n ) × G r ( 2 , n ) × × G r ( n , n ) {\displaystyle {\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 {\displaystyle G} eine halbeinfache Liegruppe und B G {\displaystyle B\subset G} eine Borel-Gruppe, d. h. eine minimale parabolische Untergruppe von G {\displaystyle G} . Dann heißt der homogene Raum G / B {\displaystyle G/B} verallgemeinerte Fahnenmannigfaltigkeit. Falls G {\displaystyle G} eine algebraische Gruppe ist, ist G / B {\displaystyle G/B} eine projektive Varietät.

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

Literatur

  • Charles Ehresmann: Sur la topologie de certains espaces homogènes. Ann. of Math. (2) 35 (1934), no. 2, 396–443.
  • Shiing-Shen Chern: On the characteristic classes of complex sphere bundles and algebraic varieties. Amer. J. Math. 75, (1953). 565–597.
  • Armand Borel: Cohomologie des espaces homogènes. Séminaire Bourbaki, Vol. 1, Exp. No. 45, 371–378, Soc. Math. France, Paris, 1995.
  • D. V. Alekseevsky: Flag manifolds. 11th Yugoslav Geometrical Seminar (Divčibare, 1996). Zb. Rad. Mat. Inst. Beograd. (N.S.) 6(14) (1997), 3–35. online (PDF; 1,2 MB)
  • Flag Manifold (MathWorld)
  • Flag Variety (nLab)
  • What are flag manifolds and why are they interesting? (Australian Mathematical Society Web Site - the Gazette)
  • Brion: Lectures on the geometry of flag varieties