arxiv: v4 [math.kt] 9 Apr 2014

Transcription

1 EQUIVARIANT CORRESPONDENCES AND THE BOREL-BOTT-WEIL THEOREM HEATH EMERSON AND ROBERT YUNCKEN arxiv: v4 [math.kt] 9 Apr 2014 Abstract. We prove an analogue of the Borel-Bott-Weil theorem in equivariant KK-theory by constructing certain canonical equivariant correspondences between minimal flag varieties, with G a complex semisimple Lie group. 1. Introduction Let G be a complex semisimple Lie group and B G a minimal parabolic subgroup. Let µ be a weight for G and E µ the corresponding induced holomorphic line bundle on the holomorphic manifold. The Dolbeault cohomology group H (, E µ ) with its canonical action of G, is a graded-finite-dimensional representation of G, and, more relevantly for us, of its maximal compact subgroup K G. The Borel-Bott-Weil Theorem computes this representation. In this article, we prove a close relative of the Borel-Bott-Weil theorem in the context of equivariant K-theory. The bridge between Dolbeault cohomology and K-theory is provided by index theory of elliptic operators: H (G/K, E µ ), as a virtual K-representation, is the same as the K-index of the Dolbeault operator, Index K [ ] µ R(K) in the sense of Atiyah and Singer [1] twisted by E µ. From the point of view of Kasparov theory, [ ] µ is a class in the K-equivariant K-homology KK K (,C) of. This R(K)-module is acted on by the bivariant group KK K (, ), for which a topological model was developed in [4], defined using the theory of equivariant correspondences. The correspondence theory is the main tool used in this work. We construct certain canonical correspondences Λ(w), parameterized by the elements of the Weyl group W, compute how these correspondences act on equivariant K- homology, and deduce part of the Borel-Bott-Weil theorem. The Borel-Bott-Weil Theorem can be broken down into two parts. Firstly, one can compute H (, E µ ) in the case where µ is a dominant weight, showing that H i (, E µ ) vanishes in dimensions i > 0 while in dimension i = 0 it is the (unique) irreducible representation of the maximal compact subgroup K with highest weight µ. This degree 0 calculation is effectively the classical Borel-Weil Theorem. As a second part, one amplifies this calculation by providing a degree-altering isomorphism between the cohomology groups H (, E µ ) and H (, E µ ), where µ is any weight in the orbit of µ under the shifted (affine) Weyl group action on the weight lattice, explained below. It is this degree-shifting isomorphism which can be detected by K-theory, as we now explain. Let h be a Cartan subalgebra of the Lie algebra g of G and Γ W h the lattice of weights, i.e. the group of nonzero group homomorphisms h C. Let + Γ W be a choice of a set of positive roots for G, which brings with it a generating set of simple reflections for the Weyl group W and a corresponding word length function l : W N on the group. Up to conjugacy, the minimal parabolic subgroup B G Heath Emerson was supported by a Natural Science and Engineering Council of Canada (NSERC) Discovery grant. Part of this research was carried out while Robert Yuncken was supported by a PIMS post-doctoral fellowship at the University of Victoria. 1

2 2 HEATH EMERSON AND ROBERT YUNCKEN is the subgroup with Lie algebra b = h α g α, where g + α is the α-root space of the Lie algebra of G. Let [] µ KK K (C(),C) =: K K 0 () be the class of the Dolbeault operator on twisted by the K-equivariant line bundle E µ obtained by inducing a weight µ. Let ρ := 1 2 α + α be half the sum of the positive roots. Theorem 1.1. In the above notation, for any weight µ of G and any w W, the identity Index K [] µ = ( 1) l(w) Index K [] w(µ+ρ) ρ holds in R(K) = KK K (C,C). The Theorem 1.1 is thus a K-theoretic version of the Serre duality part of the Borel-Bott-Weil Theorem: a degree-shifting isomorphism between two Dolbeault cohomology groups (representations) has been re-stated as an equality, up to a specified sign, of (virtual) K-representations. The focus of this article is the KK-theory which lies behind Theorem 1.1. The proof of the theorem uses the theory of equivariant correspondences and runs as follows. The Weyl group element w conjugates the subgroup B to another minimal parabolic subgroup B w. The homogeneous space B w admits a pair of natural K-equivariant holomorphic fibrations to and w. Since the latter space is K-equivariantly biholomorphic to, we have realized B w as a holomorphic fibred space over in two different ways. In fact, in each case B w is K-equivariantly biholomorphic to the total space of a complex vector bundle over. Using the Thom class τ(q w ) associated to the latter of these fibrations we get a K-equivariant holomorphic correspondence pw ( B w, τ(q w )) qw from to itself. This yields an element of kk K (, ) which we denote by Λ(w) and call the Borel-Bott-Weil morphism with parameter w W. The main result of the paper is the following (they easily imply the analogue Theorem 1.1 of the Borel-Bott-Weil theorem above). Theorem 1.2. (Borel-Bott-Weil product formula). For any weight µ and w W, the identity (1.3) Λ(w) [] µ = ( 1) l(w) [] w(µ+ρ) ρ KK K (, ), holds, where Λ(w) is the Borel-Bott-Weil morphism with parameter w. We close by noting that we can replace K-equivariance by G-equivariance in Theorem 1.1, using the Baum-Connes conjecture. The Borel-Bott-Weil theorem is a statement about non-unitary representations of non-compact groups. Kasparov theory does not admit such representations. Instead, equivariant Kasparov theory for non-compact groups uses unitary, but possibly infinite-dimensional representations, and almost-equivariant Fredholm operators; these are the cycles for the Kasparov representation ring KK G (C,C). There is a restriction map KK G (A, B) KK K (A, B) when K G is a maximal compact subgroup as above, by forgetting G-equivariance to K-equivariance on cycles. The Baum-Connes apparatus shows this map is an isomorphism when A has the form A = C() A for some G-C*-algebra A ; this follows from a theorem of Tu [6]. Since all the analytic Kasparov classes defined by us have this form, Theorems 1.1 and 1.2 have their counterparts with K replaced by G.

3 EQUIVARIANT CORRESPONDENCES AND THE BOREL-BOTT-WEIL THEOREM 3 2. Preliminaries 2.1. Equivariant correspondences. The environment in which the calculations of this paper will take place is the topological model for equivariant Kasparov theory developed in [4]. We refer the reader to this article for details on the framework. All correspondences used in this paper will be smooth, which simplifies the definitions. Let K be a compact group and let X and Y be smooth K-manifolds, i.e. smooth manifolds with smooth actions of K. A smooth correspondence is given by a quadruple (M, f, b, ξ) where M is a smooth K-manifold, f : M Y is a smooth K-equivariantly K-oriented map, b: M X is a smooth K-equivariant map, and ξ RK K,X (M) is a smooth K-equivariant K-theory class with compact support along the fibres of b (in the terminology of [4], a K-theory class with M-compact support). We usually use the notation X b (M, ξ) f Y, as in [3] (the origin of the theory) to denote the quadruple above. Note that if X is compact (the case throughout in this article), then RK K,X(M) = K K(M), the ordinary, compactly supported, K-equivariant K-theory of M. The degree of the correspondence is the sum of the degrees of ξ and of f. Equivalence classes of equivariant correspondences make up the morphisms in the additive category kk K explained in [4]; it is naturally isomorphic to the corresponding (analytic) Kasparov ring KK K with some limitations on the arguments; these limitations are not relevant for any of the K-spaces that appear in this paper. We generally operate in kk K in this paper. For any pair of K-spaces X and Y, kk K (X, Y ) will thus denote the abelian group of equivalence classes of equivariant correspondences from X to Y, graded by parity of degree. Two standard examples of kk K -classes are important; to fix notion, we recall them. Example 2.1. If b : Y X is a proper K-equivariant map, we define b := [ X b (Y, 1 Y ) id Y ], where 1 Y is the class of the trivial line bundle Y C, the unit in RK K,X(Y ) = RK K(Y ). Example 2.2. If Φ is an equivariantly K-oriented smooth map from X to Y, where X and Y are smooth K-manifolds, we define the wrong-way class of Φ as Φ! := [ X id (X, 1 X ) Φ Y ], where 1 X is the class of the trivial line bundle E C in RK K(X). By a complex K-manifold we shall mean a smooth complex manifold X equipped with a holomorphic action of K. The tangent bundle TX has a canonical K- equivariant complex structure and a corresponding K-equivariant K-orientation. This supplies an equivariant K-orientation on the map from X to a point. The corresponding wrong-way class is called the (topological) fundamental class of X, and denoted by [X]. Its image in KK K 0 (C 0 (X),C) is the class of the K-equivariant Dolbeault operator on X. Next, let M 1, M 2, Y be complex K-manifolds. Assume that both M 1 and M 2 are normal K-manifolds and that TY is subtrivial.

4 4 HEATH EMERSON AND ROBERT YUNCKEN Two smooth maps f 1 : M 1 Y and b 2 : M 2 Y are transverse if for every pair of points m 1 M 1 and m 2 M 2 with f 1 (m 1 ) = b 2 (m 2 ), the map T m1 M 1 T m2 M 2 T f1(m 1)Y, (ξ 1, ξ 2 ) D m1 f 1 (ξ 1 ) + D m2 b 2 (ξ 2 ) is surjective. It is shown in [4] that when transversality holds, the fibre product M 1 Y M 2 := {(m 1, m 2 ) f 1 (m 1 ) = b 2 (m 2 )} is itself a smooth manifold and the projection pr 2 : M 1 Y M 2 M 2 admits a canonical equivariant K-orientation from the K-orientation on f 1. If f 1 and b 1 are holomorphic maps, the fibre product M 1 Y M 2 will be a complex manifold, and the projection pr 2 will be a holomorphic map; the corresponding K- orientation agrees with the one described in the previous paragraph Complex semisimple Lie groups. Here we review some standard structure theory for semisimple groups and fix notation for the remainder of the paper. For details, see, for example, [5]. Let G be a complex connected semisimple Lie group andgits Lie algebra. Denote by B() its Killing form. Let θ be a Cartan involution on g, so that v, w := B(θ(v), w), v, w g is a positive definite inner product on g; the archetypal example is the operation of negative-conjugate-transpose on sl n (C). The +1-eigenspace of θ is the Lie algebra k of a maximal compact subgroup K of G. Fix h, a θ-stable Cartan subalgebra. Let t = h k, which is the Lie algebra of a maximal torus T in K. We have h = t a, where a = it, and we let A denote the subgroup of G with Lie algebra a. The set of roots will be denoted, with g α denoting the root space of α. We fix a choice of positive roots +, and recall that every positive root is a non-negative integral combination of simple roots. The lattice of weights will be denoted Γ W, and the dominant weights are those λ Γ W for which λ, α 0 for every positive root α. We will frequently abuse notation by blurring the distinction between a weight µ Γ W, the corresponding representation of T, and the corresponding holomorphic representation of H = T A. The Weyl group is W = N G (H)/Z G (H). We will frequently identify elements w W with a lift to an element of N G (H) G, at least when the choice of lift makes no difference. The usual action of the Weyl group on weights will be denoted by µ w(µ). Let ρ := 1 2 α α be the half-sum of positive roots. We will often + refer to the shifted action of the Weyl group, which is the action: (2.3) w : λ w(λ + ρ) ρ. We fix the standard Borel subalgebra b := h n, where n is the nilpotent subalgebra n := α + g α. The associated subgroups are denoted B and N. For each element w of the Weyl group, there are conjugate subgroups B w := wbw 1, N w := wnw 1 with corresponding Lie algebras b w and n w. We also define the Lie algebra n := θn = α + g α, as well as its conjugates n w := Ad[w) n for each w W. The flag variety of G is the complex homogeneous space. It is K-equivariantly diffeomorphic to K/T via the map ι : K/T = ; kt kb. However, we shall try to distinguish the two spaces as much as possible. The difference is technical but important:, having a natural complex structure, is

5 EQUIVARIANT CORRESPONDENCES AND THE BOREL-BOTT-WEIL THEOREM 5 canonically K-oriented, while K/T only inherits a K-orientation once it is identified with. Moreover, for any w W, there is a K-equivariant diffeomorphism ι w : K/T = w ; kt kb w, each inducing a different K-orientation on K/T. absolutely central to what follows. This technicality is of course 3. The Borel-Bott-Weil theorem 3.1. Twisted Fundamental Classes. Let µ be a weight of G. As mentioned above, it corresponds to a holomorphic representation of H, and one can extend it to a holomorphic character of B which is trivial on N. We denote the onedimensional representation space by C µ. We shall use the notation E µ throughout to denote the induced G-equivariant line bundle E µ := G B C µ. We also have E µ = K T C µ by restriction. Recall (see, eg, A. Wassermann s Frobenius Reciprocity Theorem [2][Theorem ]) that K K(K/T ) is isomorphic to K T (C) = R(T ), the representation ring of T, as a Z-module. The representation ring is just Z[Γ W ], the group ring of the weight lattice, and the isomorphism is given by induction: Ind K T : R(T ) = K K (K/T ) [µ] [E µ ] Definition 3.1. Given µ Γ W, we define the µ-twisting class to be the element [[µ]] kk K (, ) given by the following correspondence: (3.2) id (, [E µ ]) id. The µ-twisted fundamental class of, denoted [] µ, is the class of the K-equivariant correspondence (3.3) id (, [E µ ]) in kk K (, ). Thus, [] µ = [[µ]] [], where [] := [] 0 is the (untwisted) fundamental class of. The reason for the terminology is that [] institutes a duality isomorphism (see [4]) kk K ( X, Y ) = kk K (X, Y ) valid for arbitrary K-spaces X and Y. For example if X = Y = then duality gives an isomorphism R(T ) = Z[Γ W ] = kk K (, ). This duality can easily be verified to send point mass at a weight µ Γ W to the class [] µ.

6 6 HEATH EMERSON AND ROBERT YUNCKEN 3.2. Borel-Bott-Weil Correspondences. Let w be an element of the Weyl group W = N G (H)/Z G (H). Recall that the subgroup B w := wbw 1 is independent of the choice of lift of w to N G (H) G. It is another minimal parabolic subgroup of G. Consider the homogeneous space G/(B B w ). This admits two G-equivariant fibrations, given by the natural maps p w : ( B w ), q w : ( B w ) w. Viewing G/(B B w ) as a K-space by restriction, both of these fibrations can be realized as K-equivariant vector bundle projections, as we now describe. Recall that we define N w := wnw 1, Nw := w Nw 1, with Lie algebras n w and n w respectively. Then n = (n n w ) (n n w ) is a decomposition of n into Lie subalgebras. Since N is a connected simply-connected nilpotent Lie group, there is a corresponding factorization N = (N N w )(N N w ). Lemma 3.4. Let w W. One can define a K-equivariant diffeomorphism ϕ w : K T (n n w ) = G/(B B w ) by the formula ϕ w : [k, X] k exp(x).(b B w ) such that the diagram ϕ w (3.5) K T (n n w ) G/(B B w ) = π w p w K/T = commutes. Moreover, ϕ w is fibrewise holomorphic (with respect to the fibrations π w and p w ). In other words, the K-equivariant fibrations K T (n n w ) K/T and G/(B B w ) are equivalent in the category of K-equivariant fibrations with holomorphic fibres. Proof. To see that the map ϕ w is well-defined we compute, for any k K, t T, X n n w : ϕ w ([kt, Ad(t 1 )X]) = kt.t 1 exp(x)t(b B w ) = k exp(x).(b B w ) = ϕ w ([k, X]). Next, surjectivity. Let g G be arbitrary. There is a decomposition G = KNA = K(N N w )(N N w )A, and we decompose g as g = kn 1 n 2 a accordingly. Since (N N w )A B B w, we have ϕ w ([k, log(n 1 )]) = g(b B w ). Next suppose [k, X] and [k, X ] K M (n n w ) have the same image under ϕ w. Since B B w = T (N N w )A, there exist t T and n 2 a (N N w )A such that k exp(x ) = k exp(x)tn 2 a = kt exp(ad(t 1 X))n 2 a. By the uniqueness of the K(N N w )(N N w )A-decomposition, k = kt and X = Ad(t 1 )X, which is to say [k, X ] = [k, X]. That the map is K-equivariant is straightforward, as is the commutativity of the diagram of bundle maps. Fibrewise holomorphicity follows from the holomorphicity of the exponential map.

7 EQUIVARIANT CORRESPONDENCES AND THE BOREL-BOTT-WEIL THEOREM 7 Remark 3.6. There is an alternative realization of the space G/(B B w ) as a K- equivariant vector bundle via the diagram ϕ (3.7) K T (n w n) w G/(B B w ) = π w q w K/T = w where the top map has essentially the same defining formula: ϕ w : [k, X ] k exp(x ).(B B w ). The proof is basically identical. Thus, the holomorphic manifold G/(B B w ) admits two distinct structures as a complex K-equivariant vector bundle over K/T, via the maps π w and π w. This point will be of crucial importance later. Definition 3.8. Using the diagrams (3.5) and (3.7), we may consider the zero sections of the two complex vector bundles K T (n w n) and K T (n n w ) as K-equivariant maps ζ w : G/(B B w ) and ζ w : w G/(B B w ). They are given simply by ζ w : kb k(b B w ) for k K, ζ w : kb w k(b B w ) for k K, where we stress that in applying these formulas, we are obliged to choose coset representatives k belonging to the compact subgroup K. The importance of realizing G/(B B w ) as a complex K-vector bundle over is that there is a Thom class τ(p w ) K K(G/(B B w )), obtained by pushing forward the Thom class from K ( K T (n n w ) ). Note that this Thom class is dependent upon the fibration map p : G/(B B w ). The alternative fibration q w : G/(B B w ) w defines a different class τ(q w ), pushed forward from K K( K T (n w n) ). Let w W. The spaces w and are G-equivariantly diffeomorphic, even biholomorphic, via the right multiplication map R w : g.(wbw 1 ) gw.b. We can now define one of our main objects of study. Definition 3.9. The Borel-Bott-Weil morphism Λ(w) kk K (, ) with parameter w W is the class of the K-equivariant holomorphic correspondence p (3.10) w ( B w, τ(q w )) q w w R w. Example If w = e is the identity element, then B B e = B, n n w is the zero Lie subalgebra, inducing to the zero vector bundle on K/T, and τ(p e ) is the Thom class [1] of the zero vector bundle. Thus Λ(e) = 1 is represented by the correspondence id (, [1]) id which is the identity correspondence. Thus Λ(e) = 1 kk K (, ) Product structure. For w W, we denote by ι w : K/T w the K-equivariant diffeomorphism defined by kt kb w for k K. Each of these maps identifies K/T with a complex manifold, with K acting by a holomorphic action, and this complex structure induces a corresponding K- equivariant Spin c -structure on K/T. All of these Spin c -structures will be different. To keep track of them, we use the complex picture whenever possible.

8 8 HEATH EMERSON AND ROBERT YUNCKEN Definition We denote by I w : w the (non-holomorphic) K- equivariant diffeomorphism defined by the commuting diagram Iw w ι e ι w K/T id K/T. Thus, I w corresponds to the identity map on K/T but with an unusual K-orientation. If w W, then right translation R w : w is a K-equivariant map yielding an element R w kk K (, w ). The following proposition asserts, roughly, that after twisting R w by the change of equivariant K-orientation induced by I w, we get exactly the Borel-Bott-Weil correspondence Λ(w). Proposition Let w W. Then Λ(w) = (I 1 w R 1 w ) in kk K (, ). Proof. The map R w is biholomorphic, so (R 1 w ) = R w!. Using the realization of G/(B B w ) as a K-equivariant vector bundle over w, we can perform a Thom modification to get (I 1 w Rw 1 ) = [ I 1 w w qw R w ] = [ I 1 w (G/(B B w ), τ(q w )) Rw qw ]. Next consider the commutative diagram I w w ζ w ζ w G/(B B w ) G/(B B w ). Since the bundle projections p w and q w are homotopy inverses to the zero sections ζ w and ζ w, we have that I 1 w q w p w. Hence (Iw 1 R 1 w ) = Λ(w). Corollary The map w Λ(w) is a group homomorphism from the Weyl group into the invertible elements of the ring kk K (, ). Proof. One just needs to check that R w1 I w1 R w2 I w2 = R w1w 2 I w1w 2. This is immediate if one represents elements of as kb with k K Commutation relations in KK K (, ). We begin with some generalities on pullbacks of induced bundles. Let H 2 H 1 G be a nested sequence of closed Lie subgroups, and let V be a vector space with a representation of H 1. If p : G/H 2 G/H 1 denotes the canonical fibration map, then there is an equivariant bundle isomorphism (3.15) p (G H1 V ) = G H2 V, given by following pullback diagram: G H2 V G H1 V [g, v] [g, v] G/H 2 p G/H 1 gh 2 gh 1. Recall that each weight µ defines a one-dimensional holomorphic representation of B. It will be convenient to use an explicit notation for this in the next few

9 EQUIVARIANT CORRESPONDENCES AND THE BOREL-BOTT-WEIL THEOREM 9 paragraphs, so we denote it by σ µ : B End(C µ ). We shall denote by σµ w the representation of B w defined by conjugating by w W : σµ w (wbw 1 ) := σ µ (b). Then there is a G-equivariant bundle isomorphism (3.16) R w (G B C µ ) = G Bw C µ, where the representation of B w on the right-hand side is σµ w. pullback diagram is: G Bw C w(µ) G B C µ [g, v] The appropriate [gw, v] w R w gb w gwb. Lemma For any µ Γ W and w W we have qwr we µ = p w E w(µ) as G-equivariant complex line bundles over G/(B B w ). Proof. As described above, qw R w E µ = qw (G B w C µ ). Restricting the conjugated representation σµ w to B B w yields a representation which is trivial on N N w and given by e w(µ) on T A. Thus (3.15) gives qwr we µ = G B Bw C w(µ). This is isomorphic to p we w(µ) by (3.15) again. Proposition For any µ Γ W and w W, Λ(w) [[µ]] = [[w(µ)]] Λ(w). Proof. We calculate, Λ(w) [[µ]] = pw ( B w, τ(q w )) Rw qw id (, [E µ ]) id = pw ( B w, τ(q w ).qwr w[e µ ]) Rw qw = pw ( B w, τ(q w ).p w[e w(µ) ]) Rw qw = id (, [E w(µ] ]) id pw ( B w, τ(q w )) Rw qw = [[w(µ)]] Λ(w) Comparing Thom classes. We begin this section by comparing the two Thom classes τ(p w ) and τ(q w ) on the space B w (see Section 3.2). It will suffice to consider the case where w is the reflection in a simple root α. in that case we have n n w = g α and n w n = g α. Recall that τ(p w ) is the pushforward of the Thom class of K T (n n w ) = K T g α via the bundle isomorphism of (3.5). Taking advantage of the complex structure on the fibres, the corresponding spinor bundle is K M C g α. There is an Ad(T )-invariant inner product on g α via the Killing form. Letting λ X denote the exterior product by X g α, we have a Clifford algebra representation (3.19) c : g α End( C g α); c(x) := λ X λ X. The Thom class of K T g α is the pullback of the spinor bundle along the bundle projection π w : K T g α K/T, equipped with the bundle endomorphism which at each point is the Clifford representation of that point. Since K T C g α = C 0 C α, we can identify the spinor bundle over K/T with G B (C 0 C α ). The space C α here identifies naturally with g α as a T -space, but not as a B-space: we have made an arbitrary extension to a B-representation.

10 10 HEATH EMERSON AND ROBERT YUNCKEN Using Equation (3.15), the push-forward of the Thom class by ψ is then (3.20) τ(p w ) = (G B B w (C 0 C α ), C w ), where C w is the bundle endomorphism defined at each point of G/(B B w ) by C w (k exp(x)(b B w )) = c(x) for k K, X g α. A similar calculation shows that the Thom class τ(q w ) associated to the other projection is (3.21) τ(q w ) = (G B Bw (C 0 C α ), C w), where C w (k exp(x )(B B w )) = c(x ) for k K, X g α. To compare these two classes, we define a homotopy. For t [0, 1], define a map γ t : G/(B B w ) G/(B B w ), k exp(x)(b B w ) k exp(tx)(b B w ), for k K, X g α. This is just the pushforward by ϕ w of the retraction of the bundle K T g α to the zero section. Consider the smooth family Φ t of bundle endomorphisms of G B Bw (C 0 C α ) defined by Φ t (z) := C (γ t (x)), (z B w ). Since γ 0 has image the zero section, Φ 0 is the zero endomorphism. By smoothness and the compactness of, the family Ψ t := 1 t Φ t (t 0) has a well-defined limit at t = 0, which we denote by Ψ 0. Lemma Let θ denote the Cartan involution on g. At a point k exp(x)(b B w ) of G/(B B w ), where k K and X g α, the limit Ψ 0 (k exp(x)b B w ) is the endomorphism of the fibre C g α defined by Ψ 0 (k exp(x)b B w ) = c( θx). Proof. We have γ t (k exp(x)(b B w )) = k exp(tx)(b B w ). By the Campbell- Baker-Hausdorff formula, exp(tx) = exp(t(x + θx)) exp( tθx) exp(o(t)). Since exp(t(x + θx)) K, we have that Ψ t acts on the fibre at k exp(x)b B w by which has limit c( θx) as t 0. Ψ t (k exp(x)b B w ) = 1 c( tθx + o(t)). t In the next lemma, we fix identifications of g ±α with C by identifying some arbitrary unit vector Y g α with 1, and likewise with θy g α. Ultimately the choice of this Y makes no difference. Lemma Fix Y g α with Y = 1. Define a grading-reversing map β : C g α C g α by β : Then for any X g α, { ω ω.θy, X Y, X, β 1 c(x)β = c( θx). for ω 0 C g α = C, for X 1 C g α = g α. Remark Equivalently, β = θ, where is the (anti-linear) Hodge -operator on C g α.

11 EQUIVARIANT CORRESPONDENCES AND THE BOREL-BOTT-WEIL THEOREM 11 Proof. We calculate and β 1 λ X β : ω 0, for ω C, β 1 λ X β : ωy β ω λx ωx β 1 θy, ωx, for ωy g α λ θx : ω 0, for ω C, λ θx : ωy θx, ωy, for ωy g α. These maps are equal since θ is anti-unitary. Also β 1 λ X β = λ θx, by the unitarity of β. The result now follows from the definition c(x) := λ X λ X. The map β is not T -equivariant it alters the weights, since it maps g α to C 0 and C 0 to g α. But if we alter it by defining β : C g α ( C g α) g α Z βz Y, then it is weight-preserving, and hence T -equivariant. It induces a grading-reversing bundle isomorphism (3.25) id B Bw β : G B Bw C g α G B Bw (( C g α) g α ) = (G B Bw C g α) Bw p E α, which intertwines the bundle endomorphisms Ψ 0 and C w id. Combining this with the fact that Ψ 1 = C w, we have proven the following fact. Proposition If w W is the reflection in the simple root α, then τ(q w ) = τ(p w ) p [E α ] in K K(G/(B B w )). Remark There is a more general formula: for any w W, τ(q w ) = τ(p w ) p [E w(ρ) ρ ], where ρ is the half-sum of the positive roots. This can be proven along the same lines as above with significantly more work, or deduced from results to follow. We shall not need it The Borel-Bott-Weil Theorem: Action on K-homology and Indices. Proof of Theorem 1.2. We wish to show Λ(w) [] µ = ( 1) l(w) [] w(µ+ρ) ρ. By the multiplicativity of the map w Λ(w), it suffices to take w a reflection in a simple root α. Let µ Γ W. Using the fact that [] µ = [[µ]] [], Proposition 3.18 gives Λ(w) [] µ = [[w(µ)]] Λ(w) [] From Proposition 3.26, Λ(w) [] = So we get = [ ] pw ( G/(B B w ), τ(p w )p [E α ] ) [ ] id (, [E α ]) = [] α. Λ(w) [] µ = [] w(µ) α. Since w is the reflection in α, we have α = w(ρ) ρ, which proves the result.

12 12 HEATH EMERSON AND ROBERT YUNCKEN We now pass to the index-theoretic application. Let pt : denote the map of to a point and pt kk K (C, ) its topological KK-theory class. For a weight µ, the topological K-index of the twisted fundamental class [] µ kk G (, ) is defined by Index K [] µ := pt [] µ kk K (C,C). We do not bother to use different notation for the analytic index Index K [] µ KK K (C,C) = R(K); which one we are talking about will be made clear by the context. The analytic index is the same as the cohomology group H (, E µ ) figuring in the classical Borel-Bott-Weil theorem, while the Atiyah-Singer index theorem asserts that it is equal to the image of the topological index under the map kk K (, ) KK K (C(),C). Proof of Theorem 1.1. We note that a Thom modification yields [ ] (3.28) pt Λ(w) = (G/(B B w ), τ(q w )) Rw qw [ ] R = w w = pt. Composing with the µ-twisted fundamental class on the right, and applying Theorem 1.2 gives ( 1) l(w) Index K [] w(µ+ρ) ρ = Index K [] µ. Remark Let us also record the action of the Borel-Bott-Weil classes on equivariant K-theory. The induction isomorphism R(T ) = K K (K/T ) associates to [µ] the correspondence [ ] [E µ ] := (K/T, [E µ ]) id K/T = pt [[µ]]. Thus, if we compose the commutation relation of Proposition 3.18 on the left by pt and use Equation (3.28), we get the right action: [E w(µ) ] Λ(w) = [E µ ]. References [1] M. F. Atiyah and I. M. Singer, The index of elliptic operators. I, Ann. of Math. (2) 87 (1968), MR (38 #5243) [2] Bruce Blackadar, K-theory for operator algebras, Second, Mathematical Sciences Research Institute Publications, vol. 5, Cambridge University Press, Cambridge, MR (99g:46104) [3] A. Connes and G. Skandalis, The longitudinal index theorem for foliations, Publ. Res. Inst. Math. Sci. 20 (1984), no. 6, MR (87h:58209) [4] Heath Emerson and Ralf Meyer, Bivariant K-theory via correspondences, Adv. Math. 225 (2010), no. 5, MR (2012a:19013) [5] Anthony W. Knapp, Lie groups beyond an introduction, Second, Progress in Mathematics, vol. 140, Birkhäuser Boston Inc., Boston, MA, MR (2003c:22001) [6] Jean-Louis Tu, La conjecture de Baum-Connes pour les feuilletages moyennables, K-Theory 17 (1999), no. 3, MR (2000g:19004) address: hemerson@math.uvic.ca Department of Mathematics and Statistics, University of Victoria, PO BOX 3045 STN CSC, Victoria, B.C., Canada V8W 3P4 address: yuncken@math.univ-bpclermont.fr Université Blaise Pascal, Laboratoire de Mathématiques, Campus des Cézeaux, B.P , Aubière cedex, France