Borel–Weil–Bott theorem

Example

For example, consider G = SL₂(C), for which G/B is the Riemann sphere, an integral weight is specified simply by an integer n, and ρ = 1. The line bundle L_n is ${\displaystyle \mathcal{O}(n)}$, whose sections are the homogeneous polynomials of degree n (i.e. the binary forms). As a representation of G, the sections can be written as Symⁿ(C²)*, and is canonically isomorphic to Symⁿ(C²).

This gives us at a stroke the representation theory of ${\displaystyle {\mathfrak{s}\mathfrak{l}}_2(\mathbf{C})}$: ${\displaystyle \mathrm{\Gamma }(\mathcal{O}(1))}$ is the standard representation, and ${\displaystyle \mathrm{\Gamma }(\mathcal{O}(n))}$ is its nth 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 ${\displaystyle {\mathfrak{s}\mathfrak{l}}_2(\mathbf{C})}$, then

${\displaystyle \begin{array}{cc}H& =x\frac{\mathrm{\partial }}{\mathrm{\partial }x}-y\frac{\mathrm{\partial }}{\mathrm{\partial }y},\\ X& =x\frac{\mathrm{\partial }}{\mathrm{\partial }y},\\ Y& =y\frac{\mathrm{\partial }}{\mathrm{\partial }x}.\end{array}}$

Positive characteristic

One also has a weaker form of this theorem in positive characteristic. Namely, let G be a semisimple algebraic group over an algebraically closed field of characteristic ${\displaystyle p>0}$. Then it remains true that ${\displaystyle H^i(G/B,L_{\lambda })=0}$ for all i if λ is a weight such that ${\displaystyle w\ast \lambda }$ is non-dominant for all ${\displaystyle w\in W}$ as long as λ is "close to zero". This is known as the Kempf vanishing theorem. However, the other statements of the theorem do not remain valid in this setting.

More explicitly, let λ be a dominant integral weight; then it is still true that ${\displaystyle H^i(G/B,L_{\lambda })=0}$ for all ${\displaystyle i>0}$, but it is no longer true that this G-module is simple in general, although it does contain the unique highest weight module of highest weight λ as a G-submodule. If λ is an arbitrary integral weight, it is in fact a large unsolved problem in representation theory to describe the cohomology modules ${\displaystyle H^i(G/B,L_{\lambda })}$ in general. Unlike over ${\displaystyle \mathbb{C}}$, Mumford gave an example showing that it need not be the case for a fixed λ that these modules are all zero except in a single degree i.

Borel–Weil theorem

The Borel–Weil theorem provides a concrete model for irreducible representations of compact Lie groups and irreducible holomorphic representations of complex semisimple Lie groups. These representations are realized in the spaces of global sections of holomorphic line bundles on the flag manifold of the group. The Borel–Weil–Bott theorem is its generalization to higher cohomology spaces. The theorem dates back to the early 1950s and can be found in Serre (1954) and Tits (1955).

Statement of the theorem

The theorem can be stated either for a complex semisimple Lie group G or for its compact form K. Let G be a connected complex semisimple Lie group, B a Borel subgroup of G, and X = G/B the flag variety. In this scenario, X is a complex manifold and a nonsingular algebraic G-variety. The flag variety can also be described as a compact homogeneous space K/T, where T = K ∩ B is a (compact) Cartan subgroup of K. An integral weight λ determines a G-equivariant holomorphic line bundle L_λ on X and the group G acts on its space of global sections,

${\displaystyle \mathrm{\Gamma }(G/B,L_{\lambda }).}$

The Borel–Weil theorem states that if λ is a dominant integral weight then this representation is a holomorphic irreducible highest weight representation of G with highest weight λ. Its restriction to K is an irreducible unitary representation of K with highest weight λ, and each irreducible unitary representation of K is obtained in this way for a unique value of λ. (A holomorphic representation of a complex Lie group is one for which the corresponding Lie algebra representation is complex linear.)

Concrete description

The weight λ gives rise to a character (one-dimensional representation) of the Borel subgroup B, which is denoted χ_λ. Holomorphic sections of the holomorphic line bundle L_λ over G/B may be described more concretely as holomorphic maps

${\displaystyle f:G\to {\mathbb{C}}_{\lambda }:f(gb)={\chi }_{\lambda }(b^{-1})f(g)}$

for all g ∈ G and b ∈ B.

The action of G on these sections is given by

${\displaystyle g\cdot f(h)=f(g^{-1}h)}$

for g, h ∈ G.

Example

Let G be the complex special linear group SL(2, C), with a Borel subgroup consisting of upper triangular matrices with determinant one. Integral weights for G may be identified with integers, with dominant weights corresponding to nonnegative integers, and the corresponding characters χ_n of B have the form

${\displaystyle {\chi }_n\left(\begin{array}{cc}a& b\\ 0& a^{-1}\end{array}\right)=a^n.}$

The flag variety G/B may be identified with the complex projective line CP¹ with homogeneous coordinates X, Y and the space of the global sections of the line bundle L_n is identified with the space of homogeneous polynomials of degree n on C². For n ≥ 0, this space has dimension n + 1 and forms an irreducible representation under the standard action of G on the polynomial algebra C[X, Y]. Weight vectors are given by monomials

${\displaystyle X^i{Y}^{n-i},0\le i\le n}$

of weights 2i − n, and the highest weight vector Xⁿ has weight n.