The Eilenberg-Moore spectral sequence in K-theory (Q1296313)

The authors establish the following theorem, generalizing the classical Eilenberg-Moore spectral sequence: If \(E^*(\;)\) is a generalized multiplicative cohomology theory for which \(E^*(pt)\) is a graded field, \(B\) is a connected space and \[ \begin{tikzcd} X \times_B X \ar[r]\ar[d] & X \ar[d, "P"]\\ Y \ar[r,"f" '] & B\end{tikzcd} \] is a pull back diagram, then there is a strongly convergent spectral sequence which is multiplicative, compatible with the stable operations of \(E^*(\;)\) and whose \(E_2\) term is \(Tor_{E^*B}(E^*X, E^*Y)\). If \(p\) is a fibration and \(E^*(\Omega B)\) an exterior algebra on a finite number of odd degree generators, then the spectral sequence converges to \(E^*(X\times_B Y)\). The authors use this result to compute the \(K\)-theory of various \(p\)-compact homogeneous spaces and to give a new proof of their main theorem of [Comment. Math. Helv. 72, No. 4, 556-581 (1997; Zbl 0895.55001)].