Canad. Math. Bull. Vol. 33 (2), 1990
THE SPLITTING OF THE HOCHSCHILD-SERRE SPECTRAL SEQUENCE FOR A PRODUCT OF GROUPS
BY
UWE JANNSEN
ABSTRACT. We show that the Hochschild-Serre spectral sequence for a product G x H of abstract or profinite groups splits for G-modules, and that this splitting is not functorial.
In an unpublished preprint [2] from 1977, Milgram uses a certain "Kiinneth for- mula" for a product of profinite groups. This formula is quite useful, but there seems to be no proof in the literature. Since it is not clear how to deduce it from the usual Kiinneth relations, and since the mere statement contains the danger of a misinterpre- tation, it is the aim of this note to outline a proof and to give an example against a possible misuse.
THEOREM. Let G and H be profinite groups, and let B be a discrete H-module, regarded as a (G x H)-module via trivial action of G.
(a) The Hochschild-Serre spectral sequence
E™ = Hp(G,Hq(H,B)) => Hp+q(G x / / , £ ) degenerates, and splits in the sense that there is a decomposition
Hn(GxH,B)^ 0 Hp(G,Hq{H,B)).
p+q=n
(b) The last decomposition is non-canonical, in particular it cannot be made func- torial in B. However, for a fixed B it can be made functorial in G.
PROOF, (a) There is a Z-flat, G-acyclic resolution of Z, for example the complex D (Gj Z) of not necessarily covariant continuous cochains with values in Z, for which D (G, Z)G = C (G, Z), the usual complex of continuous cochains ([3JI2.2). If / is any //-acyclic resolution of B, then D (G, Z) ® / ' is a (G x //)-acyclic resolution of Z <g) B = B. On the other hand, let r^m be the canonical filtration of K = IH
Received by the editors September 20, 1988.
Research supported by DFG and MSRI, Berkeley.
AMS (1980) Classification: Primary 20J05, Secondary 18G15, 20E18.
© Canadian Mathematical Society 1988.
181
182 U. JANNSEN [June
T K' ... • Km~] > Kerd
in
f r
K' ... y Km~l • Km • Km+i • ... .
Then by the flatness of D (G, Z) the complex D (G, Z)®^" with the induced filtration is a filtered G-acyclic resolution of (K',r^m). We deduce that the cohomology of
(D(G, Z) ® / )G x / / - (D"(G, Z) ® /T)G - C (G, Z) ® A"
is the (G x //)-cohomology of Z?, and that the Hochschild-Serre spectral sequence is associated to the filtration induced on it by r^m (cf. [1]1.4). Hence it suffices to prove that the maps
Hn(Ç\G, Z) ® r^m K) -> Hn(C(G, Z) ® r^m+1 /T )
have left inverses for all m and w. By the flatness of C ( G , Z) we may replace r^m+1 /T by any quasi-isomorphic complex, so we may assume that T^m+[ K has Z-free com- ponents. But then Km/Kerd^lm d Ç Km+[ is a projective Z-module, so Kerd <^-> #w
and, consequently, r^m K —* r^m+\ K has a left inverse, which gives the desired result, (b) Since the spectral sequence is functorial, and the splitting above only depends on C (//,#), the functoriality in G is clear. For the functoriality in B look at the following counter-example. Let G and H be cyclic groups of order p, p a prime number. If B = Z/p3 with a generator of H acting as multiplication by 1 +/?2, we have an exact sequence of (G x //)-modules
0->Z/p^B->Z/p2->0
with trivial action on kernel and cokernel. From the long exact sequence
... — • H\G X //, Z/p2) • H2(GXH,Z/p) - % / /2( G X / / , B ) • ...
dip)2 (Up)3
we conclude that the map a* induced by a cannot be zero, although it is zero on all E%« forp + q = 2. Namely, B is cohomologically trivial for / / , so HX(G,HX(H ,B)) = 0 = H°(G,H2(H,B)X and it is easy to see that the map
//2(G, Z/p) = H\G,H\H, Z/p)) ^ H\G,H\H,B)) = //2(G, Z/p2) is zero.
REMARK. The same proof shows the following. If R is a Dedekind ring, B is a discrete /?[//]-module, and A is a discrete /?[G]-module, which is flat as an /^-module, then there is a (non-canonical) decomposition
Hn(GxH,A®R B)*È 0 Hp(G,A)®RHq(H,B)).
p+q=n
1990] THE HOCHSCHILD-SERRE SPECTRAL SEQUENCE 183 Also, everything remains true for discrete groups.
ACKNOWLEDGEMENT. I thank C. Riehm for calling my attention to this problem, and the McMaster University for its hospitality during my stay.
REFERENCES
1. P. Deligne, Théorie de Hodge //, Publ. Math. I.H.E.S. 40 (1971), 5-58.
2. R. J. Milgram, The Determination of the Schur Subgroup, preprint 1977.
3. J. P. Serre, Cohomologie Galoisienne, Springer Lecture Notes in Math. 5 (1973).
Fakultàt fiir Mathematik Universitât Regensburg Universitàtsstrafie 31 D-8400 Regensburg