Borel subgroup

Borel subgroup
Jgmoxness · CC BY-SA 3.0 · source
Name	Borel subgroup
Field	Algebraic group theory
Introduced	1898
Introduced by	Émile Borel
Related	Chevalley group; Weyl group; Cartan subgroup; Tits system; Bruhat decomposition; Parabolic subgroup

Borel subgroup

A Borel subgroup is a maximal connected solvable subgroup of a linear algebraic group, fundamental in the structure theory of algebraic groups and in the classification of Lie groups, algebraic groups, and arithmetic groups. It appears centrally in the work of Émile Borel, in the development of Claude Chevalley's theory of algebraic groups, and in the formulation of the Bruhat decomposition and Borel–Tits theorem. Borel subgroups interact with Cartan subgroups, Weyl groups, and Tits buildings, and they underpin the geometry of flag varieties studied by Alexander Grothendieck, Jean-Pierre Serre, and Armand Borel.

Definition and basic properties

Over an algebraically closed field, a Borel subgroup is defined as a maximal connected solvable algebraic subgroup of a linear algebraic group G, a notion formalized by Armand Borel and Jacques Tits. Key properties include conjugacy: any two Borel subgroups of a connected linear algebraic group are conjugate by an element of G, a result proved by Borel and appearing in treatments by Robert Steinberg and T. A. Springer. A Borel subgroup contains a maximal torus (also called a Cartan subgroup in certain contexts) and its unipotent radical, yielding a semidirect product decomposition closely related to the Levi decomposition studied by Claude Chevalley and Jean Dieudonné. The normalizer of a maximal torus intersects Borel subgroups to produce representatives for the Weyl group, a construction central to Hermann Weyl's work and to the classification of root systems by Élie Cartan and Nathan Jacobson.

Borel subgroups determine a unique open dense orbit in the flag variety G/B, a homogeneous projective variety examined by Alexander Grothendieck in the context of schemes and by George Kempf and Robert MacPherson in intersection theory. The Lie algebra of a Borel subgroup is a Borel subalgebra in the classification of complex semisimple Lie algebras by Élie Cartan and H. Weyl, and the choice of Borel corresponds to a choice of positive roots in the root system associated to G, a perspective developed by Victor Kac and Robert Steinberg.

Examples and classification

For G = GL_n over an algebraically closed field, the subgroup of invertible upper triangular matrices is a prototypical Borel subgroup; analogous examples occur in SL_n, Sp_{2n}, and SO_n as stabilizers of full flags. In classical groups studied by Wilhelm Killing and Élie Cartan, Borels correspond to flag stabilizers appearing in the work of Hermann Weyl on representations. In exceptional groups such as G2, F4, E6, E7, and E8, Borel subgroups are obtained by choosing positive systems in the root datum classified by Élie Cartan and tabulated in the work of Robert Steinberg and George Lusztig.

The classification of Borel subgroups reduces to combinatorics of root systems and Dynkin diagrams introduced by Élie Cartan and Nathan Jacobson, with conjugacy classes corresponding to Weyl group actions described by Claude Chevalley and Jean-Pierre Serre. Over algebraically closed fields, every Borel subgroup contains a unique maximal torus up to conjugacy, and the unipotent radical is a connected, nilpotent subgroup whose structure reflects the positive roots, a viewpoint exploited in the representation-theoretic constructions of I. N. Bernstein, Bernstein–Gelfand–Gelfand, and George Lusztig.

Borel subgroups in algebraic groups over nonclosed fields

When the base field is not algebraically closed, as in the study of groups over Q, R, local fields like Q_p, or finite fields F_q, Borel subgroups may fail to exist or to be conjugate under rational points. The work of Armand Borel and Jacques Tits on reductive groups over nonclosed fields and the Borel–Tits theorem clarifies existence and conjugacy of minimal parabolic subgroups (often called minimal parabolics or rational Borels) in arithmetic contexts such as adelic groups and S-arithmetic groups studied by Gopal Prasad and A. Borel. In the theory of p-adic groups developed by Harish-Chandra and Jacquet–Langlands, analogues of Borel subgroups govern Iwahori subgroups, Hecke algebras, and the building of Jacques Tits. For groups over finite fields F_q, the fixed points of a Borel under Frobenius yield Borel subgroups of finite groups of Lie type, central to the classification of finite simple groups by Richard Brauer and Daniel Gorenstein.

Relationship with parabolic subgroups and flag varieties

Every Borel subgroup is a minimal parabolic subgroup; conversely, parabolic subgroups contain Borels, and their conjugacy classes correspond to subsets of the Dynkin diagram, a correspondence clarified by Claude Chevalley and Alf A. Borel. The quotient G/P for a parabolic P is a projective variety known as a partial flag variety, while G/B is the full flag variety; these spaces were extensively studied by Alexander Grothendieck, Jean-Pierre Serre, and Armand Borel in the context of algebraic geometry and cohomology. The Bruhat decomposition expresses G as a disjoint union of double cosets BwB indexed by the Weyl group element w, a structure used by François Bruhat and Harish-Chandra in harmonic analysis. Schubert varieties inside G/B, defined by closures of Bruhat cells, feature in intersection theory and representation theory explored by William Fulton and Lascoux.

Applications in representation theory and algebraic geometry

Borel subgroups underpin highest-weight theory for representations of complex semisimple Lie algebras and algebraic groups, developed by Hermann Weyl, I. M. Gelfand, Israel Gelfand, Ernest Vinberg, and Bertram Kostant. Induced representations from characters of a Borel (principal series) play a central role in the harmonic analysis of reductive groups, as in the work of Harish-Chandra, Jacquet, and Langlands. In algebraic geometry, line bundles on G/B realize irreducible representations via the Borel–Weil theorem and its extension by André Weil and Armand Borel, with cohomology computed by the Bott–Borel–Weil theorem attributed to Raoul Bott and Armand Borel. Modern developments connect Borel subgroups to geometric representation theory through perverse sheaves, intersection cohomology, and the Springer correspondence investigated by T. A. Springer, George Lusztig, and Masaki Kashiwara.

Category: Algebraic groups