Borel–Weil–Bott theorem

Template:Short description In mathematics, the Borel–Weil–Bott 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 is built on the earlier Borel–Weil theorem of Armand Borel and André Weil, dealing just with the space of sections (the zeroth cohomology group), the extension to higher cohomology groups being provided by Raoul Bott. One can equivalently, through Serre's GAGA, view this as a result in complex algebraic geometry in the Zariski topology.

FormulationEdit

Let Template:Mvar be a semisimple Lie group or algebraic group over <math>\mathbb C</math>, and fix a maximal torus Template:Mvar along with a Borel subgroup Template:Mvar which contains Template:Mvar. Let Template:Mvar be an integral weight of Template:Mvar; Template:Mvar defines in a natural way a one-dimensional representation Template:Math of Template:Mvar, by pulling back the representation on Template:Math, where Template:Mvar is the unipotent radical of Template:Mvar. Since we can think of the projection map Template:Math as a [[Principal bundle|principal Template:Mvar-bundle]], for each Template:Math we get an associated fiber bundle Template:Math on Template:Math (note the sign), which is obviously a line bundle. Identifying Template:Math with its sheaf of holomorphic sections, we consider the sheaf cohomology groups <math>H^i( G/B, \, L_\lambda )</math>. Since Template:Mvar acts on the total space of the bundle <math>L_\lambda</math> by bundle automorphisms, this action naturally gives a Template:Mvar-module structure on these groups; and the Borel–Weil–Bott theorem gives an explicit description of these groups as Template:Mvar-modules.

We first need to describe the Weyl group action centered at <math> - \rho </math>. For any integral weight Template:Mvar and Template:Mvar in the Weyl group Template:Mvar, we set <math>w*\lambda := w( \lambda + \rho ) - \rho \,</math>, where Template:Mvar denotes the half-sum of positive roots of Template:Mvar. It is straightforward to check that this defines a group action, although this action is not linear, unlike the usual Weyl group action. Also, a weight Template:Mvar is said to be dominant if <math>\mu( \alpha^\vee ) \geq 0</math> for all simple roots Template:Mvar. Let Template:Mvar denote the length function on Template:Mvar.

Given an integral weight Template:Mvar, one of two cases occur:

There is no <math>w \in W</math> such that <math>w*\lambda</math> is dominant, equivalently, there exists a nonidentity <math>w \in W</math> such that <math>w * \lambda = \lambda</math>; or
There is a unique <math>w \in W</math> such that <math>w * \lambda</math> is dominant.

The theorem states that in the first case, we have

<math>H^i( G/B, \, L_\lambda ) = 0</math> for all Template:Mvar;

and in the second case, we have

<math>H^i( G/B, \, L_\lambda ) = 0</math> for all <math>i \neq \ell(w)</math>, while

<math>H^{ \ell(w) }( G/B, \, L_\lambda )</math> is the dual of the irreducible highest-weight representation of Template:Mvar with highest weight <math> w * \lambda</math>.

Case (1) above occurs if and only if <math>(\lambda+\rho)( \beta^\vee ) = 0</math> for some positive root Template:Mvar. Also, we obtain the classical Borel–Weil theorem as a special case of this theorem by taking Template:Mvar to be dominant and Template:Mvar to be the identity element <math>e \in W</math>.

ExampleEdit

For example, consider Template:Math, for which Template:Math is the Riemann sphere, an integral weight is specified simply by an integer Template:Mvar, and Template:Math. The line bundle Template:Math is <math>{\mathcal O}(n)</math>, whose sections are the homogeneous polynomials of degree Template:Mvar (i.e. the binary forms). As a representation of Template:Mvar, the sections can be written as Template:Math, and is canonically isomorphic to Template:Math.

This gives us at a stroke the representation theory of <math>\mathfrak{sl}_2(\mathbf{C})</math>: <math>\Gamma({\mathcal O}(1))</math> is the standard representation, and <math>\Gamma({\mathcal O}(n))</math> is its Template:Mvarth 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 Template:Mvar, Template:Mvar, Template:Mvar are the standard generators of <math>\mathfrak{sl}_2(\mathbf{C})</math>, then

<math>

\begin{align} H & = x\frac{\partial}{\partial x}-y\frac{\partial}{\partial y}, \\[5pt] X & = x\frac{\partial}{\partial y}, \\[5pt] Y & = y\frac{\partial}{\partial x}. \end{align} </math>

Template:Further information

Positive characteristicEdit

One also has a weaker form of this theorem in positive characteristic. Namely, let Template:Mvar be a semisimple algebraic group over an algebraically closed field of characteristic <math>p > 0</math>. Then it remains true that <math>H^i( G/B, \, L_\lambda ) = 0</math> for all Template:Mvar if Template:Mvar is a weight such that <math>w*\lambda</math> is non-dominant for all <math>w \in W</math> as long as Template:Mvar is "close to zero".<ref name="Jantzen">Template:Cite book</ref> 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 Template:Mvar be a dominant integral weight; then it is still true that <math>H^i( G/B, \, L_\lambda ) = 0</math> for all <math>i > 0</math>, but it is no longer true that this Template:Mvar-module is simple in general, although it does contain the unique highest weight module of highest weight Template:Mvar as a Template:Mvar-submodule. If Template:Mvar is an arbitrary integral weight, it is in fact a large unsolved problem in representation theory to describe the cohomology modules <math>H^i( G/B, \, L_\lambda )</math> in general. Unlike over <math>\mathbb{C}</math>, Mumford gave an example showing that it need not be the case for a fixed Template:Mvar that these modules are all zero except in a single degree Template:Mvar.

Borel–Weil theoremEdit

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 Template:Harvtxt and Template:Harvtxt.

Statement of the theoremEdit

The theorem can be stated either for a complex semisimple Lie group Template:Math or for its compact form Template:Math. Let Template:Math be a connected complex semisimple Lie group, Template:Math a Borel subgroup of Template:Math, and Template:Math the flag variety. In this scenario, Template:Math is a complex manifold and a nonsingular algebraic Template:Nowrap. The flag variety can also be described as a compact homogeneous space Template:Math, where Template:Math is a (compact) Cartan subgroup of Template:Math. An integral weight Template:Math determines a Template:Nowrap holomorphic line bundle Template:Math on Template:Math and the group Template:Math acts on its space of global sections,

<math>\Gamma(G/B,L_\lambda).\ </math>

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

Concrete descriptionEdit

The weight Template:Math gives rise to a character (one-dimensional representation) of the Borel subgroup Template:Math, which is denoted Template:Math. Holomorphic sections of the holomorphic line bundle Template:Math over Template:Math may be described more concretely as holomorphic maps

<math> f: G\to \mathbb{C}_{\lambda}: f(gb)=\chi_{\lambda}(b^{-1})f(g)</math>

for all Template:Math and Template:Math.

The action of Template:Math on these sections is given by

for Template:Math.

ExampleEdit

Let Template:Math be the complex special linear group Template:Math, with a Borel subgroup consisting of upper triangular matrices with determinant one. Integral weights for Template:Math may be identified with integers, with dominant weights corresponding to nonnegative integers, and the corresponding characters Template:Math of Template:Math have the form

<math> \chi_n

\begin{pmatrix} a & b\\ 0 & a^{-1} \end{pmatrix}=a^n. </math>

The flag variety Template:Math may be identified with the complex projective line Template:Math with homogeneous coordinates Template:Math and the space of the global sections of the line bundle Template:Math is identified with the space of homogeneous polynomials of degree Template:Math on Template:Math. For Template:Math, this space has dimension Template:Math and forms an irreducible representation under the standard action of Template:Math on the polynomial algebra Template:Math. Weight vectors are given by monomials

of weights Template:Math, and the highest weight vector Template:Math has weight Template:Math.

NotesEdit

ReferencesEdit

Template:Fulton-Harris.
Template:Citation. (reprinted by Dover)
Template:Springer
A Proof of the Borel–Weil–Bott Theorem, by Jacob Lurie. Retrieved on Jul. 13, 2014.
Template:Citation.
Template:Citation.
Template:Citation.
Template:Citation. Reprint of the 1986 original.

Borel–Weil–Bott theorem

Contents

FormulationEdit

ExampleEdit

Positive characteristicEdit

Borel–Weil theoremEdit

Statement of the theoremEdit

Concrete descriptionEdit

ExampleEdit

See alsoEdit

NotesEdit

ReferencesEdit

Further readingEdit