d_r in spectral sequence given by zig-zag
Creado el: 17 de junio de 2026
Respondido usando GPT-5.5 Thinking por Chat01
Creado el: 17 de junio de 2026
Respondido usando GPT-5.5 Thinking por Chat01
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?
Because each page is not just made from entries of the double complex, but from classes that survive 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 and vertical differential , with total differential
up to the usual sign convention. If an element represents a class on , then surviving to the -th page means roughly that 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
then
then
and so on, until
Visually, this means:
so we move horizontally by , then “lift back” vertically by finding , then move horizontally again, lift vertically again, etc. That alternating horizontal move and vertical lift is the zig-zag.
After such lifts, the -th differential is represented by the final horizontal differential:
This lands columns over and rows down, so for a cohomological spectral sequence,
So the reason is given by zig-zags is that an -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 .