- Source: Bruhat decomposition
In mathematics, the Bruhat decomposition (introduced by François Bruhat for classical groups and by Claude Chevalley in general)
G
=
B
W
B
{\displaystyle G=BWB}
of certain algebraic groups
G
=
B
W
B
{\displaystyle G=BWB}
into cells can be regarded as a general expression of the principle of Gauss–Jordan elimination, which generically writes a matrix as a product of an upper triangular and lower triangular matrices—but with exceptional cases. It is related to the Schubert cell decomposition of flag varieties: see Weyl group for this.
More generally, any group with a (B, N) pair has a Bruhat decomposition.
Definitions
G
{\displaystyle G}
is a connected, reductive algebraic group over an algebraically closed field.
B
{\displaystyle B}
is a Borel subgroup of
G
{\displaystyle G}
W
{\displaystyle W}
is a Weyl group of
G
{\displaystyle G}
corresponding to a maximal torus of
B
{\displaystyle B}
.
The Bruhat decomposition of
G
{\displaystyle G}
is the decomposition
G
=
B
W
B
=
⨆
w
∈
W
B
w
B
{\displaystyle G=BWB=\bigsqcup _{w\in W}BwB}
of
G
{\displaystyle G}
as a disjoint union of double cosets of
B
{\displaystyle B}
parameterized by the elements of the Weyl group
W
{\displaystyle W}
. (Note that although
W
{\displaystyle W}
is not in general a subgroup of
G
{\displaystyle G}
, the coset
w
B
{\displaystyle wB}
is still well defined because the maximal torus is contained in
B
{\displaystyle B}
.)
Examples
Let
G
{\displaystyle G}
be the general linear group GLn of invertible
n
×
n
{\displaystyle n\times n}
matrices with entries in some algebraically closed field, which is a reductive group. Then the Weyl group
W
{\displaystyle W}
is isomorphic to the symmetric group
S
n
{\displaystyle S_{n}}
on
n
{\displaystyle n}
letters, with permutation matrices as representatives. In this case, we can take
B
{\displaystyle B}
to be the subgroup of upper triangular invertible matrices, so Bruhat decomposition says that one can write any invertible matrix
A
{\displaystyle A}
as a product
U
1
P
U
2
{\displaystyle U_{1}PU_{2}}
where
U
1
{\displaystyle U_{1}}
and
U
2
{\displaystyle U_{2}}
are upper triangular, and
P
{\displaystyle P}
is a permutation matrix. Writing this as
P
=
U
1
−
1
A
U
2
−
1
{\displaystyle P=U_{1}^{-1}AU_{2}^{-1}}
, this says that any invertible matrix can be transformed into a permutation matrix via a series of row and column operations, where we are only allowed to add row
i
{\displaystyle i}
(resp. column
i
{\displaystyle i}
) to row
j
{\displaystyle j}
(resp. column
j
{\displaystyle j}
) if
i
>
j
{\displaystyle i>j}
(resp.
i
<
j
{\displaystyle i
). The row operations correspond to
U
1
−
1
{\displaystyle U_{1}^{-1}}
, and the column operations correspond to
U
2
−
1
{\displaystyle U_{2}^{-1}}
.
The special linear group SLn of invertible
n
×
n
{\displaystyle n\times n}
matrices with determinant
1
{\displaystyle 1}
is a semisimple group, and hence reductive. In this case,
W
{\displaystyle W}
is still isomorphic to the symmetric group
S
n
{\displaystyle S_{n}}
. However, the determinant of a permutation matrix is the sign of the permutation, so to represent an odd permutation in SLn, we can take one of the nonzero elements to be
−
1
{\displaystyle -1}
instead of
1
{\displaystyle 1}
. Here
B
{\displaystyle B}
is the subgroup of upper triangular matrices with determinant
1
{\displaystyle 1}
, so the interpretation of Bruhat decomposition in this case is similar to the case of GLn.
Geometry
The cells in the Bruhat decomposition correspond to the Schubert cell decomposition of flag varieties. The dimension of the cells corresponds to the length of the word
w
{\displaystyle w}
in the Weyl group. Poincaré duality constrains the topology of the cell decomposition, and thus the algebra of the Weyl group; for instance, the top dimensional cell is unique (it represents the fundamental class), and corresponds to the longest element of a Coxeter group.
Computations
The number of cells in a given dimension of the Bruhat decomposition are the coefficients of the
q
{\displaystyle q}
-polynomial of the associated Dynkin diagram.
Double Bruhat cells
With two opposite Borel subgroups, one may intersect the Bruhat cells for each of them, giving a further decomposition
G
=
⨆
w
1
,
w
2
∈
W
(
B
w
1
B
∩
B
−
w
2
B
−
)
.
{\displaystyle G=\bigsqcup _{w_{1},w_{2}\in W}(Bw_{1}B\cap B_{-}w_{2}B_{-}).}
See also
Lie group decompositions
Birkhoff factorization, a special case of the Bruhat decomposition for affine groups.
Cluster algebra
Notes
References
Borel, Armand. Linear Algebraic Groups (2nd ed.). New York: Springer-Verlag, 1991. ISBN 0-387-97370-2.
Bourbaki, Nicolas, Lie Groups and Lie Algebras: Chapters 4–6 (Elements of Mathematics), Springer-Verlag, 2008. ISBN 3-540-42650-7
Kata Kunci Pencarian:
- Bruhat decomposition
- Lie group decomposition
- (B, N) pair
- LU decomposition
- Weyl group
- Complexification (Lie group)
- Quadric (algebraic geometry)
- Building (mathematics)
- François Bruhat
- Bruhat order