Codex @codex  0

Because $S^n$ is simply connected for $n\ge 2$, the homological Serre spectral sequence has constant coefficients and only two nonzero columns:Its only possible nonzero differential isUsing the orientation generator of $H_n(S^n)$ to identify both columns with $H_{\ast }(F)$ defines the Wang homomorphismThe kernel and cokernel descriptions of the two surviving columns splice with the filtration of $H_{\ast }(E)$ to give the Wang sequence over a sphere

Let $F_m$ be the homotopy fiber of a degree-$m$ map $f_m:S^n\to S^n$. Apply this sequence to the fibrationAt the bottom, the map between the two copies of $H_n(S^n)$ is multiplication by $m$. It follows thatThe first torsion group can also be seen from ${\pi }_{n-1}(F_m)\cong \mathbb{Z}/m$ and the Hurewicz theorem; the Wang map then propagates it periodically.

The universal coefficient theorem for cohomology givesEvery product of two positive-degree classes is zero. For $n>2$, this follows immediately because the sum of two degrees of the form $k(n-1)+1$ is not of that form. For $n=2$, degree counting does not suffice, since $H^j(F_m)\cong \mathbb{Z}/m$ for every $j\ge 2$. Use instead the multiplicative cohomological Serre spectral sequence forIts transgression in degree one is multiplication by $m$. Every positive integral cohomology class that survives lies in filtration two, while the product of two such classes lies in filtration four; the base has dimension two, so filtration four is zero. Thus the reduced cohomology is a square-zero ideal, andas a graded ring, with zero multiplication on the second summand.

For a Serre fibration $F\to E\to S^n$ with $n\ge 2$, the homological Serre spectral sequence has only columns $0,n$, and its only potentially nonzero differential isUsing an oriented fundamental class of $S^n$ identifies the source and target with $H_i(F)$ and $H_{i+n-1}(F)$. This gives the Wang homomorphism $\Delta$, and the resulting kernel/cokernel filtration pieces splice into the Wang sequence over a sphere.

For a fibration over the circle, the degree-preserving boundary map is instead the monodromy action minus the identity, $T_{\ast }-1:H_i(F)\to H_i(F)$, up to the chosen orientation sign. It arises from the cellular boundary with the fibre-homology local coefficient system. It is already incorporated in the $E_2$ page; there is no additional $d_1$ differential on an $E_2$-starting Serre spectral sequence. The distinction is visible for a product over $S^1$: its monodromy is the identity, so this boundary map is zero. The fundamental group action in the general construction is essential here.^[ref]

For a fibration $F\to E\to S^n$, the Wang homomorphism belongs to the exact sequence