Characteristic classes and Invariants of Spin Geometry
|
|
- Brandon Lawrence
- 5 years ago
- Views:
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 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 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 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 informationCYCLES, 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 informationChow 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 informationINTEGRALS 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 informationTruncated 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 informationNOTES 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 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 informationKO -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 informationFAKE 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 informationsomething 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 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 informationTransverse 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 informationhttp://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 informationNONNEGATIVE 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 informationA 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 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 informationTHE 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 informationComplex 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 informationThe 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 informationTopological 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 informationTHEp 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 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 informationCHARACTERISTIC 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 informationTHE 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 informationCobordant 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 informationVECTOR 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 informationChern 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 informationThe 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 informationSETS 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 informationMath 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 informationChern 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 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 informationWe 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 informationDirac 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 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 informationTHE 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 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 informationA 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 informationSPECTRAL 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 informationWilliam 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 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 informationCHARACTERISTIC 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 informationTHE 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 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 information)\ 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 informationPolynomial 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 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 informationAlgebraic 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 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 informationClifford 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 informationRemarks 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 informationIntersection 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 informationSummary 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 informationKO-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 informationThe 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 informationFoliations, 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 informationInvariance 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 informationOn 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 informationString 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 information1. 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 informationStable 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 informationAtiyah-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 informationLecture 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 informationCohomology 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 informationThe 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 informationMath 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 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 informationTHE 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 informationWHAT 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 informationThe 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 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 informationComplex 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 informationBackground 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 informationON 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 informationPeriodic 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 informationSOME 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 informationRealization 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 informationBRST 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 informationEXCERPT 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 informationFractional 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 informationSOME 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 informationCOHOMOLOGY 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 Giovanni Landi Trieste Gauge Theory and Noncommutative Geometry Radboud University Nijmegen ; April 4 8, 2016 Work done over few years with Francesca
More informationLOOP 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 informationOn 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 informationRigid 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 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 informationTHE 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 informationCobordism 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 informationTRANSITIVE 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 informationNONCOMMUTATIVE 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 informationMathematical 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 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 informationarxiv: 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 informationChromatic 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 informationTHE 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 informationThe 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 informationIndex 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