18.786 PROBLEM SET 5 Due March 17th, 2016 (1) Given an example of an acyclic1 complex that is not homotopy equivalent to the zero complex. (2) Let π “ π ‚ and π “ π ‚ be complexes of abelian groups. We define their tensor product as the complex π b π “ pπ b π q‚ where: pπ b π qπ “ ‘π`π“π π π b π π with differential: πpπ₯ b π¦q :“ ππ₯ b π¦ ` p´1qπ π₯ b ππ¦ for π₯ P π π , π¦ P π π , π ` π “ π. (a) Show that this actually defines a complex, i.e., that the above formula really does a map, and that the resulting differentials square to zero. (b) Briefly, why do we need to incorporate the sign above? Use the sign in the tensor product to explain why we should have a sign in the shift operator, i.e., why we change the sign of the differential when defining πr1s. (c) Show that π b π is canonically isomorphic (as a complex) to π b π. (d) Suppose that π₯ P π π and π¦ P π π with ππ₯ “ 0, ππ¦ “ 0. Show that πpπ₯ b π¦q “ 0. Deduce that there is a canonical map: ‘π`π“π π» π pπq b π» π pπ q Ñ π» π pπ b π q. Show that this map is an isomorphism if π is a chain complex of Q-vector spaces, but provide an example to show that this map is not an isomorphism in general. (e) Give an example of a pair of complexes π and π with π acyclic such that π b π is not acyclic. (3) Let π and π be as above. (a) Show that there exists a complex Hom‚ pπ, π q “ Hompπ, π q characterized by the data of isomorphisms:2 Hompπ, Hompπ, π qq “ Hompπ b π, π q defined for every chain complex π, with these isomorphisms being functorial in π. Updated: March 26, 2016. 1Recall that this means that the cohomology of the complex is zero in each degree. 2Note that Hom with an underline refers to a certain chain complex, whereas Hom with no underline is the set of morphisms of chain complexes. 1 (b) Show that a map of chain complexes π Ñ π is the same as an element π P Hom0 pπ, π q with ππ “ 0. (c) For π as above, show that a nullhomotopy of the map π ‚ Ñ π ‚ is the same as an element β P Hom´1 pπ, π q with πβ “ π . (d) Deduce that π» 0 pHom‚ pπ, π qq is the set of homotopy classes of maps from π ‚ to π ‚ . (e) Provide a similar interpretation of π» π pHom‚ pπ, π qq for all π P Z. (f) Suppose that β1 and β2 are each nullhomotopies of some map π : π Ñ π . Define a notion of homotopy between β1 and β2 . (g) Now let π΄ be an associative algebra and suppose that π and π are complexes of π΄-modules. Define complexes of abelian groups π bπ΄ π and Homπ΄ pπ, π q, and show that these are actually complexes of π΄-modules if π΄ is commutative. For π, π and π complexes of π΄-modules, construct a canonical map: Hompπ, π q b Hompπ, πq Ñ Hompπ, πq of complexes, and explain how it encodes the composition of morphisms of complexes. (4) Let π : π Ñ π be a given morphism of complexes. Recall that in this case, the cone (aka homotopy cokernel ) hCokerpπ q is the complex characterized by the fact that giving a map hCokerpπ q Ñ π of chain complexes is the same as giving a map π Ñ π plus a nullhomotopy of the resulting map π Ñ π. Similarly, recall that hKerpπ q is the complex characterized by the fact that giving a map π Ñ hKerpπ q is the same as giving a map π Ñ π plus a nullhomotopy of the resulting map π Ñ π . (a) Give explicit formulae for these two complexes. Deduce that hCokerpπ q “ hKerpπ qr1s. 0 (b) Show that hCokerpπ Ñ Ý 0q “ πr1s. (c) Show that there is an exact sequence: π» 0 pπq Ñ π» 0 pπ q Ñ π» 0 phCokerpπ qq. (d) Let π denote the map π Ñ hCokerpπ q. Show that the canonical map π Ñ hKerpπq is a homotopy equivalence. Remark on how different this is from the situation with abelian groups (as opposed to complexes of abelian groups). (e) Use the above to deduce that there is a long exact sequence: . . . Ñ π» ´1 phCokerpπ qq Ñ π» 0 pπq Ñ π» 0 pπ q Ñ π» 0 phCokerpπ qq Ñ π» 1 pπq Ñ . . . (f) Suppose that π and π are complexes concentrated in degree 0, i.e., π π “ π π “ 0 for π ‰ 0. What is the long exact sequence saying in this case? (g) Suppose that we have a commutative square: 2 π1 π1 / π1 π1 π2 π2 / π2 π2 of chain complexes. Use universal properties to show ` that there is a canonicalΛ isomorphism` of chain complexes between Λ hCoker hCokerpπ1 q Ñ hCokerpπ2 q and hCoker hCokerpπ1 q Ñ hCokerpπ2 q . (h) Suppose that π : π Ñ π is a morphism of chain complexes that is injective in each degree, i.e., each of the given maps π π : π π Ñ π π is injective. Show that the canonical map: hCokerpπ q Ñ π {π 3 is a quasi-isomorphism. Here the right hand side is the complex that is π π {π π is degree π, with differentials induced by the differentials of π . Give an example to show that this map need not be a homotopy equivalence. (i) Use (4g) to prove the snake lemma. (5) Show that π : π Ñ π is a quasi-isomorphism (resp. a homotopy equivalence) if and only if hCokerpπ q is acyclic (resp. idhCokerpπ q is nullhomotopic). (6) Suppose that π : π Ñ π is given, and we have a map π : π Ñ π with two nullhomotopies β1 and β2 of the induced map π Λ π : π Ñ π. We obtain two maps π1 , π2 : hCokerpπ q Ñ π corresponding to β1 and β2 respectively. (a) Give an example to show that π1 and π2 may not be homotopic. (b) Show that a homotopy between β1 and β2 in the sense of (3f) induces a homotopy between π1 and π2 . (7) Let πΊ “ Z{πZ with generator π. For π a πΊ-module, define the Tate complex π π‘πΊ as the chain complex:4 Επ´1 π“0 ππ Επ´1 1´π ππ 1´π . . . ÝÝÝÝÝÑ π ÝÝÑ π ÝÝπ“0 ÝÝÝÑ π ÝÝÑ . . . Recall that Tate cohomology is defined as the cohomology of π π‘πΊ . Given a short exact sequence: 0Ñπ ÑπΈÑπ Ñ0 of πΊ-modules, show that there is a canonical quasi-isomorphism: hCokerpπ π‘πΊ Ñ πΈ π‘πΊ q » π π‘πΊ . Deduce the long exact sequence on Tate cohomology from here. 3Recall that a map of complexes π : π΄ Ñ π΅ is a quasi-isomorphism if π» π pπq : π» π pπ΄q Ñ π» π pπ΅q is an isomorphism for all π. 4We should normalize the parity so that the differential from the 0th term to the 1st is 1 ´ π (rather than Επ´1 π π“0 π ). 3 (8) Go for a long walk (this weather is so wonderful!), and try to reconstruct as many of these problems as you can. E.g., recall the basic facts about cones, and reduce the construction of long exact sequences to statements you know you could readily check if only you’d brought pen and paper. 4