Borel-Bott-Weil theorem
|
|
In mathematics, the Borel-Bott-Weil theorem is a basic result in the representation theory of Lie groups, showing how a family of representations can be obtained from holomorphic sections of certain complex vector bundles, and, more generally, from higher sheaf cohomology groups associated to such bundles. It built on an earlier theorem of Armand Borel and Andre Weil, dealing just with the section case, the extension being provided by Raoul Bott.
Let G be a semisimple Lie group, and λ be an integral weight for that group; λ defines in a natural way a one-dimensional representation Cλ of the Borel subgroup B of G, by pulling back the representation on the maximal torus T = B/U, where U is the unipotent radical of B. Since we can think of the projection map G → G/B as a principal B-bundle, for each Cλ we get an associated fiber bundle Lλ on G/B, which is obviously a line bundle. Identifying Lλ with its sheaf of holomorphic sections, we consider the sheaf cohomology groups Hi(Lλ). Realizing g, the Lie algebra of G, as vector fields on G/B, we see that g acts on the sections of over any open set, and so we get an action on cohomology groups. This integrates to an action of G, which on H0(Lλ)is simply the evident action of the group.
The Borel-Bott-Weil theorem states the following: if
- (λ + ρ,α) = 0
for any simple root α of g, then
- Hi(Lλ) = 0 for all i
where ρ is half the sum of all the positive roots. Otherwise, let w in W, the Weyl group of g, be the unique element such that
- w:(λ + ρ)
is dominant, i.e.
- (w:(λ + ρ), α) > > 0
for all simple roots α. Then
- Hl(w)(Lλ)
is equivalent to Vλ,the unique irreducible representation of highest weight λ, and
- Hi(Lλ) = 0
for all other i. In particular, if λ is already dominant, then
- Γ(Lλ) is equivalent to Vλ,
and the higher cohomology of Lλ vanishes.
If λ is dominant, then Lλ is generated by global sections, and thus determines a map
- G/B → P(Γ(Lλ).
This map is the obvious one, which takes the coset B to the highest weight vector v0. It can be extended by equivariance since B fixes v0. This provides an alternate description of Lλ.
For example, consider G = SL2(C), for which G/B is the Riemann sphere, an integral weight is specified simply by an integer n, and ρ = 1. The line bundle Ln is O(n), with sections are the homogeneous polynomials of degree n (i.e. the binary forms). This gives us at a stroke the representation theory of g: Γ(O(1)) is the standard representation, and Γ(O(n)) is its n-th symmetric power. We even have a unified description of the action of the Lie algebra, derived from its realization as vector fields on the Riemann sphere: if H, X, Y are the standard generators of sl2(C), then we can write
- <math>H = x\frac{d}{dx}-y\frac{d}{dy}<math>
- <math>X = x\frac{d}{dy}<math>
- <math>Y = y\frac{d}{dx}.<math>