INTRO TO AND SPECTRAL SEQUENCES MINICOURSE

RICHARD WONG

Abstract. These are exercises designed to accompany the Summer Minicourse “Intro to Homological Alge- bra and Spectral Sequences”. The first three days of this course covers the basics of homological algebra with an eye towards computations. Topics include diagram chasing, working with chain complexes, computing homology and cohomology, using the Kunneth and universal coefficient theorems, and computing Ext and Tor groups. The last two days cover spectral sequences, focusing in particular on the K¨unneth and Serre spectral sequences.

1. Monday Exercises Exercise 1.1. Prove the five lemma. In the diagram below, if the rows are exact, m and p are isomorphisms, l is an , and q a monomorphism, then n is an isomorphism. f g j A B C h D E

l m n p q f 0 g0 0 j0 A0 B0 C0 h D0 E0

f g Exercise 1.2. Prove the splitting lemma: For any short of R-modules 0 → A −→ B −→ C → 0, then the following are equivalent:

(1) There exists a map u : B → A such that u ◦ f = idA. (2) There exists a map v : C → B such that v ◦ g = idB. (3) B ' A ⊕ C. Exercise 1.3. Show that the splitting lemma does not hold in the . (Hint: Consider the i det SES of groups 0 → A3 −→ S3 −−→ Z/2 → 0) Exercise 1.4. Watch the 1980 film, “It’s My Turn”, an American romantic comedy-drama film starring Jill Clayburgh, Michael Douglas and Charles Grodin. Then prove the snake lemma. A B C 0

f g h 0 A0 B0 C0 In the diagram above, if the rows are exact, then there is an exact sequence ker(f) → ker(g) → ker(h) → coker(f) → coker(g) → coker(h) Exercise 1.5. Show that a short exact sequence 0 → A → B → C of chain complexes of R-modules givess rise to a long exact sequence of homology groups

· · · → Hk(A) → Hk(B) → Hk(C) → Hk−1(A) → Hk−1(B) → Hk−1(C) → Hk−2(A) → · · · Exercise 1.6. If A is a bounded chain complex of finitely generated abelian groups (that is, all but finitely many An are 0, and all the An are finitely generated), then we can define the Euler characteristic X n χ(A) = (−1) rank(An) Show that Euler characteristic can also be computed on the level of homology, that is X k χ(A) = (−1) rank(Hk(A)) 1 0 0 Exercise 1.7. Show that there exists a chain homotopy equivalence f : X → X where fn : Xn → Xn is not an isomorphism by considering the chain complexes ·2 ·2 ·2 · · · → Z/4 −→ Z/4 −→ Z/4 −→· · · · · · → 0 → 0 → 0 → 0 ··· Exercise 1.8. Show that quasi-isomorphism is not symmetric by considering the chain complexes of abelian groups ·2 · · · → 0 → Z −→ Z → 0 ··· · · · → 0 → 0 → Z/2 → 0 ··· This also gives an example of a quasi-isomorphism that is not a chain homotopy equivalence. Exercise 1.9. Let R = k[x, y]. Show that the chain complexes of R-modules 0 → R ⊕ R −→h R → 0 0 → R −→0 k → 0 have the same homology but are not quasi-isomorphic. The map h is defined by h(f(x, y), g(x, y)) = xf(x, y) + yg(x, y) Exercise 1.10. Show that the category of chain complexes of R-modules up to quasi-isomorphism (that is, you have the same objects of Ch(R), but you invert all the quasi-isomorphisms) is not abelian, but is instead triangulated. This category is called the derived category of R.

2. Tuesday Exercises

Exercise 2.1. We saw the Kunneth/Universal Coefficient theorems about how to compute H∗(X; M) given ∗ H∗(X), H∗(X ⊗ Y ) given H∗(X) ⊗R H∗(Y ), and H (X; M) given H∗(X). State and prove the analogous theorems Kunneth/Universal Coefficient theorems for cohomology. (com- ∗ ∗ ∗ ∗ ∗ ∗ puting H (X; M) given H (X), H (X ⊗ Y ) given H (X) ⊗R H (Y ), and H∗(X; M) given H (X)) Exercise 2.2. Prove the following properties of Tor. R ∼ R (1) Tor1 (⊕iMi,N) = ⊕iTor1 (Mi,N) R (2) Tor1 (M,N) = 0 if M (or N) is free. ·n (3) Tor(Z/n, A) = ker(A −→ A) for A an . (4) For each short exact sequence 0 → A → B → C → 0, we have a natural exact sequence R R R 0 → Tor1 (M,A) → Tor1 (M,B) → Tor1 (M,C) → M ⊗ A → M ⊗ B → M ⊗ C → 0 R ∼ R (5) Tor1 (M,N) = Tor1 (N,M). Exercise 2.3. Prove the following properties of Ext. R ∼ (1) Ext1 (⊕iMi,N) = ⊕iTor(Mi,N) R (2) Ext1 (M,N) = 0 if M is free (or in general, projective). (3) Ext(Z/n, A) = A/nA for A an abelian group. (4) For each short exact sequence of R-modules 0 → A → B → C → 0, we have a natural exact sequence R R R 0 → Hom(C,N) → Hom(B,N) → Hom(A, N) → Ext1 (C,N) → Ext1 (B,N) → Ext1 (A, N) → 0 (5) Similarly, for each short exact sequence of R-modules 0 → A → B → C → 0, we have a natural exact sequence R R R 0 → Hom(M,A) → Hom(M,B) → Hom(M,C) → Ext1 (M,A) → Ext1 (M,B) → Ext1 (M,C) → 0

Exercise 2.4. Suppose that X is a topological space such that Hk(X) is free and finitely generated for all k ∼ k. Prove that H (X) = Hk(X). (a) Compute Hk(CP ∞) for all n. (b) Compute Hk(Sn) for all k, n. 2 ∼ ∗ ∼ Exercise 2.5. Suppose that R is a field. Then show that H∗(X) ⊗R M = H∗(X; M), and H (X; M) = Hom(H∗(X),M). ∞ Exercise 2.6. Compute Hk(RP ; Z/2) for all k. ∞ Exercise 2.7. Compute Hk(RP ; Z/m) for all k and for any odd integer m ≥ 3. ∞ ∞ Exercise 2.8. Compute Hk(RP × RP ; Z) for all k. ∞ ∞ Exercise 2.9. Compute Hk(RP × RP ; Z/2) for all k. Exercise 2.10. Compute Hk(RP ∞; Z) for all k. Exercise 2.11. Compute Hk(RP ∞; Z/2) for all k. Exercise 2.12. Let G be an abelian group. Let M(G, n) be a Moore space, that is to say it satisfies  G k = n H (M(G, n)) = fk 0 else (a) Construct a CW complex M(Z/m, n) having 3 cells. (b) Consider the map f : M(Z/m, n) → Sn+1 that collapses the n-skeleton. Use this map to show that the splitting in the Universal Coefficient Theorem is not natural. (c) Consider the map f × id : M(Z/m, n) × M(Z/m, n) → Sn+1 × M(Z/m, n). Use this map to show that the splitting in the K¨unnethTheorem is not natural.

3. Wednesday Exercises 1 Exercise 3.1. Where does the term Ext come from? Show that ExtR(M,N) is isomorphic to the group of extensions up to equivalence of M by N, with addition given by the Baer sum: Definition 3.2. If M and N are R-modules, then we say an extension of M by N is a SES of R-modules: 0 → N → E → M → 0 Definition 3.3. Two extensions 0 → N → E → M → 0 and 0 → N → E0 → M → 0 are equivalent if there is a , middle is isomorphism Proposition 3.4. The set of equivalence classes of extensions has a group structure coming from Baer sum. Given two extensions 0 → N → E → M → 0 and 0 → N → E0 → M → 0, form the SES 0 → N ⊕ N → E ⊕ E0 → M ⊕ M → 0. Pull back along the diagonal map M → M ⊕ M, and then push out along the sum map A ⊕ A → A to obtain the Baer sum 0 → N → E00 → M → 0 n Exercise 3.5. Generalize the previous exercise to show that ExtR(M,N) is isomorphic to the group of extensions of M by N of length n up to equivalence. Definition 3.6. If M and N are R-modules, then we say an extension of M by N of length n is an exact sequence of R-modules: 0 → N → En−1 → · · · E0 → M → 0 Exercise 3.7. Show that we have an associative and unital map called the Yoneda product: n m m+n ExtR(N,P ) ⊗ ExtR (M,N) → ExtR (M,P ) n by considering the isomorphism bewteen ExtR(M,N) and the group of extensions of M by N of length n up to equivalence.

Exercise 3.8. Let M be a ZG-. Show that H0(G; M) = M G, the G-fixed points of M. Also show that H0(G; M) = MG, the coinvariants of M. In other words, MG is the quotient of M by the submodule generated by elements of the form g · m − m.

Exercise 3.9. Show that if k is a field of characteristic p, and G is Z/p, then  [x , ··· , x ] |x | = 1, p = 2 H∗((G)n, k) = Fp 1 n i Λ[x1, . . . xn] ⊗ Fp[y1, ··· , yn] |xi| = 1, |yi| = 2, p 6= 2 3 4. Thursday Exercises Exercise 4.1. Formulate the K¨unnethspectral sequence, generalizing the K¨unneththeorem that we saw on Tuesday: Theorem 4.2 (K¨unneth). Let R be a principal ideal domain, Let C be a chain complex of flat (read:free) R-modules, and D be any chain complex. We would like to compute the homology groups Hk(C ⊗R D). For each k, there is a natural short exact sequence of abelian groups M M R 0 → Hi(C) ⊗R Hj(D) → Hk(C ⊗R D) → Tor1 (Hi(C),Hj(D)) → 0 i+j=k i+j=k−1 (Hint: it arises as a certain double complex). Exercise 4.3. Use the of a double complex to prove the five lemma. Exercise 4.4. Use the spectral sequence of a double complex to show that a short exact sequence of complexes induces a long exact sequence in cohomology Exercise 4.5. Use the spectral sequence of a double complex to show that given a map f : X → Y of complexes, then the cone of f, C(f), fits into a long exact sequence in homology. Exercise 4.6. Show that if D is a first quadrant double complex, and if either all rows or all columns are exact, then so is Tot(D). Exercise 4.7. Figure out how a cohomological spectral sequence of double cochain complexes should look like, and use it to prove the other forms of the Universal Coefficient Theorems seen in the Tuesday exercises.

5. Friday Exercises Exercise 5.1. Show that the cohomology of X with local coefficients in Z[π(X)] is isomorphic to the cohomology of the universal cover of X, X˜. That is, ∼ ˜ Hn(X; Z[π(X)]) = Hn(X) Exercise 5.2. Show that Hn(G; k) =∼ Hn(BG; k). Exercise 5.3. Let 1 → N → G → G/N → 1 be a SES of groups, and let M be a G-module (M is an abelian group with a G-action that distributes over addition). Show that we have the Lyndon-Hochschild-Serre spectral sequence, with 2 q q p+q Ep,q = H (G/N; H (N; M)) ⇒ H (G; M) Exercise 5.4. Show that a (Serre) fibration F → E → B induces a long exact sequence of homotopy groups

πn(F ) → πn(E) → πn(B) → πn−1(F ) → π0(E) Exercise 5.5. Prove(recover) the Hurewicz isomorphism using the path fibration. Exercise 5.6. Prove(recover) the Eilenberg-Zilber Theorem. Exercise 5.7. Play around with the fibration Sn → Dn → Sn+1. Exercise 5.8. Play around with the Hopf fibration S1 → S3 → S2. Exercise 5.9. Compute the homology and cohomology of the degree p map from Sn → Sn. (assuming we have replaced it with a Serre fibration). n+1 n+1 Exercise 5.10. Let V2(R ) be the space of orthogonal pairs of vectors in R . 2 n+1 n (1) Show we have a Serre fibration S → V2(R ) → S ∗ n+1 (2) Compute H (V2(R )).

Department of Mathematics, University of Texas at Austin, Austin, TX 78751 Current address: Department of Mathematics, University of Texas at Austin, Austin, TX 78751 E-mail address: [email protected]

4