Borel–Weil

Borel–Weil
Name	Borel–Weil
Subject	Representation theory
Contributors	Élie Cartan; Armand Borel; André Weil
Field	Lie groups; algebraic geometry
Introduced	1950s; 1954
Related	Bott theorem; Weyl character formula; Borel–Bott–Weil

Borel–Weil The Borel–Weil theorem is a foundational result linking representation theory of compact Lie groups and complex algebraic geometry via holomorphic sections of line bundles on flag varieties. It provides a geometric construction of irreducible finite-dimensional representations of groups such as SU(2), SU(n), SO(n), Sp(n), E8, and other compact forms, tying together ideas from Élie Cartan, Hermann Weyl, Armand Borel, André Weil, and later contributors like Raoul Bott and Bertram Kostant.

Introduction

The theorem arises in the interplay of geometric objects like flag varieties associated to complex semisimple Lie groups such as SL(n, C), GL(n, C), SO(2n, C), Sp(2n, C), and exceptional groups like G2, F4, E6, E7, with representation-theoretic constructions by figures including Weyl, Cartan, Borel, and Weil. It builds on the structure theory of Borel subgroups and maximal tori studied by Claude Chevalley and Hermann Weyl and uses line bundles classified by weights associated to lattices considered by Élie Cartan and Armand Borel. Connections to the Weyl character formula relate this theorem to work by Harish-Chandra, George Mackey, I. M. Gelfand, and later developments in geometric representation theory by Alexander Beilinson and Joseph Bernstein.

Statement of the Borel–Weil Theorem

Let G be a connected complex semisimple Lie group such as SL(n, C), with a Borel subgroup B and flag variety G/B studied by Élie Cartan and Armand Borel. For a dominant integral weight λ in the weight lattice used by Hermann Weyl and Claude Chevalley, one associates a G-equivariant holomorphic line bundle L_λ on G/B via characters of B, an idea connected to work of André Weil on line bundles and Jean-Pierre Serre on coherent sheaves. The Borel–Weil statement asserts that the global holomorphic sections H^0(G/B, L_λ) furnish an irreducible highest-weight representation of the compact form of G corresponding to λ, recovering Weyl’s representations studied by Hermann Weyl and implemented in contexts such as Peter–Weyl theorem analyses by H. Weyl. When λ is not dominant, H^0 vanishes, aligning with weight-theoretic results of Élie Cartan and character computations of Harish-Chandra.

Proof Sketch and Methods

Proofs exploit the geometric realization of homogeneous spaces G/B analyzed by Élie Cartan and Armand Borel and the algebraic machinery developed by Jean-Pierre Serre and Alexander Grothendieck. One approach uses the Borel fixed-point theorem and the equivariant structure of L_λ, invoking the Weyl character formula proven by Hermann Weyl to identify weights and multiplicities, with techniques paralleling those of Harish-Chandra and George Mackey in harmonic analysis on groups. Analytic proofs use the Dolbeault cohomology and Hodge theory traditions stemming from Kunihiko Kodaira and Donald Spencer, while topological arguments incorporate the Morse theory insights of Raoul Bott and the index-theoretic perspectives of Atiyah–Bott and Michael Atiyah. Algebraic proofs draw on methods from Alexander Grothendieck’s scheme theory and line bundle cohomology developed by Jean-Pierre Serre and Grothendieck’s school, later refined by Bertram Kostant in his Lie algebra cohomology approach.

Examples and Applications

Classic examples include representations of SU(2) realized on H^0 of O(k) on the projective line P^1 studied by Bernard Riemann and Hermann Weyl. For SL(n, C), the theorem constructs highest-weight modules corresponding to Young diagram combinatorics used by Frobenius and Issai Schur for symmetric group representations, with applications to Schur–Weyl duality examined by Richard Brauer and Hermann Weyl. In mathematical physics, Borel–Weil underpins geometric quantization approaches connected to Berezin and Simon Donaldson in gauge theory contexts influenced by Michael Atiyah and Edward Witten, and it informs the representation-theoretic side of the Langlands program pursued by Robert Langlands and geometric perspectives advanced by Edward Frenkel. Applications appear in the theory of automorphic forms related to work by Harish-Chandra and James Arthur, in moduli problems like those studied by David Mumford and Shigefumi Mori, and in modern categorical representation theory explored by Alexander Beilinson and Joseph Bernstein.

Generalizations and Related Results

Generalizations include the Borel–Bott–Weil theorem proved with contributions from Raoul Bott and elaborated by Bertram Kostant, which computes higher cohomology groups H^i(G/B, L_λ) and connects to the Weyl group actions studied by Weyl and Élie Cartan. The theory extends to partial flag varieties G/P associated to parabolic subgroups analyzed by Armand Borel and Élie Cartan, and to Kac–Moody settings advanced by Victor Kac and Robert Moody. Links to the Beilinson–Bernstein localization theorem developed by Alexander Beilinson and Joseph Bernstein relate D-module techniques to representation categories examined by Bertram Kostant and Henri Cartan. Further relations appear with geometric Satake equivalence studied by Vladimir Drinfeld and Ivan Mirković and with categorical geometric representation programs of George Lusztig and Maxim Kontsevich.

Historical Context and Development

The result emerged mid-20th century amid efforts by Élie Cartan and Hermann Weyl to classify representations of Lie groups, with algebraic and geometric foundations provided by Claude Chevalley and Armand Borel. The explicit geometric construction is attributed to works by Armand Borel and André Weil, with refinements and extensions by Raoul Bott, Bertram Kostant, and the school of Alexander Grothendieck. Subsequent interplay with index theory and topology involved Michael Atiyah and Raoul Bott, while modern categorical and geometric formulations were developed by Alexander Beilinson, Joseph Bernstein, Vladimir Drinfeld, and others, situating the theorem at the nexus of 20th and 21st century developments in representation theory and algebraic geometry pioneered by figures like David Mumford and Robert Langlands.

Category:Representation theory