If $F \rightarrow E \rightarrow B$ is a Serre fibration, and I know the complex $K$-theory of two of these spaces, what can I learn about the $K$-theory of the third? I wish there was a spectral sequence
$$
K^i(B,K^j(F)) \implies K^{i+j}(E)
$$
but it doesn't look like it. What can I do instead?



Can I compute K theory in Serre fibrations?
Here are a couple possible answers:


(1). You could follow Dylan's suggestion about the Atiyah-Hirzebruch spectral sequence for 


$$H^{\ast}(B, K\_{\ast}) \implies K^{\ast}(B)$$ 


and use the fact that you know the K-theory of $B$ to conclude something about the differentials in this spectral sequence. Then plug this information in to the Atiyah-Hirzebruch-Serre spectral sequence for the fibration.


(2). You can't (easily) use the Eilenberg-Moore spectral sequence


$$Tor\_{K^{\ast} (B)} (K^{\ast} (E), K\_{\ast}) \implies K^{\ast}(F),$$


since it won't generally converge (because K-theory is not connective). To my understanding, [this](http://arxiv.org/abs/0803.3798) paper by Tilman Bauer is the state of the art on these sorts of convergence questions.


(3). This is pretty distant from your desired answer, but it's too tempting not to share. In the case that $F =G$ is a group and $E \to B$ is a principal $G$-bundle, there is a bar spectral sequence


$$Tor\_{K\_{\ast}(G)} (K\_{\ast} (E), K\_{\ast}) \implies K\_{\ast}(B),$$


at least in the case that $K\_{\ast}(G)$ is flat over $K\_{\ast}$, since $B$ is the Borel construction for the action of $G$ on $E$ (When the flatness assumption doesn't hold, you can either make do with a simplicial construction that's trying to be the bar complex; i.e., $K\_{\ast}(G^{\times n} \times E)$, or reduce mod $p$ and do it one prime at a time). This of course requires that you know $K\_{\ast}(G)$, and how it acts on $K\_{\ast}(E)$, but can be fantastically successful when you do (see, e.g., Ravenel-Wilson's [paper](http://www.jstor.org/discover/10.2307/2374093?uid=3737536&uid=2129&uid=2&uid=70&uid=4&sid=21101451910923) on the Morava K-theories of Eilenberg-MacLane spaces).


