Borel–Weil theorem

Borel–Weil theorem The Borel–Weil theorem is a foundational result in representation theory linking irreducible representations of compact Lie groups to holomorphic sections of line bundles on flag varieties, and it plays a central role in the interaction between geometry and algebra. The theorem provides an explicit geometric realization of finite-dimensional highest weight representations and connects algebraic geometry, complex analysis, and the theory of Lie groups.

Statement

The standard formulation of the Borel–Weil theorem asserts that for a connected compact Lie group such as SU(2), SU(n), SO(n), Sp(n), or a compact form of a complex semisimple group like SL(n, C), an irreducible representation with highest weight lambda is realized as the space of global holomorphic sections of a certain equivariant holomorphic line bundle over the corresponding flag variety, e.g. the full flag variety associated to Borel subalgebra choices such as the flag manifold G/B for groups like GL(n, C), E8, F4, G2, E7, E6. For dominant integral highest weights familiar from the work of Élie Cartan, Hermann Weyl, Évariste Galois (historical foundational context), and later formalized by Harish-Chandra, the theorem identifies H^0(G/B, L_lambda) with the irreducible representation V_lambda, while higher cohomology groups vanish under the conditions in the original statement, a perspective elaborated by subsequent contributors like Armand Borel and André Weil.

Background and Preliminaries

Understanding the theorem requires notions from the theory of Lie groups and Lie algebras developed by Sophus Lie, the structure theory of semisimple Lie algebras including Cartan subalgebras and root systems as studied by Wilhelm Killing, Élie Cartan, and Claude Chevalley, and the classification of representations via highest weights due to Hermann Weyl and Harish-Chandra. The geometric side uses the theory of complex projective varieties such as flag varieties introduced in work by Élie Cartan and studied in algebraic geometry by Alexander Grothendieck, Jean-Pierre Serre, Oscar Zariski, and André Weil; in particular one considers line bundles, Picard groups, and sheaf cohomology techniques influenced by Jean Leray and Henri Cartan (mathematician). The Borel subgroup and parabolic subgroups arise from studies by Armand Borel and Jacques Tits, while tools from homological algebra and sheaf theory originate with Samuel Eilenberg and Saunders Mac Lane. The interplay with complex analytic methods connects to Kähler manifold theory and work by Shoshichi Kobayashi, Shing-Tung Yau, and Kunihiko Kodaira.

Proofs and Constructions

Proofs of the theorem employ multiple approaches: the original algebraic-geometric construction by Armand Borel and André Weil using line bundles over flag varieties, expositions via representation-theoretic methods by Hermann Weyl and Harish-Chandra in the context of highest weight theory, analytic proofs using Dolbeault cohomology influenced by W. V. D. Hodge and Atiyah–Bott localization techniques from Michael Atiyah and Raoul Bott, and modern sheaf-theoretic and category-theoretic perspectives inspired by Alexander Beilinson and Joseph Bernstein. Key steps use the Borel fixed-point theorem from Armand Borel's work, the Kempf vanishing theorem linked to George Kempf, and Bott's theorem on the cohomology of homogeneous vector bundles by Raoul Bott. The proof strategies often combine the Weyl character formula, first established by Hermann Weyl, with geometric vanishing results and equivariant cohomology methods introduced by Bertram Kostant and Bertram Kostant's algebraic insights, leading to explicit identification of characters and dimensions consistent with results like the Weyl dimension formula and the Kostant partition function studied by Bertram Kostant and R. Bott.

Examples and Applications

Concrete examples include the realization of standard representations for classical groups: for SU(2) the theorem recovers the spin-j representations via sections on the projective line CP^1 (connected to Bernhard Riemann's work on Riemann spheres), for GL(n, C) and SL(n, C) one uses the full flag variety with connections to Schubert calculus developed by H. Schubert, André Weil's arithmetic influence, and to intersection theory advanced by William Fulton and Robert MacPherson. Applications extend to the representation theory of p-adic groups in work by I. M. Gelfand and Harish-Chandra, to geometric quantization as in Kirillov's orbit method and the quantization program of Jean-Marie Souriau, and to conformal field theory and string theory contexts influenced by Edward Witten, Graeme Segal, and Nicolai Reshetikhin. The theorem underpins computations in algebraic combinatorics such as Young tableaux studied by Alfonso Young and symmetric function theory of Issai Schur, and informs geometric representation theory developments associated with George Lusztig, Igor Frenkel, and Masaki Kashiwara.

Generalizations and Related Results

Generalizations include the Borel–Weil–Bott theorem (building on Raoul Bott) describing cohomology in nondominant cases, the Beilinson–Bernstein localization theorem by Alexander Beilinson and Joseph Bernstein linking D-modules on flag varieties to representations of enveloping algebras studied by Nathan Jacobson, and the work on geometric Langlands program initiated by Robert Langlands and expanded by Edward Frenkel. Other related developments are the Kempf vanishing theorem by George Kempf, the theory of quantization and moment maps due to Vladimir Guillemin and Shlomo Sternberg, and categorical enhancements such as derived category approaches explored by Pierre Deligne and Maxim Kontsevich. Further connections appear in the study of symmetric spaces by Élie Cartan and harmonic analysis on reductive groups by Harish-Chandra, and in modular representation theory and algebraic groups over finite fields as in the work of Claude Chevalley and Jean-Pierre Serre.

Category:Representation theory