You are here
Home ›Borel-Bott-Weil theorem
Primary tabs
Borel-Bott-Weil theorem
Let be a semisimple Lie group, and be an integral weight for that group. naturally defines a one-dimensional representation of the Borel subgroup of , by simply pulling back the representation on the maximal torus where is the unipotent radical of . Since we can think of the projection map as a principle -bundle, to each , we get an associated fiber bundle on , which is obviously a line bundle. Identifying with its sheaf of holomorphic sections, we consider the sheaf cohomology groups . Realizing , the Lie algebra of , as vector fields on , we see that acts on the sections of over any open set, and so we get an action on cohomology groups. This integrates to an action of , which on is simply the obvious action of the group.
The Borel-Bott-Weil theorem states the following: if for any simple root of , then
for all , where is half the sum of all the positive roots. Otherwise, let , the Weyl group of , be the unique element such that is dominant (i.e. for all simple roots ). Then
where is the unique irreducible representation of highest weight , and for all other . In particular, if is already dominant, then , and the higher cohomology of vanishes.
If is dominant, than is generated by global sections, and thus determines a map
This map is an obvious one, which takes the coset of to the highest weight vector of . This can be extended by equivariance since fixes . This provides an alternate description of .
For example, consider . is , the Riemann sphere, and an integral weight is specified simply by an integer , and . The line bundle is simply , whose sections are the homogeneous polynomials of degree . This gives us in one stroke the representation theory of : is the standard representation, and is its th symmetric power. We even have a unified decription of the action of the Lie algebra, derived from its realization as vector fields on : if are the standard generators of , then
Mathematics Subject Classification
14M15 Grassmannians, Schubert varieties, flag manifolds- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)
- Other useful stuff
Recent Activity
new question: Linear Algebra Combination Problem! by unlord
new question: Computation of $\varphi(2000)$ by jeremyboden
new question: Computation of $\varphi(2000)$ by jeremyboden
May 21
new question: pure subgroups by lvoyster
new correction: Typo in M\"obius function? by Aleph Zero
new collection: analytic number theory by Aleph Zero
May 20
new question: Taylor's Series Query! by unlord
new question: Laplace transform by J
new question: Residue Calculus by J
May 19
new Education: Project: PlanetMath Outlines Series by unlord


