Bruhat-Zerlegung
# 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.