Characteristic classes and Invariants of Spin Geometry

Size: px
Start display at page:

Download "Characteristic classes and Invariants of Spin Geometry"

Transcription

1 Characteristic classes and Invariants of Spin Geometry Haibao Duan Institue of Mathematics, CAS 2018 Workshop on Algebraic and Geometric Topology, Southwest Jiaotong University July 29, 2018 Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

2 The arrangement of the talk 1 The problem and its background 2 Main results 3 Applications 4 The proof of main result Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

3 The problem and its background The spin group Spin(n) is the universal covering of the special orthogonal group SO(n). The spin c (n) group Spin c (n) is the central extension Spin(n) Z2 U(1) of SO(n) by the circle group U(1). Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

4 The problem and its background The spin group Spin(n) is the universal covering of the special orthogonal group SO(n). The spin c (n) group Spin c (n) is the central extension Spin(n) Z2 U(1) of SO(n) by the circle group U(1). In this talk I will introduce a pair F = {γ, α} of cohomology operations; Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

5 The problem and its background The spin group Spin(n) is the universal covering of the special orthogonal group SO(n). The spin c (n) group Spin c (n) is the central extension Spin(n) Z2 U(1) of SO(n) by the circle group U(1). In this talk I will introduce a pair F = {γ, α} of cohomology operations; construct the integral cohomology rings of the classifying spaces B Spin c (n) and B Spin(n) by using these operations. Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

6 The problem and its background Motivation: Assume that a minimal set {q 1,, q r } of generators of the ring H (B Spin(n) ) has been specified. Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

7 The problem and its background Motivation: Assume that a minimal set {q 1,, q r } of generators of the ring H (B Spin(n) ) has been specified. We can 1 define the spin characteristic classes for a spin bundle ξ over a space X with classifying map f : X B Spin(n) by setting q i (ξ) = f (q i ) H (X ), 1 i r; Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

8 The problem and its background Motivation: Assume that a minimal set {q 1,, q r } of generators of the ring H (B Spin(n) ) has been specified. We can 1 define the spin characteristic classes for a spin bundle ξ over a space X with classifying map f : X B Spin(n) by setting q i (ξ) = f (q i ) H (X ), 1 i r; 2 obtain the basic Weyl invariants of the group Spin(n) by putting c k = i (q k ) H (B T ) W = Z[t 1,, t m ] W, 1 k r where i : B T B Spin(n) is induced by the inclusion of a maximal torus T Spin(n), and where m = dimt. Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

9 The problem and its background Since the discovery of spinors by Cartan in 1913, the spin structure on Riemannian manifolds has found significant and wide applications to geometry and mathematical physics; Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

10 The problem and its background Since the discovery of spinors by Cartan in 1913, the spin structure on Riemannian manifolds has found significant and wide applications to geometry and mathematical physics; However, a precise definition of spin structure was possible only after the notion of fiber bundle had been introduced Haefliger (1956) found that the second Stiefel Whitney class w 2 (M) is the only obstruction to the existence of a spin structure on an orientable Riemannian manifold M. Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

11 The problem and its background Since the discovery of spinors by Cartan in 1913, the spin structure on Riemannian manifolds has found significant and wide applications to geometry and mathematical physics; However, a precise definition of spin structure was possible only after the notion of fiber bundle had been introduced Haefliger (1956) found that the second Stiefel Whitney class w 2 (M) is the only obstruction to the existence of a spin structure on an orientable Riemannian manifold M. This was extended by Borel and Hirzebruch (1958) to cases of vector bundles, and by Karoubi (1968) to the non-orientable pseudo-riemannian manifolds. Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

12 The problem and background Earlier works on the problem: The mod 2 cohomology of the space B Spin(n) was computed by Borel (1953) for n 10, and was completed by Quillen (1972) for all n. Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

13 The problem and background Earlier works on the problem: The mod 2 cohomology of the space B Spin(n) was computed by Borel (1953) for n 10, and was completed by Quillen (1972) for all n. Thomas (1962) calculated the integral cohomology of B Spin( ) in the stable range, but the result was subject to the choice of two sets {Φ i, Ψ i } of indeterminats. Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

14 The problem and background Earlier works on the problem: The mod 2 cohomology of the space B Spin(n) was computed by Borel (1953) for n 10, and was completed by Quillen (1972) for all n. Thomas (1962) calculated the integral cohomology of B Spin( ) in the stable range, but the result was subject to the choice of two sets {Φ i, Ψ i } of indeterminats. In the context of Weyl invariants, a description of the integral cohomology H (B Spin(n) ) was formulated by Benson and Wood (1995), where explicit generators and relations are absent: We have not set about the rather daunting task of using this description to give explicit generators and relations Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

15 The problem and its background Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

16 The problem and its background Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

17 The problem and its background In mathematical physics the Postnikov tower anchored by the space B SO(n) reads B Fivebrane(n) B String(n) B Spin(n) B SO(n). Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

18 The problem and its background In mathematical physics the Postnikov tower anchored by the space B SO(n) reads B Fivebrane(n) B String(n) B Spin(n) B SO(n). It is expected that the operations F = {γ, α} introduced in the talk will also be useful to construct the integral cohomology rings of the further spaces B String(n), B Fivebrane(n), in the tower. Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

19 Main results For any topological space X and a cohomology class u H 2r (X ; Z 2 ) there holds the following universal relations: δ 2 (u u) = 2δ 4 (B(u)) H 4r+1 (X ) where B : H 2r (X ; Z 2 ) H 4r (X ; Z 4 ) denotes the Pontryagin square. Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

20 Main results For any topological space X and a cohomology class u H 2r (X ; Z 2 ) there holds the following universal relations: δ 2 (u u) = 2δ 4 (B(u)) H 4r+1 (X ) where B : H 2r (X ; Z 2 ) H 4r (X ; Z 4 ) denotes the Pontryagin square. Definition The space X is called δ 2 formal if δ 2 (u u) = 0 for all u H 2r (X ; Z 2 ). Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

21 Main results For any topological space X and a cohomology class u H 2r (X ; Z 2 ) there holds the following universal relations: δ 2 (u u) = 2δ 4 (B(u)) H 4r+1 (X ) where B : H 2r (X ; Z 2 ) H 4r (X ; Z 4 ) denotes the Pontryagin square. Definition The space X is called δ 2 formal if δ 2 (u u) = 0 for all u H 2r (X ; Z 2 ). Corollary If X is a space whose integral cohomologies H 4r+1 (X ), r 1, has no torsion element of order 4, then X is δ 2 formal. Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

22 Main results For any topological space X and a cohomology class u H 2r (X ; Z 2 ) there holds the following universal relations: δ 2 (u u) = 2δ 4 (B(u)) H 4r+1 (X ) where B : H 2r (X ; Z 2 ) H 4r (X ; Z 4 ) denotes the Pontryagin square. Definition The space X is called δ 2 formal if δ 2 (u u) = 0 for all u H 2r (X ; Z 2 ). Corollary If X is a space whose integral cohomologies H 4r+1 (X ), r 1, has no torsion element of order 4, then X is δ 2 formal. In particular, all the 1 connected Lie groups, the classifying spaces B SO(n) and B Spin(n), as well as the Thom spectrum MO(n), n 1, are examples of the δ 2 formal spaces. Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

23 Main results Recall the Bockstein operator Sq 1 = ρ 2 δ 2 on the algebra H (X ; Z 2 ) defines the decomposition H (X ; Z 2 ) = ker Sq 1 S 2 (X ) with S 2 (X ) = H (X ; Z 2 )/ ker Sq 1. Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

24 Main results Recall the Bockstein operator Sq 1 = ρ 2 δ 2 on the algebra H (X ; Z 2 ) defines the decomposition H (X ; Z 2 ) = ker Sq 1 S 2 (X ) with S 2 (X ) = H (X ; Z 2 )/ ker Sq 1. Theorem 1 Let X be a δ 2 operations formal space. There exists a unique pair of cohomological F : H 2r (X ; Z 2 ) S 4r 2 (X ; Z 2) H 4r (X ; Z 4 ), written F (u) = (γ(u), α(u)), that satisfies the following properties Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

25 Main results Recall the Bockstein operator Sq 1 = ρ 2 δ 2 on the algebra H (X ; Z 2 ) defines the decomposition H (X ; Z 2 ) = ker Sq 1 S 2 (X ) with S 2 (X ) = H (X ; Z 2 )/ ker Sq 1. Theorem 1 Let X be a δ 2 operations formal space. There exists a unique pair of cohomological F : H 2r (X ; Z 2 ) S 4r 2 (X ; Z 2) H 4r (X ; Z 4 ), written F (u) = (γ(u), α(u)), that satisfies the following properties i) α(u) Im ρ 4 ; ii) B(u) = α(u) + θ(γ(u)); iii) Sq 1 (γ(u)) = Sq 2r Sq 1 (u) + u Sq 1 (u). Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

26 Main results Since γ(u) S2 (X ) while Sq1 injects on S2 (X ), the operation γ is characterized uniquely by the equation iii): Sq 1 (γ(u)) = Sq 2r Sq 1 (u) + u Sq 1 (u). Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

27 Main results Since γ(u) S2 (X ) while Sq1 injects on S2 (X ), the operation γ is characterized uniquely by the equation iii): Sq 1 (γ(u)) = Sq 2r Sq 1 (u) + u Sq 1 (u). This operation γ can be iterrated to yield the following notion. Definition Given an even degree cohomology class u H 2r (X ; Z 2 ) of a δ 2 -formal space X, the sequence { u, u (1), u (2), } of elements with u (1) = γ(u), u (k+1) = γ(u (k) ), is called the derived sequence of the initial class u. Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

28 Main results Example For the δ 2 formal space X = B SO(n) we take u = w 2 H (B SO(n) ; Z 2 ) = Z 2 [w 2,, w n ]. Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

29 Main results Example For the δ 2 formal space X = B SO(n) we take u = w 2 H (B SO(n) ; Z 2 ) = Z 2 [w 2,, w n ]. By the coefficients comparison method we get γ(w 2 ) = w (1) 2 = w 4, γ 2 (w 2 ) = w (2) 2 = w 8 + w 2 w 6,. γ k (w 2 ) = w (k) 2 = w 2 k + w 2 w 2 k w 2 k 1 2w 2 k terms with order 3. Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

30 Main results Example For the δ 2 formal space X = B SO(n) we take u = w 2 H (B SO(n) ; Z 2 ) = Z 2 [w 2,, w n ]. By the coefficients comparison method we get γ(w 2 ) = w (1) 2 = w 4, γ 2 (w 2 ) = w (2) 2 = w 8 + w 2 w 6,. γ k (w 2 ) = w (k) 2 = w 2 k + w 2 w 2 k w 2 k 1 2w 2 k terms with order 3. These imply, in contrast to the solution to the Peterson s hit problem for H (B SO(n), Z 2 ) over the Steenrod algebra, that {w 2, w (1) 2, w (2) 2, } {w 2, w 4, w 8, } mod decompositables. Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

31 Main results Returning to the operator α in Theorem 1, the relation i) implies that it always admits an integral lift f α(u) Imρ 4 H 2r (X ; Z 2 ) H 4r (X ) f ρ 4 α H 4r (X ; Z 4 ) Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

32 Main results Returning to the operator α in Theorem 1, the relation i) implies that it always admits an integral lift f α(u) Imρ 4 H 2r (X ; Z 2 ) H 4r (X ) f ρ 4 α H 4r (X ; Z 4 ) In the case X = B SO(n) a canonical choice of an integral lift f can be easily formulated. Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

33 Main results Returning to the operator α in Theorem 1, the relation i) implies that it always admits an integral lift f α(u) Imρ 4 H 2r (X ; Z 2 ) H 4r (X ) f ρ 4 α H 4r (X ; Z 4 ) In the case X = B SO(n) a canonical choice of an integral lift f can be easily formulated. Recall from Feshbach and Brown (1983) that { Z[p1, p 2,, p 1 H [ n 1 2 ] (B SO(n) ) =, e n] τ 2 (B SO(n) ) if n is even; Z[p 1, p 2,, p [ n 1 2 ] ] τ 2(B SO(n) ) if n is odd, Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

34 Main results Returning to the operator α in Theorem 1, the relation i) implies that it always admits an integral lift f α(u) Imρ 4 H 2r (X ; Z 2 ) H 4r (X ) f ρ 4 α H 4r (X ; Z 4 ) In the case X = B SO(n) a canonical choice of an integral lift f can be easily formulated. Recall from Feshbach and Brown (1983) that { Z[p1, p 2,, p 1 H [ n 1 2 ] (B SO(n) ) =, e n] τ 2 (B SO(n) ) if n is even; Z[p 1, p 2,, p [ n 1 2 ] ] τ 2(B SO(n) ) if n is odd, In view of this presentation we can define an integral lift of α f : H (B SO(n) ; Z 2 ) H (B SO(n) ) Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

35 Main results by the following practical rules: 1 in accordance to u = w 2r, w 2r+1 or u = w n when n is even, define f (u) := p r, δ 2 (Sq 2r w 2r+1 ) or e 2 n; Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

36 Main results by the following practical rules: 1 in accordance to u = w 2r, w 2r+1 or u = w n when n is even, define f (u) := p r, δ 2 (Sq 2r w 2r+1 ) or e 2 n; 2 f (u) := f (w i1 ) f (w ik ) if u = w i1 w ik ; Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

37 Main results by the following practical rules: 1 in accordance to u = w 2r, w 2r+1 or u = w n when n is even, define f (u) := p r, δ 2 (Sq 2r w 2r+1 ) or e 2 n; 2 f (u) := f (w i1 ) f (w ik ) if u = w i1 w ik ; 3 f (u) := f (u 1 ) + + f (u k ) if u = u u k with u i s distinct monomials in w 2,, w n. Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

38 Main results by the following practical rules: 1 in accordance to u = w 2r, w 2r+1 or u = w n when n is even, define f (u) := p r, δ 2 (Sq 2r w 2r+1 ) or e 2 n; 2 f (u) := f (w i1 ) f (w ik ) if u = w i1 w ik ; 3 f (u) := f (u 1 ) + + f (u k ) if u = u u k with u i s distinct monomials in w 2,, w n. Based on Theorem 1 it can be shown that Theorem 2 The pair (f, γ) of operations satisfies the following properties: for any u H 2r (B SO(n) ; Z 2 ) one has i) B(u) = ρ 4 (f (u)) + θ(γ(u)); ii) Sq 1 (γ(u)) = Sq 2r Sq 1 (u) + u Sq 1 (u). Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

39 Main results Example Take u = w 2r. Then f (w 2r ) = p r by the definition of f. Solving the equation ii) by the coefficients comparison method gives γ(w 2r ) = w 4r + w 2 w 4r w 2r 2 w 2r+2. Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

40 Main results Example Take u = w 2r. Then f (w 2r ) = p r by the definition of f. Solving the equation ii) by the coefficients comparison method gives γ(w 2r ) = w 4r + w 2 w 4r w 2r 2 w 2r+2. Substituting these into the formula i) of Theorem 2 yields that B(w 2r ) = ρ 4 (p r ) + θ(w 4r + w 2 w 4r w 2r 2 w 2r+2 ). Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

41 Main results Example Take u = w 2r. Then f (w 2r ) = p r by the definition of f. Solving the equation ii) by the coefficients comparison method gives γ(w 2r ) = w 4r + w 2 w 4r w 2r 2 w 2r+2. Substituting these into the formula i) of Theorem 2 yields that B(w 2r ) = ρ 4 (p r ) + θ(w 4r + w 2 w 4r w 2r 2 w 2r+2 ). This formula was first obtained by W.T.Wu (On th Pontryagin classes I,II, III, Acta. Sinica, ) by computing with the cochain complex associated to the Schubert cells decomposition on B SO(n). Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

42 Main results Example Take u = w 2r. Then f (w 2r ) = p r by the definition of f. Solving the equation ii) by the coefficients comparison method gives γ(w 2r ) = w 4r + w 2 w 4r w 2r 2 w 2r+2. Substituting these into the formula i) of Theorem 2 yields that B(w 2r ) = ρ 4 (p r ) + θ(w 4r + w 2 w 4r w 2r 2 w 2r+2 ). This formula was first obtained by W.T.Wu (On th Pontryagin classes I,II, III, Acta. Sinica, ) by computing with the cochain complex associated to the Schubert cells decomposition on B SO(n). S.S. Chern suggested a different approach to the formula, which was implemented by Thomas (Trans. AMS, 1960). Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

43 Main results For each n 8 we set h(n) = [ ] n 1 2 and let {w2, w (1) 2,, w (h(n) 1) 2 } be the first h(n) terms of the derived sequence of w 2. Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

44 Main results For each n 8 we set h(n) = [ ] n 1 2 and let {w2, w (1) 2,, w (h(n) 1) 2 } be the first h(n) terms of the derived sequence of w 2. Applying the operator f of Theorem 2 we get the sequence of integral cohomology classes: {f (w 2 ), f (w (1) (h(n) 1) 2 ),, f (w 2 )} H (B SO(n) ). Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

45 Main results For each n 8 we set h(n) = [ ] n 1 2 and let {w2, w (1) 2,, w (h(n) 1) 2 } be the first h(n) terms of the derived sequence of w 2. Applying the operator f of Theorem 2 we get the sequence of integral cohomology classes: {f (w 2 ), f (w (1) (h(n) 1) 2 ),, f (w 2 )} H (B SO(n) ). In view of the fibration CP i B Spin c (n) π B SO(n) we can show Theorem 3 There is a unique set {q, q r, 1 r h(n) 1} of integral cohomology classes on B Spin c (n), degq r = 2 r+1, that satisfies the following system: Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

46 Main results For each n 8 we set h(n) = [ ] n 1 2 and let {w2, w (1) 2,, w (h(n) 1) 2 } be the first h(n) terms of the derived sequence of w 2. Applying the operator f of Theorem 2 we get the sequence of integral cohomology classes: {f (w 2 ), f (w (1) (h(n) 1) 2 ),, f (w 2 )} H (B SO(n) ). In view of the fibration CP i B Spin c (n) π B SO(n) we can show Theorem 3 There is a unique set {q, q r, 1 r h(n) 1} of integral cohomology classes on B Spin c (n), degq r = 2 r+1, that satisfies the following system: 1 ρ 2 (q) = π w 2, ρ 2 (q r ) = π w (r) 2 ; 2 2q 1 q 2 = π p 1, 2q r+1 q 2 r = π f (w (r) 2 ). Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

47 Main results Regarding H (B Spin c (n)) as a module over its subring π H (B SO(n) ) we have Theorem 4 The cohomology ring H (B Spin c (n)) has the presentation H (B Spin c (n)) = π H (B SO(n) ) Z[δ] (q, q 1,, q h(n) 1 ) that is subject to the following relations 2q 1 q 2 = π p 1, 2q r+1 q 2 r = π f (w (r) 2 ), 4δ q2 h(n) 1 = h. Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

48 Main results Regarding H (B Spin c (n)) as a module over its subring π H (B SO(n) ) we have Theorem 4 The cohomology ring H (B Spin c (n)) has the presentation H (B Spin c (n)) = π H (B SO(n) ) Z[δ] (q, q 1,, q h(n) 1 ) that is subject to the following relations 2q 1 q 2 = π p 1, 2q r+1 q 2 r = π f (w (r) 2 ), 4δ q2 h(n) 1 = h. where (q, q 1,, q h(n) 1 ) denotes the free Z module in the simple system q, q 1,, q h(n) 1 of generators (in Borel s notation); δ is the Euler class of the complex spin representation Spin c (n) U(2 h(n) ) (Atiyah and Bott, 1964). Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

49 Main results Computing with the Gysin sequence of the circle fibration U(1) B Spin(n) B Spin c (n) CP shows the following result, where π : B Spin(n) B SO(n) is induced by the covering Spin(n) SO(n). Theorem 5 The cohomology H (B Spin(n) ) has the presentation H (B Spin(n) ) = π H (B SO(n) ) (q 1,, q h(n) 1, δ ± ), subject to the following relations: 2q 1 = p 1, 2q r+1 q 2 r = π f (w (r) 2 ),. Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

50 Main results Computing with the Gysin sequence of the circle fibration U(1) B Spin(n) B Spin c (n) CP shows the following result, where π : B Spin(n) B SO(n) is induced by the covering Spin(n) SO(n). Theorem 5 The cohomology H (B Spin(n) ) has the presentation H (B Spin(n) ) = π H (B SO(n) ) (q 1,, q h(n) 1, δ ± ), subject to the following relations: 2q 1 = p 1, 2q r+1 q 2 r = π f (w (r) 2 ),. where δ ± denotes the Euler class of the real spin (or the half spin ±) representation of the group Spin(n) depending on the values of n mod8 Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

51 Applications Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

52 Applications 1 The spin characteristic classes are more subtle that the Pontyagin classes: there exist spin vector bundles ξ for which p i (ξ) = 0, w i (ξ) = 0, i 1, but q r (ξ) 0 for some r 1 (Thomas, 1962); Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

53 Applications 1 The spin characteristic classes are more subtle that the Pontyagin classes: there exist spin vector bundles ξ for which p i (ξ) = 0, w i (ξ) = 0, i 1, but q r (ξ) 0 for some r 1 (Thomas, 1962); 2 In the Milnor s calculation (1957) on the group Θ 7 if one uses the Spin characteristic classes q 1, q 2 in place of the Pontryagin classes p 1, p 2, one obtains Θ 7 14 instead of Θ 7 7; Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

54 Applications 1 The spin characteristic classes are more subtle that the Pontyagin classes: there exist spin vector bundles ξ for which p i (ξ) = 0, w i (ξ) = 0, i 1, but q r (ξ) 0 for some r 1 (Thomas, 1962); 2 In the Milnor s calculation (1957) on the group Θ 7 if one uses the Spin characteristic classes q 1, q 2 in place of the Pontryagin classes p 1, p 2, one obtains Θ 7 14 instead of Θ 7 7; 3 For an 8 dimensional manifold M, a pair of integral cohomology classes (a, b) can be realized as the first two spin characteristic classes of a stable spin bundle on M, if and only if where U 1 3 a 2 + b U 1 3 a on H 8 (M; Z 3 ) is the mod3 Wu class of M (Duan, 1991). Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

55 Applications 1 The spin characteristic classes are more subtle that the Pontyagin classes: there exist spin vector bundles ξ for which p i (ξ) = 0, w i (ξ) = 0, i 1, but q r (ξ) 0 for some r 1 (Thomas, 1962); 2 In the Milnor s calculation (1957) on the group Θ 7 if one uses the Spin characteristic classes q 1, q 2 in place of the Pontryagin classes p 1, p 2, one obtains Θ 7 14 instead of Θ 7 7; 3 For an 8 dimensional manifold M, a pair of integral cohomology classes (a, b) can be realized as the first two spin characteristic classes of a stable spin bundle on M, if and only if a 2 + b U 1 3 a on H 8 (M; Z 3 ) where U3 1 is the mod3 Wu class of M (Duan, 1991). For such realization problem in the unstable instances, there should be more relations in certain characteristic classes. Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

56 Applications 1 There is a simple recurrence to produced the basic W = W Spin(n) invariants c k = i (q k ) H (BT ) W = Z[t 1,, t m ] W, 1 k h(n). Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

57 Applications 1 There is a simple recurrence to produced the basic W = W Spin(n) invariants c k = i (q k ) H (BT ) W = Z[t 1,, t m ] W, 1 k h(n). 2 The relations on the cohomology H (B Spin(n) ) 2q r+1 q 2 r = π f (w (r) 2 ) indicates that the ring H (BT ) W of integral W = W Spin(n) invariants is not a polynomial ring. Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

58 The proof of main results We conclude with a proof of the main result. Theorem 1. Let X be a δ 2 formal space. There exists a unique pair of cohomological operations F : H 2r (X ; Z 2 ) S 4r 2 (X ; Z 2) H 4r (X ; Z 4 ), written F (u) = (γ(u), α(u)), that satisfies the following properties: i) α(u) Im ρ 4 ; ii) B(u) = α(u) + θ(γ(u)); iii) Sq 1 (γ(u)) = Sq 2r Sq 1 (u) + u Sq 1 (u). Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

59 The proof of main results For any topological space X and a cohomology class u H 2r (X ; Z 2 ) there hold the following universal relations: (4.1) δ 2 (u u) = 2δ 4 (B(u)) in H 4n+1 (X ); (4.2) ρ 2 δ 4 B(u) = Sq 2n Sq 1 u + u Sq 1 u in H 4n+1 (X ; Z 2 ). Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

60 The proof of main results For any topological space X and a cohomology class u H 2r (X ; Z 2 ) there hold the following universal relations: (4.1) δ 2 (u u) = 2δ 4 (B(u)) in H 4n+1 (X ); (4.2) ρ 2 δ 4 B(u) = Sq 2n Sq 1 u + u Sq 1 u in H 4n+1 (X ; Z 2 ). Assume that the space X is δ 2 formal. Then δ 4 (B(u)) Im δ 2 by (4.1). Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

61 The proof of main results For any topological space X and a cohomology class u H 2r (X ; Z 2 ) there hold the following universal relations: (4.1) δ 2 (u u) = 2δ 4 (B(u)) in H 4n+1 (X ); (4.2) ρ 2 δ 4 B(u) = Sq 2n Sq 1 u + u Sq 1 u in H 4n+1 (X ; Z 2 ). Assume that the space X is δ 2 formal. Then δ 4 (B(u)) Im δ 2 by (4.1). In view of the isomorphism δ 2 : S 4r 2 (X ) = Im δ 2 there exists a unique element u 1 S2 4r (X ) so that (4.3) δ 2 (u 1 ) = δ 4 (B(u)). Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

62 The proof of main results For any topological space X and a cohomology class u H 2r (X ; Z 2 ) there hold the following universal relations: (4.1) δ 2 (u u) = 2δ 4 (B(u)) in H 4n+1 (X ); (4.2) ρ 2 δ 4 B(u) = Sq 2n Sq 1 u + u Sq 1 u in H 4n+1 (X ; Z 2 ). Assume that the space X is δ 2 formal. Then δ 4 (B(u)) Im δ 2 by (4.1). In view of the isomorphism δ 2 : S 4r 2 (X ) = Im δ 2 there exists a unique element u 1 S2 4r (X ) so that (4.3) δ 2 (u 1 ) = δ 4 (B(u)). We can now formulate the desired operations F = (γ, α) : H 2r (X ; Z 2 ) S 4r 2 (X ) H4r (X ; Z 4 ) by setting (4.4) γ(u) := u 1, α(u) := B(u) θ(γ(u)). Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

63 The proof of main results Applying ρ 2 to both sides of (4.3) we get by (4.2) that Sq 1 γ(u) = Sq 2n Sq 1 u + u Sq 1 u. Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

64 The proof of main results Applying ρ 2 to both sides of (4.3) we get by (4.2) that Sq 1 γ(u) = Sq 2n Sq 1 u + u Sq 1 u. Moreover, from δ 4 α(u) = δ 4 (B(u) θ(γ(u))) = δ 4 (B(u)) δ 2 (γ(u)) (by δ 4 θ = δ 2 ) = 0 (by (4.3)) we find that α(u) Im ρ 4. Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

65 The proof of main results Applying ρ 2 to both sides of (4.3) we get by (4.2) that Sq 1 γ(u) = Sq 2n Sq 1 u + u Sq 1 u. Moreover, from δ 4 α(u) = δ 4 (B(u) θ(γ(u))) = δ 4 (B(u)) δ 2 (γ(u)) (by δ 4 θ = δ 2 ) = 0 (by (4.3)) we find that α(u) Im ρ 4. Summarizing, we have obtained the operation F that satisfies the properties i), ii) and iii) of Theorem 1, whose uniqueness comes from its definition (4.4). Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

66 Thanks! Haibao Duan (CAS) Characteristic classes and Invariants of Spin Geometry July 29, / 25

Exercises on characteristic classes

Exercises on characteristic classes Exercises on characteristic classes April 24, 2016 1. a) Compute the Stiefel-Whitney classes of the tangent bundle of RP n. (Use the method from class for the tangent Chern classes of complex projectives

More information

Characteristic classes in the Chow ring

Characteristic 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 information

A Problem of Hsiang-Palais-Terng on Isoparametric Submanifolds

A 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 information

CYCLES, SUBMANIFOLDS, AND STRUCTURES ON NORMAL BUNDLES

CYCLES, SUBMANIFOLDS, AND STRUCTURES ON NORMAL BUNDLES CYCLES, SUBMANIFOLDS, AND STRUCTURES ON NORMAL BUNDLES C. BOHR, B. HANKE, AND D. KOTSCHICK Abstract. We give explicit examples of degree 3 cohomology classes not Poincaré dual to submanifolds, and discuss

More information

Chow rings of Complex Algebraic Groups

Chow rings of Complex Algebraic Groups Chow rings of Complex Algebraic Groups Shizuo Kaji joint with Masaki Nakagawa Workshop on Schubert calculus 2008 at Kansai Seminar House Mar. 20, 2008 Outline Introduction Our problem (algebraic geometory)

More information

INTEGRALS ON SPIN MANIFOLDS AND THE K-THEORY OF

INTEGRALS ON SPIN MANIFOLDS AND THE K-THEORY OF INTEGRALS ON SPIN MANIFOLDS AND THE K-THEORY OF K(Z, 4) JOHN FRANCIS Abstract. We prove that certain integrals M P (x)â take only integer values on spin manifolds. Our method of proof is to calculate the

More information

Truncated Brown-Peterson spectra

Truncated Brown-Peterson spectra Truncated Brown-Peterson spectra T. Lawson 1 N. Naumann 2 1 University of Minnesota 2 Universität Regensburg Special session on homotopy theory 2012 T. Lawson, N. Naumann (UMN and UR) Truncated Brown-Peterson

More information

NOTES ON FIBER BUNDLES

NOTES ON FIBER BUNDLES NOTES ON FIBER BUNDLES DANNY CALEGARI Abstract. These are notes on fiber bundles and principal bundles, especially over CW complexes and spaces homotopy equivalent to them. They are meant to supplement

More information

Lecture on Equivariant Cohomology

Lecture 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 information

KO -theory of complex Stiefel manifolds

KO -theory of complex Stiefel manifolds KO -theory of complex Stiefel manifolds Daisuke KISHIMOTO, Akira KONO and Akihiro OHSHITA 1 Introduction The purpose of this paper is to determine the KO -groups of complex Stiefel manifolds V n,q which

More information

FAKE PROJECTIVE SPACES AND FAKE TORI

FAKE PROJECTIVE SPACES AND FAKE TORI FAKE PROJECTIVE SPACES AND FAKE TORI OLIVIER DEBARRE Abstract. Hirzebruch and Kodaira proved in 1957 that when n is odd, any compact Kähler manifold X which is homeomorphic to P n is isomorphic to P n.

More information

something on spin structures sven-s. porst

something on spin structures sven-s. porst something on spin structures sven-s. porst spring 2001 abstract This will give a brief introduction to spin structures on vector bundles to pave the way for the definition and introduction of Dirac operators.

More information

Introduction (Lecture 1)

Introduction (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 information

Transverse geometry. consisting of finite sums of monomials of the form

Transverse geometry. consisting of finite sums of monomials of the form Transverse geometry The space of leaves of a foliation (V, F) can be described in terms of (M, Γ), with M = complete transversal and Γ = holonomy pseudogroup. The natural transverse coordinates form the

More information

http://dx.doi.org/10.1090/pspum/003 DIFFERENTIAL GEOMETRY PROCEEDINGS OF THE THIRD SYMPOSIUM IN PURE MATHEMATICS OF THE AMERICAN MATHEMATICAL SOCIETY Held at the University of Arizona Tucson, Arizona February

More information

NONNEGATIVE CURVATURE AND COBORDISM TYPE. 1. Introduction

NONNEGATIVE CURVATURE AND COBORDISM TYPE. 1. Introduction NONNEGATIVE CURVATURE AND COBORDISM TYPE ANAND DESSAI AND WILDERICH TUSCHMANN Abstract. We show that in each dimension n = 4k, k 2, there exist infinite sequences of closed simply connected Riemannian

More information

A note on Samelson products in the exceptional Lie groups

A note on Samelson products in the exceptional Lie groups A note on Samelson products in the exceptional Lie groups Hiroaki Hamanaka and Akira Kono October 23, 2008 1 Introduction Samelson products have been studied extensively for the classical groups ([5],

More information

k=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

k=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 information

THE ARTIN-TATE PAIRING ON THE BRAUER GROUP OF A SURFACE

THE ARTIN-TATE PAIRING ON THE BRAUER GROUP OF A SURFACE THE ARTIN-TATE PAIRING ON THE BRAUER GROUP OF A SURFACE TONY FENG Abstract. There is a canonical pairing on the Brauer group of a surface over a finite field, and an old conjecture of Tate predicts that

More information

Complex Bordism and Cobordism Applications

Complex Bordism and Cobordism Applications Complex Bordism and Cobordism Applications V. M. Buchstaber Mini-course in Fudan University, April-May 2017 Main goals: --- To describe the main notions and constructions of bordism and cobordism; ---

More information

The Classification of (n 1)-connected 2n-manifolds

The Classification of (n 1)-connected 2n-manifolds The Classification of (n 1)-connected 2n-manifolds Kyler Siegel December 18, 2014 1 Prologue Our goal (following [Wal]): Question 1.1 For 2n 6, what is the diffeomorphic classification of (n 1)-connected

More information

Topological rigidity for non-aspherical manifolds by M. Kreck and W. Lück

Topological rigidity for non-aspherical manifolds by M. Kreck and W. Lück Topological rigidity for non-aspherical manifolds by M. Kreck and W. Lück July 11, 2006 Abstract The Borel Conjecture predicts that closed aspherical manifolds are topological rigid. We want to investigate

More information

THEp 1 -CENTRALEXTENSIONOF THE MAPPING CLASS GROUP OF ORIENTABLE SURFACES

THEp 1 -CENTRALEXTENSIONOF THE MAPPING CLASS GROUP OF ORIENTABLE SURFACES KNOT THEORY BANACH CENTER PUBLICATIONS, VOLUME 42 INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 1998 THEp 1 -CENTRALEXTENSIONOF THE MAPPING CLASS GROUP OF ORIENTABLE SURFACES SYLVAIN GERVAIS

More information

Stable complex and Spin c -structures

Stable 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 information

CHARACTERISTIC CLASSES

CHARACTERISTIC CLASSES CHARACTERISTIC CLASSES ARUN DEBRAY CONTENTS 1. Four approaches to characteristic classes 1 2. Stiefel-Whitney classes 6 3. Stable cohomology operations and the Wu formula 10 4. Chern, Pontrjagin, and Euler

More information

THE EULER CLASS OF A SUBSET COMPLEX

THE EULER CLASS OF A SUBSET COMPLEX THE EULER CLASS OF A SUBSET COMPLEX ASLI GÜÇLÜKAN AND ERGÜN YALÇIN Abstract. The subset complex (G) of a finite group G is defined as the simplicial complex whose simplices are nonempty subsets of G. The

More information

Cobordant differentiable manifolds

Cobordant differentiable manifolds Variétés différentiables cobordant, Colloque Int. du C. N. R. S., v. LII, Géométrie différentielle, Strasbourg (1953), pp. 143-149. Cobordant differentiable manifolds By R. THOM (Strasbourg) Translated

More information

VECTOR FIELDS ON SPHERES

VECTOR FIELDS ON SPHERES VECTOR FIELDS ON SPHERES JAY SHAH Abstract. This paper presents a solution to the problem of finding the maximum number of linearly independent vector fields that can be placed on a sphere. To produce

More information

Chern Classes and the Chern Character

Chern Classes and the Chern Character Chern Classes and the Chern Character German Stefanich Chern Classes In this talk, all our topological spaces will be paracompact Hausdorff, and our vector bundles will be complex. Let Bun GLn(C) be the

More information

The Steenrod algebra

The Steenrod algebra The Steenrod algebra Paul VanKoughnett January 25, 2016 References are the first few chapters of Mosher and Tangora, and if you can read French, Serre s Cohomologie modulo 2 des complexes d Eilenberg-MacLane

More information

SETS OF DEGREES OF MAPS BETWEEN SU(2)-BUNDLES OVER THE 5-SPHERE

SETS OF DEGREES OF MAPS BETWEEN SU(2)-BUNDLES OVER THE 5-SPHERE SETS OF DEGREES OF MAPS BETWEEN SU(2)-BUNDLES OVER THE 5-SPHERE JEAN-FRANÇOIS LAFONT AND CHRISTOFOROS NEOFYTIDIS ABSTRACT. We compute the sets of degrees of maps between SU(2)-bundles over S 5, i.e. between

More information

Math 210C. The representation ring

Math 210C. The representation ring Math 210C. The representation ring 1. Introduction Let G be a nontrivial connected compact Lie group that is semisimple and simply connected (e.g., SU(n) for n 2, Sp(n) for n 1, or Spin(n) for n 3). Let

More information

Chern numbers and Hilbert Modular Varieties

Chern numbers and Hilbert Modular Varieties Chern numbers and Hilbert Modular Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point

More information

The 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 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 information

We then have an analogous theorem. Theorem 1.2.

We then have an analogous theorem. Theorem 1.2. 1. K-Theory of Topological Stacks, Ryan Grady, Notre Dame Throughout, G is sufficiently nice: simple, maybe π 1 is free, or perhaps it s even simply connected. Anyway, there are some assumptions lurking.

More information

Dirac Operator. Göttingen Mathematical Institute. Paul Baum Penn State 6 February, 2017

Dirac Operator. Göttingen Mathematical Institute. Paul Baum Penn State 6 February, 2017 Dirac Operator Göttingen Mathematical Institute Paul Baum Penn State 6 February, 2017 Five lectures: 1. Dirac operator 2. Atiyah-Singer revisited 3. What is K-homology? 4. The Riemann-Roch theorem 5. K-theory

More information

INTRODUCTION TO EQUIVARIANT COHOMOLOGY THEORY

INTRODUCTION 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 information

THE DIAGONAL COHOMOLOGY CLASS OF VERTICAL BUNDLES

THE DIAGONAL COHOMOLOGY CLASS OF VERTICAL BUNDLES THE DIAGONAL COHOMOLOGY CLASS OF VERTICAL BUNDLES SPUR FINAL PAPER, SUMMER 2017 JUAN CARLOS ORTIZ MENTOR: JACKSON HANCE Abstract Given a manifold M, Milnor and Stasheff studied in [1] the diagonal cohomology

More information

Cohomology theories on projective homogeneous varieties

Cohomology 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 information

A note on rational homotopy of biquotients

A note on rational homotopy of biquotients A note on rational homotopy of biquotients Vitali Kapovitch Abstract We construct a natural pure Sullivan model of an arbitrary biquotient which generalizes the Cartan model of a homogeneous space. We

More information

SPECTRAL ASYMMETRY AND RIEMANNIAN GEOMETRY

SPECTRAL ASYMMETRY AND RIEMANNIAN GEOMETRY SPECTRAL ASYMMETRY AND RIEMANNIAN GEOMETRY M. F. ATIYAH, V. K. PATODI AND I. M. SINGER 1 Main Theorems If A is a positive self-adjoint elliptic (linear) differential operator on a compact manifold then

More information

William G. Dwyer Clarence W. Wilkerson

William G. Dwyer Clarence W. Wilkerson Maps of BZ/pZ to BG William G. Dwyer Clarence W. Wilkerson The purpose of this note is to give an elementary proof of a special case of the result of [Adams Lannes 2 Miller-Wilkerson] characterizing homotopy

More information

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

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 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 information

CHARACTERISTIC CLASSES

CHARACTERISTIC CLASSES 1 CHARACTERISTIC CLASSES Andrew Ranicki Index theory seminar 14th February, 2011 2 The Index Theorem identifies Introduction analytic index = topological index for a differential operator on a compact

More information

THE COHOMOLOGY OF PRINCIPAL BUNDLES, HOMOGENEOUS SPACES, AND TWO-STAGE POSTNIKOV SYSTEMS

THE COHOMOLOGY OF PRINCIPAL BUNDLES, HOMOGENEOUS SPACES, AND TWO-STAGE POSTNIKOV SYSTEMS THE COHOMOLOGY OF PRINCIPAL BUNDLES, HOMOGENEOUS SPACES, AND TWO-STAGE POSTNIKOV SYSTEMS BY J. P. MAY 1 Communicated by F. P. Peterson, November 13, 1967 In this note, we state some results on the cohomology

More information

GENERALIZING THE LOCALIZATION FORMULA IN EQUIVARIANT COHOMOLOGY

GENERALIZING 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 information

)\ SU(3)/ diag(z l 1

)\ SU(3)/ diag(z l 1 TOPOLOGY OF NON-NEGATIVELY CURVED MANIFOLDS CHRISTINE ESCHER AND WOLFGANG ZILLER An important question in the study of Riemannian manifolds of positive sectional curvature is how to distinguish manifolds

More information

Polynomial Hopf algebras in Algebra & Topology

Polynomial Hopf algebras in Algebra & Topology Andrew Baker University of Glasgow/MSRI UC Santa Cruz Colloquium 6th May 2014 last updated 07/05/2014 Graded modules Given a commutative ring k, a graded k-module M = M or M = M means sequence of k-modules

More information

The Spinor Representation

The 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 information

Algebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism

Algebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism Algebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism UWO January 25, 2005 Marc Levine Prelude: From homotopy theory to A 1 -homotopy theory A basic object in homotopy theory is a generalized

More information

LIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM

LIMITING 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 information

Clifford Algebras and Spin Groups

Clifford Algebras and Spin Groups Clifford Algebras and Spin Groups Math G4344, Spring 2012 We ll now turn from the general theory to examine a specific class class of groups: the orthogonal groups. Recall that O(n, R) is the group of

More information

Remarks on the Milnor number

Remarks on the Milnor number José 1 1 Instituto de Matemáticas, Universidad Nacional Autónoma de México. Liverpool, U. K. March, 2016 In honour of Victor!! 1 The Milnor number Consider a holomorphic map-germ f : (C n+1, 0) (C, 0)

More information

Intersection of stable and unstable manifolds for invariant Morse functions

Intersection of stable and unstable manifolds for invariant Morse functions Intersection of stable and unstable manifolds for invariant Morse functions Hitoshi Yamanaka (Osaka City University) March 14, 2011 Hitoshi Yamanaka (Osaka City University) ()Intersection of stable and

More information

Summary of Prof. Yau s lecture, Monday, April 2 [with additional references and remarks] (for people who missed the lecture)

Summary of Prof. Yau s lecture, Monday, April 2 [with additional references and remarks] (for people who missed the lecture) Building Geometric Structures: Summary of Prof. Yau s lecture, Monday, April 2 [with additional references and remarks] (for people who missed the lecture) A geometric structure on a manifold is a cover

More information

KO-THEORY OF THOM COMPLEXES

KO-THEORY OF THOM COMPLEXES KO-THEORY OF THOM COMPLEXES A thesis submitted to the University of Manchester for the degree of Doctor of Philosophy in the Faculty of Engineering and Physical Sciences 007 Adrian Paul Dobson School of

More information

The Hopf invariant one problem

The Hopf invariant one problem The Hopf invariant one problem Ishan Banerjee September 21, 2016 Abstract This paper will discuss the Adams-Atiyah solution to the Hopf invariant problem. We will first define and prove some identities

More information

Foliations, Fractals and Cohomology

Foliations, Fractals and Cohomology Foliations, Fractals and Cohomology Steven Hurder University of Illinois at Chicago www.math.uic.edu/ hurder Colloquium, University of Leicester, 19 February 2009 Steven Hurder (UIC) Foliations, fractals,

More information

Invariance Theory, the Heat Equation, and the Atiyah-Singer Index Theorem

Invariance Theory, the Heat Equation, and the Atiyah-Singer Index Theorem PETER B. GILKEY Department of Mathematics, University of Oregon Invariance Theory, the Heat Equation, and the Atiyah-Singer Index Theorem Second Edition CRC PRESS Boca Raton Ann Arbor London Tokyo Contents

More information

On the connective real K-theory of K(Z, 4): an application of stable homotopy to integrals on spin manifolds

On the connective real K-theory of K(Z, 4): an application of stable homotopy to integrals on spin manifolds On the connective real K-theory of K(Z, 4): an application of stable homotopy to integrals on spin manifolds John Francis Advisor: Professor Michael Hopkins E-mail: jnfranc@fas.harvard.edu Phone: (617)

More information

String structures associated to indefinite Lie groups

String structures associated to indefinite Lie groups String structures associated to indefinite Lie groups Hisham Sati and Hyung-bo Shim April 9, 2015 arxiv:1504.02088v1 [math-ph] 8 Apr 2015 Abstract String structures have played an important role in algebraic

More information

1. Introduction SOME REMARKS ON ALMOST AND STABLE ALMOST COMPLEX MANIFOLDS

1. Introduction SOME REMARKS ON ALMOST AND STABLE ALMOST COMPLEX MANIFOLDS Math. Nachr. ( ), SOME REMARKS ON ALMOST AND STABLE ALMOST COMPLEX MANIFOLDS By Anand Dessai (Received ) Abstract. In the first part we give necessary and sufficient conditions for the existence of a stable

More information

Stable moduli spaces of high dimensional manifolds

Stable moduli spaces of high dimensional manifolds of high dimensional manifolds University of Copenhagen August 23, 2012 joint work with Søren Galatius Moduli spaces of manifolds We define W g := # g S n S n, a closed 2n-dimensional smooth manifold. When

More information

Atiyah-Singer Revisited

Atiyah-Singer Revisited Atiyah-Singer Revisited Paul Baum Penn State Texas A&M Universty College Station, Texas, USA April 1, 2014 From E 1, E 2,..., E n obtain : 1) The Dirac operator of R n D = n j=1 E j x j 2) The Bott generator

More information

Lecture 8: More characteristic classes and the Thom isomorphism

Lecture 8: More characteristic classes and the Thom isomorphism Lecture 8: More characteristic classes and the Thom isomorphism We begin this lecture by carrying out a few of the exercises in Lecture 1. We take advantage of the fact that the Chern classes are stable

More information

Cohomology operations and the Steenrod algebra

Cohomology operations and the Steenrod algebra Cohomology operations and the Steenrod algebra John H. Palmieri Department of Mathematics University of Washington WCATSS, 27 August 2011 Cohomology operations cohomology operations = NatTransf(H n ( ;

More information

The Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016

The Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016 The Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016 January 3, 2017 This is an introductory lecture which should (very roughly) explain what we

More information

Math 231b Lecture 16. G. Quick

Math 231b Lecture 16. G. Quick Math 231b Lecture 16 G. Quick 16. Lecture 16: Chern classes for complex vector bundles 16.1. Orientations. From now on we will shift our focus to complex vector bundles. Much of the theory for real vector

More information

V = 1 2 (g ijχ i h j ) (2.4)

V = 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 information

THE STEENROD ALGEBRA. The goal of these notes is to show how to use the Steenrod algebra and the Serre spectral sequence to calculate things.

THE STEENROD ALGEBRA. The goal of these notes is to show how to use the Steenrod algebra and the Serre spectral sequence to calculate things. THE STEENROD ALGEBRA CARY MALKIEWICH The goal of these notes is to show how to use the Steenrod algebra and the Serre spectral sequence to calculate things. 1. Brown Representability (as motivation) Let

More information

WHAT IS K-HOMOLOGY? Paul Baum Penn State. Texas A&M University College Station, Texas, USA. April 2, 2014

WHAT IS K-HOMOLOGY? Paul Baum Penn State. Texas A&M University College Station, Texas, USA. April 2, 2014 WHAT IS K-HOMOLOGY? Paul Baum Penn State Texas A&M University College Station, Texas, USA April 2, 2014 Paul Baum (Penn State) WHAT IS K-HOMOLOGY? April 2, 2014 1 / 56 Let X be a compact C manifold without

More information

The Finiteness Conjecture

The Finiteness Conjecture Robert Bruner Department of Mathematics Wayne State University The Kervaire invariant and stable homotopy theory ICMS Edinburgh, Scotland 25 29 April 2011 Robert Bruner (Wayne State University) The Finiteness

More information

RIMS-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 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 information

Complex Cobordism and Formal Group Laws

Complex Cobordism and Formal Group Laws Complex Cobordism and Formal Group Laws Yonatan Harpaz November 7, 2012 Contents 1 Cobordism Homology Theories 1 2 Stable Structures and Complex Cobordism 5 3 Formal Group Laws 9 3.1 The Universal Formal

More information

Background and history

Background and history lecture[1]browder's work on the Arf-Kervaire invariant problemlecture-text Browder s work on Arf-Kervaire invariant problem Panorama of Topology A Conference in Honor of William Browder May 10, 2012 Mike

More information

ON THE MORAVA K-THEORY OF SOME FINITE 2-GROUPS. Björn Schuster

ON THE MORAVA K-THEORY OF SOME FINITE 2-GROUPS. Björn Schuster ON THE MORAVA K-THEORY OF SOME FINITE 2-GROUPS Björn Schuster Abstract. We compute the Morava K-theories of finite nonabelian 2-groups having a cyclic maximal subgroup, i.e., dihedral, quaternion, semidihedral

More information

Periodic Cyclic Cohomology of Group Rings

Periodic Cyclic Cohomology of Group Rings Periodic Cyclic Cohomology of Group Rings Alejandro Adem (1) and Max Karoubi Department of Mathematics University of Wisconsin Madison WI 53706 Let G be a discrete group and R any commutative ring. According

More information

SOME EXERCISES. By popular demand, I m putting up some fun problems to solve. These are meant to give intuition for messing around with spectra.

SOME EXERCISES. By popular demand, I m putting up some fun problems to solve. These are meant to give intuition for messing around with spectra. SOME EXERCISES By popular demand, I m putting up some fun problems to solve. These are meant to give intuition for messing around with spectra. 1. The algebraic thick subcategory theorem In Lecture 2,

More information

Realization problems in algebraic topology

Realization problems in algebraic topology Realization problems in algebraic topology Martin Frankland Universität Osnabrück Adam Mickiewicz University in Poznań Geometry and Topology Seminar June 2, 2017 Martin Frankland (Osnabrück) Realization

More information

BRST and Dirac Cohomology

BRST and Dirac Cohomology BRST and Dirac Cohomology Peter Woit Columbia University Dartmouth Math Dept., October 23, 2008 Peter Woit (Columbia University) BRST and Dirac Cohomology October 2008 1 / 23 Outline 1 Introduction 2 Representation

More information

EXCERPT FROM ON SOME ACTIONS OF STABLY ELEMENTARY MATRICES ON ALTERNATING MATRICES

EXCERPT FROM ON SOME ACTIONS OF STABLY ELEMENTARY MATRICES ON ALTERNATING MATRICES EXCERPT FROM ON SOME ACTIONS OF STABLY ELEMENTARY MATRICES ON ALTERNATING MATRICES RAVI A.RAO AND RICHARD G. SWAN Abstract. This is an excerpt from a paper still in preparation. We show that there are

More information

Fractional Index Theory

Fractional Index Theory Fractional Index Theory Index a ( + ) = Z Â(Z ) Q Workshop on Geometry and Lie Groups The University of Hong Kong Institute of Mathematical Research 26 March 2011 Mathai Varghese School of Mathematical

More information

SOME EXERCISES IN CHARACTERISTIC CLASSES

SOME EXERCISES IN CHARACTERISTIC CLASSES SOME EXERCISES IN CHARACTERISTIC CLASSES 1. GAUSSIAN CURVATURE AND GAUSS-BONNET THEOREM Let S R 3 be a smooth surface with Riemannian metric g induced from R 3. Its Levi-Civita connection can be defined

More information

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

COHOMOLOGY OF ARITHMETIC GROUPS AND EISENSTEIN SERIES: AN INTRODUCTION, II COHOMOLOGY OF ARITHMETIC GROUPS AND EISENSTEIN SERIES: AN INTRODUCTION, II LECTURES BY JOACHIM SCHWERMER, NOTES BY TONY FENG Contents 1. Review 1 2. Lifting differential forms from the boundary 2 3. Eisenstein

More information

(Not only) Line bundles over noncommutative spaces

(Not only) Line bundles over noncommutative spaces (Not only) Line bundles over noncommutative spaces Giovanni Landi Trieste Gauge Theory and Noncommutative Geometry Radboud University Nijmegen ; April 4 8, 2016 Work done over few years with Francesca

More information

LOOP GROUPS AND CATEGORIFIED GEOMETRY. Notes for talk at Streetfest. (joint work with John Baez, Alissa Crans and Urs Schreiber)

LOOP GROUPS AND CATEGORIFIED GEOMETRY. Notes for talk at Streetfest. (joint work with John Baez, Alissa Crans and Urs Schreiber) LOOP GROUPS AND CATEGORIFIED GEOMETRY Notes for talk at Streetfest (joint work with John Baez, Alissa Crans and Urs Schreiber) Lie 2-groups A (strict) Lie 2-group is a small category G such that the set

More information

On the Splitting of MO(2) over the Steenrod Algebra. Maurice Shih

On the Splitting of MO(2) over the Steenrod Algebra. Maurice Shih On the Splitting of MO(2) over the Steenrod Algebra Maurice Shih under the direction of John Ullman Massachusetts Institute of Technology Research Science Institute On the Splitting of MO(2) over the Steenrod

More information

Rigid Schubert classes in compact Hermitian symmetric spaces

Rigid Schubert classes in compact Hermitian symmetric spaces Rigid Schubert classes in compact Hermitian symmetric spaces Colleen Robles joint work with Dennis The Texas A&M University April 10, 2011 Part A: Question of Borel & Haefliger 1. Compact Hermitian symmetric

More information

Hyperkähler geometry lecture 3

Hyperkä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 information

THE BORSUK-ULAM THEOREM FOR GENERAL SPACES

THE BORSUK-ULAM THEOREM FOR GENERAL SPACES THE BORSUK-ULAM THEOREM FOR GENERAL SPACES PEDRO L. Q. PERGHER, DENISE DE MATTOS, AND EDIVALDO L. DOS SANTOS Abstract. Let X, Y be topological spaces and T : X X a free involution. In this context, a question

More information

Cobordism of fibered knots and related topics

Cobordism of fibered knots and related topics Advanced Studies in Pure Mathematics 46, 2007 Singularities in Geometry and Topology 2004 pp. 1 47 Cobordism of fibered knots and related topics Vincent Blanlœil and Osamu Saeki Abstract. This is a survey

More information

TRANSITIVE HOLONOMY GROUP AND RIGIDITY IN NONNEGATIVE CURVATURE. Luis Guijarro and Gerard Walschap

TRANSITIVE HOLONOMY GROUP AND RIGIDITY IN NONNEGATIVE CURVATURE. Luis Guijarro and Gerard Walschap TRANSITIVE HOLONOMY GROUP AND RIGIDITY IN NONNEGATIVE CURVATURE Luis Guijarro and Gerard Walschap Abstract. In this note, we examine the relationship between the twisting of a vector bundle ξ over a manifold

More information

NONCOMMUTATIVE LOCALIZATION IN ALGEBRA AND TOPOLOGY Andrew Ranicki (Edinburgh) aar. Heidelberg, 17th December, 2008

NONCOMMUTATIVE LOCALIZATION IN ALGEBRA AND TOPOLOGY Andrew Ranicki (Edinburgh)   aar. Heidelberg, 17th December, 2008 1 NONCOMMUTATIVE LOCALIZATION IN ALGEBRA AND TOPOLOGY Andrew Ranicki (Edinburgh) http://www.maths.ed.ac.uk/ aar Heidelberg, 17th December, 2008 Noncommutative localization Localizations of noncommutative

More information

Mathematical Research Letters 2, (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS. Shuguang Wang

Mathematical Research Letters 2, (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS. Shuguang Wang Mathematical Research Letters 2, 305 310 (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS Shuguang Wang Abstract. It is shown that the quotients of Kähler surfaces under free anti-holomorphic involutions

More information

LECTURE 26: THE CHERN-WEIL THEORY

LECTURE 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 information

arxiv: v2 [math.at] 7 Mar 2012

arxiv: v2 [math.at] 7 Mar 2012 CONJUGATION SPACES AND EQUIVARIANT CHERN CLASSES WOLFGANG PITSCH AND JÉRÔME SCHERER arxiv:1112.4357v2 [math.at] 7 Mar 2012 Abstract. Let η be a Real bundle, in the sense of Atiyah, over a space X. This

More information

Chromatic homotopy theory at height 1 and the image of J

Chromatic homotopy theory at height 1 and the image of J Chromatic homotopy theory at height 1 and the image of J Vitaly Lorman Johns Hopkins University April 23, 2013 Key players at height 1 Formal group law: Let F m (x, y) be the p-typification of the multiplicative

More information

THE GAUSS-BONNET THEOREM FOR VECTOR BUNDLES

THE GAUSS-BONNET THEOREM FOR VECTOR BUNDLES THE GAUSS-BONNET THEOREM FOR VECTOR BUNDLES Denis Bell 1 Department of Mathematics, University of North Florida 4567 St. Johns Bluff Road South,Jacksonville, FL 32224, U. S. A. email: dbell@unf.edu This

More information

The cohomology of orbit spaces of certain free circle group actions

The cohomology of orbit spaces of certain free circle group actions Proc. Indian Acad. Sci. (Math. Sci.) Vol. 1, No. 1, February 01, pp. 79 86. c Indian Academy of Sciences The cohomology of orbit spaces of certain free circle group actions HEMANT KUMAR SINGH and TEJ BAHADUR

More information

Index Theory and Spin Geometry

Index Theory and Spin Geometry Index Theory and Spin Geometry Fabian Lenhardt and Lennart Meier March 20, 2010 Many of the familiar (and not-so-familiar) invariants in the algebraic topology of manifolds may be phrased as an index of

More information