# Computing the Serre Spectral Sequence associated to a Hopf Fibration

We compute the Serre Spectral Sequence associated to the Hopf Fibration $S^1 \rightarrow S^3 \rightarrow S^2$. This example is made possible by the minimal triangualtion of this fibration given in the paper "A minimal triangulation of the Hopf map and its application" by K.V. Madahar and K.S Sarkaria. Geom Dedicata, 2000.

We first make the relevant simplicial complexes described on page 110 of the paper. The simplicial complex $S3$ below is a triangulation of $S^3$.

 i1 : B = QQ[a_0..a_2,b_0..b_2,c_0..c_2,d_0..d_2]; i2 : l1 = {a_0*b_0*b_1*c_1,a_0*b_0*c_0*c_1,a_0*a_1*b_1*c_1,b_0*b_1*c_1*d_1,b_0*c_0*c_1*d_2,a_0*a_1*c_1*d_2,a_0*c_0*c_1*d_2,b_0*c_1*d_1*d_2}; i3 : l2 = {b_1*c_1*c_2*a_2,b_1*c_1*a_1*a_2,b_1*b_2*c_2*a_2,c_1*c_2*a_2*d_1,c_1*a_1*a_2*d_2,b_1*b_2*a_2*d_2,b_1*a_1*a_2*d_2,c_1*a_2*d_1*d_2}; i4 : l3 = {c_2*a_2*a_0*b_0,c_2*a_2*b_2*b_0,c_2*c_0*a_0*b_0,a_2*a_0*b_0*d_1,a_2*b_2*b_0*d_2,c_2*c_0*b_0*d_2,c_2*b_2*b_0*d_2,a_2*b_0*d_1*d_2}; i5 : l4 = {a_0*b_0*b_1*d_1,a_0*b_1*d_0*d_1,b_1*c_1*c_2*d_1,b_1*c_2*d_0*d_1,a_0*a_2*c_2*d_1,a_0*c_2*d_0*d_1}; i6 : l5 = {a_0*b_1*d_0*d_2,a_0*a_1*b_1*d_2,b_1*c_2*d_0*d_2,b_1*b_2*c_2*d_2,a_0*c_2*d_0*d_2,a_0*c_0*c_2*d_2}; i7 : S3 = simplicialComplex(join(l1,l2,l3,l4,l5));

We identify the two sphere $S^2$ with the simplicial complex $S2$ defined by the facets $\{abc, abd, bcd, acd \}$. The Hopf fibration $S^1 \rightarrow S^3 \rightarrow S^2$ is then realized by the simplicial map $p: S3 \rightarrow S2$ defined by $a_i \mapsto a$, $b_i \mapsto b$, $c_i \mapsto c$, and $d_i \mapsto d$.

We now explain how to construct the filtration of $S3$ obtained by considering the $k$-sketeltons of this fibration.

The simplicial complex $F1S3$ below is the subsimplicial complex of $S3$ obtained by considering the inverse images of the $1$-dimensional faces of the simplicial complex $S2$. We first describe the simplicial complex $F1S3$ in pieces.

For example, to compute $f1l1$ below, we observe that the inverse image of $ab$ under $p$ is $a_0b_0b_1, a_0a_1b_1$ etc. All of these inverse images have been computed by hand previously.

 i8 : f1l1 = {a_0*b_0*b_1,a_0*a_1*b_1,a_0*c_0*c_1,a_0*a_1*c_1,a_0*a_1*d_2,d_1*d_2,b_0*b_1*c_1,b_0*c_0*c_1,b_0*b_1*d_1,b_0*d_1*d_2,c_1*d_1*d_2,c_0*c_1*d_2}; i9 : f1l2 = {b_1*a_1*a_2,b_1*b_2*a_2,c_1*c_2*a_2,c_1*a_1*a_2,a_1*a_2*d_2,a_2*d_1*d_2,b_1*c_1*c_2,b_1*b_2*c_2,b_1*b_2*d_2,d_1*d_2,c_1*d_1*d_2,c_1*c_2*d_1}; i10 : f1l3 = {a_2*a_0*b_0,a_2*b_2*b_0, c_2*a_2*a_0,c_2*c_0*a_0,a_2*a_0*d_1,a_2*d_1*d_2,b_2*b_0*c_2,c_2*c_0*b_0,b_2*b_0*d_2,b_0*d_1*d_2,c_2*c_0*d_2,d_1*d_2}; i11 : f1l4 = {a_0*b_0*b_1,a_0*a_2,a_0*a_2*c_2,c_1*c_2,a_0*d_0*d_1,a_0*a_2*d_1,b_1*c_1*c_2,b_0*b_1,b_0*b_1*d_1,b_1*d_0*d_1,c_1*c_2*d_1,c_2*d_0*d_1} o11 = {a b b , a a , a a c , c c , a d d , a a d , b c c , b b , b b d , 0 0 1 0 2 0 2 2 1 2 0 0 1 0 2 1 1 1 2 0 1 0 1 1 ----------------------------------------------------------------------- b d d , c c d , c d d } 1 0 1 1 2 1 2 0 1 o11 : List i12 : f1l5 = {a_0*a_1*b_1,b_1*b_2,a_0*c_0*c_2,a_0*a_1,a_0*d_0*d_2,a_0*a_1*d_2,b_1*b_2*c_2,c_0*c_2,b_1*d_0*d_2,b_1*b_2*d_2,c_2*d_0*d_2,c_0*c_2*d_2}; i13 : F1S3 = simplicialComplex(join(f1l1,f1l2,f1l3,f1l4,f1l5));

The simplicial complex $F0S3$ below is the subsimplicial complex of $F1S3$ obtained by considering the inverse images of the $0$-dimensional faces of the simplicial complex $S2$. Again we describe this simplicial complex in pieces.

 i14 : f0l1 = {a_0*a_1,b_0*b_1,c_0*c_1,d_1*d_2}; i15 : f0l2 = {a_1*a_2,b_1*b_2,c_1*c_2,d_1*d_2}; i16 : f0l3 = {a_0*a_2,b_0*b_2,c_0*c_2,d_1*d_2}; i17 : f0l4 = {a_0*a_2,b_0*b_1,c_1*c_2,d_0*d_1}; i18 : f0l5 = {a_0*a_1,b_1*b_2,c_0*c_2,d_0*d_2}; i19 : F0S3 = simplicialComplex(join(f0l1,f0l2,f0l3,f0l4,f0l5));

The simplicial complex $S3$ is obtained by considering the inverse images of the $2$ dimensional faces of $S2$.

To compute a simplicial version of the Serre spectral sequence for the $S^1 \rightarrow S^3 \rightarrow S^2$ correctly, meaning that the spectral sequence takes the form $E^2_{p,q} = H_p(S^2,H_q(S^1,QQ))$, we need to use non-reduced homology.

 i20 : K = filteredComplex({S3,F1S3,F0S3}, ReducedHomology => false);

We now compute the various pages of the spectral sequence. To make the output intelliagble we prune the spectral sequence.

 i21 : E = prune spectralSequence K;
 i22 : E0 = E^0 +------+------+------+ | 12 | 36 | 36 | o22 = |QQ |QQ |QQ | | | | | |{0, 1}|{1, 1}|{2, 1}| +------+------+------+ | 12 | 36 | 36 | |QQ |QQ |QQ | | | | | |{0, 0}|{1, 0}|{2, 0}| +------+------+------+ o22 : SpectralSequencePage

Here are the maps.

 i23 : E0.dd o23 = {-1, 0} : 0 <----- 0 : {-1, 1} 0 {-1, 1} : 0 <----- 0 : {-1, 2} 0 {-1, 2} : 0 <----- 0 : {-1, 3} 0 {-1, 3} : 0 <----- 0 : {-1, 4} 0 {2, -4} : 0 <----- 0 : {2, -3} 0 {2, -3} : 0 <----- 0 : {2, -2} 0 {2, -2} : 0 <----- 0 : {2, -1} 0 36 {2, -1} : 0 <----- QQ : {2, 0} 0 36 36 {2, 0} : QQ <------------------------------------------------------------------------------------------------------------------- QQ : {2, 1} | 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 -1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 1 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 -1 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 -1 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 -1 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 -1 0 0 0 | {1, -3} : 0 <----- 0 : {1, -2} 0 {1, -2} : 0 <----- 0 : {1, -1} 0 36 {1, -1} : 0 <----- QQ : {1, 0} 0 36 36 {1, 0} : QQ <------------------------------------------------------------------------------------------------------------------- QQ : {1, 1} | 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | -1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 -1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 -1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 -1 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 -1 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 | | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 | 36 {1, 1} : QQ <----- 0 : {1, 2} 0 {0, -2} : 0 <----- 0 : {0, -1} 0 12 {0, -1} : 0 <----- QQ : {0, 0} 0 12 12 {0, 0} : QQ <------------------------------------------- QQ : {0, 1} | 1 1 0 0 0 0 0 0 0 0 0 0 | | -1 0 1 0 0 0 0 0 0 0 0 0 | | 0 -1 -1 0 0 0 0 0 0 0 0 0 | | 0 0 0 1 1 0 0 0 0 0 0 0 | | 0 0 0 -1 0 1 0 0 0 0 0 0 | | 0 0 0 0 -1 -1 0 0 0 0 0 0 | | 0 0 0 0 0 0 1 1 0 0 0 0 | | 0 0 0 0 0 0 -1 0 1 0 0 0 | | 0 0 0 0 0 0 0 -1 -1 0 0 0 | | 0 0 0 0 0 0 0 0 0 1 1 0 | | 0 0 0 0 0 0 0 0 0 -1 0 1 | | 0 0 0 0 0 0 0 0 0 0 -1 -1 | 12 {0, 1} : QQ <----- 0 : {0, 2} 0 {0, 2} : 0 <----- 0 : {0, 3} 0 {-1, -1} : 0 <----- 0 : {-1, 0} 0 o23 : SpectralSequencePageMap

Now try the $E^1$ page.

 i24 : E1 = E^1 +------+------+------+ | 4 | 6 | 4 | o24 = |QQ |QQ |QQ | | | | | |{0, 1}|{1, 1}|{2, 1}| +------+------+------+ | 4 | 6 | 4 | |QQ |QQ |QQ | | | | | |{0, 0}|{1, 0}|{2, 0}| +------+------+------+ o24 : SpectralSequencePage

Here are the maps.

 i25 : E1.dd o25 = {-2, 1} : 0 <----- 0 : {-1, 1} 0 {-2, 2} : 0 <----- 0 : {-1, 2} 0 {-2, 3} : 0 <----- 0 : {-1, 3} 0 {-2, 4} : 0 <----- 0 : {-1, 4} 0 {1, -3} : 0 <----- 0 : {2, -3} 0 {1, -2} : 0 <----- 0 : {2, -2} 0 {1, -1} : 0 <----- 0 : {2, -1} 0 6 4 {1, 0} : QQ <------------------- QQ : {2, 0} | -1 -1 0 0 | | 1 0 -1 0 | | 0 1 1 0 | | -1 0 0 -1 | | 0 -1 0 1 | | 0 0 -1 -1 | 6 4 {1, 1} : QQ <----------------- QQ : {2, 1} | 1 -1 0 0 | | 0 1 1 0 | | 1 0 1 0 | | 0 -1 0 -1 | | 1 0 0 1 | | 0 0 1 -1 | {0, -2} : 0 <----- 0 : {1, -2} 0 {0, -1} : 0 <----- 0 : {1, -1} 0 4 6 {0, 0} : QQ <------------------------- QQ : {1, 0} | 1 1 1 0 0 0 | | -1 0 0 1 1 0 | | 0 -1 0 -1 0 1 | | 0 0 -1 0 -1 -1 | 4 6 {0, 1} : QQ <----------------------- QQ : {1, 1} | 1 1 -1 0 0 0 | | -1 0 0 1 1 0 | | 0 -1 0 -1 0 1 | | 0 0 -1 0 1 1 | {0, 2} : 0 <----- 0 : {1, 2} 0 {-1, -1} : 0 <----- 0 : {0, -1} 0 4 {-1, 0} : 0 <----- QQ : {0, 0} 0 4 {-1, 1} : 0 <----- QQ : {0, 1} 0 {-1, 2} : 0 <----- 0 : {0, 2} 0 {-1, 3} : 0 <----- 0 : {0, 3} 0 {-2, 0} : 0 <----- 0 : {-1, 0} 0 o25 : SpectralSequencePageMap

Now try the $E^2$ page.

 i26 : E2 = E^2 +------+------+------+ | 1 | | 1 | o26 = |QQ |0 |QQ | | | | | |{0, 1}|{1, 1}|{2, 1}| +------+------+------+ | 1 | | 1 | |QQ |0 |QQ | | | | | |{0, 0}|{1, 0}|{2, 0}| +------+------+------+ o26 : SpectralSequencePage

Here are the maps.

 i27 : E2.dd o27 = {-3, 2} : 0 <----- 0 : {-1, 1} 0 {-3, 3} : 0 <----- 0 : {-1, 2} 0 {-3, 4} : 0 <----- 0 : {-1, 3} 0 {-3, 5} : 0 <----- 0 : {-1, 4} 0 {0, -2} : 0 <----- 0 : {2, -3} 0 {0, -1} : 0 <----- 0 : {2, -2} 0 1 {0, 0} : QQ <----- 0 : {2, -1} 0 1 1 {0, 1} : QQ <--------- QQ : {2, 0} | 1 | 1 {0, 2} : 0 <----- QQ : {2, 1} 0 {-1, -1} : 0 <----- 0 : {1, -2} 0 {-1, 0} : 0 <----- 0 : {1, -1} 0 {-1, 1} : 0 <----- 0 : {1, 0} 0 {-1, 2} : 0 <----- 0 : {1, 1} 0 {-1, 3} : 0 <----- 0 : {1, 2} 0 {-2, 0} : 0 <----- 0 : {0, -1} 0 1 {-2, 1} : 0 <----- QQ : {0, 0} 0 1 {-2, 2} : 0 <----- QQ : {0, 1} 0 {-2, 3} : 0 <----- 0 : {0, 2} 0 {-2, 4} : 0 <----- 0 : {0, 3} 0 {-3, 1} : 0 <----- 0 : {-1, 0} 0 o27 : SpectralSequencePageMap

Note that the modules on the $E^2$ page appear to have been computed correctly. The statement of the Serre spectral sequence, see for example Theorem 1.3 p. 8 of Hatcher's Spectral Sequence book, asserts that $E^2_{p,q} = H_p(S^2,H_q(S^1,QQ))$. This is exactly what we obtained above. Also the maps on the $E^2$ page also seem to be computed correctly as the spectral sequence will abut to the homology of $S^3$.

 i28 : E3 = E^3 +------+------+------+ | | | 1 | o28 = |0 |0 |QQ | | | | | |{0, 1}|{1, 1}|{2, 1}| +------+------+------+ | 1 | | | |QQ |0 |0 | | | | | |{0, 0}|{1, 0}|{2, 0}| +------+------+------+ o28 : SpectralSequencePage i29 : E3.dd o29 = {-4, 3} : 0 <----- 0 : {-1, 1} 0 {-4, 4} : 0 <----- 0 : {-1, 2} 0 {-4, 5} : 0 <----- 0 : {-1, 3} 0 {-4, 6} : 0 <----- 0 : {-1, 4} 0 {-1, -1} : 0 <----- 0 : {2, -3} 0 {-1, 0} : 0 <----- 0 : {2, -2} 0 {-1, 1} : 0 <----- 0 : {2, -1} 0 {-1, 2} : 0 <----- 0 : {2, 0} 0 1 {-1, 3} : 0 <----- QQ : {2, 1} 0 {-2, 0} : 0 <----- 0 : {1, -2} 0 {-2, 1} : 0 <----- 0 : {1, -1} 0 {-2, 2} : 0 <----- 0 : {1, 0} 0 {-2, 3} : 0 <----- 0 : {1, 1} 0 {-2, 4} : 0 <----- 0 : {1, 2} 0 {-3, 1} : 0 <----- 0 : {0, -1} 0 1 {-3, 2} : 0 <----- QQ : {0, 0} 0 {-3, 3} : 0 <----- 0 : {0, 1} 0 {-3, 4} : 0 <----- 0 : {0, 2} 0 {-3, 5} : 0 <----- 0 : {0, 3} 0 {-4, 2} : 0 <----- 0 : {-1, 0} 0 o29 : SpectralSequencePageMap

Thus the E^3 page appears to have been computed correctly.