arxiv:math/ v2 [math.sg] 19 Feb 2003
|
|
- Dulcie Parrish
- 5 years ago
- Views:
Transcription
1 THE KIRWAN MAP, EQUIVARIANT KIRWAN MAPS, AND THEIR KERNELS ariv:math/ v2 [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, 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 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.
3 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 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.
5 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 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 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 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 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 Guillemin and Kalkman gave another definition of the residue involved in Theorem (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
7 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 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 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 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.
9 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 (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 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 (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 (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 (c)).
11 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. η = γ γ 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 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 (γ γ 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 = 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):
13 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 (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 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 (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 ) < 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.
15 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 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 [At-Bo2] M.. Atiyah and R. Bott The Yang-Mills equations over Riemann surfaces, Phil. Trans. Roy. Soc. London 1982 A [Be-Ve] N. Berline and M. Vergne Zéros d un champ de vecteurs et classes caractéristiques équivariantes Duke Math. J , [Bo-Tu] R. Bott and L. Tu Differential orms in Algebraic Topology, Springer-Verlag, [Br] M. Brion Cohomologie équivariante des points semi-stables J. reine angew. Math., Vol. 421 (1991), [Je] L. C. Jeffrey The residue formula and the Tolman-Weitsman theorem, Jour. reine angew. Math. (to appear), preprint math.sg/ [Je-Ki1] L. C. Jeffrey and. C. Kirwan Localization for nonabelian group actions Topology, Vol. 34 (1995), [Je-Ki2] L. C. Jeffrey and. C. Kirwan Localization and the quantization conjecture Topology Vol. 36 (1995), [Je-Ma] L. C. Jeffrey and A.-L. Mare The kernel of the equivariant Kirwan map and the residue formula, preprint math.sg/ [Go] [Gu-St] R.. Goldin An effective algorithm for the cohomology ring of symplectic reductions Geom. and unc. Anal., Vol. 12 (2002), V. Guillemin and S. Sternberg Supersymmetry and Equivariant de Rham Theory, Springer-Verlag, 1999.
17 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/ , to appear in Comm. Anal. Geom. (L. C. Jeffrey) Department of Mathematics, University of Toronto, Toronto, Ontario M5S 3G3, Canada address: (A.-L. Mare) Department of Mathematics, University of Toronto, Toronto, Ontario M5S 3G3, Canada address:
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
More informationRes + X F F + is defined below in (1.3). According to [Je-Ki2, Definition 3.3 and Proposition 3.4], the value of Res + X
Theorem 1.2. For any η HH (N) we have1 (1.1) κ S (η)[n red ] = c η F. Here HH (F) denotes the H-equivariant Euler class of the normal bundle ν(f), c is a non-zero constant 2, and is defined below in (1.3).
More informationLecture on Equivariant Cohomology
Lecture on Equivariant Cohomology Sébastien Racanière February 20, 2004 I wrote these notes for a hours lecture at Imperial College during January and February. Of course, I tried to track down and remove
More informationLECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM
LECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM Contents 1. The Atiyah-Guillemin-Sternberg Convexity Theorem 1 2. Proof of the Atiyah-Guillemin-Sternberg Convexity theorem 3 3. Morse theory
More informationMorse theory and stable pairs
Richard A. SCGAS 2010 Joint with Introduction Georgios Daskalopoulos (Brown University) Jonathan Weitsman (Northeastern University) Graeme Wilkin (University of Colorado) Outline Introduction 1 Introduction
More informationLOCALIZATION AND SPECIALIZATION FOR HAMILTONIAN TORUS ACTIONS. Contents
LOCALIZATION AND SPECIALIZATION FOR HAMILTONIAN TORUS ACTIONS. MILENA PABINIAK Abstract. We consider a Hamiltonian action of n-dimensional torus, T n, on a compact symplectic manifold (M, ω) with d isolated
More informationSYMPLECTIC GEOMETRY: LECTURE 5
SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The
More informationSYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS. 1. Introduction
SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS CRAIG JACKSON 1. Introduction Generally speaking, geometric quantization is a scheme for associating Hilbert spaces
More informationMorse Theory and Applications to Equivariant Topology
Morse Theory and Applications to Equivariant Topology Morse Theory: the classical approach Briefly, Morse theory is ubiquitous and indomitable (Bott). It embodies a far reaching idea: the geometry and
More informationON NEARLY SEMIFREE CIRCLE ACTIONS
ON NEARLY SEMIFREE CIRCLE ACTIONS DUSA MCDUFF AND SUSAN TOLMAN Abstract. Recall that an effective circle action is semifree if the stabilizer subgroup of each point is connected. We show that if (M, ω)
More informationLemma 1.3. The element [X, X] is nonzero.
Math 210C. The remarkable SU(2) Let G be a non-commutative connected compact Lie group, and assume that its rank (i.e., dimension of maximal tori) is 1; equivalently, G is a compact connected Lie group
More informationThe Yang-Mills equations over Klein surfaces
The Yang-Mills equations over Klein surfaces Chiu-Chu Melissa Liu & Florent Schaffhauser Columbia University (New York City) & Universidad de Los Andes (Bogotá) Seoul ICM 2014 Outline 1 Moduli of real
More informationThe Based Loop Group of SU(2) Lisa Jeffrey. Department of Mathematics University of Toronto. Joint work with Megumi Harada and Paul Selick
The Based Loop Group of SU(2) Lisa Jeffrey Department of Mathematics University of Toronto Joint work with Megumi Harada and Paul Selick I. The based loop group ΩG Let G = SU(2) and let T be its maximal
More informationA Problem of Hsiang-Palais-Terng on Isoparametric Submanifolds
arxiv:math/0312251v1 [math.dg] 12 Dec 2003 A Problem of Hsiang-Palais-Terng on Isoparametric Submanifolds Haibao Duan Institute of Mathematics, Chinese Academy of Sciences, Beijing 100080, dhb@math.ac.cn
More informationLECTURE 26: THE CHERN-WEIL THEORY
LECTURE 26: THE CHERN-WEIL THEORY 1. Invariant Polynomials We start with some necessary backgrounds on invariant polynomials. Let V be a vector space. Recall that a k-tensor T k V is called symmetric if
More informationCharacteristic classes in the Chow ring
arxiv:alg-geom/9412008v1 10 Dec 1994 Characteristic classes in the Chow ring Dan Edidin and William Graham Department of Mathematics University of Chicago Chicago IL 60637 Let G be a reductive algebraic
More informationRIEMANN SURFACES. max(0, deg x f)x.
RIEMANN SURFACES 10. Weeks 11 12: Riemann-Roch theorem and applications 10.1. Divisors. The notion of a divisor looks very simple. Let X be a compact Riemann surface. A divisor is an expression a x x x
More informationDelzant s Garden. A one-hour tour to symplectic toric geometry
Delzant s Garden A one-hour tour to symplectic toric geometry Tour Guide: Zuoqin Wang Travel Plan: The earth America MIT Main building Math. dept. The moon Toric world Symplectic toric Delzant s theorem
More informationIf F is a divisor class on the blowing up X of P 2 at n 8 general points p 1,..., p n P 2,
Proc. Amer. Math. Soc. 124, 727--733 (1996) Rational Surfaces with K 2 > 0 Brian Harbourne Department of Mathematics and Statistics University of Nebraska-Lincoln Lincoln, NE 68588-0323 email: bharbourne@unl.edu
More informationA MARSDEN WEINSTEIN REDUCTION THEOREM FOR PRESYMPLECTIC MANIFOLDS
A MARSDEN WEINSTEIN REDUCTION THEOREM FOR PRESYMPLECTIC MANIFOLDS FRANCESCO BOTTACIN Abstract. In this paper we prove an analogue of the Marsden Weinstein reduction theorem for presymplectic actions of
More informationHARMONIC COHOMOLOGY OF SYMPLECTIC FIBER BUNDLES
HARMONIC COHOMOLOGY OF SYMPLECTIC FIBER BUNDLES OLIVER EBNER AND STEFAN HALLER Abstract. We show that every de Rham cohomology class on the total space of a symplectic fiber bundle with closed Lefschetz
More informationLECTURE 11: SYMPLECTIC TORIC MANIFOLDS. Contents 1. Symplectic toric manifolds 1 2. Delzant s theorem 4 3. Symplectic cut 8
LECTURE 11: SYMPLECTIC TORIC MANIFOLDS Contents 1. Symplectic toric manifolds 1 2. Delzant s theorem 4 3. Symplectic cut 8 1. Symplectic toric manifolds Orbit of torus actions. Recall that in lecture 9
More informationThe symplectic structure on moduli space (in memory of Andreas Floer)
The symplectic structure on moduli space (in memory of Andreas Floer) Alan Weinstein Department of Mathematics University of California Berkeley, CA 94720 USA (alanw@math.berkeley.edu) 1 Introduction The
More informationHyperkähler geometry lecture 3
Hyperkähler geometry lecture 3 Misha Verbitsky Cohomology in Mathematics and Physics Euler Institute, September 25, 2013, St. Petersburg 1 Broom Bridge Here as he walked by on the 16th of October 1843
More informationINTRODUCTION TO EQUIVARIANT COHOMOLOGY THEORY
INTRODUCTION TO EQUIVARIANT COHOMOLOGY THEORY YOUNG-HOON KIEM 1. Definitions and Basic Properties 1.1. Lie group. Let G be a Lie group (i.e. a manifold equipped with differentiable group operations mult
More informationLECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE
LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE JOHANNES EBERT 1.1. October 11th. 1. Recapitulation from differential topology Definition 1.1. Let M m, N n, be two smooth manifolds
More informationON THE COHOMOLOGY OF CLASSIFYING SPACES OF GROUPS OF HOMEOMORPHISMS
ON THE COHOMOLOGY OF CLASSIFYING SPACES OF GROUPS OF HOMEOMORPHISMS JAREK KĘDRA 1. Introduction and statement of the results Let M be a closed simply connected 2n dimensional manifold. The present paper
More informationCOMPUTING THE POISSON COHOMOLOGY OF A B-POISSON MANIFOLD
COMPUTING THE POISSON COHOMOLOGY OF A B-POISSON MANIFOLD MELINDA LANIUS 1. introduction Because Poisson cohomology is quite challenging to compute, there are only very select cases where the answer is
More informationV = 1 2 (g ijχ i h j ) (2.4)
4 VASILY PESTUN 2. Lecture: Localization 2.. Euler class of vector bundle, Mathai-Quillen form and Poincare-Hopf theorem. We will present the Euler class of a vector bundle can be presented in the form
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationIGA Lecture I: Introduction to G-valued moment maps
IGA Lecture I: Introduction to G-valued moment maps Adelaide, September 5, 2011 Review: Hamiltonian G-spaces Let G a Lie group, g = Lie(G), g with co-adjoint G-action denoted Ad. Definition A Hamiltonian
More informationHandlebody Decomposition of a Manifold
Handlebody Decomposition of a Manifold Mahuya Datta Statistics and Mathematics Unit Indian Statistical Institute, Kolkata mahuya@isical.ac.in January 12, 2012 contents Introduction What is a handlebody
More informationClassification of effective GKM graphs with combinatorial type K 4
Classiication o eective GKM graphs with combinatorial type K 4 Shintarô Kuroki Department o Applied Mathematics, Faculty o Science, Okayama Uniervsity o Science, 1-1 Ridai-cho Kita-ku, Okayama 700-0005,
More informationEQUIVARIANT COHOMOLOGY. p : E B such that there exist a countable open covering {U i } i I of B and homeomorphisms
EQUIVARIANT COHOMOLOGY MARTINA LANINI AND TINA KANSTRUP 1. Quick intro Let G be a topological group (i.e. a group which is also a topological space and whose operations are continuous maps) and let X be
More informationCohomology and Vector Bundles
Cohomology and Vector Bundles Corrin Clarkson REU 2008 September 28, 2008 Abstract Vector bundles are a generalization of the cross product of a topological space with a vector space. Characteristic classes
More informationL E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S
L A U R E N T I U M A X I M U N I V E R S I T Y O F W I S C O N S I N - M A D I S O N L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S i Contents 1 Basics of Homotopy
More informationSome K-theory examples
Some K-theory examples The purpose of these notes is to compute K-groups of various spaces and outline some useful methods for Ma448: K-theory and Solitons, given by Dr Sergey Cherkis in 2008-09. Throughout
More informationCohomology theories on projective homogeneous varieties
Cohomology theories on projective homogeneous varieties Baptiste Calmès RAGE conference, Emory, May 2011 Goal: Schubert Calculus for all cohomology theories Schubert Calculus? Cohomology theory? (Very)
More informationJónsson posets and unary Jónsson algebras
Jónsson posets and unary Jónsson algebras Keith A. Kearnes and Greg Oman Abstract. We show that if P is an infinite poset whose proper order ideals have cardinality strictly less than P, and κ is a cardinal
More informationLECTURE 11: SOERGEL BIMODULES
LECTURE 11: SOERGEL BIMODULES IVAN LOSEV Introduction In this lecture we continue to study the category O 0 and explain some ideas towards the proof of the Kazhdan-Lusztig conjecture. We start by introducing
More informationTHE S 1 -EQUIVARIANT COHOMOLOGY RINGS OF (n k, k) SPRINGER VARIETIES
Horiguchi, T. Osaka J. Math. 52 (2015), 1051 1062 THE S 1 -EQUIVARIANT COHOMOLOGY RINGS OF (n k, k) SPRINGER VARIETIES TATSUYA HORIGUCHI (Received January 6, 2014, revised July 14, 2014) Abstract The main
More informationON STABILITY OF NON-DOMINATION UNDER TAKING PRODUCTS
ON STABILITY OF NON-DOMINATION UNDER TAKING PRODUCTS D. KOTSCHICK, C. LÖH, AND C. NEOFYTIDIS ABSTRACT. We show that non-domination results for targets that are not dominated by products are stable under
More informationGENERALIZING THE LOCALIZATION FORMULA IN EQUIVARIANT COHOMOLOGY
GENERALIZING THE LOCALIZATION FORULA IN EQUIVARIANT COHOOLOGY Abstract. We give a generalization of the Atiyah-Bott-Berline-Vergne localization theorem for the equivariant cohomology of a torus action.
More informationA short proof of Klyachko s theorem about rational algebraic tori
A short proof of Klyachko s theorem about rational algebraic tori Mathieu Florence Abstract In this paper, we give another proof of a theorem by Klyachko ([?]), which asserts that Zariski s conjecture
More informationEach is equal to CP 1 minus one point, which is the origin of the other: (C =) U 1 = CP 1 the line λ (1, 0) U 0
Algebraic Curves/Fall 2015 Aaron Bertram 1. Introduction. What is a complex curve? (Geometry) It s a Riemann surface, that is, a compact oriented twodimensional real manifold Σ with a complex structure.
More informationStable complex and Spin c -structures
APPENDIX D Stable complex and Spin c -structures In this book, G-manifolds are often equipped with a stable complex structure or a Spin c structure. Specifically, we use these structures to define quantization.
More informationCitation Osaka Journal of Mathematics. 49(3)
Title ON POSITIVE QUATERNIONIC KÄHLER MAN WITH b_4=1 Author(s) Kim, Jin Hong; Lee, Hee Kwon Citation Osaka Journal of Mathematics. 49(3) Issue 2012-09 Date Text Version publisher URL http://hdl.handle.net/11094/23146
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then
More informationMath 530 Lecture Notes. Xi Chen
Math 530 Lecture Notes Xi Chen 632 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca 1991 Mathematics Subject Classification. Primary
More informationLIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM
Proceedings of the Edinburgh Mathematical Society Submitted Paper Paper 14 June 2011 LIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM MICHAEL C. CRABB AND PEDRO L. Q. PERGHER Institute of Mathematics,
More informationIntroduction (Lecture 1)
Introduction (Lecture 1) February 2, 2011 In this course, we will be concerned with variations on the following: Question 1. Let X be a CW complex. When does there exist a homotopy equivalence X M, where
More informationSmith theory. Andrew Putman. Abstract
Smith theory Andrew Putman Abstract We discuss theorems of P. Smith and Floyd connecting the cohomology of a simplicial complex equipped with an action of a finite p-group to the cohomology of its fixed
More informationTHE FUNDAMENTAL GROUP AND CW COMPLEXES
THE FUNDAMENTAL GROUP AND CW COMPLEXES JAE HYUNG SIM Abstract. This paper is a quick introduction to some basic concepts in Algebraic Topology. We start by defining homotopy and delving into the Fundamental
More informationTheorem 2. Let n 0 3 be a given integer. is rigid in the sense of Guillemin, so are all the spaces ḠR n,n, with n n 0.
This monograph is motivated by a fundamental rigidity problem in Riemannian geometry: determine whether the metric of a given Riemannian symmetric space of compact type can be characterized by means of
More informationMath. Res. Lett. 13 (2006), no. 1, c International Press 2006 ENERGY IDENTITY FOR ANTI-SELF-DUAL INSTANTONS ON C Σ.
Math. Res. Lett. 3 (2006), no., 6 66 c International Press 2006 ENERY IDENTITY FOR ANTI-SELF-DUAL INSTANTONS ON C Σ Katrin Wehrheim Abstract. We establish an energy identity for anti-self-dual connections
More informationMAT 5330 Algebraic Geometry: Quiver Varieties
MAT 5330 Algebraic Geometry: Quiver Varieties Joel Lemay 1 Abstract Lie algebras have become of central importance in modern mathematics and some of the most important types of Lie algebras are Kac-Moody
More informationEquivariant cohomology of infinite-dimensional Grassmannian and shifted Schur functions
Equivariant cohomology of infinite-dimensional Grassmannian and shifted Schur functions Jia-Ming (Frank) Liou, Albert Schwarz February 28, 2012 1. H = L 2 (S 1 ): the space of square integrable complex-valued
More informationLECTURE 4: SYMPLECTIC GROUP ACTIONS
LECTURE 4: SYMPLECTIC GROUP ACTIONS WEIMIN CHEN, UMASS, SPRING 07 1. Symplectic circle actions We set S 1 = R/2πZ throughout. Let (M, ω) be a symplectic manifold. A symplectic S 1 -action on (M, ω) is
More informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
More informationLecture 11: Hirzebruch s signature theorem
Lecture 11: Hirzebruch s signature theorem In this lecture we define the signature of a closed oriented n-manifold for n divisible by four. It is a bordism invariant Sign: Ω SO n Z. (Recall that we defined
More informationComparison of the Weyl integration formula and the equivariant localization formula for a maximal torus of Sp(1)
Comparison of the Weyl integration formula and the equivariant localization formula for a maximal torus of Sp() Jeffrey D. Carlson January 3, 4 Introduction In this note, we aim to prove the Weyl integration
More informationTopological properties
CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological
More informationBordism and the Pontryagin-Thom Theorem
Bordism and the Pontryagin-Thom Theorem Richard Wong Differential Topology Term Paper December 2, 2016 1 Introduction Given the classification of low dimensional manifolds up to equivalence relations such
More informationAN ASPHERICAL 5-MANIFOLD WITH PERFECT FUNDAMENTAL GROUP
AN ASPHERICAL 5-MANIFOLD WITH PERFECT FUNDAMENTAL GROUP J.A. HILLMAN Abstract. We construct aspherical closed orientable 5-manifolds with perfect fundamental group. This completes part of our study of
More informationThree-manifolds and Baumslag Solitar groups
Topology and its Applications 110 (2001) 113 118 Three-manifolds and Baumslag Solitar groups Peter B. Shalen Department of Mathematics, Statistics and Computer Science, University of Illinois at Chicago,
More informationCohomology of the Mumford Quotient
Cohomology of the Mumford Quotient Maxim Braverman Abstract. Let X be a smooth projective variety acted on by a reductive group G. Let L be a positive G-equivariant line bundle over X. We use a Witten
More informationA Leibniz Algebra Structure on the Second Tensor Power
Journal of Lie Theory Volume 12 (2002) 583 596 c 2002 Heldermann Verlag A Leibniz Algebra Structure on the Second Tensor Power R. Kurdiani and T. Pirashvili Communicated by K.-H. Neeb Abstract. For any
More informationOverview of Atiyah-Singer Index Theory
Overview of Atiyah-Singer Index Theory Nikolai Nowaczyk December 4, 2014 Abstract. The aim of this text is to give an overview of the Index Theorems by Atiyah and Singer. Our primary motivation is to understand
More informationk=0 /D : S + S /D = K 1 2 (3.5) consistently with the relation (1.75) and the Riemann-Roch-Hirzebruch-Atiyah-Singer index formula
20 VASILY PESTUN 3. Lecture: Grothendieck-Riemann-Roch-Hirzebruch-Atiyah-Singer Index theorems 3.. Index for a holomorphic vector bundle. For a holomorphic vector bundle E over a complex variety of dim
More informationEQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY LECTURE TWO: DEFINITIONS AND BASIC PROPERTIES
EQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY LECTURE TWO: DEFINITIONS AND BASIC PROPERTIES WILLIAM FULTON NOTES BY DAVE ANDERSON 1 For a Lie group G, we are looking for a right principal G-bundle EG BG,
More informationMath 210C. A non-closed commutator subgroup
Math 210C. A non-closed commutator subgroup 1. Introduction In Exercise 3(i) of HW7 we saw that every element of SU(2) is a commutator (i.e., has the form xyx 1 y 1 for x, y SU(2)), so the same holds for
More informationRIEMANN SURFACES: TALK V: DOLBEAULT COHOMOLOGY
RIEMANN SURFACES: TALK V: DOLBEAULT COHOMOLOGY NICK MCCLEEREY 0. Complex Differential Forms Consider a complex manifold X n (of complex dimension n) 1, and consider its complexified tangent bundle T C
More informationFormal Groups. Niki Myrto Mavraki
Formal Groups Niki Myrto Mavraki Contents 1. Introduction 1 2. Some preliminaries 2 3. Formal Groups (1 dimensional) 2 4. Groups associated to formal groups 9 5. The Invariant Differential 11 6. The Formal
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationMath 6510 Homework 10
2.2 Problems 9 Problem. Compute the homology group of the following 2-complexes X: a) The quotient of S 2 obtained by identifying north and south poles to a point b) S 1 (S 1 S 1 ) c) The space obtained
More informationDivision Algebras and Parallelizable Spheres, Part II
Division Algebras and Parallelizable Spheres, Part II Seminartalk by Jerome Wettstein April 5, 2018 1 A quick Recap of Part I We are working on proving the following Theorem: Theorem 1.1. The following
More informationQuantising proper actions on Spin c -manifolds
Quantising proper actions on Spin c -manifolds Peter Hochs University of Adelaide Differential geometry seminar Adelaide, 31 July 2015 Joint work with Mathai Varghese (symplectic case) Geometric quantization
More information7. Homotopy and the Fundamental Group
7. Homotopy and the Fundamental Group The group G will be called the fundamental group of the manifold V. J. Henri Poincaré, 895 The properties of a topological space that we have developed so far have
More informationMathematical Research Letters 3, (1996) EQUIVARIANT AFFINE LINE BUNDLES AND LINEARIZATION. Hanspeter Kraft and Frank Kutzschebauch
Mathematical Research Letters 3, 619 627 (1996) EQUIVARIANT AFFINE LINE BUNDLES AND LINEARIZATION Hanspeter Kraft and Frank Kutzschebauch Abstract. We show that every algebraic action of a linearly reductive
More informationMath 754 Chapter III: Fiber bundles. Classifying spaces. Applications
Math 754 Chapter III: Fiber bundles. Classiying spaces. Applications Laurențiu Maxim Department o Mathematics University o Wisconsin maxim@math.wisc.edu April 18, 2018 Contents 1 Fiber bundles 2 2 Principle
More informationMath 249B. Nilpotence of connected solvable groups
Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C
More informationRIMS-1897 On multiframings of 3-manifolds By Tatsuro SHIMIZU December 2018 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan
RIMS-1897 On multiframings of 3-manifolds By Tatsuro SHIMIZU December 2018 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan On multiframings of 3 manifolds Tatsuro Shimizu 1
More informationNoetherian property of infinite EI categories
Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result
More informationThe Spinor Representation
The Spinor Representation Math G4344, Spring 2012 As we have seen, the groups Spin(n) have a representation on R n given by identifying v R n as an element of the Clifford algebra C(n) and having g Spin(n)
More informationIVAN LOSEV. Lemma 1.1. (λ) O. Proof. (λ) is generated by a single vector, v λ. We have the weight decomposition (λ) =
LECTURE 7: CATEGORY O AND REPRESENTATIONS OF ALGEBRAIC GROUPS IVAN LOSEV Introduction We continue our study of the representation theory of a finite dimensional semisimple Lie algebra g by introducing
More informationREPRESENTATION THEORY, LECTURE 0. BASICS
REPRESENTATION THEORY, LECTURE 0. BASICS IVAN LOSEV Introduction The aim of this lecture is to recall some standard basic things about the representation theory of finite dimensional algebras and finite
More informationMath 145. Codimension
Math 145. Codimension 1. Main result and some interesting examples In class we have seen that the dimension theory of an affine variety (irreducible!) is linked to the structure of the function field in
More informationCW-complexes. Stephen A. Mitchell. November 1997
CW-complexes Stephen A. Mitchell November 1997 A CW-complex is first of all a Hausdorff space X equipped with a collection of characteristic maps φ n α : D n X. Here n ranges over the nonnegative integers,
More informationA Convexity Theorem For Isoparametric Submanifolds
A Convexity Theorem For Isoparametric Submanifolds Marco Zambon January 18, 2001 1 Introduction. The main objective of this paper is to discuss a convexity theorem for a certain class of Riemannian manifolds,
More informationStable bundles with small c 2 over 2-dimensional complex tori
Stable bundles with small c 2 over 2-dimensional complex tori Matei Toma Universität Osnabrück, Fachbereich Mathematik/Informatik, 49069 Osnabrück, Germany and Institute of Mathematics of the Romanian
More informationREAL INSTANTONS, DIRAC OPERATORS AND QUATERNIONIC CLASSIFYING SPACES PAUL NORBURY AND MARC SANDERS Abstract. Let M(k; SO(n)) be the moduli space of ba
REAL INSTANTONS, DIRAC OPERATORS AND QUATERNIONIC CLASSIFYING SPACES PAUL NORBURY AND MARC SANDERS Abstract. Let M(k; SO(n)) be the moduli space of based gauge equivalence classes of SO(n) instantons on
More informationA SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES
A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES PATRICK BROSNAN Abstract. I generalize the standard notion of the composition g f of correspondences f : X Y and g : Y Z to the case that X
More informationTHE MAPPING CLASS GROUP ACTS REDUCIBLY ON SU(n)-CHARACTER VARIETIES
THE MAPPING CLASS GROUP ACTS REDUCIBLY ON SU(n)-CHARACTER VARIETIES WILLIAM M. GOLDMAN Abstract. When G is a connected compact Lie group, and π is a closed surface group, then Hom(π, G)/G contains an open
More informationRings With Topologies Induced by Spaces of Functions
Rings With Topologies Induced by Spaces of Functions Răzvan Gelca April 7, 2006 Abstract: By considering topologies on Noetherian rings that carry the properties of those induced by spaces of functions,
More informationAPPROXIMATE YANG MILLS HIGGS METRICS ON FLAT HIGGS BUNDLES OVER AN AFFINE MANIFOLD. 1. Introduction
APPROXIMATE YANG MILLS HIGGS METRICS ON FLAT HIGGS BUNDLES OVER AN AFFINE MANIFOLD INDRANIL BISWAS, JOHN LOFTIN, AND MATTHIAS STEMMLER Abstract. Given a flat Higgs vector bundle (E,, ϕ) over a compact
More informationA Version of the Grothendieck Conjecture for p-adic Local Fields
A Version of the Grothendieck Conjecture for p-adic Local Fields by Shinichi MOCHIZUKI* Section 0: Introduction The purpose of this paper is to prove an absolute version of the Grothendieck Conjecture
More informationA DANILOV-TYPE FORMULA FOR TORIC ORIGAMI MANIFOLDS VIA LOCALIZATION OF INDEX
A DANILOV-TYPE FORMULA FOR TORIC ORIGAMI MANIFOLDS VIA LOCALIZATION OF INDEX HAJIME FUJITA Abstract. We give a direct geometric proof of a Danilov-type formula for toric origami manifolds by using the
More informationFLABBY STRICT DEFORMATION QUANTIZATIONS AND K-GROUPS
FLABBY STRICT DEFORMATION QUANTIZATIONS AND K-GROUPS HANFENG LI Abstract. We construct examples of flabby strict deformation quantizations not preserving K-groups. This answers a question of Rieffel negatively.
More informationGeneralized Topological Index
K-Theory 12: 361 369, 1997. 361 1997 Kluwer Academic Publishers. Printed in the Netherlands. Generalized Topological Index PHILIP A. FOTH and DMITRY E. TAMARKIN Department of Mathematics, Penn State University,
More informationPlaces of Number Fields and Function Fields MATH 681, Spring 2018
Places of Number Fields and Function Fields MATH 681, Spring 2018 From now on we will denote the field Z/pZ for a prime p more compactly by F p. More generally, for q a power of a prime p, F q will denote
More information