Homological algebra, Homework 7 ♥ Sheaves π σ 1. Direct image of sheaves. Let X −→ Y −→ Z be maps of topological spaces. (a) Let X be a topological space and a : X → pt. Show that the functor of global sections Γ(X, −) that takes a sheaf F to Γ(X, F) def= F(X) can be identified with the direct image functor a∗. π σ (b) Let X −→ Y −→ Z be maps of topological spaces. Show that for a sheaf M on X, ∼ σ∗(π∗(M)) = (σ◦π)∗M. Ext functors 2. Show that for any ring A and any A-modules M, N, o (1) the functor HomA(−, M): m(A) →Ab is ? exact. (2) the functor HomA(N, −): m(A) →Ab is ?? exact. 0.0.1. Remark. Their derived functors are called Ext-functors : ′ i def i ′′ i def i Extk(N, M) = L Hom(−, M) (N) and Extk(N, M) = R Hom(N, −) (M). We will prove in class that ′Ext =′′ Ext. Group cohomology III 3. Extensions of groups. Let (G, ·) be a group and let abelian group (A, +) be a module for G and let f ∈ Z2(G, A) be a two cocycle. Show that (1) G ∋ g7→f(1,g) ∈ A is constant, call this constant α. (2) On the set E = A×G define operation ∗ by (a, g) ∗ (b, h) def= (a +g b + f(g, h), gh). def −1 Show that E is a group with the unit e = (α , 1G). (3) Show that there is a canonical group extension. i q 0 → A −→E −→G → 0 with a canonical section σ. 1 2 0.0.2. Remarks. This is really the inverse of the map Equivalence classes of extension of G by A −→ H2(G, A), that has been constructed in the preceding homework. So, the meaning of H2(G, A). is that it is the set of isomorphism classes of extensions of G by a G-module A. 4. Group cohomology as an Ext-functor. Let G be a group and k = Z[G] the group algebra. Show that for any G-module M i ∼ i Z (1) H (G, M) = ExtZ[G]( , M). i (2) Functors H (G, −) are the right derived functors of HomZ[G](Z, −) which is iso- morphic to the functor of G-invariants. 0.0.3. Remarks. (0) [Hint.] For the first claim recall that i Z ′ i Z i − Z ExtZ[G]( , M)= ExtZ[G]( , M)= L HomZ[G]( , M) ( ) so it can be calculated using any free resolution of the trivial G-module Z. For the second claim recall that ′Exti = ′′Exti. (1) Similarly, the group homology can be defined by def i Z Hi(G, M) = TorZ[G]( , M), meaning, the left derived functor of of the functor of G-coinvariants ∼ M M7→ Z⊗Z M . [G] = − Pg∈G (g 1)M 5. Group cohomology for cyclic groups. Let G be a finite cyclic group and choose ∈ Z some generator γ. Let N = Pg∈G g [G]. (1) Show that the following is a free resolution of the trivial Z[G]-module Z γ−1 N γ−1 N γ−1 ε ··· −−→ Z[G] −→ Z[G] −−→ Z[G] −→ Z[G] −−→ Z[G] −→Z −→0 → 0 →··· (2) Show that for any G-module A (a) H0(G, A)= AG. N 2i−1 ∼ Ker(A−→A) (b) H (G, A) = (γ−1)A . G 2i A (c) H (G, A)= N·A for i> 0. (3) Calculate H•(G, Z)..