sequence - American Mathematical Society

1 downloads 0 Views 157KB Size Report
HOMOLOGY TORI WITH NONTRIVIAL SERRE SPECTRAL. SEQUENCE. JERROLD W. GROSSMAN. Abstract. An example is constructed of a fibration over the ...
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 64, Number 2, June 1977

SHORTERNOTES The purpose of this department is to publish very short papers of an unusually polished character, for which there is no other outlet.

elegant

and

HOMOLOGY TORI WITH NONTRIVIALSERRE SPECTRAL SEQUENCE JERROLD W. GROSSMAN Abstract. An example is constructed of a fibration over the torus which induces isomorphisms on all homology groups but which has a nontrivial Serre spectral sequence.

In [2] W. Dwyer showed that for abelian or finitely generated nilpotent groups it and finitely generated tt-modules M, if H0(tt, M) = 0, then

H¡(it, M) —0 for all i. From this it readily follows by induction that if p: E -» B is a fibration with connected fibre F such that Hj> is an isomorphism, if irxB is either abelian or finitely generated nilpotent, and if H+F is finitely generated over ttxB, then the Serre spectral sequence of p is trivial (H¡(B, HjF) = 0 iorj > 0), even though H^F need not be trivial. In another important case [1], every fibration over the circle which induces isomorphisms on all homology groups again has trivial Serre spectral sequence. One might therefore conjecture that a fibration inducing isomorphisms on all homology groups had a trivial Serre spectral sequence, at least if the base space were nice enough. In this note we exhibit a counterexample with base space the

torus T = K(Z x Z, 1). Let it = Z X Z, with generators a and t. Let M be the free abelian group on the symbols xtJ with /' and j nonnegative integers. Let tr act on M by °(x0j)

- Xy, o(Xij) = xtJ - x¡_XJ if / > 0; r(xi0)

= xi0, t(X¡j) = X¡J - xtJ_x

if j > 0. Direct calculations show that H2(ir, M) = Z and H¡(ir, M) = 0 for i ¥= 2. (This example is due to Dwyer.) Next fix « > 2. Form the fibration/?: X -» T with fibre K(M, n) using the trivial (or another) twisted /c-invariant. Examination of the Serre spectral sequence reveals that Hj> is an isomorphism for / < « + 2. Let A,(n+1)be the (« + l)-skeleton of X and obtain E from Ar("+1) by attaching an (« + 2)-cell to kill each (free) generator of Hn+xX(n+X).This is possible because the Hurewicz homomorphism in dimension « + 1 is surjective, as one can show Received by the editors June 10, 1976.

AMS (MOS) subjectclassifications (1970).Primary55F20,55H10;Secondary18H10. Key words and phrases. Homology isomorphism, Serre spectral sequence. O American Mathematical Society 1977

372 License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use

HOMOLOGY TORI

by analyzing

the homotopy

fibre of p|Ar(n+,).

373

Since ir„+xT = 0, p|A(n+1)

extends to a map /: E -» T. Make / into a fibration; the fibre F is (n - 1)connected

and /7„F m -nnF s 77n£ « mnx ss M. In particular,

H2(T, HnF)

= Z. On the other hand H^f is an isomorphism.

References 1. E. Dror, Homology circles and knot complements,Topology 14 (1975), 279-289. MR 52 #15443. 2. W.G. Dwyer, Vanishing homology over nilpotent groups, Proc. Amer. Math. Soc. 49 (1975),

8-12. MR 51 # 10442. Department of Mathematics, Oakland University, Rochester, Michigan 48063

License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use