arxiv:math/ v2 [math.sg] 19 Feb 2003

THE KIRWAN MAP, EQUIVARIANT KIRWAN MAPS, AND THEIR KERNELS ariv:math/0211297v2 [math.sg] 19 eb 2003 LISA C. JEREY AND AUGUSTIN-LIVIU MARE Abstract. or an arbitrary 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: determine the kernel of the equivariant Kirwan map (defined by Goldin in [Go]) corresponding to a generic circle S T and then we 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 an arbitrary Lie group K we will use the non-abelian localization formula of [Je-Ki1] and [Je-Ki2] in order 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: ebruary 8, 2008. 1 The fixed point set of the action no longer is 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. The first 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 µ T 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, Y 1,...,Y m be variables corresponding to an integral basis of t such that (1) 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[, Y 1,...,Y m ]. Definition 1.2. The residue kernel ker res (κ S ) is the set of all classes η HT (M) with the property that Res + i (ηζ) = 0 e + for any ζ HT (M). Here e = e(ν) HT () is the equivariant Euler class of the normal bundle of and Res + is defined by (2) Res + (h) = b C Res =b h for any rational function h in the variables, Y 1,...,Y m. The following equality 3 is proved in [Je-Ki1] and [Je-Ki2] (3) ker(κ S ) = ker res (κ S ). We shall prove the following result: 3 or more details, we refer the reader to section 2.

Theorem 1.3. If S T is a generic circle, then we have that KIRWAN MAPS 3 ker res (κ S ) = K K +, where K (resp. K + ) denote the set of all equivariant cohomology classes η whose restriction to (resp. + ) is zero. The next theorem 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.4. ker κ = ker κ S, S where the sum runs over all generic circles S T. As a corollary, we deduce Tolman and Weitsman s description of ker κ (see [To-We]): Corollary 1.5. (see [To-We]) The kernel of the Kirwan map κ : HT (M) H (M//T) is given by m ker κ = (K S j K S j + ) j=1 where K S j ± consist of all equivariant cohomology classes α which restrict to zero on all fixed points with the property that where ξ j is a fixed non-zero vector in s j. ±µ()(ξ j ) > 0, 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

4 L. C. JEREY AND A.-L. MARE and consider the symplectic quotient The Kirwan surjection (see [Ki]) 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.6. (non-abelian residue formula [Je-Ki1], [Je-Ki2]). or any cohomology class η HK (M) = H T (M)W we have that (4) κ 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 any η HT (M) we have that (5) κ T (η)[m//t] = c 2 res( η ) e where res is the same operator as the one from equation (4) and c 2 is a non-zero constant. Also note that the residue formula (4) gives a complete description of ker κ K, since for η HK (M) we have that (6) κ K (η) = 0 iff κ K (ηζ)[m//k] = 0 for any ζ H K(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.7. 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 understanding of the present paper, equation (4) is sufficient.

KIRWAN MAPS 5 The proof will be given in section 5. Some explicit relationships between ker κ K and ker κ T will also be discussed there. Remarks. 1. The characterization of ker κ S given in Theorem 1.3 (see equation (3)) 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.3 and then deduce the theorem of Tolman and Weitsman by using Theorem 1.4. 2. Theorem 1.3 is a generalization of the main results of [Je] and [Je-Ma], where actions with isolated fixed points were considered. 3. According to Tolman and Weitsman [To-We], the equivalence (i) (ii) from Theorem 1.7 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 (4) and (5). 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, 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 any η HT (M) we have5 (7) κ S (η)[m//s] = c + Res + 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 + is explained below. or any α HT (), we obtain Res + α e as follows: We may assume that the normal bundle ν() splits as ν() = L 1... L k 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].

6 L. C. JEREY AND A.-L. MARE where L i, 1 i k are T-equivariant complex line bundles. We express the reciprocal of e as (8) 1 e = k i=1 1 k (m i + β i (Y ) + c 1 (L i )) = i=1 r j 0 ( c 1 (L i )) r j (m i + β i (Y )) r j+1. 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 (8) are finite. The class α is in HT () = H () C[, {Y i }], hence by (8), α e appears as a sum of rational functions of the type h(, Y 1,...,Y m ) = p(, Y 1,...,Y m ) q(, Y 1,...,Y m ) where p, q C[, {Y i }], with q = j (n j + l n jly l ), n j Z \ {0} and n jl Z. In order to define Res + (h), regard Y 1,...,Y m as complex constants and set Res + (h) = b C Res =b p q where on the right hand side p is interpreted as a meromorphic function in the variable q on C. 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 + β i (Y ) + c 1 (L i )) 1 m i (1 + β i(y )+c 1 (L i ) m i ) k 1 ( m i β i(y ) + c 1 (L i ) + (β i(y ) + c 1 (L i )) 2...). (m i ) 2 (m i ) 3 i=1

KIRWAN MAPS 7 If we multiply the k power series in in the last expression and then multiply the result by the polynomial α H () C[, {Y i }], we obtain a series r=r 0 γ r 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 + α of [Je-Ki2] which we have defined above. e 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 any, 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() + ǫ).

8 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 + ) (9) 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 any 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. 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 9 3. The residue kernel of the equivariant Kirwan map The goal of this section is to give a proof of Theorem 1.3. 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 + + i (ηζ) e = Res + 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 () such that (10) i (ζ)α = 0 for any ζ 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 (10) 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 (11) Res + i (ηβ) e(ν ) = 0 for any β HT (M). Then there exists γ H T (M) such that η = γ

10 L. C. JEREY AND A.-L. MARE and γ G = 0 for any G with f(g) < f(). Proof. Consider a T-invariant splitting of the normal bundle into a sum of complex line bundles. As explained in Remark 2.2.2, this decomposition leads to the series i (η) e(ν ) = r r 0 γ r r, with γ r H () C[{Y i }]. or ζ H (M) we have that i (ηζ) e(ν ) = r r 0 i (ζ)γ r 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 β = ζ in (11). We deduce that γ 2 = 0. Then we take β = 2 ζ and deduce that γ 3 = 0 etc. Consequently we have that where η = i (η) = αe(ν ), α = r 0 r=0 r γ r H T (). Theorem 2.3.1 (a) says that the multiplication by e(ν ) is the composition of the restriction map HT (M +) HT () with h; so we have η = h(γ ) where γ H T (M +). Note that by the exact sequence 0 H Ind T () h H T (M +) H T (M ) 0 (see Theorem 2.3.1 (a)) we have that h(γ ) G = 0 for any G with f(g) < f(). inally we obtain γ HT (M) with the properties required in the lemma by extending h(γ ) HT (M +) to the whole M (see Theorem 2.2.1 (c)).

We are now ready to prove Theorem 1.3. Proof of Theorem 1.3 Denote KIRWAN MAPS 11 f = µ S : M s = R the moment map of the S action on M. Take η HT (M) satisfying (12) Res + i (ηζ) = 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 any 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 (12) we put ζ = βα + ( 1 ), where β HT (M) is an arbitrary cohomology class. Since e(ν f ( 1))e(ν + f ( 1)) = e 1, we deduce that Res + i 1 1 (βη) e(ν ( 1 )) = 0 for any β 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 any 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

12 L. C. JEREY AND A.-L. MARE vanishes when restricted to 1,..., k. We claim that η k satisfies Res + i (η kζ) = 0. e + This follows from equation (12) and the Atiyah-Bott-Berline-Vergne localization formula for (γ 1 +... + γ k )ζ (note that the restriction of the latter form to is zero). Since η k G = 0, for any G + with f(g) f( k ), we have that (13) Res + +,f()>f( k ) i (η kζ) e = 0. In (13) we put ζ = βα + ( k+1 ), where β is an arbitrary element in HT (M). Since we deduce that e(ν f ( k+1))e(ν + f ( k+1)) = e k+1, i Res + 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 and η k k+1 = γ k+1 k+1, γ k+1 G = 0 for any 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 any 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.4. The general strategy we will be using is the same as in the proof of Theorem 3 of [To-We]. The accomplishment of this idea will be slightly different. 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 13 Lemma 4.1. (see [Ki]) or any, the negative bundles of the Hessians of the functions and along the critical set are the same. f(x) = µ(), µ(x), g(x) = µ(x) 2, 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.4 irst, it is simple to prove that for any generic circle S T, we have that ker κ S ker κ. We only have to take into account the residue formulas (7) and (5), where in the latter formula res is an iterated residue which starts with Res +. 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.

14 L. C. JEREY AND A.-L. MARE We have that k+1 is a critical set of h and (η η k+1 ) 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 (14) α k = 0, for all with h() < h( k+1 ) and α 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.3. inally set η k+1 = η k + α k. It is clear that η k+1 S ker κ S and η k+1 k+1 = η k+1. So it only remains to verify that η k+1 i = η i, for all 1 i k. Because of (14), 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.7. 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 any w W, where ǫ(w) denotes the signature 8 of w. Note that (15) ǫ(vw) = ǫ(v)ǫ(w) for any 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 (4) and (5) from the introduction) is anti-invariant. The following result is proved in [Br]: 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 15 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.7. Proof of Theorem 1.7. 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 (4), (5) and (6), the condition κ K (η) = 0 is equivalent to (16) D 2 η, ζ = 0, for any ζ H T (M)W Now we show that (16) 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 (17) D 2 η, ζ = W D 2 η, ζ where we have used the W-invariance of both the pairing, and the class D 2 η. Equation (17) 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 any ζ HT (M). Claim 1. Dη, ζ = 0, for any ζ 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. Claim 2. Dη, ζ = 0, for any ζ H T (M).

16 L. C. JEREY AND A.-L. MARE 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 (18) Dη, ζ = W Dη, ζ, where we have used the W-invariance of, and the anti-invariance of Dη. The left hand side of (18) 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.7, as follows: ker κ K = { 1 (19) ǫ(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 (19) is simpler, since by Lemma 5.1, for any η HT (M), the cohomology class w W ǫ(w)w.η is a multiple of D). The presentation (19) 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 [Je] 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 [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, preprint math.sg/0211119. [Go] [Gu-St] 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.

KIRWAN MAPS 17 [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 abelian symplectic quotients preprint math.dg/9807173, to appear in Comm. Anal. Geom. (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