3
$\begingroup$

I've been stuck in the following small detail which is part of the calculation of the $E^2$ term of the Serre Spectral Sequence.

Let $p: E\to B$ be a fibration where $B$ is a CW-complex. Denote by $E^p=p^{-1}(B^p)$ where $B^p$ is the p-skeleton of $B$. Let $\phi_{\alpha}: D^p \to B^p$ be the characteristic map of the p-cell $e^p_{\alpha}$. Let $p_{\alpha}: E_{\alpha}=\phi_{\alpha}^*(E) \to D^p$ be the pullback fibration and let $\partial E_{\alpha}=\partial \phi_{\alpha}^*(E) \to \partial D^p$ be the restriction. In his notes, Hatcher claims that by an excision argument we have an isomorphism \begin{eqnarray} \bigoplus_{\alpha} H_n(E_{\alpha},\partial E_{\alpha}) \to H_n(E^p,E^{p-1}). \end{eqnarray}

Can I have some help in seeing how the excision theorem is applied? It is probably an easy application but its not clear to me. Thanks!

  • 0
    I think I wrote this out in some detail here (look at Lecture 9, p. 3): http://sofia.nmsu.edu/~ramras/643.html2012-06-24
  • 0
    Thank you Dan! I have one more question, at the end of the calculation (page 5 of your notes) the simply connected hypothesis is used in the fact that there is a canonical isomorphism $H_n(\pi^{-1}(b_1)) \to H_n(\pi^{-1}(b_0))$. Why do we need these isomorphisms to be canonical? It looks like it is enough to have ANY isomorphism between the homology of the fibers to conclude that $E^1_{p,q}\cong \bigoplus_{\alpha}H_q(\pi^{-1}(b_{\alpha})) \cong \bigoplus_{\alpha}H_q(F)$ where $F$ is the fiber over a fixed pt. We know we always have such isomorphisms, but they may depend on the choice of path.2012-06-25
  • 0
    The issue, which I didn't write out in the notes (but is addressed in some detail by Hatcher) is that you need to identify the $d_1$ differential with the cellular boundary map so that the $E^2$ page gives the ordinary homology groups. This is where the identifications start to really matter.2012-06-25
  • 0
    Right, some identifications are made but still it is not clear why we need a canonical map between the homology of the fibers. It is not even clear to me what canonical really means in this context and how it is used here.2012-06-25
  • 0
    I'm not sure what to say, other than that these identifications are used in determining the differential. Canonical doesn't really have any precise meaning here, maybe, but if you tried to modify Hatcher's determination of the differential so as not to use these identifications it would at best get very confusing.2012-06-26
  • 0
    Alos, at some point one needs to use triviality of the action of $\pi_1$ because otherwise the $E^2$ page consists of homology groups with twisted coefficients. So another explanation, I guess, is that these identifications amount to an isomorphism between the "given" local coefficient system and the trivial one.2012-06-26

0 Answers 0