Lectures on String Topology
|
|
- Horace Price
- 6 years ago
- Views:
Transcription
1 Lectures on String Topology K. Cieliebak Incomplete draft, January 2013 string21
2 2
3 Contents 1 Based Loop Spaces and the Pontrjagin Product H-spaces Pontrjagin product Hopf algebras The structure of Hopf algebras The loop space of a suspension Spectral Sequences and Applications The spectral sequence of a filtered complex The spectral sequence of a double complex Products Čech cohomology The Čech de Rham complex The Leray Serre spectral sequence Applications to based loop spaces Transgression Free Loop Spaces and the Chas Sullivan operations Orientations
4 4 CONTENTS 3.2 The intersection product The loop product The loop bracket The operator The string bracket The loop product on Lie groups The Goldman bracket on surfaces Minimal Models and Applications Rational de Rham theory Minimal models for differential graded algebras Homotopy theory of DGAs Obstruction theory Principal fibrations and Postnikov towers Equivariant Homology and the String bracket Applications in Symplectic Geometry 155 A Some Algebraic Topology 157
5 Introduction These are notes for a course on string topology given at Augsburg University in Fall To a (closed, oriented) n-dimensional manifold M with a base point x 0 M one can associate three spaces of loops: the free loop space the based loop space ΛM := C (S 1, M) C 0 (S 1, M); ΩM := {x Λ x(0) = x 0 }; and the string space (or space of unparametrized loops) ΛM/Diff + (S 1 ) ΛM/S 1. Here Diff + (S 1 ) denotes the group of orientation preserving diffeomoprphisms of S 1 := R/Z, and means homotopy equivalent. Here are a few motivations for studying these spaces. Topology. Based loop spaces play a central role in algebraic topology. For example, many important spaces such as Eilenberg- McLane spaces and Lie groups are homotopy equivalent to based loop spaces, and an fundamental concept in topology is that of 5
6 6 CONTENTS an Ω-spectrum, i.e., a sequence of spaces K 1, K 2,... with K n ΩK n+1 for all n. Riemannian geometry. One of the oldest questions in Riemannian geometry concerns the number of closed geodesics on a Riemannian manifold (M, g). Since closed geodesics are critical points of the energy functional E : ΛM R, E(x) := 1 0 ẋ(t) 2 dt, this question translates into one about the dimensions of the homology groups H k (ΛM). String theory. The basic idea of string theory is to replace point particles by little strings, and Feynman graphs by surfaces in spacetime. It was the great insight of Chas and Sullivan, and their motivation for introducing string topology, that many of the algebraic structures in string theory already appear in the topology of loop spaces. Symplectic geometry. My own motivation comes from symplectic geometry, where string topology operations naturally appear in the compactifications of moduli spaces of J-holomorphic curves with Lagrangian boundary conditions. Here is a rough description of the content of these notes. Chapter 1 is devoted to based loop spaces. Concatenation of loops at the base point makes them H-spaces, which in turn implies that their homology carries a canonical product, the Pontrjagin product, which together with the cup product on cohomology gives their cohomology the structure of a Hopf algebra. We will show that this severly restricts the structure of the cohomology ring and compute some examples. In the intermediate Chapter 2 we introduce an important tool from algebraic topology, spectral sequences, and use it to compute the homology of based loop spaces for more examples.
7 CONTENTS 7 In Chapter 3 we define and study the loop product on the homology of a free loop space ΛM, which gives this homology the structure of a Batalin Vilkovisky algebra as well as a Gerstenhaber algebra. Chapter 4 is another intermediate chapter devoted to another important technique, Sullivan s minimal models. These provide a very efficient way to compute the homology of free loop spaces. As an application, we obtain the famous result that every closed Riemannian manifold whose real cohomology ring requires at least two generators possesses infinitely many closed geodesics. In Chapter 5 we define and study the string bracket and cobracket on the S 1 -equivariant homology H S1 (ΛM), which gives this homology the structure of a Lie bialgebra. Moreover, we will show that the loop product and string bracket are homotopy invariants of the underlying manifold. If time permits, we will discuss in Chapter 6 some applications of string topology in symplectic geometry, as well as current work on various extensions of string topology. Notation. R always denotes a commutative ring with unit 1. Unless stated otherwise, all homology and cohomology is taken with coefficients in R.
8 8 CONTENTS
9 Chapter 1 Based Loop Spaces and the Pontrjagin Product This chapter is mostly taken from Hatcher s book [10]. 1.1 H-spaces Definition. An H-space 1 is a topological space X with a continuous map µ : X X X (the product) and an element e X (the unit) such that the maps x µ(x, e) and x µ(e, x) are homotopic to the identity through maps (X, e) (X, e). It is called associative if the maps (x, y, z) µ ( µ(x, y), z ) and (x, y, z) µ ( x, µ(y, z) ) are homotopic, and commutative if the maps (x, y) µ(x, y) and (x, y) µ(y, x) are homotopic. A map f : X Y between H-spaces is an H-map if the maps X X Y, (x, x ) fµ(x, x ) and (x, x ) µ(fx, fx ) are homotopic, and an H-equivalence if there exists an H-map g : Y X such that fg and gf are homotopic to the identity (everything rel base points). Example 1.1. Every topological group (e.g., a Lie group) is an associative H-space. 1 According to [10], H stands for Hopf. 9
10 10 CHAPTER 1. BASED LOOP SPACES AND THE PONTRJAGIN PRODUCT Example 1.2. Multiplication in the real and complex numbers, the quaternions, and the octonions induces H-space structures on the unit spheres S 0 and S 1 (commutative and associative), S 3 (associative), and S 7 (neither). By a famous theorem of Adams, these are the only spheres that admit H-space structures. Example 1.3. Let Y be a topological space with base point y 0. Then its based loop space ΩY := {y : [0, 1] Y y(0) = y(1) = y 0 } is an H-space with product given by concatenation { x(2t) t [0, 1/2], x y(t) := y(2t 1) t [1/2, 1], and unit given by the constant loop e(t) y 0. It is associative but in general not commutative, and each path x has an inverse (as always up to homotopy) x 1 (t) := x(1 t). Example 1.4. Multiplication of polynomials induces H-space structures on the spaces R and C (with the direct limit topologies) which descend to H-space structures on the infinite projective spaces RP and CP. The following problems establish some basic properties of H-spaces. Problem 1.1. Suppose that X is a CW complex and e X a 0-cell. Show that every continuous map µ : X X X such that the maps x µ(x, e) and x µ(e, x) are homotopic to the identity through maps X X (not necessarily preserving e) is homotopic to a map µ : X X X such that µ(x, e) = µ(e, x) = x for all x X (in particular, µ defines an H-space structure). Conclude that every homotopy equivalence X Y between an H-space X and a CW complex Y induces an H-space structure on Y.
11 1.1. H-SPACES 11 Problem 1.2. Every H-space X is abelian, i.e., π 1 X is abelian and acts trivially on each π k X, k N. Problem 1.3. The universal cover of an H-space is an H-space, and the product of two H-spaces in an H-space. Problem 1.4. If X is an H-space, then for any pointed space K the set K, X of base point preserving homotopy classes of maps K X inherits a product with unit. If X = ΩY, then K, ΩY is a group. What is this group for K = pt and for K = S n? Problem 1.5. A map f : Y Z induces a natural map Ωf : ΩY ΩZ which intertwines the H-space products. In particular, a homotopy equivalence f : Y Z induces a homotopy equivalence Ωf : ΩY ΩZ which intertwines the H-space products, so the H-equivalence class of ΩY is a homotopy invariant of Y. Example 1.5. For an abelian group G and a positive integer n, an Eilenberg McLane space K(G, n) is a topological space whose only nonvanishing homotopy group is π n K(G, n) = G. For example, K(Z, 1) = S 1 and K(Z, 2) = CP, which follows from the homotopy exact sequences of the universal bundles Z R S 1 and S 1 S CP for the groups Z and S 1. We will see later that such a space K(G, n) exists for all G, n and is unique up to homotopy. Assuming this for now, the homotopy exact sequence of the path fibration ΩK(G, n) P K(G, n) K(G, n) shows that ΩK(G, n) K(G, n 1). In view of Problem 1.1, the H-space structure on ΩK(G, n + 1) thus induces a canonical H-space structure on K(G, n). Problem 1.6. (a) Show that the two H-space structures on S 1 defined in Examples 1.2 and 1.5 are equivalent. (b) Show that the two H-space structures on CP defined in Examples 1.4 and 1.5 are equivalent.
12 12 CHAPTER 1. BASED LOOP SPACES AND THE PONTRJAGIN PRODUCT Problem 1.7. (a) Show that for any Serre fibration F E B with contractible total space E there exists a weak homotopy equivalence F ΩB. Hint: Use a contraction of E to define a fibre preserving map E P B to the path space of B. (b) Conclude that every compact Lie group G is homotopy equivalent to ΩBG, the based loop space of its classifying space BG. Is it H-equivalent? 1.2 Pontrjagin product Recall that for any spaces X, Y there is a homology cross product : H i (X) H j (Y ) H i+j (X Y ). If R is a principal ideal domain and H (X) is a free R-module, then the Künneth formula in homology asserts that the cross product defines isomorphisms of R-modules H i (X) H j (Y ) = H n (X Y ), H i (X) H j (Y ) = H n (X Y i+j=n i+j=n Here H (X) := H (X, x 0 ) denotes the reduced homology and X Y := (X Y )/(x 0 Y X y 0 ) the smash product of pointed spaces (X, x 0 ) and (Y, y 0 ). Now consider an H-space X. The composition H i (X) H j (X) H i+j (X X) µ H i+j (X) induces a product on H (X) called the Pontrjagin product. It has the unit [e] H 0 (X) and is in general neither associative nor commutative. For a based loop space X = ΩY, the Pontrjagin product is associative and thus makes H (ΩY ) an R-algebra. By Problem 1.5, a map f : Y Z induces an algebra map (Ωf) :
13 1.2. PONTRJAGIN PRODUCT 13 H (ΩY ) H (ΩZ), which is an isomorphism if f is a homotopy equivalence. Example 1.6. Since the connected components of ΩS 1 are contractible and dintinguished by the mapping degrees of the corresponding maps S 1 S 1, we have a homotopy equivalence ΩS 1 Z. Thus H (ΩS 1 ) = i Z R {i} with product (r, i) (s, j) = (rs, i + j). Similarly, H (ΩT n ) = i Z n R {i} with product (r, i) (s, j) = (rs, i + j). Example 1.7. If X, Y are H-spaces and R is a field, then by the Künneth formula, H (X Y ) = H (X) H (Y ) with product (a b) (a b ) = ( 1) a b aa bb. Problem 1.8. Express the Pontrjagin product on H (G) for a compact Lie group G in terms of the Lie algebra. To each pointed space (X, e) we can associate a free H-space, the James reduced product JX := k N X k /, where X k+1 x 1 x i ex i+1 x k x 1 x i x i+1 x k X k for all 0 i k. It is an H-space with product µ(x 1 x i, x i+1 x i+j ) := x 1 x i x i+1 x i+j and unit e. Denote by J m X JX the image of X m in X. Thus we have inclusions {e} = J 0 J 1 J 2 JX and quotient maps q : X m J m X = X m /, where x 1 x i 1 ex i+1 x m x 1 x j 1 ex j+1 x m for all i, j. If X is a CW complex with e a 0-cell, then J m X and JX inherit CW structures from X. Example 1.8. JS n = e 0 e n e 2n e 3n is a CW complex with one cell e in of dimension in for each multiple of n. Since each Add reference to Samelson.
14 14 CHAPTER 1. BASED LOOP SPACES AND THE PONTRJAGIN PRODUCT cell is attached to lower dimensional cells, the cellular boundary maps are trivial if n 2 and H (JS n ) is freely generated by the e in. Since µ(e in, e jn ) = e (i+j)n, this shows that as an R-algebra, H (JS n ) = R[e n ] is the polynomial algebra on one generator e n of degree n. More generally, we have Proposition 1.9. Let R be a principal ideal domain, and let X be a connected CW complex such that H (X) is a free R- module. Then H (JX) is isomorphic to the tensor algebra T H (X) := R H m N (X) m on the reduced homology of X. Proof. The proof is taken from [10]. The compositions H (X) m H (X) m H (X m ) q H (J m X) H (JX) define a map φ : T H (X) H (JX), which is a ring homomorphism because the product on JX is induced by the natural maps X m X n X m+n. To show that φ is an isomorphism, consider the following commutative diagram of short exact sequences: 0 T m 1 H (X) T m H (X) H (X) m 0 φ φ = 0 H (J m 1 X) H (J m X) H (X n ) 0. Here in the first row, T m H (X) := R k m H (X) k, so this row is exact. The right-hand vertical map is an isomorphism by the Künneth formula in reduced homology because H (X) is a free R-module. The second row is the long exact sequence of the pair (J m X, J m 1 X) whose quotient is the m-fold smash product
15 1.3. HOPF ALGEBRAS 15 X m := X m /e X m 1 X m 1 e; it splits into short exact sequences because of the commutativity of the right-hand square and the fact that the right-hand vertical map is an isomorphism. It follows from this diagram by induction over m and the fivelemma that each φ : T m H (X) H (J m X) is an isomorphism, which as m shows that φ : T H (X) H (JX) is an isomorphism. 1.3 Hopf algebras As we have seen in the previous section, the homology H (X) of an H-space carries the Pontrjagin product. On the other hand, the cohomology H (X) of any space carries the cup product. To relate these two products, we transfer the Pontrjagin product to a coproduct on cohomology as follows. Recall that for any spaces X, Y there is a cohomology cross product : H i (X) H j (Y ) H i+j (X Y ). If H k (X) is a finitely generated free R-module for each k, then the Künneth formula in cohomology asserts that the cross product defines isomorphisms of R-algebras H i (X) H j (Y ) = H n (X Y ). i+j=n Now consider an H-space X. Throughout this section we assume that X is path connected and H k (X) is a finitely generated free R-module for each k. The composition H n µ (X) H n (X X) = H i (X) H j (X) defines a coproduct i+j=n : H (X) H (X) H (X),
16 16 CHAPTER 1. BASED LOOP SPACES AND THE PONTRJAGIN PRODUCT which is an algebra map with respect to the products induced by the cup product. The existence of the unit e translates to the formula (α) = α α + α i α n i, α i, α i H i (X) 0<i<n for α H n (X), n > 0. To see this, consider the commutative diagram H n µ (X) H n (X X) H i (X) H j (X) 1l i H n (X), i+j=n p where i : X X X is the map x (x, e) and p := i. Write α = α n α n + 0<i<n α i α n i. Then the diagram shows that α = p( α) = p(α n 1) = i (α n 1) = α n, and α = α n follows analogously. Definition. A Hopf algebra is a graded R-module A = k 0 Ak with a product µ : A A A, x y xy, and a coproduct : A A A such that (i) (xy) = (x) (y), i.e, the coproduct is an algebra map with respect to the product; (ii) the product has a unit 1 and A 0 = R 1, i.e., A is connected; (iii) (1) = 1 1, and (x) = x x + 0<i<n x i x n i with x i, x i Ai for x A n, n > 0. Note that in a Hopf algebra A the product is not required to be associative or commutative (thus (A, µ) is not an algebra!), and the product is not required to be coassociative or cocommutative. The preceding discussion shows
17 1.3. HOPF ALGEBRAS 17 Theorem Let X be a path connected H-space such that H k (X) is a finitely generated free R-module for each k. Then the cohomology H (X) is a commutative, associative Hopf algebra. Remark The conditions in the definition of a Hopf algebra can be rephrased more formally as follows: (i) The diagram A A µ A A A µ µ τ A A A A A A A A commutes, where τ(x y z w) := ( 1) y z x z y w. (ii) The compositions A = A R 1l u A A µ A, A = R A u 1l A A µ A are the identity maps, where the unit u : R A, r r 1 induces an isomorphism onto A 0. (iii) The compositions A A A 1l c A R = A, A A A c 1l R A = A are the identity maps, where the counit c : A R maps r 1 A 0 to r and A k to 0 for k > 0. In this form, conditions (i) (iii) are perfectly symmetric in the product and coproduct. This shows that the graded dual A := k 0 A k, A k := Hom(A k, R) of a Hopf algebra is again a Hopf algebra with product : A A A, coproduct µ : A A A, unit c : R = R A, and counit u : A R = R. Need hypothesis that A is free and of finite rank in each degree?
18 18 CHAPTER 1. BASED LOOP SPACES AND THE PONTRJAGIN PRODUCT In the following 3 examples we compute the Hopf algebra structure and its dual on a polynomial algebra R[x] and on an exterior algebra Λ[x] in one generator of positive degree n. Since there are no elements of degree between 0 and n, in all these cases we must have (x) = x x. In general, an element x in a Hopf algebra with this property is called primitive. Since it is an algebra map, the coproduct is completely determined by the product: (x k ) = (x x) k. Example Consider A = Λ[x] with x = n odd. Then x 1 1 x = 1 x x 1 = x x and we obtain (x 2 ) = x x 2, so both sides vanish because x 2 = 0. By degree reasons, the dual A is again the exterior algebra Λ[α] on a generator of degree n. Note that the homology of the H-spaces S 1, S 3 and S 7 fits into this picture. Example Consider A = R[x] = Λ[x] with x = n > 0 even. Then x 1 1 x = 1 x x 1 = x x and we obtain k ( ) k (x k ) = x i x k i. i i=0 The dual A is again isomorphic to R[x] as an R-module. Let α k be the generator of A nk satisfying α k, x k = 1, where, denotes the canonical pairing A A R. Since the product on A is dual to the coproduct on A, we obtain α i α j, x k = α i α j, (x k ) = ( k i) for k = i + j, and thus ( ) i + j α i α j = α i+j. i
19 1.3. HOPF ALGEBRAS 19 It easily follows from this by induction that α := α 1 satisfies the relations α k = k!α k of a divided polynomial algebra. Note that when R is a field of characteristic zero, then α k generates A nk and A is just the polynomial algebra R[α]. Example Consider A = R[x] with x = n odd (thus A is not graded commutative). Then x 1 1 x = 1 x x 1 = x x and we obtain (x 2 ) = x x 2, Introducing the even generator y := x 2, we derive from this as in the previous example the relations k ( ) k k ( ) k (y k ) = y i y k i = x 2i 2(k i), i i i=0 i=0 k ( ) k (xy (xy k ) = i y k i + y i xy k i) i i=0 k ( ) k ( ) = x 2i+1 x 2(k i) + x 2i x 2(k i)+1. i i=0 The dual A is again isomorphic to R[x] as an R-module. Let α k be the generator of A nk satisfying α k, x k = 1. Again, the product on A is determined by the coproduct on A by duality, α i α j, x i+j = α i α j, (x i+j ), and we read off ( ) i + j α 2i α 2j = α 2(i+j), α 2i+1 α 2j+1 = 0, i ( ) i + j α 2i α 2j+1 = α 2i+1 α 2j = α 2(i+j)+1 i
20 20 CHAPTER 1. BASED LOOP SPACES AND THE PONTRJAGIN PRODUCT As in the previous example, it follows from this that the generators α := α 1 and β := α 2 satisfy the relations α 2 = 0, β k = k!α 2k, αβ k = β k α = k!α 2k+1. So A is the tensor product of the exterior algebra Λ[α] and the divided polynomial algebra on the even generator β. Note that when R is a field of characteristic zero, then A is just the exterior algebra Λ[α, β] on two generators of degrees n and 2n. According to Example 1.8, the homology of the H-space JS n is of the form described in the previous two examples. So we have determined the cup product structure on H (JS n ) purely algebraically from the Pontrjagin product on H (JS n )! Let us record this result: Proposition Let the coefficient ring R be a principal ideal domain. For n even, H (JS n ) is the divided polynomial algebra on one generator α of degree n. For n odd, H (JS n ) is the tensor product of the exterior algebra on a generator α of degree n and the divided polynomial algebra on a generator β of degree 2n. Problem 1.9. Use the cup product on (S n ) k and the fact that the quotient map (S n ) k J k S n induces homeomorphisms on all cells to directly compute the integral cohomology ring H (JS n ). Problem Use deep results in topology to prove that any H- space which is a closed manifold and whose integral cohomology is an exterior algebra on one generator of odd degree is homeomorphic to S 1, S 3, or S 7.
21 1.4. THE STRUCTURE OF HOPF ALGEBRAS The structure of Hopf algebras The structure of a Hopf algebra imposes strong restrictions on the underlying algebra. For our purposes, the main result in this direction is Theorem 1.16 (Hopf, Leray). Let A be a commutative, as- Add references. sociative Hopf algebra over a field K of characteristic 0 such that A k is finite dimensional in each degree k. Then as an algebra, A is isomorphic to an exterior algebra Λ[x 1, x 2,... ] on generators in positive degrees (at most finitely many in each degree). Remark (a) Let us emphasize that Theorem 1.16 does not say anything about the coproduct. For example, on the algebra Λ[x, y] over R with y = 2 x, for any c R we obtain a Hopf algebra structure by setting (x) := x x, (y) := y y + cx x, and extending as an algebra map. (b) Note that if the total space A in Theorem 1.16 is finite dimensional, then only generators of odd degree can occur in A = Λ[x 1, x 2,... ] (this was the special case originally proved by Hopf). Proof. This short and clever proof is taken from [10]. Since A k is finite dimensional for each k, we can choose algebra generators x 1, x 2,... of A with 0 < x 1 x 2. Since (x n ) involves only x n and generators of lower degrees, the algebra A n A generated by x 1,..., x n is a Hopf subalgebra, i.e, (A n ) A n A n. We may assume that x n / A n 1 (otherwise we remove the generator x n ). Since A is commutative and associative, there is a canonical surjective algebra map A n 1 Λ[x n ] A n. By induction on n, it suffices to show that this surjection is injective for each n. Let I A n be the ideal generated by x 2 n and the elements in A n 1
22 22 CHAPTER 1. BASED LOOP SPACES AND THE PONTRJAGIN PRODUCT of positive degree. Since elements of I of degree x n belong to A n 1, x n / A n 1 implies x n / I. Consider the composition A n An A n q A n (A n /I), where q is the natural quotient map. Thus q (a) = a 1 for a A n 1 (to see this, distinguish the cases a = 0 and a > 0) and q (x n ) = x n x n, where x n is the image of x n in A n /I. Consider first the case x n even. Suppose that the map A n 1 Λ[x n ] A n is not injective and let k i=0 a ix i n = 0 be a nontrivial relation of smallest degree k > 0 in x n, where a i A n 1 with a k 0. Applying the algebra map q yields 0 = i (a i 1)(x n x n ) i = ( i = ( i a i x i n) 1 + ( i ia i x i 1 n ) x n ia i x i 1 n ) x n because i a ix i n = 0. Since x n / I and thus x n 0, this implies the relation k i=1 ia ix i 1 n = 0 of lower degree in x n (here we use that K is a field to conclude a = 0 from a b = 0 and b 0). Since a k 0 and K has characteristic 0, we conclude ka k 0, so the relation is nontrivial and we have a contradiction. In the case x n odd consider a relation a 0 + a 1 x n = 0. Applying q yields 0 = a 0 1+(a 1 1)(x n 1+1 x n ) = (a 0 +a 1 x n ) 1+a 1 x n = a 1 x n, which implies a 1 = 0 and hence a 0 = 0. Theorems 1.10 and 1.16 imply
23 1.4. THE STRUCTURE OF HOPF ALGEBRAS 23 Theorem Let X be a path connected H-space whose cohomology H k (X) with coefficients in a field K of characteristic 0 is finite dimensional for each k. Then the cohomology H (X) is isomorphic as an algebra to an exterior algebra Λ[x 1, x 2,... ] on generators in positive degrees. If the total cohomology H (X) is finite dimensional (e.g., if X is a compact Lie group), then only generators of odd degrees occur in Λ[x 1, x 2,... ]. Remark 1.19 (Γ-manifolds). For closed manifolds, there is the following weakening of the notion of an H-space (this is in fact the notion originally introduced by Hopf in [11]). A Γ-manifold is a closed connected manifold M with a continuous map µ : M M M such that for some (and hence every) point e M the maps M M given by l e (x) := µ(e, x) and r e (x) := µ(x, e) have nonzero mapping degrees d l and d r. The proof of Theorem 1.10 yields in this case an algebra map : H (M) H (M) H (M) satisfying (1) = 1 1, and (x) = x 1+1 x + i x i x n i with x i, x i > 0 and x, x 0 for x > 0. Theorem 1.16 still holds in this situation, and we obtain Hopf s original result that Check this! the cohomology of a Γ-manifold is isomorphic as an algebra to an exterior algebra Λ[x 1, x 2,..., x m ] on finitely many generators of odd degrees. The following construction of Γ-manifolds was explained to me by U. Frauenfelder and P. Quast. Let M be a closed Riemannian symmetric space, i.e., a closed connected Riemannian manifold which possesses for each p M an isometry I p : M M fixing p whose differential at p is minus the identity (and hence I 2 p = 1l). Then one can define a map µ : M M M by µ(p, q) := I p (q). Since I 2 p = 1l, the map q I p (q) has mapping degree d l = ±1. Whether the degree d r of the map p I p (q) is nonzero, and thus
24 24 CHAPTER 1. BASED LOOP SPACES AND THE PONTRJAGIN PRODUCT µ defines a Γ-structure, depends on the space M. For example, for M = S n the degree d r equals zero if n is even and 2 if n is odd, so S n is a Γ-manifold if and only if n is odd (the only if follows from the structure of its cohomology ring), while it is an H-space only for n = 0, 1, 3, 7. Similarly, this construction yields a Γ-structure on the Lagrangian Grassmannian U(n)/O(n) for each odd n (see [1]). It would be interesting to understand in general for which Riemannian symmetric spaces this construction yields a Γ-structure. Problem Let G be a compact Lie group with Lie algebra g. (a) Show that the left-invariant differential forms define a subcomplex Ω li (G) of the de Rham complex (Ω (G), d) and the inclusion Ω li (G) Ω li (G) induces an isomorphism on cohomology. (b) Show that under the algebra isomorphism Ω li (G) = Λg the exterior differential corresponds to d : Λ k g Λ k+1 g, dα(ξ 0,... ξ k ) := i<j ( 1) i+j α([ξ i, ξ j ], ξ 0,..., ξ i,..., ξ j,..., ξ k ). (c) Prove that the differential defined in (b) satisfies d 2 = 0 for any Lie algebra, and thus gives rise to the Lie algebra cohomology H (g). Conclude from (a) that H (g) = H (G; R) for any compact Lie group. Problem Compute the real cohomology ring of SO(4) (a) by finding a homeomorphism SO(4) S 3 SO(3); (b) by computing the Lie algebra cohomology, using Theorem If this was easy, try SO(n) for general n. Problem Show that each exterior algebra A = Λ[x 1,..., x m ] on finitely many odd generators satisfies Poincaré duality, i.e., A k = A n k with n := x x m.
25 1.5. THE LOOP SPACE OF A SUSPENSION The loop space of a suspension Up to now we have computed the homology H (ΩY ) of a based loop space only in the rather trivial case Y = T n. It turns out that there is a class of spaces for which H (ΩY ) can be computed using our previous techniques: those which are a suspension of another space. The suspension of a space X is the space S(X) := X I/X I, where I := [ 1, 1]. For example, the suspension of S n D n / D n is S(S n ) = S n I/S n I D n I/D n I D n I = D n I/ (D n I) S n+1. For a pointed space (X, e) it is often more convenient to use the reduced suspension / ΣX := X I X I e I, which is homotopy equivalent to S(X) because only the interval e I is contracted to a point. There is a canonical inclusion λ : X ΩΣX associating to x X the loop I t [x, t] ΣX based at e (reparametrized over the interval [0, 1]). See Figure fig:suspension1 for a schematic picture, as well as an illustration of the resulting S 1 -family of loops in ΣS 1 S 2. More generally, to (x 1,..., x m ) X m we can associate the concatenation λ(x 1 x m ) := λ(x 1 ) λ(x 2 ) λ(x m ) ΩΣX.
26 26 CHAPTER 1. BASED LOOP SPACES AND THE PONTRJAGIN PRODUCT Here we parametrize the loops λ(x 1 x m ) such that as some x i approaches e, the corresponding loop in the concatenation is parametrized over shorter and shorter intervals and we have λ(x 1 x i ex i+1 x m ) = λ(x 1 x i x i+1 x m ). This can be achieved by picking any continuous function d : X [0, 1] with d 1 (0) = {e} and parametrizing the i-th loop in λ(x 1 x m ) over an interval of length d(x i )/ ( d(x 1 ) + + d(x m ) ). It follows that λ descends to a map λ : JX ΩΣX on the James reduced product. Now the main result of this section is Theorem For every connected CW complex X, the map λ : JX ΩΣX is a weak homotopy equivalence. Since by construction λ is compatible with the H-space products, together with Proposition 1.9 this implies Corollary Let R be a principal ideal domain, and let X be a connected CW complex such that H (X) is a free R- module. Then λ : JX ΩΣX induces an algebra isomorphism (with respect to the Pontrjagin products) T H (X) = H (JX) = H (ΩΣX). Since ΣS n S n+1, Theorem 1.20 together with Proposition 1.15 implies Corollary Let the coefficient ring R be a principal ideal domain. For n even, H (ΩS n+1 ) is the divided polynomial algebra on one generator α of degree n. For n odd, H (ΩS n+1 ) is the tensor product of the exterior algebra on a generator α
27 1.5. THE LOOP SPACE OF A SUSPENSION 27 of degree n and the divided polynomial algebra on a generator β of degree 2n. Proof of Theorem The main step is proving Corollary 1.21 for coefficients in a field K. This is done by a nice geometric construction. Let us write Y := ΣX = Y + X Y as the union of the two reduced cones Y ± := C ± X := {[x, t] ΣX ±t 0}, glued along X X {0} ΣX, see Figure fig:suspension2. Consider the path fibration ΩY P Y p Y and write P Y = P + Y P Y, P ± Y := p 1 (Y ± ), thus P ± Y is the space of paths in Y starting at the base point [e] and ending in Y ±. Since P ± Y and their intersection P + Y P Y = p 1 (X) are deformation retracts of open neighbourhoods in P Y (check this!), we can apply the Mayer Vietoris sequence to the pair (P + Y, P Y ). Since P Y is contractible, this yields the first row in the following commutative diagram in reduced homology: H (P + Y P Y ) i + i = H (P + Y ) H (P Y ) g = (πf + ) (πf ) = H (ΩY X) = ( H (ΩY ) H(X) ) H (ΩY ). j + j = H (ΩY ) H (ΩY ) (1.1)
28 28 CHAPTER 1. BASED LOOP SPACES AND THE PONTRJAGIN PRODUCT Here i ± : P + Y P Y P ± are the inclusions, and the isomorphism at the bottom is the Künneth formula (here we use that we have field coefficients). The remaining maps are defined as follows. Since the cone Y + = C + X is contractible, the restriction ΩY P + Y Y + of the path fibration to Y + splits as a product P + Y ΩY Y + ΩY. We can define explicit maps ( ) f + : P + Y ΩY Y +, γ γ γ y +, y = γ(1), g + : ΩY Y + P + Y, (γ, y) γ γ + y. Here γ y + : [t, 1] Y +, s [x, s] is the canonical path in Y + from y = [x, t] to the base point [e], and γ y + is the inverse path, see Figure fig:suspension2. Since the loops γ y + γ y + and γ y + γ y + are canonically homotopic with fixed ends to the constant loops at [e] resp. y, the formulas ( ) f + g + (γ, y) = γ γ y + γ y +, y (γ, y), g + f + (γ) = γ γ y + γ y + γ show that f + and g + are homotopy inverses. The maps f and g are defined analogously. Note that the maps f ± and g ± restrict to homotopy inverse maps P + Y P Y f ± ΩY X g ± P + Y P Y. Consider the following commutative diagram: P + Y P Y (i +,i ) P + Y ) P Y g πf + πf ΩY X (j +,j ) ΩY ΩY, where π : ΩY Y ΩY is the projection onto the first factor and the map (j +, j ) is defined by commutativity. Passing to reduced homology yields the remaining maps in the diagram (1.1).
29 1.5. THE LOOP SPACE OF A SUSPENSION 29 Since f g 1l, the map j = πf g is homotopic to the projection π : ΩY X X. On the other hand, since f + g (γ, y) = (γ γ y γ + y, y), and γ y γ + y is just the loop λ(x) defined above (where y = [x, 0]), the map j + = πf + g : (γ, x) γ λ(x) is just the composition ΩY X 1l λ ΩY ΩY ΩY, where the last arrow is the H-space product. This shows first of all that the map j in (1.1) corresponds to the projection ( H (ΩY ) H(X) ) H (ΩY ) H (ΩY ) onto the second factor. Since j + j is an isomorphism, the restriction of j + to the kernel of j must be an isomorphism, which by the preceding discussion is just the composition H (ΩY ) H (X) 1l λ H (ΩY ) H (ΩY ) H (ΩY ), where the last arrow is the Pontrjagin product. By the algebraic Lemma 1.23 below (with A = H (ΩY ), V = H (X), and i = λ ), this implies that the canonical algebra homomorphism T λ : T H (X) H (ΩY ) extending λ is an isomorphism. Since λ is a map of H-spaces, T λ is given by the composition of maps T H (X) H (JX) λ H (ΩY ), where the first map is the algebra isomorphism from Proposition 1.9. So we have shown that λ : H (JX) H (ΩY ) is an isomorphism with field coefficients. Applying the universal coefficient theorem with the fields Q and Z p, this implies that λ : H (JX) H (ΩY ) is also an isomorphism with integer coefficients. Since the H-spaces JX and ΩY are abelian (Problem 1.2), the Hurewicz theorem for abelian spaces implies that λ
30 30 CHAPTER 1. BASED LOOP SPACES AND THE PONTRJAGIN PRODUCT induces isomorphisms on all homotopy groups, so by Whitehead s theorem it is a homotopy equivalence. It remains to prove the algebraic lemma used in the proof of Theorem Lemma Let A be a graded algebra over a field K with A 0 = K, and let V be a graded K-vector space with V 0 = 0. Let i : V Ã := A/A0 be a linear grading preserving map such that the map µ : A V Ã, a v a i(v) is an isomorphism. Then the canonical algebra homomorphism T i : T V A extending i is an isomorphism. Proof. We prove by induction on n that each a A n can be uniquely written as T i(w) with w T V. For n = 0 this follows from A 0 = K, so suppose n > 0. Since µ is an isomorphism, we can uniquely write a = j a ji(v j ) with a j A, v j V. Now V 0 = 0 implies v j > 0, hence a j < n, so by induction hypothesis we can uniquely write a j = T i(w j ) with w j T V. Thus a = j T i(w j)i(v j ) = T i( j w j v j ) and this representation is unique. Problem For pointed spaces (X, x 0 ) and (Y, y 0 ) we define their wedge sum X Y := X Y/x 0 y 0, and we denote by X, Y the set of base point preserving homotopy classes of maps X Y. Show: (a) The assignment (x, t) { (x, 2t) t [0, 1/2], (x, 2t 1) t [1/2, 1]
31 1.5. THE LOOP SPACE OF A SUSPENSION 31 defines a canonical map ΣX ΣX ΣX. Sending (f, g) to the composition ΣX ΣX ΣX f g Y defines a group structure on the set ΣX, Y. This group is abelian if X is itself a suspension, and it equals π k+1 (Y ) for X = S k. (b) Associating to f : ΣX Y the family of loops t f[x, t], x X, gives a canonical identification (the adjoint relation) ΣX, Y = X, ΩY, which identifies the product on ΣX, Y defined in (a) with the product on X, ΩY induced by the H-space structure on ΩY.
32 32 CHAPTER 1. BASED LOOP SPACES AND THE PONTRJAGIN PRODUCT
33 Chapter 2 Spectral Sequences and Applications In this chapter we introduce a more advanced technique from algebraic topology, spectral sequences, and use it to compute the cohomology of based loop spaces in further examples. We follow the discussion in the book by Bott and Tu [2], omitting some details of proofs. 2.1 The spectral sequence of a filtered complex We begin with an algebraic lemma. Lemma 2.1. Every exact triangle (called an exact couple) A i A k j E of R-modules gives rise to a new exact triangle (called the derived couple) A i A k j E 33
34 34 CHAPTER 2. SPECTRAL SEQUENCES AND APPLICATIONS via the following definitions: d := jk : E E, E := H(E, d), A := ia A, i := i A, j (ia) := [ja], k [e] := ke. For later usage, let us record these definitions in short-hand notation as i = i, j := ji 1, k := k, d := ji 1 k. (2.1) Proof. Let us check that everything is well-defined. First, kj = 0 implies d 2 = jkjk = 0, so the homology E := H(E, d) is defined. For the definition of j, note that d(ja) = jkja = 0, so ja represents a homology class [ja] H(E, d). If ia = iā, then by exactness a ā = ke and hence [ja jā] = [jke] = [de] = 0, which shows well-definedness of j. For well-definedness of k, note first that 0 = de = jke implies ke = ia A. Moreover, [e] = 0 implies e = dē = jkē, and hence ke = kjke = 0. The proof of exactness is left as an exercise. Problem 2.1. Prove exactness of the derived couple in Lemma 2.1. Definition. A filtered complex is a differential complex (K, D) of R-modules (i.e., D : K K satisfies D 2 = 0) together with a decreasing filtration K = K 0 K 1 K 2 of submodules satisfying D(K p ) K p for all p. Given a filtered complex, we set K p := K for p < 0. The short exact sequences 0 K p+1 i K p j K p /K p+1 0
35 2.1. THE SPECTRAL SEQUENCE OF A FILTERED COMPLEX 35 induce long exact sequences in homology (with respect to D) H(K p+1 ) i H(K p ) j H(K p /K p+1 ) All these exact sequences are encoded in the exact couple A 1 := H(K p ) i 1 A p Z 1 k 1 j 1 E 1 := H(K p /K p+1 ). k Z k H(K p+1 ). Iterative application of Lemma 2.1 thus provides a sequence of exact couples i A r r A r with E r+1 = H(E r, d r = j r k r ). k r j r E r Definition. A spectral sequence is a sequence of differential complexes (E r, d r ) with E r+1 = H(E r, d r ). Let us emphasize that, while in the above sequence each exact couple completely determines the next exact couple, in a spectral sequence (E r, d r ) determines the next R-module E r+1 but not the differential d r+1, which needs to be given as an additional input for each r. It is natural to ask when the spectral sequence above becomes stationary, i.e., after some r all the exact couples are equal. This happens if and only if i r is injective, or equivalently k r = 0, or equivalently j r is surjective. Note that these conditions imply d r = 0, but d r = 0 is not sufficient. The simplest case in which this occurs is when the filtration has finite length l, i.e., K = K 0 K 1 K l K l+1 = 0.
36 36 CHAPTER 2. SPECTRAL SEQUENCES AND APPLICATIONS To see this, note that A 1, A 2, A 3,..., A l+1 are the direct sums of the following (non-exact) sequences whose arrows define the maps i r (where we write i := i 1 ): H(K) i H(K 1 ) i H(K 2 ) i H(K 3 ) H(K l ) 0, H(K) ih(k 1 ) i ih(k 2 ) i ih(k 3 ) ih(k l ) 0, H(K) i 2 H(K 1 ) i 2 H(K 2 ) i i 2 H(K 3 ) i 2 H(K l ) 0 H(K) i l H(K 1 ) i l H(K 2 ) i l H(K 3 ) i l H(K l ) 0. Thus more and more of the maps become inclusions until the map i l+1 consists entirely of inclusions, so the sequence becomes stationary at the exact couple i A l+1 l+1 A l+1 = A l+2 = =: A k l+1 =0 j l+1 E l+1 = E l+2 = =: E. We see that E = Al+1 /ia l+1 = l i l H(K p )/i l H(K p+1 ) = p=0 l F p /F p+1 =: GH(K) p=0 is the associated graded module of the induced filtration on homology H(K) = F 0 F 1 F 2, F p := i p H(K p ). Definition. One says that a spectral sequence (E r, d r ) converges to a filtered module H = F 0 F 1 F 2 if it becomes stationary and E = p F p/f p+1 =: GH is the associated graded module of H.
37 2.1. THE SPECTRAL SEQUENCE OF A FILTERED COMPLEX 37 The argument above also works if K = n Kn has an additional grading (refered to as the dimension) such that D(K n ) K n+1 and the filtrations K n = K n 0 K n 1 K n 2, K n p := K n K p, have finite length in each dimension n, where convergence now means that the sequence becomes stationary in each dimension (see [2] for more details). Thus we have shown Theorem 2.2. Let K = n Kn = K 0 K 1 K 2 be a graded filtered complex such that the filtration has finite length in each dimension n. Then the short exact sequence 0 p K p+1 p K p p K p/k p+1 0 induces a spectral sequence (E r, d r ) which converges to the homology H(K). Problem 2.2. Fill in the details of the proof of Theorem 2.2 in the graded case. Remark 2.3. The terms A r and E r in the above exact couples are naturally graded by the filtration degree as follows. For r = 1 we set A p 1 := H(K p) and E p 1 := H(K p, K p+1 ). Then we define inductively A p r := i r 1 A p+1 r 1 and Ep r := H(E p r 1, d r 1). With respect to this grading the maps have degrees i 1 = 1, j 1 = 0, k 1 = 1, so it follows from the formulas (2.1) that i 2 = i 1 = 1, j 2 = j 1 i 1 1 = 1, k 2 = k 1 = 1, next i 3 = i 2 = 1, j 3 = j 2 i2 1 = 2, k 3 = k 2 = 1, and hence i r = 1, j r = r 1, k r = 1, d r = j r k r = r. This gives another way to see that the above spectral sequence converges: If the filtration has finite length l, then E p 1 = H(K p, K p+1 ) = 0 for p < 0 and for p > l. Since E p r can only become smaller as r increases, it follows that E p r = 0 for p < 0 and for p > l, for all r. Since d r increases the filtration degree by r, this shows that d r = 0
38 38 CHAPTER 2. SPECTRAL SEQUENCES AND APPLICATIONS for all r > l + 1, so the spectral sequence becomes stationary at E l+1. Remark 2.4. Some care must be taken when relating a filtered module H = F 0 F 1 F 2 to its associated graded module GH = p F p/f p+1 because GH is in general not isomorphic to H. For example, the graded module associated to the filtration Z 2Z 0 of Z is 2Z (Z/2Z) = Z Z 2. However, we always have rank GH = rank H. Remark 2.5. Of course, Theorem 2.2 also holds if D(K n ) K n 1. Moreover, we also get a spectral sequence from an increasing filtration K 0 K 1 K 2 K = p 0 K p of submodules satisfying D(K p ) K p for all p: Setting K p := 0 for p < 0, the short exact sequences 0 K p 1 i K p j K p /K p 1 0 induce long exact sequences in homology (with respect to D) H(K p 1 ) i H(K p ) j H(K p /K p 1 ) and thus a sequence of exact couples starting with A 1 := H(K p ) i 1 A p Z 1 k 1 j 1 E 1 := H(K p /K p 1 ). k Z k H(K p 1 ), If the filtration has finite length in each dimension n (for some additional grading), then the spectral sequence converges to the homology H(K) in the sense that E = F p /F p 1 =: GH(K) p 0
39 2.1. THE SPECTRAL SEQUENCE OF A FILTERED COMPLEX 39 is the associated graded module of the induced filtration on homology F 0 F 1 F 2 H(K) = p 0 F p, F p := ιh(k p ), where ι : H(K p ) H(K) is the map induced by the inclusion K p K. For later use, let us note the following Lemma 2.6. The differential d 1 : H n (K p /K p+1 ) H n+1 (K p+1 /K p+2 ) of the spectral sequence in Theorem 2.2 is the boundary map in the long exact sequence of the triple (K p, K p+1, K p+2 ). Proof. Set (A, B, C) := (K p, K p+1, K p+2 ) and consider the following commutative diagram, where the maps are the obvious inclusions and projections, and the rows and first column are exact: 0 C 0 B A A/B 0 j = 0 B/C A/C A/B 0 0. It induces the following commutative diagram on homology, where j 1 = j and k 1, d 1 are the boundary maps in the long exact se-
40 40 CHAPTER 2. SPECTRAL SEQUENCES AND APPLICATIONS quences of the rows: H n k (A/B) 1 H n+1 (B) = j 1 H n (A/B) d 1 H n+1 (B/C). Since j 1 k 1 is the first differential in the spectral sequence, this proves the lemma. In topology, spectral sequences usually arise from an increasing sequence X 0 X 1 X 2 X = p 0 X p of subspaces of a topological space X. If we assume that every compact subset of X is contained in some X p, then we get an increasing filtration on the singular chain complex C (X 0 ) C (X 1 ) C (X 2 ) C (X) = p 0 C (X p ), and thus a spectral sequence (E r, d r ) with E 1 = p 0 H (X p, X p 1 ). The spectral sequence converges to H (X) provided that for each n all but finitely many of the maps H n (X p ) H n (X p+1 ) are isomorphisms. By Lemma 2.6, the differential d 1 : H (X p, X p 1 ) H 1 (X p 1, X p 2 ) is the boundary map in the long exact sequence of the triple (X p, X p 1, X p 2 ). Example 2.7 (cellular homology). Suppose that X is a CW complex and X p X is the p-skeleton for each p. Since X p /X p 1 = α Sp α is a wedge sum of p-spheres, H n (X p, X p 1 ) equals zero for n p, and the cellular chain group α R for n = p. Thus the maps H n (X p ) H n (X p+1 ) are isomorphisms for p n, n 1 and the above spectral sequence converges to H (X). By the preceding
41 2.2. THE SPECTRAL SEQUENCE OF A DOUBLE COMPLEX 41 discussion, d 1 : H p (X p, X p 1 ) H p 1 (X p 1, X p 2 ) is the cellular boundary map, and hence E 2 = p 0 Hp cell (X) is the total cellular homology. Note that here the filtration degree coincides with the dimension. Since according to Remark 2.3 the differential d r decreases the dimension by 1 and the filtration degree by r, we have d 2 = d 3 = = 0 and thus E 2 = = E = p 0 F p /F p 1, F p := ιh (X p ) H (X). It follows algebraically from this that H n (X) = Hn cell (X) for all n: Since F p /F p 1 = H cell p (X) lives only in dimension n, the submodules Fn p := F p H n (X) satisfy Fn/F p n p 1 = 0 for n p, i.e., 0 = F 0 n = F 1 n = = F n 1 n and hence H n (X) = F n n = F n n /F n 1 n F n n = = H n (X), = H cell n (X). Problem 2.3. Express the terms (R r, d r ) in the spectral sequence See [8] of a filtered complex K = K 0 K 1 directly in terms of the relative homology groups H(K p /K p+r, D). 2.2 The spectral sequence of a double complex Definition. A double complex is a bigraded R-module K = p,q 0 Kp,q with two commuting differentials δ : K p,q K p+1,q, d : K p,q K p,q+1, d 2 = δ 2 = 0, dδ = δd.
42 42 CHAPTER 2. SPECTRAL SEQUENCES AND APPLICATIONS To a double complex we can naturally associate a single graded complex (K = n 0 Kn, D) via D := δ+d : K n := K p,q K n+1, d := ( 1) p d on K p,q p+q=n with the decreasing filtration K = K 0 K 1, K p := i p q 0 K i,q. Since i p and q 0 implies i + q p, the n-dimensional part K n p := K p K n = i p q 0 i+q=n K i,q vanishes for p > n, so the filtration has finite length n in dimension n. Hence, by Theorem 2.2, the spectral sequence (E r, d r ) of this filtered complex converges to the total homology H(K, D). Let us describe the terms in this spectral sequence more explicitly. We have K n p = K p,n p K p+1,n p 1 K n,0 and thus K n p /K n p+1 = K p,q, where p + q = n. Since D = d = ( 1) p d on this quotient, it follows that H n (K p /K p+1, D) = ker(d : Kp,q K p,q+1 ) im (d : K p,q 1 K p,q ) =: Hp,q (K, d), and hence E 1 = p,q 0 E p,q 1, Ep.q 1 = H p,q (K, d).
43 2.2. THE SPECTRAL SEQUENCE OF A DOUBLE COMPLEX 43 The differential d 1 = j 1 k 1 is shown in the following diagram of homology groups with respect to D: H n (K p /K p+1 ) k 1 H n+1 (K p+1 ) d 1 j 1 H n+1 (K p+1 /K p+2 ). i 1 H n+1 (K p ) Consider [a] 1 E p,q 1 = H n (K p /K p+1, D), n = p + q, represented by a K p,q with da = 0. Since, by Lemma 2.6, d 1 is the boundary map in the long exact sequence of the triple (K p, K p+1, K p+2 ), it follows that d 1 [a] 1 = [Da] 1 = [δa] 1 H n+1 (K p+1 /K p+2, D) = E p+1,q 1. Since d 1 is induced by δ, we have E 2 = E p,q (H,q ) 2, Ep.q 2 = H p (K, d), δ. p.q 0 To compute d 2, consider [a] 2 E p,q 2, represented by a Kp,q with da = 0 and [δa] 1 = 0, i.e., δa = d b for some b K p+1,q 1. For n = p + q, the element a + b K n p agrees with a in K n p /K n p+1 and satisfies D(a + b) = d a + (δa + d b) + δb = δb K n+1 p+1. Now note that δb actually lies in K p+2,q 1 Kp+2 n+1, so k 1[a] 1 = k 1 [a+b] 1 = i 1 [δb] 1 H n+1 (K p+1, D), where i 1 : H n+1 (K p+2, D) H n+1 (K p+1, D) is the map induced by the inclusion i : K n+1 K n+1 j 1 H n+1 (K p /K p+1 ) p+2 p+1. It follows from (2.1) that d 2[a 2 ] is the class of j 1 [δb] 1 H n+1 (K p+2 /K p+3, D) = E p+2,q 1 1 in E p+2,q 1 2. So we have d 2 : E p,q 2 E p+2,q 1 2, [a] 2 [δb] 2, where a and b form the following zigzag in which horizontal arrows correspond to δ (increasing p), vertical ones to d (increasing q),
44 44 CHAPTER 2. SPECTRAL SEQUENCES AND APPLICATIONS and δa = d b: 0 a b δb. Continuing inductively, we see that each E r is bigraded as E r = p.q 0 E p,q r, where an element [a] r Er p,q is represented by a zigzag of length r with a 0 K p,q and δa i = d a i+1 for i = 0,..., r 2: 0 a 0 a 1 a r 1 δa r 1. Then [a 0 ] r 1 = [a a r 1 ] r 1 and D(a a r 1 ) = δa r 1 K p+r,q r+1 imply k r 1 [a 0 ] r 1 = [D(a a r 1 )] r 1 = i r 1 [δa r 1 ] r 1, so we have d r : E p,q r E p+r,q r+1 r, [a 0 ] r [δa r 1 ] r.
45 2.2. THE SPECTRAL SEQUENCE OF A DOUBLE COMPLEX 45 In the limit we find the induced filtration on the total homology H n (K, D) = H n (K 0 ) ih n (K 1 ), whose associated graded module consists of the terms i p H n (K p, D)/i p+1 H n (K p+1, D) = E p,q, p + q = n. Thus we have shown the following refinement of Theorem 2.2 for a double complex: Theorem 2.8. Let K = p,q 0 Kp,q be a double complex with differentials δ : K p,q K p+1,q and d : K p,q K p,q+1. Then there exists a spectral sequence (E r, d r ) converging to the total homology H ( K, D = δ + ( 1) p d ) with the following properties: Er p,q, d r : Er p,q E p+r,q r+1 r, E r = p,q 0 E p,q 1 = H p,q (K, d), E p,q (H,q ) 2 = H p (K, d), δ, GH n (K, D) = p+q=n E p,q. Problem 2.4. Let (A = p 0 Ap, δ) and (B = q 0 Bq, d) be two cochain complexes of R-modules. (a) Show that A B becomes a double complex with the differentials δ 1l and 1l d. (b) If R is a field, show that in the spectral sequence of this double complex all higher differentials d 2, d 3,... vanish and deduce the Eilenberg Zilber theorem that the total cohomology of the double complex equals H (A B, D = δ 1l + 1l d ) = H (A, δ) H (B, d).
46 46 CHAPTER 2. SPECTRAL SEQUENCES AND APPLICATIONS 2.3 Products For many applications one needs to understand the behaviour of spectral sequences with respect to products. Consider a double complex (K = p,q 0 Kp,q, δ, d) with a (not necessarily associative or commutative) product : K p.q K p,q K p+p,q+q for which δ and d = ( 1) p d are derivations, i.e., δ(a b) = δa b + ( 1) a a δb and the same for d, where a = p + q for a K p,q denotes the total degree. It follows that D = δ +d is also a derivation and the product descends to the cohomologies with respect to δ, d, and D. In particular, the product descends to E 1 = H(K, d) and, since d 2 = δ, to E 2 = H ( H(K, d), δ ). More generally, we have Theorem 2.9. If a double complex K = p,q 0 Kp,q carries a product with respect to which δ and d = ( 1) p d are derivations, then each E r in the associated spectral sequence inherits a product with respect to which d r is a derivation. Proof. Let us first show that d 2 is a derivation. Consider [a 0 ] E p 1,q 1 2 and [b 0 ] E p 2,q 2 2 represented by the zigzags 0 0 a 0 b 0 a 1, b 1. Then d a 0 = d b 0 = 0, δa 0 = d a 1 and δb 0 = d b 1 imply δ(a 0 b 0 ) = δa 0 b 0 +( 1) a0 a 0 δb 0 = ( ) d a 1 b 0 +( 1) a0 a 0 d b 1 = d (a 0 b 1 +
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 informationp,q H (X), H (Y ) ), where the index p has the same meaning as the
There are two Eilenberg-Moore spectral sequences that we shall consider, one for homology and the other for cohomology. In contrast with the situation for the Serre spectral sequence, for the Eilenberg-Moore
More informationOn Eilenberg-MacLanes Spaces (Term paper for Math 272a)
On Eilenberg-MacLanes Spaces (Term paper for Math 272a) Xi Yin Physics Department Harvard University Abstract This paper discusses basic properties of Eilenberg-MacLane spaces K(G, n), their cohomology
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 informationExercises for Algebraic Topology
Sheet 1, September 13, 2017 Definition. Let A be an abelian group and let M be a set. The A-linearization of M is the set A[M] = {f : M A f 1 (A \ {0}) is finite}. We view A[M] as an abelian group via
More informationApplications of the Serre Spectral Sequence
Applications of the Serre Spectral Seuence Floris van Doorn November, 25 Serre Spectral Seuence Definition A Spectral Seuence is a seuence (E r p,, d r ) consisting of An R-module E r p, for p, and r Differentials
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 information1. Classifying Spaces. Classifying Spaces
Classifying Spaces 1. Classifying Spaces. To make our lives much easier, all topological spaces from now on will be homeomorphic to CW complexes. Fact: All smooth manifolds are homeomorphic to CW complexes.
More informationMath 6510 Homework 10
2.2 Problems 9 Problem. Compute the homology group of the following 2-complexes X: a) The quotient of S 2 obtained by identifying north and south poles to a point b) S 1 (S 1 S 1 ) c) The space obtained
More informationAlgebraic Topology exam
Instituto Superior Técnico Departamento de Matemática Algebraic Topology exam June 12th 2017 1. Let X be a square with the edges cyclically identified: X = [0, 1] 2 / with (a) Compute π 1 (X). (x, 0) (1,
More informationMath Homotopy Theory Hurewicz theorem
Math 527 - Homotopy Theory Hurewicz theorem Martin Frankland March 25, 2013 1 Background material Proposition 1.1. For all n 1, we have π n (S n ) = Z, generated by the class of the identity map id: S
More informationMath 550 / David Dumas / Fall Problems
Math 550 / David Dumas / Fall 2014 Problems Please note: This list was last updated on November 30, 2014. Problems marked with * are challenge problems. Some problems are adapted from the course texts;
More informationIntroduction to higher homotopy groups and obstruction theory
Introduction to higher homotopy groups and obstruction theory Michael Hutchings February 17, 2011 Abstract These are some notes to accompany the beginning of a secondsemester algebraic topology course.
More informationCW-complexes. Stephen A. Mitchell. November 1997
CW-complexes Stephen A. Mitchell November 1997 A CW-complex is first of all a Hausdorff space X equipped with a collection of characteristic maps φ n α : D n X. Here n ranges over the nonnegative integers,
More informationAn Introduction to Spectral Sequences
An Introduction to Spectral Sequences Matt Booth December 4, 2016 This is the second half of a joint talk with Tim Weelinck. Tim introduced the concept of spectral sequences, and did some informal computations,
More informationCohomology of the classifying spaces of gauge groups over 3-manifolds in low dimensions
Cohomology of the classifying spaces of gauge groups over 3-manifolds in low dimensions by Shizuo Kaji Department of Mathematics Kyoto University Kyoto 606-8502, JAPAN e-mail: kaji@math.kyoto-u.ac.jp Abstract
More informationMATH8808: ALGEBRAIC TOPOLOGY
MATH8808: ALGEBRAIC TOPOLOGY DAWEI CHEN Contents 1. Underlying Geometric Notions 2 1.1. Homotopy 2 1.2. Cell Complexes 3 1.3. Operations on Cell Complexes 3 1.4. Criteria for Homotopy Equivalence 4 1.5.
More informationHOMOTOPY THEORY OF THE SUSPENSIONS OF THE PROJECTIVE PLANE
HOMOTOPY THEORY OF THE SUSPENSIONS OF THE PROJECTIVE PLANE J. WU Abstract. The homotopy theory of the suspensions of the real projective plane is largely investigated. The homotopy groups are computed
More informationTopological Methods in Algebraic Geometry
Topological Methods in Algebraic Geometry Lectures by Burt Totaro Notes by Tony Feng Michaelmas 2013 Preface These are live-texed lecture notes for a course taught in Cambridge during Michaelmas 2013 by
More informationSECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS
SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS In this section we will prove the Künneth theorem which in principle allows us to calculate the (co)homology of product spaces as soon
More informationThe Ordinary RO(C 2 )-graded Cohomology of a Point
The Ordinary RO(C 2 )-graded Cohomology of a Point Tiago uerreiro May 27, 2015 Abstract This paper consists of an extended abstract of the Master Thesis of the author. Here, we outline the most important
More informationALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1
ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP HONG GYUN KIM Abstract. I studied the construction of an algebraically trivial, but topologically non-trivial map by Hopf map p : S 3 S 2 and a
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 informationMath 272b Notes; Spring 2005 Michael Hopkins
Math 272b Notes; Spring 2005 Michael Hopkins David Glasser February 9, 2005 1 Wed, 2/2/2005 11 Administrivia mjh@mathharvardedu Computing homotopy groups lets you classify all spaces Homotopy theory on
More informationSome K-theory examples
Some K-theory examples The purpose of these notes is to compute K-groups of various spaces and outline some useful methods for Ma448: K-theory and Solitons, given by Dr Sergey Cherkis in 2008-09. Throughout
More informationMath 752 Week s 1 1
Math 752 Week 13 1 Homotopy Groups Definition 1. For n 0 and X a topological space with x 0 X, define π n (X) = {f : (I n, I n ) (X, x 0 )}/ where is the usual homotopy of maps. Then we have the following
More informationRational Hopf G-spaces with two nontrivial homotopy group systems
F U N D A M E N T A MATHEMATICAE 146 (1995) Rational Hopf -spaces with two nontrivial homotopy group systems by Ryszard D o m a n (Poznań) Abstract. Let be a finite group. We prove that every rational
More informationMATH 215B HOMEWORK 5 SOLUTIONS
MATH 25B HOMEWORK 5 SOLUTIONS. ( marks) Show that the quotient map S S S 2 collapsing the subspace S S to a point is not nullhomotopic by showing that it induces an isomorphism on H 2. On the other hand,
More informationAn Outline of Homology Theory
An Outline of Homology Theory Stephen A. Mitchell June 1997, revised October 2001 Note: These notes contain few examples and even fewer proofs. They are intended only as an outline, to be supplemented
More informationAlgebraic Topology Final
Instituto Superior Técnico Departamento de Matemática Secção de Álgebra e Análise Algebraic Topology Final Solutions 1. Let M be a simply connected manifold with the property that any map f : M M has a
More informationTCC Homological Algebra: Assignment #3 (Solutions)
TCC Homological Algebra: Assignment #3 (Solutions) David Loeffler, d.a.loeffler@warwick.ac.uk 30th November 2016 This is the third of 4 problem sheets. Solutions should be submitted to me (via any appropriate
More information2.5 Excision implies Simplicial = Singular homology
2.5 Excision implies Simplicial = Singular homology 1300Y Geometry and Topology 2.5 Excision implies Simplicial = Singular homology Recall that simplicial homology was defined in terms of a -complex decomposition
More informationPart II. Algebraic Topology. Year
Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section II 18I The n-torus is the product of n circles: 5 T n = } S 1. {{.. S } 1. n times For all n 1 and 0
More informationAlgebraic Topology Homework 4 Solutions
Algebraic Topology Homework 4 Solutions Here are a few solutions to some of the trickier problems... Recall: Let X be a topological space, A X a subspace of X. Suppose f, g : X X are maps restricting to
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 informationHungry, Hungry Homology
September 27, 2017 Motiving Problem: Algebra Problem (Preliminary Version) Given two groups A, C, does there exist a group E so that A E and E /A = C? If such an group exists, we call E an extension of
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 information1 Whitehead s theorem.
1 Whitehead s theorem. Statement: If f : X Y is a map of CW complexes inducing isomorphisms on all homotopy groups, then f is a homotopy equivalence. Moreover, if f is the inclusion of a subcomplex X in
More informationEILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY
EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY CHRIS KOTTKE 1. The Eilenberg-Zilber Theorem 1.1. Tensor products of chain complexes. Let C and D be chain complexes. We define
More informationCup product and intersection
Cup product and intersection Michael Hutchings March 28, 2005 Abstract This is a handout for my algebraic topology course. The goal is to explain a geometric interpretation of the cup product. Namely,
More informationDISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS
DISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS AARON ABRAMS, DAVID GAY, AND VALERIE HOWER Abstract. We show that the discretized configuration space of k points in the n-simplex is homotopy equivalent
More information121B: ALGEBRAIC TOPOLOGY. Contents. 6. Poincaré Duality
121B: ALGEBRAIC TOPOLOGY Contents 6. Poincaré Duality 1 6.1. Manifolds 2 6.2. Orientation 3 6.3. Orientation sheaf 9 6.4. Cap product 11 6.5. Proof for good coverings 15 6.6. Direct limit 18 6.7. Proof
More informationHomework 4: Mayer-Vietoris Sequence and CW complexes
Homework 4: Mayer-Vietoris Sequence and CW complexes Due date: Friday, October 4th. 0. Goals and Prerequisites The goal of this homework assignment is to begin using the Mayer-Vietoris sequence and cellular
More informationManifolds and Poincaré duality
226 CHAPTER 11 Manifolds and Poincaré duality 1. Manifolds The homology H (M) of a manifold M often exhibits an interesting symmetry. Here are some examples. M = S 1 S 1 S 1 : M = S 2 S 3 : H 0 = Z, H
More informationHOMOTOPY THEORY ADAM KAYE
HOMOTOPY THEORY ADAM KAYE 1. CW Approximation The CW approximation theorem says that every space is weakly equivalent to a CW complex. Theorem 1.1 (CW Approximation). There exists a functor Γ from the
More informationDe Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)
II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the
More informationRational homotopy theory
Rational homotopy theory Alexander Berglund November 12, 2012 Abstract These are lecture notes for a course on rational homotopy theory given at the University of Copenhagen in the fall of 2012. Contents
More informationA GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander
A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic
More informationHodge Theory of Maps
Hodge Theory of Maps Migliorini and de Cataldo June 24, 2010 1 Migliorini 1 - Hodge Theory of Maps The existence of a Kähler form give strong topological constraints via Hodge theory. Can we get similar
More information30 Surfaces and nondegenerate symmetric bilinear forms
80 CHAPTER 3. COHOMOLOGY AND DUALITY This calculation is useful! Corollary 29.4. Let p, q > 0. Any map S p+q S p S q induces the zero map in H p+q ( ). Proof. Let f : S p+q S p S q be such a map. It induces
More informationThe Hurewicz Theorem
The Hurewicz Theorem April 5, 011 1 Introduction The fundamental group and homology groups both give extremely useful information, particularly about path-connected spaces. Both can be considered as functors,
More informationSMSTC Geometry & Topology 1 Assignment 1 Matt Booth
SMSTC Geometry & Topology 1 Assignment 1 Matt Booth Question 1 i) Let be the space with one point. Suppose X is contractible. Then by definition we have maps f : X and g : X such that gf id X and fg id.
More informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
More informationExercises 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 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 informationTHE MAYER-VIETORIS SPECTRAL SEQUENCE
THE MAYER-VIETORIS SPECTRAL SEQUENCE MENTOR STAFA Abstract. In these expository notes we discuss the construction, definition and usage of the Mayer-Vietoris spectral sequence. We make these notes available
More informationThe Real Grassmannian Gr(2, 4)
The Real Grassmannian Gr(2, 4) We discuss the topology of the real Grassmannian Gr(2, 4) of 2-planes in R 4 and its double cover Gr + (2, 4) by the Grassmannian of oriented 2-planes They are compact four-manifolds
More informationMath 530 Lecture Notes. Xi Chen
Math 530 Lecture Notes Xi Chen 632 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca 1991 Mathematics Subject Classification. Primary
More informationA UNIVERSAL PROPERTY FOR Sp(2) AT THE PRIME 3
Homology, Homotopy and Applications, vol. 11(1), 2009, pp.1 15 A UNIVERSAL PROPERTY FOR Sp(2) AT THE PRIME 3 JELENA GRBIĆ and STEPHEN THERIAULT (communicated by Donald M. Davis) Abstract We study a universal
More informationNON FORMAL COMPACT MANIFOLDS WITH SMALL BETTI NUMBERS
NON FORMAL COMPACT MANIFOLDS WITH SMALL BETTI NUMBERS MARISA FERNÁNDEZ Departamento de Matemáticas, Facultad de Ciencia y Tecnología, Universidad del País Vasco, Apartado 644, 48080 Bilbao, Spain E-mail:
More informationAlgebraic Topology II Notes Week 12
Algebraic Topology II Notes Week 12 1 Cohomology Theory (Continued) 1.1 More Applications of Poincaré Duality Proposition 1.1. Any homotopy equivalence CP 2n f CP 2n preserves orientation (n 1). In other
More informationalgebraic topology Lectures delivered by Michael Hopkins Notes by Eva Belmont and Akhil Mathew Spring 2011, Harvard {Last updated August 14, 2012}
algebraic topology Lectures delivered by Michael Hopkins Notes by Eva Belmont and Akhil Mathew Spring 2011, Harvard {Last updated August 14, 2012} Contents Lecture 1 January 24, 2010 1 Introduction 6 2
More informationLECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE
LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE JOHANNES EBERT 1.1. October 11th. 1. Recapitulation from differential topology Definition 1.1. Let M m, N n, be two smooth manifolds
More informationALGEBRAIC TOPOLOGY III MAT 9580 SPRING 2015 INTRODUCTION TO THE ADAMS SPECTRAL SEQUENCE
ALGEBRAIC TOPOLOGY III MAT 9580 SPRING 2015 INTRODUCTION TO THE ADAMS SPECTRAL SEQUENCE JOHN ROGNES Contents 1 The long exact sequence of a pair 2 11 E r -terms and d r -differentials 4 12 Adams indexing
More informationLecture 4: Stabilization
Lecture 4: Stabilization There are many stabilization processes in topology, and often matters simplify in a stable limit. As a first example, consider the sequence of inclusions (4.1) S 0 S 1 S 2 S 3
More informationLecture 19: Equivariant cohomology I
Lecture 19: Equivariant cohomology I Jonathan Evans 29th November 2011 Jonathan Evans () Lecture 19: Equivariant cohomology I 29th November 2011 1 / 13 Last lecture we introduced something called G-equivariant
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 informationON THE HOMOTOPY TYPE OF INFINITE STUNTED PROJECTIVE SPACES FREDERICK R. COHEN* AND RAN LEVI
ON THE HOMOTOPY TYPE OF INFINITE STUNTED PROJECTIVE SPACES FREDERICK R. COHEN* AND RAN LEVI 1. introduction Consider the space X n = RP /RP n 1 together with the boundary map in the Barratt-Puppe sequence
More informationSECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES
SECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES In this section we will give the important constructions of loop spaces and reduced suspensions associated to pointed spaces. For this purpose there
More informationarxiv:math/ v1 [math.at] 6 Oct 2004
arxiv:math/0410162v1 [math.at] 6 Oct 2004 EQUIVARIANT UNIVERSAL COEFFICIENT AND KÜNNETH SPECTRAL SEQUENCES L. GAUNCE LEWIS, JR. AND MICHAEL A. MANDELL Abstract. We construct hyper-homology spectral sequences
More informationWe have the following immediate corollary. 1
1. Thom Spaces and Transversality Definition 1.1. Let π : E B be a real k vector bundle with a Euclidean metric and let E 1 be the set of elements of norm 1. The Thom space T (E) of E is the quotient E/E
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 informationCompactifying string topology
Compactifying string topology Kate Poirier UC Berkeley Algebraic Topology: Applications and New Developments Stanford University, July 24, 2012 What is the algebraic topology of a manifold? What can we
More information7. Homotopy and the Fundamental Group
7. Homotopy and the Fundamental Group The group G will be called the fundamental group of the manifold V. J. Henri Poincaré, 895 The properties of a topological space that we have developed so far have
More informationCharacteristic Classes, Chern Classes and Applications to Intersection Theory
Characteristic Classes, Chern Classes and Applications to Intersection Theory HUANG, Yifeng Aug. 19, 2014 Contents 1 Introduction 2 2 Cohomology 2 2.1 Preliminaries................................... 2
More informationNonabelian Poincare Duality (Lecture 8)
Nonabelian Poincare Duality (Lecture 8) February 19, 2014 Let M be a compact oriented manifold of dimension n. Then Poincare duality asserts the existence of an isomorphism H (M; A) H n (M; A) for any
More informationNOTES ON DIFFERENTIAL FORMS. PART 5: DE RHAM COHOMOLOGY
NOTES ON DIFFERENTIAL FORMS. PART 5: DE RHAM COHOMOLOGY 1. Closed and exact forms Let X be a n-manifold (not necessarily oriented), and let α be a k-form on X. We say that α is closed if dα = 0 and say
More informationMONDAY - TALK 4 ALGEBRAIC STRUCTURE ON COHOMOLOGY
MONDAY - TALK 4 ALGEBRAIC STRUCTURE ON COHOMOLOGY Contents 1. Cohomology 1 2. The ring structure and cup product 2 2.1. Idea and example 2 3. Tensor product of Chain complexes 2 4. Kunneth formula and
More informationOn the homotopy invariance of string topology
On the homotopy invariance of string topology Ralph L. Cohen John Klein Dennis Sullivan August 25, 2005 Abstract Let M n be a closed, oriented, n-manifold, and LM its free loop space. In [3] a commutative
More informationCELLULAR HOMOLOGY AND THE CELLULAR BOUNDARY FORMULA. Contents 1. Introduction 1
CELLULAR HOMOLOGY AND THE CELLULAR BOUNDARY FORMULA PAOLO DEGIORGI Abstract. This paper will first go through some core concepts and results in homology, then introduce the concepts of CW complex, subcomplex
More informationQUALIFYING EXAM, Fall Algebraic Topology and Differential Geometry
QUALIFYING EXAM, Fall 2017 Algebraic Topology and Differential Geometry 1. Algebraic Topology Problem 1.1. State the Theorem which determines the homology groups Hq (S n \ S k ), where 1 k n 1. Let X S
More informationLECTURE 3: RELATIVE SINGULAR HOMOLOGY
LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following
More informationHomotopy and geometric perspectives on string topology
Homotopy and geometric perspectives on string topology Ralph L. Cohen Stanford University August 30, 2005 In these lecture notes I will try to summarize some recent advances in the new area of study known
More informationTopology Hmwk 6 All problems are from Allen Hatcher Algebraic Topology (online) ch 2
Topology Hmwk 6 All problems are from Allen Hatcher Algebraic Topology (online) ch 2 Andrew Ma August 25, 214 2.1.4 Proof. Please refer to the attached picture. We have the following chain complex δ 3
More informationDeligne s Mixed Hodge Structure for Projective Varieties with only Normal Crossing Singularities
Deligne s Mixed Hodge Structure for Projective Varieties with only Normal Crossing Singularities B.F Jones April 13, 2005 Abstract Following the survey article by Griffiths and Schmid, I ll talk about
More informationDivision Algebras and Parallelizable Spheres, Part II
Division Algebras and Parallelizable Spheres, Part II Seminartalk by Jerome Wettstein April 5, 2018 1 A quick Recap of Part I We are working on proving the following Theorem: Theorem 1.1. The following
More informationMath 754 Chapter III: Fiber bundles. Classifying spaces. Applications
Math 754 Chapter III: Fiber bundles. Classiying spaces. Applications Laurențiu Maxim Department o Mathematics University o Wisconsin maxim@math.wisc.edu April 18, 2018 Contents 1 Fiber bundles 2 2 Principle
More informationMATH 215B HOMEWORK 4 SOLUTIONS
MATH 215B HOMEWORK 4 SOLUTIONS 1. (8 marks) Compute the homology groups of the space X obtained from n by identifying all faces of the same dimension in the following way: [v 0,..., ˆv j,..., v n ] is
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 informationEilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )
II.3 : Eilenberg-Steenrod properties (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, 8.3 8.5 Definition. Let U be an open subset of R n for some n. The de Rham cohomology groups (U are the cohomology groups
More informationLECTURE 2: THE THICK SUBCATEGORY THEOREM
LECTURE 2: THE THICK SUBCATEGORY THEOREM 1. Introduction Suppose we wanted to prove that all p-local finite spectra of type n were evil. In general, this might be extremely hard to show. The thick subcategory
More informationAlgebraic Topology European Mathematical Society Zürich 2008 Tammo tom Dieck Georg-August-Universität
1 Algebraic Topology European Mathematical Society Zürich 2008 Tammo tom Dieck Georg-August-Universität Corrections for the first printing Page 7 +6: j is already assumed to be an inclusion. But the assertion
More informationWe can choose generators of this k-algebra: s i H 0 (X, L r i. H 0 (X, L mr )
MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 43 5.3. Linearisations. An abstract projective scheme X does not come with a pre-specified embedding in a projective space. However, an ample line bundle
More informationAn introduction to cobordism
An introduction to cobordism Martin Vito Cruz 30 April 2004 1 Introduction Cobordism theory is the study of manifolds modulo the cobordism relation: two manifolds are considered the same if their disjoint
More informationFREUDENTHAL SUSPENSION THEOREM
FREUDENTHAL SUSPENSION THEOREM TENGREN ZHANG Abstract. In this paper, I will prove the Freudenthal suspension theorem, and use that to explain what stable homotopy groups are. All the results stated in
More informationQualifying Exam Syllabus and Transcript
Qualifying Exam Syllabus and Transcript Qiaochu Yuan December 6, 2013 Committee: Martin Olsson (chair), David Nadler, Mariusz Wodzicki, Ori Ganor (outside member) Major Topic: Lie Algebras (Algebra) Basic
More informationStable homotopy and the Adams Spectral Sequence
F A C U L T Y O F S C I E N C E U N I V E R S I T Y O F C O P E N H A G E N Master Project in Mathematics Paolo Masulli Stable homotopy and the Adams Spectral Sequence Advisor: Jesper Grodal Handed-in:
More informationREPRESENTATION THEORY IN HOMOTOPY AND THE EHP SEQUENCES FOR (p 1)-CELL COMPLEXES
REPRESENTATION THEORY IN HOMOTOPY AND THE EHP SEQUENCES FOR (p 1)-CELL COMPLEXES J. WU Abstract. For spaces localized at 2, the classical EHP fibrations [1, 13] Ω 2 S 2n+1 P S n E ΩS n+1 H ΩS 2n+1 play
More information1.1 Definition of group cohomology
1 Group Cohomology This chapter gives the topological and algebraic definitions of group cohomology. We also define equivariant cohomology. Although we give the basic definitions, a beginner may have to
More informationPERVERSE SHEAVES ON A TRIANGULATED SPACE
PERVERSE SHEAVES ON A TRIANGULATED SPACE A. POLISHCHUK The goal of this note is to prove that the category of perverse sheaves constructible with respect to a triangulation is Koszul (i.e. equivalent to
More information