VOL. 43, 1957 MATHEMATICS: HUREWICZ AND FADELL 241 l K. Kodaira and D. C. Spencer, "On the Variation of Almost-complex Structures," in Algebraic Geometry and Topology (Princeton, N.J., 1957). 2 A. Frblicher and A. Nijenhuis, "Some New Cohomology Invariants for Complex Manifolds. I, II." Indagationes math., 18, No. 5, 1956 (here referred to as Paper C. I.). 3A Frblicher and A. Nijenhuis, "Theory of Vector-valued Differential Forms. I," ibid. No. 3, pp. 338-359, 1956. 4 K. Kodaira, "On a Differential Geometric Method in Theory of Analytic Stacks," these PROCEEDINGS, 39, 1268-1273, 1953. ON THE SPECTRAL SEQUENCE OF A FIBER SPACE. II BY WITOLD HUREWICZ AND EDWARD FADELL* MASSACHUSETTS INSTITUTE OF TECHNOLOGY AND UNIVERSITY OF WISCONSIN Communicated by Richard Brauer, December 18, 1956 1. INTRODUCTION The objective of this paper is to outline a proof of the following result, first con- jectured by Hurewicz, which generalizes a well-known theorem of Leray-Serrel and also extends a previous result of the authors.2 The details will appear else- where. THEOREM. If (X, B, p) is a fiber space in the sense of Hurewicz3 with fiber F, and if B is r - 1-connected, r > 1, then, in the associated spectral sequence {Ej, dj based on singular chains with coefficient group G, we have the following: 1. Ei IAH(B,H(F,G)), 2 < <r; di = 0 2 < i< r-1. 2. Identifying H(B, H(F, G)) with Er2 the differential operator dr: H(B, H(F, G)) - H(B, H(F, G)) is given by the cap product dr(h) = y n h, h E H(B, H(F, G)), where y is the characteristic cohomology class of B and H(F, G) and 7rr(B) are suitably paired. It should be remarked that the authors first proved, independently, that under the hypotheses of the above theorem dr depends only on the pairing of H(F, G) and 7r,(B)-i.e., the "action" of a higher homotopy group on the homology of F. The simple description of dr in terms of cap products was suggested by Norman Steen- rod. 2. PRELIMINARIES 2.1. Fiber Spaces.-We employ the concept of fiber space as given by Hure- wicz., 2.2 The Spectral Sequence Based on Singular Prisms.-Let X denote a topologi- cal space and An = vo, ... , vn|I a fixed n-simplex, for n = 0, 1, ... A (p, q) singular prism a is a map a: AP X A" -- X. The free Abelian group generated by all such singular prisms will be denoted by C(X). If G is an arbitrary coefficient group, we set C(X, G) = C(X) 0 G. Introducing the usual boundary operator a in C(X, G), we obtain a chain complex. Furthermore, we adopt the usual convention that when the symbol G is omitted, integral coefficients are assumed. Downloaded by guest on September 28, 2021 242 MATHEMATICS: HUREWICZ AND FADELL PROc. N. A. S. Now let (X, B, p) denote a fiber space, and let C(X) denote the singular chains of X based on prisms.5 Let A (X) denote the subcomplex of C"(X) generated by (m, n) prisms a such that pa: Al X Al -/ B depends only upon the second co-ordinate, i.e., pa(x, y) = pa(x', y). A(X) is seen to be chain equivalent to C(X). We filter A (X) as follows. AP(X) = AP is generated by (m, n) singular prisms in A (X) such that n < p. The spectral sequence {Ej, do} associated with (X, B, p) can then be defined as follows. Ej, ',q 2 1, is the image of the homomorphism i*: Hp+,(A P. A P-i) --o Hp+,(A P+J-1, A P-%l where i* is induced by the injection AP C AP+3-l. Then E"=P EjPq and E, q = E Ej". The differential operator di: EJP"qao Ej-PJ q+j-l is given by restrict- p ing a: Hp+,(AP+J-1, AP-') -* Hp+q1(A -1, A"P-J-) to Ej, 2. In what follows, we may use the notation Ej(X) for Ej to avoid confusion when more than one fiber space is involved. Also, if we use a coefficient group other than Z (= integers), we may write Ej(X, G). Let F = p-'(b), b e B, denote a fiber of X. Then C(B), C(F) will denote the singular chains of B and F, respectively, based on simplexes. If B is r-connected, r > 0 then we may assume that C(B) is generated by singular simplexes whose r- skeleton lies at b, and A(X) is generated by singular prisms whose r-skeleton lies in F. We will throughout assume that B is 0-connected and hence that singular elements employed have vertices at b or in F, respectively. If s is a singular (m, n) prism in AP, we associate with s two singular simplexes Fs and Bs as follows. Fs: A"m'- F is given by Fs(x) = f(x, vo), x e Am, where vo is the leading vertex of An. Bs: An -- B is given by Bs(y) = ps(x, y), y e An, and x arbitrary in F if n = p; otherwise, Bs = 0. Set 0(s) = Fs 0 Bs. Thus we obtain a chain map 0: AP/AP-1 C(F) 0 Cp(B), where the boundary operator in C(F) 0 Cp(B) is given by b(c 0 c') = bc 0 c'. 0, of course, depends upon p. 2.3. A Generalized Kunneth Theorem. Let (X, B, p) denote a fiber space and Y a topological space. Furthermore, let t: X X Y -- X denote the natural projec- tion. Then (X X Y, B, pt) is a fiber space. THEOREM. The spectral sequences {Ej(X, H(Y, G)), d,} and {Ej(X X Y, G), do} are isomorphic, i.e., there exist isomorphisms a,: Ej(X, H(Y, G)) -> Ej(X X Y, G) such that djaj = ajdj. In the sequel we will identify the above spectral sequences by reason of this theorem. 2.4. Cap Products.-Suppose that Gi, G2 are coefficient groups paired to G. If X is a space and c: Cq(X) -> G, is a q-cochain and u 092 e Cp+q(X, G2) is a singular p + q simplex with 92 as coefficient, we set c n (u 0 g2) = u P 0 c( u)g2 e Cp(X, G), where uP is the p-face of u determined by the last p + 1 vertices vq, ... , vp+, of AP+Q and Mu is the q-face of u determined by the first q vertices vo, . vq. This Downloaded by guest on September 28, 2021 VOL. 43, 1957 MA THEMA TICS: HUREWICZ AND FADELL 243 pairing of C0(X, G,) and C0+q(X, G2) to C,(X, G) induces a pairing of HI(X, GI) and Hp+q(X, G2) to H,(X, G) called the cap product. As usual, h" n hp+q denotes the element of H,(X, G) to which h" and hp+q are paired. This pairing differs by a fac- tor of (-1) P+Q from that given by Eilenberg.6 2.5. Pairing 7r,(B) and H(F, G) to H(F, G). Let (X, B, p) denote a fiber space with fiber F = p-'(b). If X is a lifting function4 for (X, B, p), X induces a map A: B X F - X, where B is the space of paths in B emanating from b. For w e B, f e F, set X(W, f) = (f, w)(1). Then, if A is the loop space of B at b, X: A X F -- F. Hence, employing the Ktinneth theorem, X induces X*: Hr-(A) 0 Hn(F) -> Hn+r-T(F). Thus H,-l(A) and H(F) are paired to H(F). Now we identify 7rr(B) with rr-l(A), and thus the pairing of Tr7(B) and Hn(F) to Hn+r-T(F) is obtained by using the Hure- wicz homomorphism 7r-l (A) -- Hr- (A). 3. THE BASIC MAPS 3.1. The Map Up. Let B-denote a 0-connected space, and fix b e B. Further- more, let B denote the space of paths in B emanating from b. Then, if t: B -> B is given by t(w) = w(l), (B, B, t) is a fiber space, with fiber A = p-'(b) the space of loops. Let C(B) denote the singular chains of B based on prisms and 0(B) the singular chains of B based on simplexes. Then, using the notation of section 2.2, set 4 = A (B), 4P = A P(B) . 4 is then filtered, and we have an associated spectral sequence { Ej(B), dj}. Our objective in this section is a dimension-preserving homomorphism (not, in general, a chain map) so: 0(B) -i 4. Therefore, let s: An- B denote a singular n-simplex. Then define s: Al X Al B by s(x, y) = (OX)s(x) (x y) E An X An, where vo is the leading vertex of An, and tox, Xy are line segments with indicated end points. For 0 < q < n, let ,An and A"n, n- denote q and n - q faces of An determined, respectively, by the first q vertices of An and the last n - q vertices of An. Let f3qn: Al X An-q - an X Ann'- denote the natural barycentric map.