TheoremComplete

Borel-Weil-Bott Theorem

The Borel-Weil-Bott theorem provides a geometric realization of irreducible representations as cohomology of line bundles on flag varieties.

TheoremBorel-Weil Theorem

Let GG be a complex semisimple Lie group with Borel subgroup BB and maximal torus TBT \subset B. For a dominant integral weight λ\lambda, let Lλ\mathcal{L}_\lambda be the line bundle on G/BG/B associated to the character λ:BC\lambda: B \to \mathbb{C}^*.

Then: H0(G/B,Lλ)L(λ)H^0(G/B, \mathcal{L}_\lambda) \cong L(\lambda) is the irreducible representation with highest weight λ\lambda, and all higher cohomology vanishes: Hi(G/B,Lλ)=0H^i(G/B, \mathcal{L}_\lambda) = 0 for i>0i > 0.

This theorem realizes representations geometrically: sections of line bundles are representations, and geometric properties of G/BG/B translate to representation-theoretic properties.

TheoremBott's Extension (Borel-Weil-Bott)

For any weight λ\lambda (not necessarily dominant), define wλ=w(λ+ρ)ρw \cdot \lambda = w(\lambda + \rho) - \rho (the "dot" action of the Weyl group).

If wλw \cdot \lambda is dominant for some unique wWw \in W, then: H(w)(G/B,Lλ)L(wλ)H^{\ell(w)}(G/B, \mathcal{L}_\lambda) \cong L(w \cdot \lambda) where (w)\ell(w) is the length of ww in the Weyl group. All other cohomology groups vanish.

If wλw \cdot \lambda is on a wall (non-dominant for all ww), then all cohomology vanishes.

Example$SL_2$ and $\mathbb{P}^1$

For G=SL2(C)G = SL_2(\mathbb{C}), the flag variety is G/BP1G/B \cong \mathbb{P}^1.

Line bundles are O(n)\mathcal{O}(n) for nZn \in \mathbb{Z}:

  • n0n \geq 0 (dominant): H0(P1,O(n))=H^0(\mathbb{P}^1, \mathcal{O}(n)) = homogeneous polynomials of degree nn, dimension n+1n+1. This is L(n)L(n).
  • n=1n = -1: No cohomology
  • n2n \leq -2: H1(P1,O(n))L(n2)H^1(\mathbb{P}^1, \mathcal{O}(n)) \cong L(-n-2) (dimension n1-n-1)
TheoremGeometric Interpretation

Flag varieties: G/BG/B parametrizes Borel subalgebras (or maximal flags in Cn\mathbb{C}^n). For SLnSL_n, it's the variety of complete flags.

Line bundles: Lλ\mathcal{L}_\lambda corresponds to taking the λ\lambda-weight space of the flag. Sections are functions satisfying transformation laws.

Cohomology: Higher cohomology measures obstructions to extending sections. The vanishing (for dominant weights) reflects complete reducibility.

Remark

The Borel-Weil-Bott theorem is fundamental for:

  • Geometric representation theory: Representations via geometry (D-modules, perverse sheaves, geometric Langlands)
  • Localization: Atiyah-Bott localization computes characters via fixed points
  • Quantum cohomology: q-deformations and mirror symmetry
  • Categorification: Derived categories of coherent sheaves on flag varieties

This geometric perspective connects representation theory to:

  • Algebraic geometry (Schubert calculus, intersection theory)
  • Differential geometry (K-theory, index theory)
  • Mathematical physics (gauge theory, conformal field theory)