Lagmental Vicfred

Boundary of a Boundary Is Zero by Vicfred

tags: mathematics, homology, chain complexes, exact sequences

Alternating face signs make consecutive simplicial boundary maps cancel pairwise. Keeping the exact identity in view prevents the geometric or probabilistic intuition from drifting.

Definitions first

A chain complex \((C_\bullet,\partial)\) satisfies \(\partial_{n-1}\partial_n=0\). Homology \(H_n=\ker\partial_n/\operatorname{im}\partial_{n+1}\) measures cycles not explained as boundaries.

$$ \partial_n[v_0,\ldots,v_n]=\sum_{i=0}^{n}(-1)^i[v_0,\ldots,\widehat v_i,\ldots,v_n] $$

I keep the defining relation \(\mathsf D\) above the derived relation \(\mathsf C\). This exposes whether cancellation used \(x\ne0\) and whether the conclusion is canonical.

$$ \partial_{n-1}\circ\partial_n=0 $$

A small case in full

The following line is the smallest calculation that still exercises the mechanism. It keeps nested delimiters and the order of operations explicit.

$$ \partial_2[v_0v_1v_2]=[v_1v_2]-[v_0v_2]+[v_0v_1],\qquad\partial_1\partial_2=0 $$

The reusable statement

The aligned summary deliberately puts the datum and conclusion on different rows. Mathematically, this is the distinction between specifying an object and proving a property of it.

$$ \begin{aligned} \mathsf{D}\;&:\quad \partial_n[v_0,\ldots,v_n]=\sum_{i=0}^{n}(-1)^i[v_0,\ldots,\widehat v_i,\ldots,v_n],\\[5pt] \mathsf{C}\;&:\quad \partial_{n-1}\circ\partial_n=0. \end{aligned} $$

A nearby false statement

Homology depends on the chosen coefficient ring. Torsion may disappear over a field or change under reduction modulo a prime.

$$ \boxed{\begin{gathered} \text{compact conclusion}\\[-2pt] \partial_{n-1}\circ\partial_n=0 \end{gathered}} $$

I would use the boxed line as a reference later, while returning to the full display whenever a hypothesis becomes uncertain. That division keeps compression from becoming ambiguity.

This article was posted on Sun 05 August 2012. Facts and circumstances may have changed since publication.
Please contact me before jumping to conclusions if something seems wrong or unclear.