Borel–Weil–Bott theorem: Difference between revisions

Content deleted Content added

Inline

Latest revision as of 21:49, 20 December 2024

In mathematics, the Borel–Weil–Bott theorem is a basic result in the representation theory of Lie groups, showing how a family of representations can be obtained from holomorphic sections of certain complex vector bundles, and, more generally, from higher sheaf cohomology groups associated to such bundles. It is built on the earlier Borel–Weil theorem of Armand Borel and André Weil, dealing just with the space of sections (the zeroth cohomology group), the extension to higher cohomology groups being provided by Raoul Bott. One can equivalently, through Serre's GAGA, view this as a result in complex algebraic geometry in the Zariski topology.

Formulation

Let $G$ be a semisimple Lie group or algebraic group over $\mathbb {C}$ , and fix a maximal torus $T$ along with a Borel subgroup $B$ which contains $T$ . Let $λ$ be an integral weight of $T$ ; $λ$ defines in a natural way a one-dimensional representation $C λ$ of $B$ , by pulling back the representation on $T = B / U$ , where $U$ is the unipotent radical of $B$ . Since we can think of the projection map $G \to G / B$ as a principal $B$ -bundle, for each $C λ$ we get an associated fiber bundle $L -λ$ on $G / B$ (note the sign), which is obviously a line bundle. Identifying $L λ$ with its sheaf of holomorphic sections, we consider the sheaf cohomology groups $H^{i}(G/B,\,L_{\lambda })$ . Since $G$ acts on the total space of the bundle $L_{\lambda }$ by bundle automorphisms, this action naturally gives a $G$ -module structure on these groups; and the Borel–Weil–Bott theorem gives an explicit description of these groups as $G$ -modules.

We first need to describe the Weyl group action centered at $-\rho$ . For any integral weight $λ$ and $w$ in the Weyl group $W$ , we set $w*\lambda :=w(\lambda +\rho )-\rho \,$ , where $ρ$ denotes the half-sum of positive roots of $G$ . It is straightforward to check that this defines a group action, although this action is not linear, unlike the usual Weyl group action. Also, a weight $μ$ is said to be dominant if $\mu (\alpha ^{\vee })\geq 0$ for all simple roots $α$ . Let $ℓ$ denote the length function on $W$ .

Given an integral weight $λ$ , one of two cases occur:

There is no $w\in W$ such that $w*\lambda$ is dominant, equivalently, there exists a nonidentity $w\in W$ such that $w*\lambda =\lambda$ ; or
There is a unique $w\in W$ such that $w*\lambda$ is dominant.

The theorem states that in the first case, we have

H^{i}(G/B,\,L_{\lambda })=0

for all

i

;

and in the second case, we have

H^{i}(G/B,\,L_{\lambda })=0

for all

i\neq \ell (w)

, while

H^{\ell (w)}(G/B,\,L_{\lambda })

is the dual of the irreducible highest-weight representation of

G

with highest weight

w*\lambda

.

Case (1) above occurs if and only if $(\lambda +\rho )(\beta ^{\vee })=0$ for some positive root $β$ . Also, we obtain the classical Borel–Weil theorem as a special case of this theorem by taking $λ$ to be dominant and $w$ to be the identity element $e\in W$ .

Example

For example, consider $G = SL 2 (C)$ , for which $G / B$ is the Riemann sphere, an integral weight is specified simply by an integer $n$ , and $ρ = 1$ . The line bundle $L n$ is ${\mathcal {O}}(n)$ , whose sections are the homogeneous polynomials of degree $n$ (i.e. the binary forms). As a representation of $G$ , the sections can be written as $Sym n (C 2)*$ , and is canonically isomorphic to $Sym n (C 2)$ .

This gives us at a stroke the representation theory of ${\mathfrak {sl}}_{2}(\mathbf {C} )$ : $\Gamma ({\mathcal {O}}(1))$ is the standard representation, and $\Gamma ({\mathcal {O}}(n))$ is its $n$ th symmetric power. We even have a unified description of the action of the Lie algebra, derived from its realization as vector fields on the Riemann sphere: if $H$ , $X$ , $Y$ are the standard generators of ${\mathfrak {sl}}_{2}(\mathbf {C} )$ , then

{\begin{aligned}H&=x{\frac {\partial }{\partial x}}-y{\frac {\partial }{\partial y}},\\[5pt]X&=x{\frac {\partial }{\partial y}},\\[5pt]Y&=y{\frac {\partial }{\partial x}}.\end{aligned}}

Positive characteristic

One also has a weaker form of this theorem in positive characteristic. Namely, let $G$ be a semisimple algebraic group over an algebraically closed field of characteristic $p>0$ . Then it remains true that $H^{i}(G/B,\,L_{\lambda })=0$ for all $i$ if $λ$ is a weight such that $w*\lambda$ is non-dominant for all $w\in W$ as long as $λ$ is "close to zero".^[1] This is known as the Kempf vanishing theorem. However, the other statements of the theorem do not remain valid in this setting.

More explicitly, let $λ$ be a dominant integral weight; then it is still true that $H^{i}(G/B,\,L_{\lambda })=0$ for all $i>0$ , but it is no longer true that this $G$ -module is simple in general, although it does contain the unique highest weight module of highest weight $λ$ as a $G$ -submodule. If $λ$ is an arbitrary integral weight, it is in fact a large unsolved problem in representation theory to describe the cohomology modules $H^{i}(G/B,\,L_{\lambda })$ in general. Unlike over $\mathbb {C}$ , Mumford gave an example showing that it need not be the case for a fixed $λ$ that these modules are all zero except in a single degree $i$ .

Borel–Weil theorem

The Borel–Weil theorem provides a concrete model for irreducible representations of compact Lie groups and irreducible holomorphic representations of complex semisimple Lie groups. These representations are realized in the spaces of global sections of holomorphic line bundles on the flag manifold of the group. The Borel–Weil–Bott theorem is its generalization to higher cohomology spaces. The theorem dates back to the early 1950s and can be found in Serre (1954) and Tits (1955).

Statement of the theorem

The theorem can be stated either for a complex semisimple Lie group $G$ or for its compact form $K$ . Let $G$ be a connected complex semisimple Lie group, $B$ a Borel subgroup of $G$ , and $X = G / B$ the flag variety. In this scenario, $X$ is a complex manifold and a nonsingular algebraic $G$ -variety. The flag variety can also be described as a compact homogeneous space $K / T$ , where $T = K \cap B$ is a (compact) Cartan subgroup of $K$ . An integral weight $λ$ determines a $G$ -equivariant holomorphic line bundle $L λ$ on $X$ and the group $G$ acts on its space of global sections,

\Gamma (G/B,L_{\lambda }).\

The Borel–Weil theorem states that if $λ$ is a dominant integral weight then this representation is a holomorphic irreducible highest weight representation of $G$ with highest weight $λ$ . Its restriction to $K$ is an irreducible unitary representation of $K$ with highest weight $λ$ , and each irreducible unitary representation of $K$ is obtained in this way for a unique value of $λ$ . (A holomorphic representation of a complex Lie group is one for which the corresponding Lie algebra representation is complex linear.)

Concrete description

The weight $λ$ gives rise to a character (one-dimensional representation) of the Borel subgroup $B$ , which is denoted $χ λ$ . Holomorphic sections of the holomorphic line bundle $L λ$ over $G / B$ may be described more concretely as holomorphic maps

f:G\to \mathbb {C} _{\lambda }:f(gb)=\chi _{\lambda }(b^{-1})f(g)

for all $g \in G$ and $b \in B$ .

The action of $G$ on these sections is given by

g\cdot f(h)=f(g^{-1}h)

for $g, h \in G$ .

Example

Let $G$ be the complex special linear group $SL(2, C)$ , with a Borel subgroup consisting of upper triangular matrices with determinant one. Integral weights for $G$ may be identified with integers, with dominant weights corresponding to nonnegative integers, and the corresponding characters $χ n$ of $B$ have the form

\chi _{n}{\begin{pmatrix}a&b\\0&a^{-1}\end{pmatrix}}=a^{n}.

The flag variety $G / B$ may be identified with the complex projective line $CP 1$ with homogeneous coordinates $X, Y$ and the space of the global sections of the line bundle $L n$ is identified with the space of homogeneous polynomials of degree $n$ on $C 2$ . For $n \geq 0$ , this space has dimension $n + 1$ and forms an irreducible representation under the standard action of $G$ on the polynomial algebra $C [X, Y]$ . Weight vectors are given by monomials

X^{i}Y^{n-i},\quad 0\leq i\leq n

of weights $2 i - n$ , and the highest weight vector $X n$ has weight $n$ .

Notes

^ Jantzen, Jens Carsten (2003). Representations of algebraic groups (second ed.). American Mathematical Society. ISBN 978-0-8218-3527-2.

References

Fulton, William; Harris, Joe (1991). Representation theory. A first course. Graduate Texts in Mathematics, Readings in Mathematics. Vol. 129. New York: Springer-Verlag. doi:10.1007/978-1-4612-0979-9. ISBN 978-0-387-97495-8. MR 1153249. OCLC 246650103..
Baston, Robert J.; Eastwood, Michael G. (1989), The Penrose Transform: its Interaction with Representation Theory, Oxford University Press. (reprinted by Dover)
"Bott–Borel–Weil theorem", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
A Proof of the Borel–Weil–Bott Theorem, by Jacob Lurie. Retrieved on Jul. 13, 2014.
Serre, Jean-Pierre (1954) [1951], "Représentations linéaires et espaces homogènes kählériens des groupes de Lie compacts (d'après Armand Borel et André Weil)" [Linear representations and Kähler homogeneous spaces of compact Lie groups (after Armand Borel and André Weil)], Séminaire Bourbaki (in French), 2 (100): 447–454.
Tits, Jacques (1955), Sur certaines classes d'espaces homogènes de groupes de Lie, Acad. Roy. Belg. Cl. Sci. Mém. Coll. (in French), vol. 29.
Sepanski, Mark R. (2007), Compact Lie groups., Graduate Texts in Mathematics, vol. 235, New York: Springer, ISBN 9780387302638.
Knapp, Anthony W. (2001), Representation theory of semisimple groups: An overview based on examples, Princeton Landmarks in Mathematics, Princeton, NJ: Princeton University Press. Reprint of the 1986 original.

@@ Line 1: / Line 1: @@
+{{short description|Basic result in the representation theory of Lie groups}}
-In [[mathematics]], the '''Borel–Weil-Bott theorem''' is a basic result in the [[representation theory]] of [[Lie group]]s, showing how a family of representations can be obtained from holomorphic sections of certain complex [[vector bundle]]s, and, more generally, from higher [[sheaf cohomology]] groups associated to such bundles. It is built on the earlier [[Borel–Weil theorem]] of [[Armand Borel]] and [[André Weil]], dealing just with the section case, the extension being provided by [[Raoul Bott]]. One can equivalently, through Serre's [[GAGA]], view this as a result in [[complex algebraic geometry]] in the [[Zariski topology]].
+In [[mathematics]], the '''Borel–Weil–Bott theorem''' is a basic result in the [[representation theory]] of [[Lie group]]s, showing how a family of representations can be obtained from holomorphic sections of certain complex [[vector bundle]]s, and, more generally, from higher [[sheaf cohomology]] groups associated to such bundles. It is built on the earlier '''Borel–Weil theorem''' of [[Armand Borel]] and [[André Weil]], dealing just with the space of sections (the zeroth cohomology group), the extension to higher cohomology groups being provided by [[Raoul Bott]]. One can equivalently, through Serre's [[GAGA]], view this as a result in [[complex algebraic geometry]] in the [[Zariski topology]].
 ==Formulation==
-Let ''G'' be a [[Semisimple algebraic group|semisimple]] Lie group or [[Linear algebraic group|algebraic group]] over <math>\mathbb C</math>, and fix a [[maximal torus]] ''T'' along with a [[Borel subgroup]] ''B'' which contains ''T''. Let λ be an [[weight (representation theory)|integral weight]] of ''T''; λ defines in a natural way a one-dimensional representation ''C''<sub>λ</sub> of ''B'', by pulling back the representation on ''T'' = ''B''/''U'', where  ''U'' is the [[unipotent radical]] of ''B''. Since we can think of the projection map ''G'' → ''G/B'' as a [[Principal bundle|principal ''B''-bundle]], for each ''C''<sub>λ</sub> we get an [[associated fiber bundle]] ''L''<sub>-λ</sub> on ''G/B'' (note the sign), which is obviously a [[line bundle]]. Identifying  ''L''<sub>λ</sub> with its [[sheaf (mathematics)|sheaf]] of holomorphic sections, we consider the [[sheaf cohomology]] groups <math>H^i( G/B, \, L_\lambda )</math>. Since ''G'' acts on the total space of the bundle <math>L_\lambda</math> by bundle automorphisms, this action naturally gives a ''G''-module structure on these groups; and the '''Borel–Weil–Bott theorem''' gives an explicit description of these groups as ''G''-modules.
+Let {{mvar|G}} be a [[Semisimple algebraic group|semisimple]] Lie group or [[Linear algebraic group|algebraic group]] over <math>\mathbb C</math>, and fix a [[maximal torus]] {{mvar|T}} along with a [[Borel subgroup]] {{mvar|B}} which contains {{mvar|T}}. Let {{mvar|λ}} be an [[weight (representation theory)|integral weight]] of {{mvar|T}}; {{mvar|λ}} defines in a natural way a one-dimensional representation {{math|''C''<sub>''λ''</sub>}} of {{mvar|B}}, by pulling back the representation on {{math|1=''T'' = ''B''[[quotient group|/]]''U''}}, where  {{mvar|U}} is the [[unipotent radical]] of {{mvar|B}}. Since we can think of the projection map {{math|''G'' → ''G''/''B''}} as a [[Principal bundle|principal {{mvar|B}}-bundle]], for each {{math|''C''<sub>''λ''</sub>}} we get an [[associated fiber bundle]] {{math|''L''<sub>−λ</sub>}} on {{math|''G''/''B''}} (note the sign), which is obviously a [[line bundle]]. Identifying {{math|''L''<sub>''λ''</sub>}} with its [[sheaf (mathematics)|sheaf]] of holomorphic sections, we consider the [[sheaf cohomology]] groups <math>H^i( G/B, \, L_\lambda )</math>. Since {{mvar|G}} acts on the total space of the bundle <math>L_\lambda</math> by bundle automorphisms, this action naturally gives a {{mvar|G}}-module structure on these groups; and the Borel–Weil–Bott theorem gives an explicit description of these groups as {{mvar|G}}-modules.
-We first need to describe the [[Weyl group]] action centered at <math>\rho</math>. For any integral weight <math>\lambda</math> and <math>w</math> in the Weyl group W, we set <math>w*\lambda :=  w( \lambda + \rho ) - \rho \,</math>, where <math>\rho</math> denotes the half-sum of positive roots of ''G''. It is straightforward to check that this defines a group action, although this action is ''not'' linear, unlike the usual Weyl group action. Also, a weight <math>\mu</math> is said to be ''dominant'' if <math>\mu( \alpha^\vee ) \geq 0</math> for all simple roots <math>\alpha</math>. Let <math>\ell</math> denote the [[Weyl group#Coxeter group structure|length function]] on ''W''.
+We first need to describe the [[Weyl group]] action centered at <math> - \rho </math>. For any integral weight {{mvar|λ}} and {{mvar|w}} in the Weyl group {{mvar|W}}, we set <math>w*\lambda :=  w( \lambda + \rho ) - \rho \,</math>, where {{mvar|ρ}} denotes the half-sum of positive roots of {{mvar|G}}. It is straightforward to check that this defines a group action, although this action is ''not'' linear, unlike the usual Weyl group action. Also, a weight {{mvar|μ}} is said to be ''dominant'' if <math>\mu( \alpha^\vee ) \geq 0</math> for all simple roots {{mvar|α}}. Let {{mvar|{{ell}}}} denote the [[Weyl group#Coxeter group structure|length function]] on {{mvar|W}}.
-Given an integral weight <math>\lambda</math>, one of two cases occur: (1) There is no <math>w \in W</math> such that <math>w*\lambda</math> is dominant, equivalently, there exists a nonidentity <math>w \in W</math> such that <math>w * \lambda = \lambda</math>; or (2) There is a ''unique'' <math>w \in W</math> such that <math>w * \lambda</math> is dominant. The theorem states that in the first case, we have
+Given an integral weight {{mvar|λ}}, one of two cases occur:
+# There is no <math>w \in W</math> such that <math>w*\lambda</math> is dominant, equivalently, there exists a nonidentity <math>w \in W</math> such that <math>w * \lambda = \lambda</math>; or
+# There is a ''unique'' <math>w \in W</math> such that <math>w * \lambda</math> is dominant.
+The theorem states that in the first case, we have
-:<math>H^i( G/B, \, L_\lambda ) = 0</math> for all i;
+:<math>H^i( G/B, \, L_\lambda ) = 0</math> for all {{mvar|i}};
 and in the second case, we have
@@ Line 14: / Line 18: @@
 :<math>H^i( G/B, \, L_\lambda ) = 0</math> for all <math>i \neq \ell(w)</math>, while
-:<math>H^{ \ell(w) }( G/B, \, L_\lambda )</math> is the dual of the irreducible highest-weight representation of ''G'' with highest weight <math>\lambda</math>.
+:<math>H^{ \ell(w) }( G/B, \, L_\lambda )</math> is the dual of the irreducible highest-weight representation of {{mvar|G}} with highest weight <math> w * \lambda</math>.
-It is worth noting that case (1) above occurs if and only if <math>\lambda( \beta^\vee ) = 0</math> for some positive root <math>\beta</math>. Also, we obtain the classical [[Borel–Weil theorem]] as a special case of this theorem by taking <math>\lambda</math> to be dominant and <math>w</math> to be the identity element <math>e \in W</math>.
+Case (1) above occurs if and only if <math>(\lambda+\rho)( \beta^\vee ) = 0</math> for some positive root {{mvar|β}}. Also, we obtain the classical '''Borel–Weil theorem''' as a special case of this theorem by taking {{mvar|λ}} to be dominant and {{mvar|w}} to be the identity element <math>e \in W</math>.
 ==Example==
+For example, consider {{math|1=''G'' = [[SL2(C)|SL<sub>2</sub>('''C''')]]}}, for which {{math|''G''/''B''}} is the [[Riemann sphere]], an integral weight is specified simply by an integer {{mvar|n}}, and {{math|1=''ρ'' = 1}}. The line bundle {{math|''L''<sub>''n''</sub>}} is [[canonical bundle|<math>{\mathcal O}(n)</math>]], whose [[section (fiber bundle)|sections]] are the [[homogeneous polynomial]]s of degree {{mvar|n}} (i.e. the ''binary forms''). As a representation of {{mvar|G}}, the sections can be written as {{math|Sym<sup>''n''</sup>('''C'''<sup>2</sup>)*}}, and is canonically isomorphic to {{math|Sym<sup>''n''</sup>('''C'''<sup>2</sup>)}}.
-For example, consider ''G'' = ''SL''<sub>2</sub>('''C'''), for which ''G/B'' is the [[Riemann sphere]], an integral weight is specified simply by an integer ''n'', and ρ = 1. The line bundle ''L<sub>n''</sub> is O(''n''), whose sections are the homogeneous polynomials of degree ''n'' (i.e. the [[binary form]]s). As a representation of ''G'', the sections can be written as Sym<sup>n</sup>('''C'''<sup>2</sup>)<sup>*</sup>, and is canonically isomorphic to Sym<sup>n</sup>('''C'''<sup>2</sup>). This gives us at a stroke the representation theory of <math>\mathfrak{sl}_2(\mathbf{C})</math>:  Γ(O(1)) is the standard representation, and Γ(O(''n'')) is its ''n''-th [[symmetric power]]. We even have a unified description of the action of the Lie algebra, derived from its realization as vector fields on the Riemann sphere: if ''H'', ''X'', ''Y'' are the standard generators of <math>\mathfrak{sl}_2(\mathbf{C})</math>, then we can write
+This gives us at a stroke the representation theory of <math>\mathfrak{sl}_2(\mathbf{C})</math>: <math>\Gamma({\mathcal O}(1))</math> is the standard representation, and <math>\Gamma({\mathcal O}(n))</math> is its {{mvar|n}}th [[symmetric power]]. We even have a unified description of the action of the Lie algebra, derived from its realization as vector fields on the Riemann sphere: if {{mvar|H}}, {{mvar|X}}, {{mvar|Y}} are the standard generators of <math>\mathfrak{sl}_2(\mathbf{C})</math>, then
-:<math>H = x\frac{d}{dx}-y\frac{d}{dy}</math>
-:<math>X = x\frac{d}{dy}</math>
-:<math>Y = y\frac{d}{dx}.</math>
+: <math>
+\begin{align}
+H & = x\frac{\partial}{\partial x}-y\frac{\partial}{\partial y}, \\[5pt]
+X & = x\frac{\partial}{\partial y}, \\[5pt]
+Y & = y\frac{\partial}{\partial x}.
+\end{align}
+</math>
+{{further information|Jordan map}}
 ==Positive characteristic==
+One also has a weaker form of this theorem in positive characteristic. Namely, let {{mvar|G}} be a semisimple algebraic group over an [[algebraically closed field]] of characteristic <math>p > 0</math>. Then it remains true that <math>H^i( G/B, \, L_\lambda ) = 0</math> for all {{mvar|i}} if {{mvar|λ}} is a weight such that <math>w*\lambda</math> is non-dominant for all <math>w \in W</math> as long as {{mvar|λ}} is "close to zero".<ref name="Jantzen">{{cite book|last=Jantzen|first=Jens Carsten|title=Representations of algebraic groups|edition=second|year=2003|publisher=American Mathematical Society|isbn=978-0-8218-3527-2}}</ref> This is known as the [[Kempf vanishing theorem]]. However, the other statements of the theorem do not remain valid in this setting.
+More explicitly, let {{mvar|λ}} be a dominant integral weight; then it is still true that <math>H^i( G/B, \, L_\lambda ) = 0</math> for all <math>i > 0</math>, but it is no longer true that this {{mvar|G}}-module is simple in general, although it does contain the unique highest weight module of highest weight {{mvar|λ}} as a {{mvar|G}}-submodule. If {{mvar|λ}} is an arbitrary integral weight, it is in fact a large unsolved problem in representation theory to describe the cohomology modules <math>H^i( G/B, \, L_\lambda )</math> in general. Unlike over <math>\mathbb{C}</math>, Mumford gave an example showing that it need not be the case for a fixed {{mvar|λ}} that these modules are all zero except in a single degree {{mvar|i}}.
-One also has a weaker form of this theorem in positive characteristic. Namely, let ''G'' be a semisimple algebraic group over an [[algebraically closed field]] of characteristic <math>p > 0</math>. Then it remains true that <math>H^i( G/B, \, L_\lambda ) = 0</math> for all i if <math>\lambda</math> is a weight such that <math>w*\lambda</math> is non-dominant for all <math>w \in W</math> as long as <math>\lambda</math> is "close to zero" <ref name="Jantzen>{{cite book|last=Jantzen|first=Jens Carsten|title=Representations of algebraic groups|edition=second|year=2003|publisher=American Mathematical Society|isbn=0-8218-3527-0}}</ref>
-. However, the other statements of the theorem do not remain valid in this setting.
+==Borel–Weil theorem==
-More explicitly, let <math>\lambda</math> be a dominant integral weight; then it is still true that <math>H^i( G/B, \, L_\lambda ) = 0</math> for all <math>i > 0</math>, but it is no longer true that this ''G''-module is simple in general, although it does contain the unique highest weight module of highest weight <math>\lambda</math> as a ''G''-submodule. If <math>\lambda</math> is an arbitrary integral weight, it is in fact a large unsolved problem in representation theory to describe the cohomology modules <math>H^i( G/B, \, L_\lambda )</math> in general. Unlike over <math>\mathbb{C}</math>, Mumford gave an example showing that it need not be the case for a fixed <math>\lambda</math> that these modules are all zero except in a single degree i.
+The Borel–Weil theorem provides a concrete model for [[irreducible representation]]s of [[compact Lie group]]s and irreducible holomorphic representations of [[complex numbers|complex]] [[semisimple Lie group]]s. These representations are realized in the spaces of global [[Section (fiber bundle)|sections]] of [[holomorphic line bundle]]s on the [[flag manifold]] of the group. The Borel–Weil–Bott theorem is its generalization to higher cohomology spaces.  The theorem dates back to the early 1950s and can be found in {{harvtxt|Serre|1954}} and {{harvtxt|Tits|1955}}.
+=== Statement of the theorem ===
+The theorem can be stated either for a complex semisimple Lie group {{math|''G''}} or for its [[Real form (Lie theory)|compact form]] {{math|''K''}}. Let {{math|''G''}} be a [[connected space|connected]] complex semisimple Lie group, {{math|''B''}} a [[Borel subgroup]] of {{math|''G''}}, and {{math|''X'' {{=}} ''G''/''B''}} the [[flag variety]]. In this scenario, {{math|''X''}} is a [[complex manifold]] and a nonsingular algebraic {{nowrap|{{math|''G''}}-variety}}. The flag variety can also be described as a compact [[homogeneous space]] {{math|''K''/''T''}}, where {{math|''T'' {{=}} ''K'' &cap; ''B''}} is a (compact) [[Cartan subgroup]] of {{math|''K''}}. An [[Weight (representation theory)#Integral weight|integral weight]] {{math|''λ''}} determines a {{nowrap|{{math|''G''}}-equivariant}} holomorphic line bundle {{math|''L''<sub>''λ''</sub>}} on {{math|''X''}} and the group {{math|''G''}} acts on its space of global sections,
+:<math>\Gamma(G/B,L_\lambda).\ </math>
+The Borel–Weil theorem states that if {{math|''λ''}} is a ''dominant'' integral weight then this representation is a ''holomorphic'' irreducible [[highest weight representation]] of {{math|''G''}} with highest weight {{math|''λ''}}. Its restriction to {{math|''K''}} is an [[irreducible unitary representation]] of {{math|''K''}} with highest weight {{math|''λ''}}, and each irreducible unitary representation of {{math|''K''}} is obtained in this way for a unique value of {{math|''λ''}}. (A holomorphic representation of a complex Lie group is one for which the corresponding Lie algebra representation is ''complex'' linear.)
+=== Concrete description ===
+The weight {{math|''λ''}} gives rise to a character (one-dimensional representation) of the Borel subgroup {{math|''B''}}, which is denoted {{math|''χ''<sub>''λ''</sub>}}. Holomorphic sections of the holomorphic line bundle {{math|''L''<sub>''λ''</sub>}} over {{math|''G''/''B''}} may be described more concretely as [[holomorphic map]]s
+:<math> f: G\to \mathbb{C}_{\lambda}: f(gb)=\chi_{\lambda}(b^{-1})f(g)</math>
+for all {{math|''g'' &isin; ''G''}} and {{math|''b'' &isin; ''B''}}.
+The action of {{math|''G''}} on these sections is given by
+: <math>g\cdot f(h)=f(g^{-1}h)</math>
+for {{math|''g'', ''h'' &isin; ''G''}}.
+=== Example ===
+Let {{math|''G''}} be the complex [[special linear group]] {{math|SL(2, '''C''')}}, with a Borel subgroup consisting of upper triangular matrices with determinant one. Integral weights for {{math|''G''}} may be identified with [[integer]]s, with dominant weights corresponding to nonnegative integers, and the corresponding characters {{math|''χ''<sub>''n''</sub>}} of {{math|''B''}} have the form
+: <math> \chi_n
+\begin{pmatrix}
+a & b\\
+& a^{-1}
+\end{pmatrix}=a^n.
+</math>
+The flag variety {{math|''G''/''B''}} may be identified with the [[complex projective line]] {{math|'''CP'''<sup>1</sup>}} with [[homogeneous coordinates]] {{math|''X'', ''Y''}} and the space of the global sections of the line bundle {{math|''L''<sub>''n''</sub>}} is identified with the space of homogeneous polynomials of degree {{math|''n''}} on {{math|'''C'''<sup>''2''</sup>}}. For {{math|''n'' &ge; 0}}, this space has dimension {{math|''n'' + 1}} and forms an irreducible representation under the standard action of {{math|''G''}} on the polynomial algebra {{math|'''C'''[''X'', ''Y'']}}. Weight vectors are given by monomials
+: <math>  X^i Y^{n-i}, \quad 0\leq i\leq n </math>
+of weights {{math|2''i'' &minus; ''n''}}, and the highest weight vector {{math|''X''<sup>''n''</sup>}} has weight {{math|''n''}}.
+== See also ==
+*[[Theorem of the highest weight]]
 ==Notes==
@@ Line 38: / Line 88: @@
 ==References==
 * {{Fulton-Harris}}.
-* {{citation|first1=Robert J.|last1=Baston|first2=Michael G.|last2=Eastwood|authorlink2=Michael Eastwood|title=The Penrose Transform: its Interaction with Representation Theory|publisher=Oxford University Press|year=1989}}.
+* {{citation|first1=Robert J.|last1=Baston|first2=Michael G.|last2=Eastwood|authorlink2=Michael Eastwood|title=The Penrose Transform: its Interaction with Representation Theory|publisher=Oxford University Press|year=1989}}. ([http://store.doverpublications.com/0486797295.html reprinted] by Dover)
 * {{Springer|id=b/b120400|title=Bott–Borel–Weil theorem}}
-*[http://www-math.mit.edu/~lurie/papers/bwb.pdf A Proof of the Borel–Weil–Bott Theorem], by Jacob Lurie. Retrieved on Dec. 14, 2007.
+*[http://www.math.harvard.edu/~lurie/papers/bwb.pdf A Proof of the Borel–Weil–Bott Theorem], by [[Jacob Lurie]]. Retrieved on Jul. 13, 2014.
+*{{citation
+ | last = Serre | first = Jean-Pierre | authorlink = Jean-Pierre Serre
+ | title = Représentations linéaires et espaces homogènes kählériens des groupes de Lie compacts (d'après Armand Borel et André Weil) |trans-title=Linear representations and Kähler homogeneous spaces of compact Lie groups (after Armand Borel and André Weil)
+ | journal = Séminaire Bourbaki
+ | volume = 2 | issue = 100 | pages = 447–454 | year = 1954 | orig-year=1951 |language=fr}}.
+*{{citation
+ | last = Tits | first = Jacques | authorlink = Jacques Tits
+ | title = Sur certaines classes d'espaces homogènes de groupes de Lie
+ | series = Acad. Roy. Belg. Cl. Sci. Mém. Coll.
+ | volume = 29 | year = 1955 |language=fr}}.
+*{{citation
+ | last = Sepanski | first = Mark R.
+ | title = Compact Lie groups.
+ | series = Graduate Texts in Mathematics | volume = 235
+ | publisher = Springer | location = New York | year = 2007|isbn=9780387302638}}.
+*{{citation
+ | last = Knapp | first = Anthony W.
+ | title = Representation theory of semisimple groups: An overview based on examples
+ | series = Princeton Landmarks in Mathematics
+ | publisher = Princeton University Press | location = Princeton, NJ | year = 2001}}. Reprint of the 1986 original.
+==Further reading==
+* {{cite journal|last=Teleman |first=Constantin| authorlink=Constantin Teleman| title=Borel–Weil–Bott theory on the moduli stack of ''G''-bundles over a curve|journal=[[Inventiones Mathematicae]]| volume=134 |year=1998| issue=1|pages= 1–57| doi=10.1007/s002220050257| mr=1646586}}
 {{PlanetMath attribution|id=4585|title=Borel–Bott–Weil theorem}}
+{{DEFAULTSORT:Borel-Weil-Bott Theorem}}
 [[Category:Representation theory of Lie groups]]
 [[Category:Theorems in representation theory]]