Macaulay2 » Documentation
Packages » SpectralSequences :: Computing the Serre Spectral Sequence associated to a Hopf Fibration
next | previous | forward | backward | up | index | toc

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 triangulation 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$-skeletons 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 intelligible 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.