Borel–Weil–Bott theorem¶

A theorem realizing irreducible representations of compact or complex semisimple Lie groups as the unique nonzero cohomology of suitable line bundles on flag varieties.

Version: v2 · 2026-09-19 · History
Domain-specific #: 3517
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Representation Theory and Algebraic Geometry → Mathematics

Core Idea¶

The theorem extends Borel–Weil beyond dominant weights: after the Weyl-group shifted action, a regular weight contributes in one cohomological degree, while singular weights give vanishing cohomology. A weight defines an equivariant line bundle on the flag variety; Weyl reflection moves the shifted weight to a dominant chamber and its length selects the cohomology degree carrying the representation. The abstraction is therefore identified by a declared carrier, a transformation or constraint over that carrier, and an invariant that tells an analyst whether the named structure is genuinely present.

How would you explain it like I'm…

No faithful explanation at this level. All three generators agree that a child-level story collapses into 'every label builds a symmetry pattern', the plain Borel-Weil picture, erasing the cohomological degree shift and the vanishing for singular weights that are the theorem's content.

Reflect Until It's Nice

Mathematicians study patterns of symmetry, called representations, and one way to build them is from a special shape called a flag variety. Each 'weight' — a kind of label — gives a recipe on that shape. The older Borel–Weil theorem says the nice labels produce a symmetry pattern directly. The Borel–Weil–Bott theorem handles the other labels: you shift the label and reflect it until it becomes nice. If it lands exactly on a mirror, you get nothing at all; otherwise you get the pattern, but on a higher 'floor' whose number equals how many reflections you needed.

Shifted Weights and Cohomology Degree

The Borel–Weil–Bott theorem describes the cohomology of line bundles on a flag variety G/B, where G is a group and B a Borel subgroup. Each weight λ determines a line bundle that respects the group's symmetry. The Borel–Weil theorem covers dominant weights, where the sections of the bundle give an irreducible representation. Bott's extension handles all weights: apply the Weyl group's shifted ('dot') action to move λ into the dominant region. If λ is singular, meaning the shifted weight sits on a wall, all cohomology vanishes. If λ is regular, exactly one cohomology group is nonzero, it lives in the degree equal to the length of the Weyl element used, and it is the irreducible representation with the resulting highest weight.

The Borel–Weil–Bott theorem computes the sheaf cohomology of equivariant line bundles on the flag variety G/B, for a group G with Borel subgroup B. A weight λ defines a G-equivariant line bundle L_λ. Borel–Weil treats dominant weights, where only degree-zero cohomology is nonzero and it realizes the irreducible highest-weight representation. Bott's generalization uses the shifted Weyl action w·λ = w(λ + ρ) − ρ. If λ + ρ is singular (lies on a reflecting wall), all cohomology of L_λ vanishes. If it is regular, there is a unique Weyl element w moving the shifted weight into the dominant chamber, and the cohomology is concentrated in the single degree ℓ(w), the length of w, where it is the irreducible representation of highest weight w·λ. Applying the theorem correctly requires fixing the group, Borel subgroup, sign conventions for weights and bundles, and the regular or singular case.

Scope of Application¶

Borel–Weil–Bott theorem belongs to representation theory and algebraic geometry and is useful where the analyst can specify the typed representation theory and algebraic geometry carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets, then evaluate the group and Borel subgroup, flag variety, weight and line bundle, shifted Weyl action, regular or singular case, cohomological degree and resulting highest-weight representation are explicit. The scope is broad within that domain but bounded by the need for the group and Borel subgroup, flag variety, weight and line bundle, shifted Weyl action, regular or singular case, cohomological degree and resulting highest-weight representation are explicit.

Clarity¶

The abstraction clarifies a crowded vocabulary by making the group and Borel subgroup, flag variety, weight and line bundle, shifted Weyl action, regular or singular case, cohomological degree and resulting highest-weight representation are explicit the center of the account. A claim should name the carrier, the governing operation or relation, the applicable assumptions, and the recognition test.

Manages Complexity¶

Without the abstraction, an analyst must reason directly over many local details: the carrier roles, admissibility assumptions, competing conventions, derived invariants, boundary cases, and proof or validation obligations specific to Borel–Weil–Bott theorem. Borel–Weil–Bott theorem compresses them into the roles in the structural signature. That compression permits comparison across instances without erasing the variables that determine validity. It also exposes which details may be varied safely and which are constitutive.

Abstract Reasoning¶

Identify the carrier. State what the elements, states, objects, or observations are: the typed representation theory and algebraic geometry carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets. Reject examples whose alleged carrier belongs to a different problem.
Lock the constitutive rule. Express the group and Borel subgroup, flag variety, weight and line bundle, shifted Weyl action, regular or singular case, cohomological degree and resulting highest-weight representation are explicit independently of one notation or implementation.

Knowledge Transfer¶

Knowledge transfers strongly among subfields of representation theory and algebraic geometry because they reuse the typed representation theory and algebraic geometry carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets, A weight defines an equivariant line bundle on the flag variety; Weyl reflection moves the shifted weight to a dominant chamber and its length selects the cohomology degree carrying the representation., and type the carrier, state every parameter and convention in the definition, test that the group and Borel subgroup, flag variety, weight and line bundle, shifted Weyl action, regular or singular case, cohomological degree and resulting highest-weight representation are explicit, compare the nearest accepted identity, and report counterexamples, uncertainty, and limiting cases.

Relationships to Other Abstractions¶

Current abstraction Borel–Weil–Bott theorem Domain-specific

Parents (1) — outgoing typed relations

Borel–Weil–Bott theorem is a kind of Representation Prime

It remains its own entry because its identity is fixed by the group and Borel subgroup, flag variety, weight and line bundle, shifted Weyl action, regular or singular case, cohomological degree and resulting highest-weight representation.

Hierarchy path (1) — routes to 1 parentless root

Borel–Weil–Bott theorem → is a kind of Representation → presupposes Abstraction

Neighborhood in Abstraction Space¶

Borel–Weil–Bott theorem sits in a crowded region of the domain-specific corpus (4^th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Schemes, Varieties & Moduli Spaces (41 abstractions)

Nearest neighbors

Representation on coordinate rings — 0.94
S-equivalence — 0.93
Degeneration (algebraic geometry) — 0.93
Formal scheme — 0.93
Standard monomial theory — 0.92

Computed from structural-signature embeddings · 2026-10-25