d_r in spectral sequence given by zig-zag

Criado em: 17 de junho de 2026

Respondido usando GPT-5.5 Thinking por Chat01

Pergunta

Consider the spectral sequence E_r^{pq} \Rightarrow H^{p+q} associated to a double complex A^{pq}. Why is differential on each E_r page given by zia-zags in the double complex?

Pensamento

Thought for a second

Resposta

Because each page ErE_r is not just made from entries of the double complex, but from classes that survive r1r-1 stages of taking cohomology. To compute the next differential, you repeatedly solve “cocycle up to boundary” equations in the double complex, and those equations force a zig-zag path.

Suppose the double complex has horizontal differential dhd_h and vertical differential dvd_v, with total differential

D=dv+dhD = d_v + d_h

up to the usual sign convention. If an element a0Ap,qa_0 \in A^{p,q} represents a class on Erp,qE_r^{p,q}, then surviving to the rr-th page means roughly that a0a_0 is not merely vertically closed, but that its horizontal differential can be killed by moving through the double complex.

Concretely, one tries to solve equations of the form

dva0=0,d_v a_0 = 0,

then

dha0=dva1,d_h a_0 = - d_v a_1,

then

dha1=dva2,d_h a_1 = - d_v a_2,

and so on, until

dhar2=dvar1.d_h a_{r-2} = - d_v a_{r-1}.

Visually, this means:

a0  dh  dha0=dva1,a_0 \;\xrightarrow{d_h}\; d_h a_0 = -d_v a_1,

so we move horizontally by dhd_h, then “lift back” vertically by finding a1a_1, then move horizontally again, lift vertically again, etc. That alternating horizontal move and vertical lift is the zig-zag.

After r1r-1 such lifts, the rr-th differential is represented by the final horizontal differential:

dr[a0]=[dhar1].d_r[a_0] = [d_h a_{r-1}].

This lands rr columns over and 1r1-r rows down, so for a cohomological spectral sequence,

dr:Erp,qErp+r,qr+1.d_r : E_r^{p,q} \to E_r^{p+r,\,q-r+1}.

So the reason drd_r is given by zig-zags is that an ErE_r-class is a class whose earlier differentials vanish, and “earlier differentials vanish” means each obstruction can be killed by choosing a vertical preimage. Chaining those choices produces the zig-zag, and the final unresolved obstruction is exactly drd_r.

Compartilhar esta Q&A