A PROOF OF BOREL-WEIL-BOTT THEOREM

Similar documents
Category O and its basic properties

Highest-weight Theory: Verma Modules

Representations of semisimple Lie algebras

THE THEOREM OF THE HIGHEST WEIGHT

A relative version of Kostant s theorem

GEOMETRIC STRUCTURES OF SEMISIMPLE LIE ALGEBRAS

L(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that

ON NEARLY SEMIFREE CIRCLE ACTIONS

BLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n)

Math 210C. The representation ring

Equivariant Algebraic K-Theory

On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem

LIE ALGEBRAS: LECTURE 7 11 May 2010

Representations Are Everywhere

LECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F)

Contents. Chapter 3. Local Rings and Varieties Rings of Germs of Holomorphic Functions Hilbert s Basis Theorem 39.

IVAN LOSEV. Lemma 1.1. (λ) O. Proof. (λ) is generated by a single vector, v λ. We have the weight decomposition (λ) =

HOMOGENEOUS VECTOR BUNDLES

LECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O

SEMISIMPLE LIE GROUPS

Eigenvalue problem for Hermitian matrices and its generalization to arbitrary reductive groups

Lie Algebras. Shlomo Sternberg

PART I: GEOMETRY OF SEMISIMPLE LIE ALGEBRAS

On exceptional completions of symmetric varieties

A GEOMETRIC JACQUET FUNCTOR

The Cartan Decomposition of a Complex Semisimple Lie Algebra

Geometry of Schubert varieties and Demazure character formula

Introduction to Representations Theory of Lie Groups

LECTURE 4: SOERGEL S THEOREM AND SOERGEL BIMODULES

THE SEMISIMPLE SUBALGEBRAS OF EXCEPTIONAL LIE ALGEBRAS

Topics in Representation Theory: Roots and Weights

Hodge Structures. October 8, A few examples of symmetric spaces

LECTURE 11: SOERGEL BIMODULES

SPHERICAL UNITARY REPRESENTATIONS FOR REDUCTIVE GROUPS

On the Irreducibility of the Commuting Variety of the Symmetric Pair so p+2, so p so 2

Flag Manifolds and Representation Theory. Winter School on Homogeneous Spaces and Geometric Representation Theory

Induced Representations and Frobenius Reciprocity. 1 Generalities about Induced Representations

Intertwining integrals on completely solvable Lie groups

Symplectic varieties and Poisson deformations

Representations and Linear Actions

LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori

ON THE MAXIMAL PRIMITIVE IDEAL CORRESPONDING TO THE MODEL NILPOTENT ORBIT

Math 249B. Nilpotence of connected solvable groups

STRONGLY MULTIPLICITY FREE MODULES FOR LIE ALGEBRAS AND QUANTUM GROUPS

Classification of semisimple Lie algebras

INTRODUCTION TO LIE ALGEBRAS. LECTURE 7.

Unitarity of non-spherical principal series

THE RESIDUAL EISENSTEIN COHOMOLOGY OF Sp 4 OVER A TOTALLY REAL NUMBER FIELD

EKT of Some Wonderful Compactifications

A Problem of Hsiang-Palais-Terng on Isoparametric Submanifolds

Weyl s Character Formula for Representations of Semisimple Lie Algebras

Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III

Another proof of the global F -regularity of Schubert varieties

Lecture 5: Admissible Representations in the Atlas Framework

10. The subgroup subalgebra correspondence. Homogeneous spaces.

arxiv: v1 [math.rt] 11 Sep 2009

Weeks 6 and 7. November 24, 2013

A PIERI RULE FOR HERMITIAN SYMMETRIC PAIRS. Thomas J. Enright, Markus Hunziker and Nolan R. Wallach

Topics in Representation Theory: Roots and Complex Structures

Math 594. Solutions 5

arxiv: v1 [math.rt] 31 Oct 2008

EQUIVARIANT COHOMOLOGY. p : E B such that there exist a countable open covering {U i } i I of B and homeomorphisms

Fixed Point Theorem and Character Formula

9 Artin representations

INTRODUCTION TO LIE ALGEBRAS. LECTURE 10.

Ad-nilpotent ideals of Borel subalgebras: combinatorics and representation theory

Classification of discretely decomposable A q (λ) with respect to reductive symmetric pairs UNIVERSITY OF TOKYO

TitleOn manifolds with trivial logarithm. Citation Osaka Journal of Mathematics. 41(2)

1 v >, which will be G-invariant by construction.

Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop. Eric Sommers

is an isomorphism, and V = U W. Proof. Let u 1,..., u m be a basis of U, and add linearly independent

COHOMOLOGY OF ARITHMETIC GROUPS AND EISENSTEIN SERIES: AN INTRODUCTION, II

MAT 445/ INTRODUCTION TO REPRESENTATION THEORY

ON THE EXISTENCE OF (g, k)-modules OF FINITE TYPE. Ivan Penkov 1, Vera Serganova 2 and Gregg Zuckerman 3

ESSENTIAL KILLING FIELDS OF PARABOLIC GEOMETRIES: PROJECTIVE AND CONFORMAL STRUCTURES. 1. Introduction

REPRESENTATION THEORY, LECTURE 0. BASICS

1 Moduli spaces of polarized Hodge structures.

Representation Theory

Parameterizing orbits in flag varieties

Math 249B. Geometric Bruhat decomposition

SEMI-GROUP AND BASIC FUNCTIONS

SYMPLECTIC GEOMETRY: LECTURE 5

Monodromy of the Dwork family, following Shepherd-Barron X n+1. P 1 λ. ζ i = 1}/ (µ n+1 ) H.

16.2. Definition. Let N be the set of all nilpotent elements in g. Define N

ALGEBRAIC GROUPS J. WARNER

The Lusztig-Vogan Bijection in the Case of the Trivial Representation

DECOMPOSITION OF TENSOR PRODUCTS OF MODULAR IRREDUCIBLE REPRESENTATIONS FOR SL 3 (WITH AN APPENDIX BY C.M. RINGEL)

LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C)

MAT 5330 Algebraic Geometry: Quiver Varieties

Synopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].

Branching rules of unitary representations: Examples and applications to automorphic forms.

Generic Picard-Vessiot extensions for connected by finite groups Kolchin Seminar in Differential Algebra October 22nd, 2005

Lemma 1.3. The element [X, X] is nonzero.

arxiv: v4 [math.kt] 9 Apr 2014

12 Geometric quantization

The Spinor Representation

The Hilbert-Mumford Criterion

14 From modular forms to automorphic representations

Defining equations for some nilpotent varieties

Cartan s Criteria. Math 649, Dan Barbasch. February 26

Transcription:

A PROOF OF BOREL-WEIL-BOTT THEOREM MAN SHUN JOHN MA 1. Introduction In this short note, we prove the Borel-Weil-Bott theorem. Let g be a complex semisimple Lie algebra. One basic question in representation theory is to classify all finite dimensional irreducible representations of g. The answer is provided by the highest weight theorem: For any dominant integral weight λ, there exists a unqiue finite dimsnsional g-module V (λ) with highest weight λ. The Borel-Weil theorem provides an explicit construction of these g-modules V (λ). Every complex semisimple Lie algebra g corresponds to a complex semisimple Lie group G. The homogenous space G/B, where B is a Borel subgroup of G, is a smooth projective variaty. Every integral weight λ corresponds to a holomorphic line bundle L λ on G/B. g acts on the space of global holomorphic sections Γ(G/B, O λ ) = H 0 (G/B, O λ ) by differentiation. When λ is dominant, the Borel-Weil theorem asserts that H 0 (G/B, O λ ) is a finite dimensional irreducible g-module with highest weight λ. The Borel-Weil-Bott theorem is a generalization of Borel-Weil theorem. It deals with all integral weights, and consider not only global sections, but also higher cohomology groups H p (G/B, O λ ). In section 2, we introduce the basic results in Lie groups and Lie algebras. In section 3 we introduce the homogenous space G/B and induced representations. In section 4 we describe how the Casimir element c g serves as a handy tool to decompose g-modules. In the last two sections, we prove the Borel-Weil theorem and the Borel-Weil-Bott theorem respectively. If possible, we follow the notations in [3], except that we use g instead of L to denote Lie algebras. The proof of Borel-Weil theorem and Borel- Weil-Bott theorem are from [5]. We also use a result from [1], which describe the positivity of the line bundle L λ. 1

2 MAN SHUN JOHN MA 2. Basic Lie theory Let g be a semisimple Lie algebra and h be a Cartan subalgebra of g. As in [3], we have the root space decomposition (2.1) g = h α Φ g α, where α Φ are the roots of g. If x α g α and h h, (2.2) [h, x α ] = α(h)x α. Let E be the real span of Φ in h. It is known that ( E, Φ, (, ) ) forms a root system, where (, ) is dual to the Killing form κ. An integral weight is an element in E such that (2.3) λ, α := 2(λ, α) (α, α) Z for all roots α Φ. If a set of positive roots Φ + and simple roots Φ + are chosen, the positive Weyl Chamber C + is the set of elements v E such that v, α > 0 for all α. We write λ µ if µ λ C +. An integral weight is called dominant if λ 0, or λ + δ, α > 0 for all α, where ([3], section 13) (2.4) δ = 1 l α = λ i 2 α Φ + i=1 and λ i are the set of fundamental dominant weight corresponding to. Let (π, V ) be a g-module. When restricted to h, (π, V ) decomposes into direct sum of weight spaces V λ defined by (2.5) V λ = {v V : π(h)v = λ(v)v}. Such λ h is called a weight of (π, V ). The set of all weights is denoted Λ. We will need the following results: Theorem 2.1. Let (π, V ) be a finite dimensional irreducible g-modules with weights Λ. Then (1) There is a unique λ Λ with the highest weight. That is µ λ for all µ Λ. (2) The weight space V λ is one dimensional. (3) Λ is closed under the Weyl group action. (4) λ 0. (5) µ λ for all µ Λ. (6) µ Λ is extremal if and only if µ = λ, and the Weyl group acts transitively on the set of extremal weights.

A PROOF OF BOREL-WEIL-BOTT THEOREM 3 (7) µ + δ < λ + δ if µ Λ and µ λ. We also need the Theorem of highest weights: ([3], theorem 21.2) Theorem 2.2. Up to isomorphism, every dominant weight λ corresponds to a unique finite dimensional irreducible representation V (λ) with hightest weight λ. A Borel subalgebra b of g is a maximal solvable subalgebra. Examples are (2.6) b ± = h n ± = h α Φ ± g α Next we introduce Lie groups. A real (complex) Lie group is a group with a structure of smooth (complex) manifold, such that the group multiplication (g, h) gh is smooth (holomorphic). By considering left or right invariant vectors fields, every real (complex) Lie group G corresponds to a real (complex) Lie algebra g. G is called semisimple if its Lie algebra is semisimple. In this case we have ([4], Chapter 6 and 7) Theorem 2.3. Let G, G be connected complex semisimple Lie groups. Then (1) G has a compact real form K, that is, a compact Lie subgroup K of G with Lie algebra k such that (2.7) k C = k ik = g. (2) Write p 0 = ik, then the map K p 0 G given by (k, p) k exp p is a diffeomorphism. Thus K G induces the isomorphism π 1 (K) = π 1 (G). (3) Let K be a compact Lie form of G. Then every homomorphisms K K extends to a holomorphic homomorphism G G. (4) Every representation K GL(V ) extends to G GL(V ). In particular if V is a faithful representation of K, then the extension is a faithful holomorphic representation of G. (5) Every finite dimensional holomorphic representation of G is completely reducible. It is known that every complex semisimple Lie group has a unique structure of an affine algebraic group ([5], section 15). Whenever it is convenient, we would treat complex semisimple Lie groups as an affine algebraic groups.

4 MAN SHUN JOHN MA Definition 2.1. Let G be an affine connected algebraic group with Lie algebra g, G is called semisimple if its Lie algebra is g semisimple. Let H and B be connected algebraic subgroup of G. H is called a Cartan subgroup if its Lie algebra h is a Cartan subalgebra. B is called a Borel subgroup if its Lie algebra b is a Borel subalgebra. From ([5], chapter 15), when G is semisimple, every Cartan subgroup H is abelian and isomorphic to (C ) r for some r. Every Borel subgroup B is maximal solvable subgroup of G. When b = b ± defined in (2.6), B = HN, where N is a an algebraic subgroup with Lie algebra n ±. We will need the following results. Recall that a character of H is an algebraic homomorphism H C. Lemma 2.1. Every charcter σ : H C extends uniquely to B. Proof. N is a normal subgroup of B and B = HN, H N = {0}. Let σ be a character of H. Then one can extend σ to B by σ(bn) = σ(b). On the other hand, if σ is a character of B, considering its restriction to N. Then the differential is a Lie algebra homomorphism n gl 1 (C). As n = [b, b], we have n sl 1 (C). Thus the differential is zero and σ N is the identity. Hence σ descends to B/N = H. Theorem 2.4. Let G be a semisimple simply connected complex Lie group with Lie algebra g. Then λ h is the differential of a character of H if and only if λ is an integral weight. Proof. ( ) Let (π, V ) be a faithful representation of G such that π(h) lies in the diagonal subgroup (C ) m GL(V ) after choosing some basis {v 1,, v m }. Each v i corresponds to a character γ i defined by π(h)v i = γ i (h)v i. The differential of γ i corresponds to the weight of the representation (π, V ), thus is an integral weight (All weights from a representation are integral). Identifying H = π(h), we know that all characters on H are restricition of chacracter in (C ) m GL(V ). As γ i = c i H, where c i are the obvious generators of the characters of (C ) m, γ i generates the characters of H. Thus all differential of characters of H are integral weights. ( ) Every integral weight λ lies in the closure of some Weyl chamber and this chamber is positive with respect to some choice of positive roots. Hence it suffices to assume that λ is dominant. By Theorem 2.2, let V (λ) be the irreducible g-modules with highest weight λ and highest weight vector v λ. The representation π : g gl(v ) corresponds to a homomorphism G GL(V ) (still call it π), as G is simply connected. Let ξ h and h H such that h = exp(ξ). Using π(ξ)v λ = λ(ξ)v λ, we obtain π(h)v λ = π(exp(ξ))v λ = e π(ξ) v λ = e λ(ξ) v λ.

A PROOF OF BOREL-WEIL-BOTT THEOREM 5 Then (π H, H) acts on V λ and λ is the differential of this character. 3. Induced representation Let G be a complex semisimple Lie group with Lie algebra g, and B be a Borel subgroup with Lie algebra b = h n. As in ([5], 14.3), the left coset space G/B can be given a structure of complex manfold such that the action of G is holomorphic. We denote this manifold as M. M is compact as M = K/T, where T is the maximal torus such that T = K B. Let (σ, Q) be a holomorphic representation of B. Define G B Q = G Q/, where (g, q) (gb 1, σ(b)q). G B Q is given the quotient topology and quotient structure sheaf fromt the quotient map. Let π : G B M be the map π([g, q]) = gb, then π 1 (gb) = gb Q has a vector space structure. The following results are proved in ([5], 16.1). The first one follows essentially from the holomorphic version of implicit function theorem. Proposition 3.1. With the projection map π : G B Q M, G B Q is a G-equivariant holomorphic vector bundle on M. Lemma 3.1. G B Q is holomorphically trivial if and only if Q is the restriction of a holomorphic representation of G. The sheaf of holomorphic section on G B Q is denoted O σ. For each open set U M, O σ (U) = {f O ( π 1 (U) ) Q : f(gb 1 ) = σ(b)f(g), b B}. Note that O σ (U) has a structure of g-module: view g as the set of right invariant holomorphic vector fields on G, g acts on O σ (U) by differentiation. As M is compact and O σ is a coherent sheaf, H p (M, O σ ) is finite dimensional for all p. Moreover, the action on O σ induces an g-action on each H p (M, O σ ). Let λ be an integral weight. By Theorem 2.4 and Lemma 2.4, λ is the differential of a character of B. The induced line bundle with respect to the character is denoted L λ. The sheaf of holomorphic section on L λ is denoted O λ.

6 MAN SHUN JOHN MA 4. The Casimir operator c g Let U(g) be the universal enveloping algebra of g. By definition, any Lie algebra morphism ψ : g A of g into an associative algebra extends to a morphism ψ : U(g) A of associative algebras. The Casimir element c g U(g) is given by (4.1) c g = ηi 2 + h α + 2 z α x α, i α Φ + α Φ + where {η i } is a self dual basis of h, and h α, x α and z α are defined as in ([3], section 22). It is known that c g is well-defined independent of the choice of h, Φ + and c g Z(g). As a result, we can use c g to decompose any finite dimensional g-modules into its eigenspaces. Proposition 4.1. Let V (λ) is the finite dimensional irreducible g- module with highest weight λ. Then c g acts as the scalar λ, λ + 2δ. Proof. By Schur s lemma, we know that c g acts as a scalar. To find out this scalar, we apply π(c g ) to the highest weight vector v λ. As π(x α )v λ = 0 for all α Φ +, π(c g )v λ = λ(η i ) 2 v λ + λ(h α )v λ i α Φ + = λ 2 v λ + λ, α v λ α Φ + = λ, λ + 2δ v λ. Note that c g also acts on the sheaf O λ for all integral weight λ. Proposition 4.2. c g acts as the scalar λ, λ + 2δ on O λ. Proof. As G acts holomorphically and transitively on M, it suffices to check at the point B M. Let U be an open neigborhood of B and f O λ (U). Let b, b 1 B, then f(b 1 b 1 ) = λ(b 1 1 )λ(b)f(e) = λ(b)f(b 1 ). Let b = exp(tζ), where ζ b and differentiate, we obtain (ζf)(b 1 ) = λ(ζ)f(b 1 ). In particular, z α f = 0, ηf = λ(η)f on B, where η h. As x α corresponds to a holomorphic vector field, x α f O λ (U) for all α Φ +. Thus y α x α f = 0. Using equation (4.1), as in the proof of proposition 4.1, one can show that c g acts as the scalar λ, λ + 2δ.

A PROOF OF BOREL-WEIL-BOTT THEOREM 7 Corollary 4.1. c g acts trivially on O µ for all µ = ωδ δ for ω W. Proof. Note that for all integral weights λ, (4.2) λ, λ + 2δ = λ + δ 2 δ 2. If µ = ωδ δ for some ω W, then µ + δ = ωδ = δ. Thus the corollary follows from proposition (4.2). For a general representation Q on B, we have Proposition 4.3. Let (θ, Q) be a finite dimensional representation of B with weight Λ. Then O θ decompose into direct sums of U(g)-modules S t O θ = S t, where t ranges over distinct eigenvalues for the action of c g on O θ. If t = ν, ν + 2δ has multiplicity one, then S t = Oν. Proof. Let dim Q = n. By considering θ : b gl(q) and using Lie s theorem, Q has a filtration {Q i } n i=0 of B-submodules such that Q j /Q j 1 are one dimensional. It is easy to see that B acts on Q j /Q j 1 as a character ν j Λ. On the sheaf level, one has a sequence of subsheafs O θj such that O θj /O θj 1 = Oνj. Here θ j is the restriction of θ to Q j. All these are g submodules and c g acts on them. By Proposition 4.2, c g acts on O νj as ν j, ν j + 2δ. Thus ( (4.3) Π j cg ν j, ν j + 2δ ) acts as zero on O θ. Express (4.3) as Π t (c g t) kt, where k t is the multiplicity of t = ν j, ν j + 2δ. Write S t = ker(c g t) kt, then t O θ = t S t. If k t = 1 for some t, then there is an eigenspace E t of Q with eigenvalue t. As c g lies in the center of U(g), E t is a U(g)-module. Since E t = Q j /Q j 1 for some j, S t = Oνj as sheaf of U(g)-modules. 5. Borel-Weil theorem We are ready to prove the Borel-Weil theorem. The key argument is in the following lemma. Lemma 5.1. Let ω W and write µ = wδ δ. Then for all p, (1) H p (M, O µ ) is a trivial g-module.

8 MAN SHUN JOHN MA (2) Let V (λ) be a finite dimensional irreducible representation of g with highest weight λ, then (5.1) H p (M, O ωλ+µ ) = H p (M, O µ ) V (λ) as g-modules. Proof. First we show (1). By Corollary 4.1, c g acts trivially on O µ. Hence c g acts trivially on H p (M, O µ ) for all p. As H p (M, O µ ) is finite dimensional, it decomposes into irreducible g-modules. Let A ɛ be one of them with highest weight ɛ (thus A ɛ = V (ɛ)). By proposition 4.1, cg acts on A ɛ by the scalar ɛ, ɛ + 2δ = 0. As ɛ is dominant, ɛ, δ 0 ɛ = 0. Hence A ɛ is the trivial g-module. Hence H p (M, O µ ) is a trivial g- module. Let V = V (λ) and Λ be the set of weight of V. Let G be the simply connected complex Lie group with Lie algebra g. We use the same notation V to denote the irreducible representation on G. Let (θ, V ) be the restriction of the G-modules V to B. By Lemma 3.1, the induced bundle is trivial M V. Thus O θ = O V. On the other hand, we twist θ with the weight µ to obtain a representation θ µ on B. The induced bundle is (M V ) L µ and Thus, as g-modules, O θ µ = Oµ V. (5.2) H p (M, O θ µ ) = H p (M, O µ ) V. Now we show H p (M, O θ µ ) = H p (M, O ωλ+µ ). By Proposition 4.3, O θ µ decompose into direct sum of subsheaves S t, where t = ν + µ for some v Λ. We know that λ + δ > ν + δ for all ν λ, ν Λ. As ωλ = Λ, ω(λ + δ) = Λ + ωδ = Λ + µ + δ. Thus ωλ + µ will be the unique element in Λ + µ such that (wλ + µ) + δ = λ + δ. By (4.2), (ωλ + µ), (ωλ + µ) + 2δ = λ, λ + 2δ =: t and the multiplicity of ωλ + µ is one. By Proposition 4.3 again, S t = Oωλ+µ and O θ µ = Oωλ+µ S, where Ω λ, λ + 2δ is injective on S. Also we have H p (M, O θ µ ) = H p (M, O ωλ+µ ) H p (M, S). However, by (5.2), Proposition 4.1 and part one of this lemma, c g acts as the scalar λ, λ + 2δ on H p (M, O θ µ ). Thus H p (M, S) = {0} for all p and (2) is shown.

A PROOF OF BOREL-WEIL-BOTT THEOREM 9 Corollary 5.1. The set of integers p such that H p (M, O λ ) 0 is constant as λ + δ varies over the set of integral weights in a given Weyl chamber. Theorem 5.1. (Borel-Weil theorem) Let λ be a dominant integral weight. Then (1) H 0 (M, O λ ) = V (λ) as g-modules. (2) H p (M, O λ ) = {0} for p 0. Proof. Putting ω = id in (5.1), as µ = 0, (5.3) H p (M, O λ ) = H p (M, O) V (λ). When p = 0, H 0 (M, O) = C as M is compact. Thus part one is shown. When p > 0 (p < 0 is trivial), we use a result in ([1], Proposition 10.1), which says that L λ is positive if λ C +. Fix λ C +, by Kodaira Vanishing theorem [2], H p (M, O mλ ) = {0} for all p > 0 for m large enough. Replacing λ by mλ in (5.3), we obtain H p (M, O) = {0} for all p > 0. Put this back in (5.3), we conclude H p (M, O λ ) = {0} for all p > 0. 6. Borel-Weil-Bott theorem In this last section we prove the Borel-Weil-Bott theorem, which describes the cohomology groups H p (M, O λ ) for all integral weight λ. First we deal with the case where λ + δ lies in a wall. Lemma 6.1. If λ is an integral weight and λ + δ lies in a wall, then H p (M, O λ ) = {0} for all p. Proof. If not, H p (M, O λ ) would have an irreducible g-module with highest dominant weight γ. Using Proposition 4.1, Proposition 4.2 and (4.2), λ + δ = γ + δ. Then λ + δ and γ + δ are in the same Weyl group orbit, by Theorem 2.1. This implies that γ + δ also lies in some wall, which is impossible as γ is dominant. The next lemma relates two integral weights lying in adjacent Weyl Chambers, separated by a wall P α. Lemma 6.2. Let V be a finite dimensional irreducible representation of g with weight Λ and highest weight λ. Let α Φ. If µ E satisfies µ, α = 0 and µ, β > 0 for all β Φ + \ {±α}, then the maximal value µ + γ for γ Λ is achieved at exactly two points λ and s α λ. Proof. Since ν ν 2 is a convex function in E, the maximum µ+β can only occur when β Λ is an extremal weight. Given two extremal

10 MAN SHUN JOHN MA weights γ and ν, γ = ν by Theorem 2.1. This implies µ + γ 2 µ + ν 2 = 2 µ, γ ν. Let γ = λ. Then µ + λ = µ + ν only when λ = ν + nα for some n. But the only extremal weight of this form is s α (λ). Theorem 6.1. (Borel-Weil-Bott theorem) Let λ be an integral weight. (1) If λ + δ = ω(ν + δ) for some ω W and some dominant weight ν, then (6.1) H l(ω) (M, O λ ) = V (ν) as g-modules, where l(ω) is the length of ω. (2) H p (M, O λ ) = {0} for all p l(ω). Proof. We will proceed by induction on l(ω). When l(ω) = 0, it reduces to Borel-Weil theorem. Assume that the theorem is true for all Weyl group element of length k 1. Let ω W and l(w) = k. Let ν be any dominant weight. Let α Φ + such that l(s α ω) = k 1. Write ν = ν + δ C + and η = (s α ω)ν, s α η = ων, ρ = (ωδ) + s α (ωδ), τ = ρ δ. The exact formula for ρ is not essential. All we want is an integral weight which satisfies the hypothesis of Lemma 6.2 with respect to ωφ +. Let V be the finite dimensional irreducible G-module with highest weight ν. Let (θ, V ) be the restriction of V to B. As in the proof of Lemma 5.1, O θ τ = Oτ V and H p (M, O θ τ ) = H p (M, O τ ) V. As τ + δ = ρ lies in a wall, Lemma 6.1 imply that H p (M, O τ ) = {0} for all p. Thus (6.2) H p (M, O θ τ ) = {0}, p. As l(s α ω) < l(ω), we have α, s α η < 0 and α, η > 0. In particular, s α η < η with respect to the ordering defined using Φ +. Let V be the B-submodule of V containing all weights γ with γ < η and V = V/V, Then we have a short exact sequence of B-modules 0 (θ, V ) (θ, V ) (θ, V ) 0. Tensoring with τ (treated as B-modules) gives 0 (θ τ, V ) (θ τ, V ) (θ τ, V ) 0.

A PROOF OF BOREL-WEIL-BOTT THEOREM 11 By considering the sheaf of holomorphic section on the induced bundles, we obtain a short exact sequence of sheaf on M: (6.3) 0 O θ τ O θ τ O θ τ 0. By Proposition 4.3 again, O θ τ can be written as direct sum of subsheaves S t, where t is the generalized eigenspace of c g. t might be of the form t = γ + τ, γ + τ + 2δ = γ + ρ 2 δ 2, where γ Λ. By Lemma 6.2, s α η and η are the only two weights in Λ that maximize t. Projecting (6.3) to its t eigenspace gives 0 (O θ τ) t (O θ τ ) t (O θ τ) t 0 As s α η V and η V, both (O θ τ) t and (O θ τ) t are one dimensional. Thus by Proposition 4.3, (O θ τ) t = Osαη+τ, (O θ τ) t = Oη+τ. Using (6.2) and the fact that (O θ τ ) t is a subsheaf of O θ τ, H p (M, (O θ τ ) t ) = {0} for all p. Thus the long exact sequence on cohomology induces an isomorphism (6.4) H p+1 (M, O sαη+τ) = H p (M, O η+τ ). As η + τ + δ = η + ρ and ρ lies in the hyperplane P α, η + τ + δ s α C. So (η + τ) + δ = (s α ω)(χ + δ) for some dominant integral weight χ. Note that (s α η + τ) + δ = s α η + ρ = s α (η + ρ) = ω(χ + δ). By induction hypothesis, H l(ω) 1 (M, O η+τ ) = V (χ), H p (M, O η+τ ) = 0 when p l(ω) 1. Using (6.4), we have (6.5) H l(ω) (M, O sαη+τ) = V (χ), H p (M, O sαη+τ) = 0 if p l(ω). As a result, the induction step l(ω) = k have been shown for at least one integral weight λ, where λ = s α η + τ = ω(ν + δ) + τ. But this is good enough: By Lemma 5.1, for all integral weight λ such that λ + δ = ω(χ + δ) (or λ = ωχ + µ) (6.6) H p (M, O λ ) = H p (M, O µ ) V (χ)

12 MAN SHUN JOHN MA as g-modules and H p (M, O µ ) are trivial g-modules for all p. (6.5) we have H l(ω) (M, O µ ) = C, H p (M, O µ ) = {0} when p l(ω). Putting this back to (6.6), the induction step is verified. Using References 1. Raoul Bott Homogeneous Vectors Bundles, The Annals of Mathematics, 2nd Ser., Vol. 66, No. 2. (Sep., 1957), pp. 203-248 2. Phillip Griffiths, Joseph Harris Principles of Algebraic Geometry, Wiley Classics Library, 1994, John Wiley and Sons, Inc. 3. James E. Humphreys Introduction to Lie Algebras and Representation Theory, Graduate Texts in Mathematics 9, (1972), Springer. 4. Anthony W. Knapp, Lie groups beyond an introduction, second edition, Progress in Mathematics 140, Birhäuser 5. Joseph L.Taylor, Several Complex Variables with connections to Algebraic Geometry and Lie Groups, Graduate Studies in Mathematics - Volumn 46, American Mathematical Society