arxiv:math/ v3 [math.sg] 22 Sep 2003

THE KIRWAN MAP, EQUIVARIANT KIRWAN MAPS, AND THEIR KERNELS arxiv:math/0211297v3 [math.sg] 22 Sep 2003 LISA C. JEREY AND AUGUSTIN-LIVIU MARE Abstract. Consider a Hamiltonian action of a compact Lie group K on a compact symplectic manifold. We find descriptions of the kernel of the Kirwan map corresponding to a regular value of the moment map κ K. We start with the case when K is a torus T: we determine the kernel of the equivariant Kirwan map (defined by Goldin in [Go]) corresponding to a generic circle S T, and show how to recover from this the kernel of κ T, as described by Tolman and Weitsman in [To-We]. (In the situation when the fixed point set of the torus action is finite, similar results have been obtained in our previous papers [Je], [Je-Ma]). or a compact nonabelian Lie group K we will use the non-abelian localization formula of [Je-Ki1] and [Je-Ki2] to establish relationships some of them obtained by Tolman and Weitsman in [To-We] between Ker(κ K ) and Ker(κ T ), where T K is a maximal torus. 1. Introduction Let M be a compact symplectic manifold acted 1 on by a torus T in a Hamiltonian fashion. Assume that 0 is a regular value of the moment map µ : M t = (Lie T) and consider the symplectic reduction M//T = µ 1 (0)/T. By a well-known result (see [Ki]), the Kirwan map κ : HT (M) H (M//T) induced by the inclusion µ 1 (0) M via the identification HT (M) = H (M//T) is surjective 2. Determining the kernel of κ is an important problem: combined with a presentation of the equivariant cohomology ring HT (M), this gives a description of the cohomology ring of M//T. Now consider a 1-dimensional torus S T with Lie algebra s and let µ S : M s be the moment map corresponding to the action of S on M. We will call S generic if (i) the two fixed point sets M S and M T are equal (ii) 0 is a regular value of the moment map µ S : M s. Date: April 9, 2008. 1 The fixed point set of the action is not assumed to consist of isolated points, unlike the hypothesis in [Je] and [Je-Ma]). 2 In this paper all cohomology groups are with complex coefficients. 1

2 L. C. JEREY AND A.-L. MARE Denote by M//S = µ 1 S (0)/S the symplectic reduction corresponding to the S action on M. In the same way as before, we can consider the map induced by the inclusion µ 1 S (0) M at the level of the T-equivariant cohomology and identify at the same time Goldin [Go] called the resulting map the equivariant Kirwan map and she proved: H T (µ 1 S (0)) = H T/S (µ 1 S (0)/S). κ S : H T(M) H T/S(M//S) Theorem 1.1. (see [Go]) If 0 is a regular value of µ S, then the map κ S is surjective. Our first theorem (Theorem 1.2) shows that the knowledge of Ker(κ S ), for a generic circle S T, is crucial for determining the kernel of the Kirwan map κ : H T(M) H (M//T). Theorem 1.2. Ker(κ) = Ker(κ S ), S where the sum runs over all generic circles S T. One aim of our paper is to describe the kernel of κ S. Let us denote first by the set of all connected components of the fixed point set M T : note that the moment map µ is constant on each. To any generic circle S T we assign the partition of given by = +, where + = { : µ S () > 0} and = { : µ S () < 0}. Also, let X, Y 1,...,Y m be variables corresponding to an integral basis of t such that (1) X s corresponds to an integral element of s and Y j s = 0, j 1. In this way, we have H T (pt) = S(t ) = C[X, Y 1,...,Y m ]. The following definition (Definition 1.3 for Ker res ) 3 is suggested by the residue formula of [Je-Ki1] and [Je-Ki2]: (2) Ker(κ S ) = Ker res (κ S ). 3 or more details, we refer the reader to section 2.

KIRWAN MAPS 3 Definition 1.3. (i) The residue kernel Ker res (κ S ) is the set of all classes η HT (M) with the property that Res + i (ηζ) X = 0 e + for all ζ HT (M). Here e = e(ν) HT () is the equivariant Euler class of the normal bundle of and Res + X is defined by (3) Res + X (h) = b C Res X=b h for every rational function h in the variables X, Y 1,...,Y m. (ii) We define the residue kernel of κ as Ker res (κ) = S Ker res (κ S ) We shall prove the following result: Theorem 1.4. If S T is a generic circle, then we have that (4) Ker res (κ S ) = K S K S +, where K S (resp. KS + ) denote the set of all equivariant cohomology classes η whose restriction to S (resp. +) S is zero. We remark that we prove Theorem 1.4 directly, without using the fact that the right and left hand sides of (4) are known to be the kernel of κ S (by results of [Je-Ki1] and Goldin [Go]). As a corollary of Theorem 1.4, we deduce the following description of Ker res (κ): Corollary 1.5. The residue kernel of the Kirwan map κ : H T (M) H (M//T) is given by Ker res (κ) = S (K S K S +), where S is as in Theorem 1.2. Here K S ± consist of all equivariant cohomology classes α which restrict to zero on all components with the property that ±µ()(ξ) > 0 where ξ is a fixed non-zero vector in the Lie algebra of S. Proof of Corollary: The corollary follows immediately from Theorem 1.4 because Theorem 1.4 tells us that Ker res (κ S ) = K S K S +

4 L. C. JEREY AND A.-L. MARE so Ker res (κ S ) = (K S KS + ) S S which is Ker res (κ) by definition (Definition 1.3). Tolman-Weitsman s theorem [To-We] is as follows: Theorem 1.6. We have (5) Ker(κ) = (K S K+). S S Proof of Tolman-Weitsman s theorem: We obtain Tolman-Weitsman s theorem by the following steps. Step 1: Theorem 1.2 tells us that Ker(κ) = S Ker(κ S) Step 2: Results of [Je-Ki1] and [Je-Ki2] tell us that Ker(κ S ) = Ker res (κ S ) Step 3: By Theorem 1.4 Ker res (κ S ) = K S KS +. The key step is Step 3, which uses residues which enable us to easily exhibit the structure of the residue kernel as a sum of classes vanishing on one side of certain hyperplanes. We must emphasize that it is unexpected that one can deduce Tolman-Weitsman s result (Theorem 1.6) by this means; obtaining a new proof of this result was not one of our original goals, but rather an unanticipated byproduct of our analysis. Our goal was to prove directly that the residue kernel Ker res (see Definition 1.3) equals the Tolman-Weitsman kernel (i.e. the right hand side of (5)). We obtain this result (Corollary 1.5) by combining Theorem 1.2 and Theorem 1.4. This directly generalizes the main result of [Je]. The two descriptions of the kernel of the Kirwan map are apparently quite different, so it is illuminating to see directly that they coincide. The final goal of the paper is to describe the kernel of the Kirwan map in the case of the Hamiltonian action of a non-abelian Lie group. Let K be an arbitrary compact connected Lie group with maximal torus T K and let W = N K (T)/T be the corresponding Weyl group. If M is a K manifold, then there exists a natural action of W on H T (M). If H T (M)W denotes the space of W-invariant cohomology classes, then we have the isomorphism H K (M) = H T (M)W, (see [At-Bo1]) which allows us to identify the two spaces. Let us also denote by D the element of H T (pt) = S(t ) given by the product of all positive roots. Suppose now that M is a compact symplectic manifold and the action of K is Hamiltonian. Assume that 0 is a regular value of the moment map µ K : M k

and consider the symplectic quotient The Kirwan surjection (see [Ki]) KIRWAN MAPS 5 M//K = µ 1 K (0)/K. κ K : H K (M) H (M//K) is, exactly as in the abelian case, induced by restriction from M to µ 1 K (0) followed by the isomorphism HK(µ 1 K (0)) H (µ 1 K (0)/K). The following result was proved in [Je-Ki1]: Theorem 1.7. (non-abelian residue formula [Je-Ki1], [Je-Ki2]). or every cohomology class η HK (M) = H T (M)W we have that (6) κ K (η)[m//k] = c 1 Res( D 2 η ) e where c 1 is a non-zero constant, is the set of connected components of the fixed point set M T and Res is a certain complex valued operator 4 on the space of functions of the form p/q, with p, q S(t ), q 0. In the case K = T, the class D is 1, and we obtain immediately the abelian residue formula: for every η HT (M) we have that (7) κ T (η)[m//t] = c 2 Res( η ) e where Res is the same operator as the one from equation (6) and c 2 is a non-zero constant. Also note that the residue formula (6) gives a complete description of Ker(κ K ), since for η HK (M) we have that (8) κ K (η) = 0 iff κ K (ηζ)[m//k] = 0 for every ζ HK(M). We would like to make this description more explicit, by giving a direct relationship between Ker(κ K ) and Ker(κ T ) (the latter being given by Corollary 1.5). We will prove that: Theorem 1.8. Take η H K (M) = H T (M)W. The following assertions are equivalent: (i) κ K (η) = 0, (ii) κ T (Dη) = 0, (iii) κ T (D 2 η) = 0. 4 or the exact residue formula, the reader is referred to [Je-Ki1] and [Je-Ki2]; but for the purposes of the present paper, equation (6) is sufficient. A more detailed description is given in Section 2.2, where it is used.

6 L. C. JEREY AND A.-L. MARE The proof will be given in section 5. Some explicit relationships between Ker(κ K ) and Ker(κ T ) will also be discussed there. The layout of our paper is as follows. In Section 2 we recall the characterizations of residues from [Gu-K], [Je-Ki1], [Je-Ki2], and summarize some results from Morse theory which will be used later. Section 3 is devoted to a proof of Theorem 1.4, and Section 4 to the proof of Theorem 1.2. inally Section 5 gives a characterization of the kernel of κ for nonabelian group actions. Remarks. 1: The chief advances described in this article are as follows. (a): We prove Theorem 1.2 (which relates the kernel of the Kirwan map to the kernels of the equivariant Kirwan maps κ S ). (b): We prove Theorem 1.4 (which characterizes the residue kernel Ker res (κ S ) as linear combinations of elements of equivariant cohomology vanishing on the preimage of one side of a hyperplane). (c): Our construction does not assume isolated fixed points. Theorem 1.4 is a generalization of the main results of [Je] and [Je-Ma], where actions with isolated fixed points were considered. (d): We give an independent characterization (Theorem 1.8) of the kernel of the Kirwan map for nonabelian group actions. According to Tolman and Weitsman [To-We], the equivalence (i) (ii) from Theorem 1.8 can be deduced from a certain unpublished result of S. Martin. Our aim is to give a proof of this equivalence, which relies on the residue formulas (6) and (7). 2: The characterization of Ker(κ S ) given in Theorem 1.4 (see equation (2)) was proved by Goldin in [Go], by using the theorem of Tolman and Weitsman [Theorem 3, To- We]. The strategy of our paper is different: we first prove the formula stated in Theorem 1.4 and then deduce the theorem of Tolman and Weitsman starting from Corollary 1.5 using Theorem 1.2 and the known fact that Ker(κ S ) = Ker res (κ S ). 2. Residue formulas and Morse-Kirwan theory The goal of this section is to provide some fundamental definitions and results which will be needed later concerning the notions mentioned in the title. 2.1. The Kirwan map in terms of residues. Let us consider the compact symplectic manifold M equipped with the Hamiltonian action of the torus T. Let S T be a generic circle and consider the variables X, Y 1,..., Y m determined by (1) (see section 1). The following result was proved in [Je-Ki1] and [Je-Ki2]:

Theorem 2.1.1. or all η HT (M) we have5 (9) κ S (η)[m//s] = c KIRWAN MAPS 7 + Res + X i (η) e. Here e HT () denotes the T-equivariant Euler class of the normal bundle ν(), c is a non-zero constant 6, and the meaning of Res + X is given in (11) or all α HT (), we obtain Res + α X e as follows: We may assume that the normal bundle ν() splits as ν() = L 1... L k where L i, 1 i k are T-equivariant complex line bundles. We express the reciprocal of e as 1 k 1 k (10) = e (m i X + β i (Y ) + c 1 (L i )) = ( c 1 (L i )) r j (m i X + β i (Y )). r j+1 i=1 i=1 r j 0 Here m i is the weight of the representation of S on L i, β i (Y ) is a certain linear combination of Y 1,..., Y m with integer coefficients, and c 1 (L i ) is the first Chern class of L i. Since c 1 (L i ) is in H 2 (), it is nilpotent, hence all sums involved in (10) are finite. The class α is in HT () = H () C[X, {Y i }], hence by (10), α appears as a sum of rational functions of the type e h(x, Y 1,...,Y m ) = p(x, Y 1,...,Y m ) q(x, Y 1,...,Y m ) where p, q C[X, {Y i }], with q = j (n jx + l n jly l ), n j Z \ {0} and n jl Z. In order to define Res + X (h), regard Y 1,...,Y m as complex constants and set (11) Res + X (h) = p Res X=b q b C where on the right hand side p q on C. is interpreted as a meromorphic function in the variable X 5 Note that both sides of the equation are in C[Y 1,..., Y m ]. 6 The precise value of c is not needed in our paper, but the interested reader can find it in [Je-Ki2, 3].

8 L. C. JEREY AND A.-L. MARE Remark 2.1.2 Guillemin and Kalkman gave another definition of the residue involved in Theorem 2.1.1. (see [Gu-Ka, section 3]). Write 1 e = = = k i=1 k i=1 1 (m i X + β i (Y ) + c 1 (L i )) 1 m i X(1 + β i(y )+c 1 (L i ) m i ) X k 1 ( m i X β i(y ) + c 1 (L i ) + (β i(y ) + c 1 (L i )) 2...). (m i X) 2 (m i X) 3 i=1 If we multiply the k power series in X in the last expression and then multiply the result by the polynomial α H () C[X, {Y i }], we obtain a series r=r 0 γ r X r, where γ r are in H () C[{Y i }]. The Guillemin-Kalkman residue is γ 1. It is a simple exercise to show that the latter coincides with the expression Res + α X of [Je-Ki2] which we have defined above. Definition 2.1. (see Section 3 of [Je-Ki2]) If h is a meromorphic function of m+1 variables X 1,...,X m+1 then (12) Res(h(X)) = Res + X 1... Res + X m+1 (h(x)) where the variables X 1,..., X m are held constant while calculating Res + X m+1, and is the determinant of some (m + 1) (m + 1) matrix whose columns are the coordinates of an orthonormal basis of t defining the same orientation as the chosen coordinate system. Here the symbols Res + X j were defined in (11). Definition 2.2. If α, β HT (M) then we define the complex number Res(αβ) = Res( αβ ). e Here are the components of the fixed point set of the T action, and e is the equivariant Euler class of the normal bundle. e

KIRWAN MAPS 9 By (2) and Theorem 1.2 (which will be proved in Section 4) we have (13) Ker(κ) = Ker res (κ). By Corollary 1.5 we have also that Ker(κ) = S (K S K S +). By [Je-Ki1] we have that (14) Ker(κ) = {α H T(M) Res(αβ) = 0 β H T(M)}. Combining these observations we obtain Theorem 2.3. A class α HT (M) satisfies Res(αβ) = 0 for all β H T (M) if and only if α S K S K+ S. 2.2. Kirwan-Morse theory. Let S T be a generic circular subgroup of a torus T which acts in a Hamiltonian manner on the compact symplectic manifold M. One knows that the critical points of the moment map µ S = f : M s = R are the fixed points of the S action: as usual, we will denote by the set of connected components of M T = M S = Crit(f). Moreover, for every, the restriction of the Hessian of f to the normal space to is nondegenerate, which means that f is a Morse-Bott function. We assume for simplicity that the values of f on any two elements of are different. ix and let ν be the normal bundle. Consider the T-invariant splitting, ν = ν ν + into the negative and positive subspaces of the Hessian. The rank of the bundle ν is just the index Ind() of the critical level. The following result follows from [At-Bo2] (for more details, see [Go, section 2]): Theorem 2.2.1. Suppose that ǫ is sufficiently small that f() is the only critical value in the interval (f() ǫ, f() + ǫ) and consider M = f 1 (, f() ǫ), M + = f 1 (, f() + ǫ).

10 L. C. JEREY AND A.-L. MARE a) There exists a HT (pt)-linear map7 such that the sequence r : H Ind T () H T (M +) (15) 0 H Ind T () r H T(M + ) H T(M ) 0 is exact, the composition of the restriction map H T(M + ) H T() with r is the multiplication by the equivariant Euler class e T (ν ()); moreover, the image of r consists of all classes in H T (M +) whose restriction to is a multiple of e T (ν f ). b) The maps H T () H T () given by the multiplication by e T(ν ()) and e T (ν + ()) are injective (in other words e T (ν ± ()) are not zero divisors). c) The restriction map is surjective. H T(M) H T(M + ) d) There exists a class α + () HT (M) with the following properties: α + () G = 0 for all G with f(g) > f()). α + () = e T (ν + ()) Remark 2.2.2 The results stated in the previous theorem remain true if we take instead of f (a generic component of the moment map µ : M t ) the function g(x) = µ(x) 2, x M. The critical manifolds are the elements of together with the minimum level µ 1 (0). In Theorem 2.2.1, can be any of those manifolds. 3. The residue kernel of the equivariant Kirwan map The goal of this section is to give a proof of Theorem 1.4. This theorem is similar to the main result of [Je]: it is a generalization of [Je] in that the proof does not require the hypothesis of isolated fixed points and the argument is generalized to equivariant Kirwan maps. Like the argument in [Je], our argument makes use of residues. 7 The map r is in fact the restriction map HT (M +, M ) HT (M +) composed with the inverse of the excision isomorphism HT (M +, M ) HT (DInd, S Ind 1 ) and then with the inverse of the Thom isomorphism HT (DInd, S Ind 1 ) H Ind T (), where D Ind is the cell bundle over attached to M after passing the critical level, and S Ind 1 is the corresponding sphere bundle over.

KIRWAN MAPS 11 rom the definition of Ker res (κ S ) (see Definition 1.4), it is obvious that the latter contains K +. In order to prove that it contains K as well, we only have to notice that, by the Atiyah-Bott-Berline-Vergne localization formula (see [At-Bo1] and [Be-Ve]), we have that Res + X + i (ηζ) e = Res + X The difficult part of the proof will be to show that Ker res (κ S ) K K +. Let us start with the following two lemmas. Lemma 3.1. If is in and α HT () satisfies (16) i (ζ)α = 0 for all ζ H (M), then Proof. We have α = 0. i (ζ)α = M ζi (α), i (ηζ) e. where i : HT () H +codim T (M) is the push-forward of the inclusion map i : M. So equation (16) leads to i (α) = 0. We apply i on both sides of this equation and use the fact that the map i i is just the multiplication by the Euler class e in order to deduce that αe = 0. But e is the same as the product e(ν )e(ν + ), where neither factor is a zero divisor (see Theorem 2.2.1 (b)). So we must have α = 0. Lemma 3.2. ix and suppose that η HT (M) satisfies (17) Res + i (ηβ) X e(ν ) = 0 for all β HT (M). Then there exists γ H T (M) such that and η = γ γ G = 0 for all G with f(g) < f().

12 L. C. JEREY AND A.-L. MARE Proof. Consider a T-invariant splitting of the normal bundle into a sum of complex line bundles. As explained in Remark 2.1.2, this decomposition leads to the series i (η) e(ν ) = r r 0 γ r X r, with γ r H () C[{Y i }]. or ζ H (M) we have that i (ηζ) e(ν ) = r r 0 i (ζ)γ r X r. The hypothesis of the lemma implies that i (ζ)γ 1 = 0, for all ζ H (M). rom Lemma 3.1 it follows that γ 1 = 0. Now take an arbitrary class ζ in H (M) and put β = Xζ in (17). We deduce that γ 2 = 0. Then we take β = X 2 ζ and deduce that γ 3 = 0 etc. Consequently we have that where η = i (η) = αe(ν ), α = r 0 r=0 X r γ r H T (). Theorem 2.2.1 (a) says that the multiplication by e(ν ) is the composition of the restriction map HT (M +) HT () with r; so we have η = r(γ ) where γ H T (M +). Note that by the exact sequence (see Theorem 2.2.1 (a)) we have that 0 H Ind T () r H T (M +) H T (M ) 0 r(γ ) G = 0 for all G with f(g) < f(). inally we obtain γ HT (M) with the properties required in the lemma by extending r(γ ) HT (M +) to the whole M (see Theorem 2.2.1 (c)).

We are now ready to prove Theorem 1.4. Proof of Theorem 1.4 Denote KIRWAN MAPS 13 f = µ S : M s = R the moment map of the S action on M. Take η HT (M) satisfying (18) Res + i (ηζ) X = 0 e + for all ζ H T (M). Consider the ordering 1, 2,..., N of the elements of + such that 0 < f( 1 ) < f( 2 ) <... < f( N ). We shall inductively construct classes γ 1, γ 2,...,γ N HT (M) which vanish when restricted to and such that for all 1 k N, the form η k = η γ 1... γ k vanishes when restricted to 1, 2,..., k. If we set then the decomposition has the desired properties. η = γ 1 +... + γ N, η + = η η, η = η + η + irst, in (18) we put ζ = βα + ( 1 ), where β HT (M) is an arbitrary cohomology class and the notation α+ ( 1 ) was introduced in Theorem 2.2.1 (d). Since e(ν f ( 1))e(ν + f ( 1)) = e 1, we deduce that Res + i X 1 1 (βη) e(ν ( 1 )) = 0 for all β H T (M), where we are using the fact that α + ( 1 ) = 0 if f() > f( 1 ). rom Lemma 3.2 it follows that there exists γ 1 HT (M) such that η 1 = γ 1 1, and γ 1 G = 0, for all G with f(g) < f( 1 ). Next suppose that we have constructed γ 1,...,γ k which vanish when restricted to and such that η k = η γ 1... γ k

14 L. C. JEREY AND A.-L. MARE vanishes when restricted to 1,..., k. We claim that η k satisfies Res + i (η kζ) X = 0. e + This follows from equation (18) and the Atiyah-Bott-Berline-Vergne localization formula for (γ 1 +... + γ k )ζ (note that the restriction of the form (γ 1 +... + γ k )ζ to is zero). Since η k G = 0 for all G + with f(g) f( k ), we have that (19) Res + X +,f()f( k ) i (η kζ) e = 0. In (19) we put ζ = βα + ( k+1 ), where β is an arbitrary element in HT (M). Since e(ν f ( k+1))e(ν + f ( k+1)) = e k+1, we deduce that Res + X k+1 i k+1 (βη) e(ν ( k+1 )) = 0 where we are using the fact that α + ( k+1 ) = 0 if f() > f( k+1 ). rom Lemma 3.2 it follows that there exists γ k+1 HT (M) such that η k k+1 = γ k+1 k+1, and γ k+1 G = 0 for all G with f(g) < f( k+1 ). This means that the form η k+1 = η k γ k+1 = η γ 1... γ k+1 vanishes when restricted to k+1 and for all 1 j k, we have that η k+1 j = η k j = 0. 4. The kernel of κ : H T (M) H (M//T) via equivariant Kirwan maps We will provide a proof of Theorem 1.2. A similar result is stated in [Go] (where it is proved by expressing κ as a composition of κ S ). The general strategy we will use is the same as in the proof of Theorem 3 of [To-We]. The accomplishment of this idea will be slightly different from the argument given in [To-We] (notably in the way the Morse function is used). We will need the following result (a proof can be found for instance in [Ki, 4.19 and 4.20]; for the sake of completeness we will give a proof of it):

KIRWAN MAPS 15 Lemma 4.1. (see [Ki]) or all, the negative bundles of the Hessians of the functions f(x) = µ(), µ(x), and g(x) = µ(x) 2, along the critical set are the same. x M x M Proof. Take p an arbitrary point in and choose an arbitrary coordinate system x 1, x 2,...,x 2n around p. Since µ(p)/ x i = 0, 1 i 2n, a straightforward calculation shows that the Hessian matrix of g at p is ( µ(p), 2 2 µ (p) ) 1 i,j 2n x i x j which is, up to a factor 2, the same as the Hessian matrix of f at p. Proof of Theorem 1.2 irst, it is simple to prove that for every generic circle S T, we have that Ker(κ S ) Ker(κ). We only have to take into account the residue formulas (9) and (7), where in the latter formula res is an iterated residue which starts with Res + X. Let us prove that Ker(κ) Ker(κ S ). S To this end, we consider the ordering µ 1 (0) = 0, 1, 2,... p of the elements of the set {µ 1 (0)} such that i < j g( i ) < g( j ). Take η in Ker(κ), i.e. η 0 = 0. We will show by induction on 0 k p that there exists η k S Ker(κ S) such that η k i = η i, for all 0 i k. We start with η 0 = 0, and at the end of the process we will obtain the form η p S Ker(κ S) which, by the Kirwan injectivity theorem, is the same as η. Suppose that we have η k and want to construct η k+1. The form η η k vanishes on all critical levels of g with g() < g( k+1 ), hence, by Theorem 2.2.1 (a) and Remark 2.2.2, (η η k ) k+1 is a multiple of e T (ν g ( k+1)). Consider the function h(x) = µ( k+1 ), µ( k+1 ) + µ(x) = µ( k+1 ) 2 + µ( k+1 ), µ(x), x M.

16 L. C. JEREY AND A.-L. MARE We have that k+1 is a critical set of h and (η η k ) k+1 is a multiple of e T (ν h ( k+1)) (see Lemma 4.1). By Theorem 2.2.1 (a), there exists α k HT (M) such that (20) α k = 0, for all with h() < h( k+1 ) and (21) α k k+1 = (η η k ) k+1. We claim that there exists a generic circle S T such that α k Ker(κ S ). This is because the generic circle S T can be chosen such that the two components µ S and µ( ), µ( k+1 ) of µ are sufficiently close such that µ S () < 0 µ(), µ( k+1 ) < 0, where. Then we take into account that µ(), µ( k+1 ) < 0 µ(), µ( k+1 ) < µ( k+1 ), µ( k+1 ) h() < h( k+1 ). We also use the characterization of Ker(κ S ) given by Theorem 1.4 (since we are able to show that α k K in the notation of Theorem 1.4). inally set η k+1 = η k + α k. It is clear that η k+1 S Ker(κ S) and η k+1 k+1 = η k+1 (by (21)). So it only remains to verify that η k+1 i = η i, for all 1 i k. Because of (20), it is sufficient to prove that h( i ) < h( k+1 ), i.e that h( i ) < 0. Indeed, we have that h( i ) = µ( k+1 ) 2 + µ( k+1 ), µ( i ) < µ( k+1 ) 2 + µ( k+1 ) µ( i ) < 0. 5. Hamiltonian actions of non-abelian Lie groups The goal of this section is to prove Theorem 1.8. We will use the notations from the introduction. The action of W on HT (M) plays an important role. We say that an element η of HT (M) is anti-invariant if w.η = ǫ(w)η for all w W, where ǫ(w) denotes the signature 8 of w. Note that (22) ǫ(vw) = ǫ(v)ǫ(w) 8 By definition, ǫ(w) is ( 1) l(w), where l(w) is the length of w with respect to the generating set of W consisting of the reflections into the walls of a fixed Weyl chamber in t.

KIRWAN MAPS 17 for all v, w W. One can easily see that the element D of H T (pt) = S(t ) which is obtained by multiplying all positive roots (see also (6) and (7) from the introduction) is anti-invariant. The following result is proved in [Br]: Lemma 5.1. (see [Br])The set of anti-invariant elements in H T (M) is D H T (M)W. Now we are ready to prove Theorem 1.8. Proof of Theorem 1.8. Let us consider the pairing, on HT (M) given by η, ζ = κ T (ηζ)[m//t], η, ζ H T (M). The kernel of, is just Ker(κ T). Since the map κ T : H T (M) H (M//T) is W-equivariant, the pairing, is W-invariant. irst we show that (i) is equivalent to (iii). Take η H T (M)W. By equations (6), (7) and (8), the condition κ K (η) = 0 is equivalent to (23) D 2 η, ζ = 0, for all ζ H T (M)W Now we show that (23) is equivalent to D 2 η Ker,. Indeed, if ζ is an arbitrary element in HT (M), we can consider ζ = wζ which is W-invariant, hence w W (24) D 2 η, ζ = W D 2 η, ζ where we have used the W-invariance of both the pairing, and the class D 2 η. Equation (24) finishes the proof of the equivalence between (i) and (iii). Now we prove that (ii) is equivalent to (iii). In fact only the implication (iii) (ii) is non-trivial. So let us consider η H T (M)W with the property that κ T (D 2 η) = 0, which is equivalent to D 2 η, ζ = 0 for every ζ HT (M). Claim 1. Dη, ζ = 0, for all ζ HT (M) which is anti-invariant. Indeed, if ζ is anti-invariant, by Lemma 5.1, it is of the form ζ = Dξ, with ξ HT (M), thus we have that Dη, ζ = Dη, Dξ = D 2 η, ξ = 0.

18 L. C. JEREY AND A.-L. MARE Claim 2. Dη, ζ = 0, for all ζ H T (M). This is because we can use Claim 1 for ζ = w W ǫ(w)w.ζ which is an anti-invariant equivariant cohomology class. More precisely, we notice that (25) Dη, ζ = W Dη, ζ, where we have used the W-invariance of, and the anti-invariance of Dη. The left hand side of (25) is zero by Claim 1, hence so must be the right hand side. Remark. Explicit descriptions of Ker(κ K ) in terms of Ker(κ T ) can be easily deduced from Theorem 1.8, as follows: Ker(κ K ) = { 1 (26) ǫ(w)w.η η Ker(κ T )} D w W Alternatively, we obtain all elements of the kernel of κ K if we consider all cohomology classes of the type w W w.η with η Ker(κ T) which are multiples of D 2, and divide those by D 2 (of course the description (26) is simpler, since by Lemma 5.1, for all η HT (M), the cohomology class w W ǫ(w)w.η is a multiple of D). The presentation (26) is also given in [To-We, Proposition 6.1] (see also [Br, Corollaire 1]). References [At-Bo1] M.. Atiyah and R. Bott, The moment map and equivariant cohomology, Topology 1984 23 1 28. [At-Bo2] M.. Atiyah and R. Bott, The Yang-Mills equations over Riemann surfaces, Phil. Trans. Roy. Soc. London 1982 A308 523-615. [Be-Ve] N. Berline and M. Vergne, Zéros d un champ de vecteurs et classes caractéristiques équivariantes Duke Math. J. 1983 50, 539 549 [Bo-Tu] R. Bott and L. Tu, Differential orms in Algebraic Topology, Springer-Verlag, 1982. [Br] M. Brion, Cohomologie équivariante des points semi-stables, J. reine angew. Math., Vol. 421 (1991), 125-140 [Go] [Gu-St] [Gu-K] [Je] R.. Goldin, An effective algorithm for the cohomology ring of symplectic reductions, Geom. and unc. Anal., Vol. 12 (2002), 567 583. V. Guillemin and S. Sternberg, Supersymmetry and Equivariant de Rham Theory, Springer-Verlag, 1999. V. Guillemin and J. Kalkman, The Jeffrey-Kirwan theorem and residue operations in equivariant cohomology. Jour. reine angew. Math. 458 (1995), 37 52. L. C. Jeffrey, The residue formula and the Tolman-Weitsman theorem, Jour. reine angew. Math. (to appear), preprint math.sg/0204051 [Je-Ki1] L. C. Jeffrey and. C. Kirwan, Localization for nonabelian group actions, Topology Vol. 34 (1995), 291 327

KIRWAN MAPS 19 [Je-Ki2] L. C. Jeffrey and. C. Kirwan, Localization and the quantization conjecture, Topology Vol. 36 (1995), 647 693 [Je-Ma] L. C. Jeffrey and A.-L. Mare, The kernel of the equivariant Kirwan map and the residue formula, Quarterly J. Math. Oxford (to appear), preprint math.sg/0211119. [Ki]. C. Kirwan, Cohomology of Quotients in Complex and Algebraic Geometry, Mathematical Notes 31, Princeton University Press, Princeton N. J., 1984 [To-We] S. Tolman and J. Weitsman, The cohomology ring of symplectic quotients, Comm. Anal. Geom. (to appear), preprint math.dg/9807173 (L. C. Jeffrey) Department of Mathematics, University of Toronto, Toronto, Ontario M5S 3G3, Canada E-mail address: jeffrey@math.toronto.edu (A.-L. Mare) Department of Mathematics, University of Toronto, Toronto, Ontario M5S 3G3, Canada E-mail address: amare@math.toronto.edu