Bruhat-Zerlegung

Die Bruhat-Zerlegung ist eine fundamentale Methode aus der Theorie der algebraischen Gruppen. Sie verallgemeinert die aus dem Gaußschen Eliminationsverfahren bekannte Tatsache, dass jede Matrix als Produkt einer oberen und unteren Dreiecksmatrix zerlegt werden kann. Benannt ist die Methode nach François Bruhat.

Bruhat-Zerlegung

Es sei $G$ eine zusammenhängende reduktive algebraische Gruppe über einem algebraisch abgeschlossenen Körper $K$ , $B$ eine Borel-Untergruppe und $W$ die Weyl-Gruppe von $G$ .

Dann hat man eine als Bruhat-Zerlegung bezeichnete Zerlegung

G=BWB:=\coprod _{w\in W}BwB

von $G$ als disjunkte Vereinigung von Doppelnebenklassen von $B$ parametrisiert durch die Elemente der Weyl-Gruppe $W$ .

Projektive Geometrie

Die Doppelnebenklassen $B\backslash G/B$ entsprechen den Nebenklassen $G\backslash (G/B\times G/B)$ . Aus der Bruhat-Zerlegung folgt also, dass die Weyl-Gruppe die Paare von Elementen der Fahnenvarietät modulo der Wirkung von $G$ parametrisiert.

Im Fall der projektiven linearen Gruppe $PGL(n,K)$ ist $G/B$ die Fahnenmannigfaltigkeit und aus der Bruhat-Zerlegung folgt also, dass es modulo der Wirkung von $PGL(n,K)$ genau $n!$ Paare vollständiger Fahnen gibt.

Beispiel

Sei $G=PGL(2,\mathbb {C} )$ die projektive lineare Gruppe der komplexen $2\times 2$ -Matrizen. Dann besteht die Weyl-Gruppe aus zwei Elementen, die durch die Matrizen $E=\left({\begin{array}{cc}1&0\\0&1\end{array}}\right)$ und $w_{0}=\left({\begin{array}{cc}0&1\\1&0\end{array}}\right)$ repräsentiert werden. Jede $2\times 2$ -Matrix ist also ein Vielfaches einer Matrix, die entweder von der Form $LR$ oder von der Form $Lw_{0}R$ jeweils mit Dreiecksmatrizen $L,R$ ist. Wegen $G/B=P^{1}\mathbb {C} =\mathbb {C} ^{2}\setminus \left\{0\right\}/\mathbb {C} ^{*}$ ist dann jedes Paar $(\left[v\right],\left[w\right])\in P^{1}\mathbb {C} \times P^{1}\mathbb {C}$ entweder im $PGL(2,\mathbb {C} )$ -Orbit von $(\left[e_{1}\right],\left[e_{1}\right])$ oder von $(\left[e_{1}\right],\left[e_{2}\right])$ , wobei der erste Fall genau dann eintritt, wenn $w=\lambda v$ mit $\lambda \in \mathbb {C}$ ist.

Generische Matrizen

Generische Elemente in algebraischen Gruppen

Ein Element $g\in G$ heißt generisch, wenn seine Bruhat-Zerlegung von der Form

g=b_{1}w_{0}b_{2}

mit $b_{1},b_{2}\in B$ beliebig und $w_{0}$ dem längsten Element in der Weyl-Gruppe $W$ ist.

Generische Elemente in GL(n,C)

Eine (reelle oder komplexe) $n\times n$ -Matrix $A=(a_{ij})_{i,j=1,\ldots ,n}$ ist generisch, wenn für alle $k=1,\ldots ,n$ die Minoren $\det \left(A_{\left\{k,\ldots ,n\right\},\left\{1,\ldots ,n-k+1\right\}}\right)$ die Bedingung

\det \left(A_{\left\{k,\ldots ,n\right\},\left\{1,\ldots ,n-k+1\right\}}\right)\neq 0

erfüllen.

Normalform generischer Matrizen

Jede generische Matrix $A\in GL(n,\mathbb {C} )$ lässt sich auf eindeutige Weise als

A=xqy^{-1}

mit oberen Dreiecksmatrizen $x,y$ und einer Antidiagonalmatrix $q$ zerlegen. Die Einträge von $x,y$ und $q$ sind gegeben durch

q_{n,1}=a_{n,1}

q_{n-j+1,j}=(-1)^{j-1}{\frac {\det(A_{\left\{n-j+1,\ldots ,n\right\}\left\{1,\ldots ,j\right\}})}{\det(A_{\left\{n-j+2,\ldots ,n\right\}\left\{1\,\ldots ,j-1\right\}})}}

für

1<j\leq n

x_{ij}={\frac {\det A_{\left\{i,j+1,\ldots ,n\right\}\left\{1\,\ldots ,n-j+1\right\}})}{\det A_{\left\{j\,\ldots ,n\right\}\left\{1\,\ldots ,n-j+1\right\}})}}

für

j>i

y_{ij}=(-1)^{i+j}{\frac {\det(A_{\{n-j+2\,\ldots ,n\}\{1\,\ldots ,{\hat {i}},\ldots ,j\}})}{\det(A_{\left\{n-j+2\,\ldots ,n\right\}\left\{1\,\ldots ,j-1\right\}})}}

für

j>i

,

wobei die Hütchennotation ${\hat {i}}$ für das Streichen der $i$ -ten Zeile bzw. Spalte steht.

Literatur

Armand Borel. Linear Algebraic Groups (2nd ed.). New York: Springer-Verlag, 1991. ISBN 0-387-97370-2.
Nicolas Bourbaki, Lie Groups and Lie Algebras: Chapters 4-6 (Elements of Mathematics), Springer-Verlag, 2008. ISBN 3-540-42650-7

Weblinks

George Lusztig: Bruhat decomposition and applications (Überblick zu Geschichte und Anwendungen der Bruhat-Zerlegung)
Bruhat decomposition (nLab)

Einzelnachweise

↑ Kapitel 9 in: S. Garoufalidis, D. Thurston, C. Zickert, The complex volume of SL(n,C)-representations of 3-manifolds, Duke Math. J., Volume 164, Number 11 (2015), 2099–2160. online (ArXiv)

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Kapitel 9 in: S. Garoufalidis, D. Thurston, C. Zickert, The complex volume of SL(n,C)-representations of 3-manifolds, Duke Math. J., Volume 164, Number 11 (2015), 2099–2160. online (ArXiv)