Lagmental Vicfred

Cellular Homology Uses One Generator per Cell by Vicfred

Last updated: Sat 01 May 2021

tags: mathematics, CW complexes, fixed points, knot theory

A CW structure produces a chain complex whose nth group is free on the n-cells. The example is deliberately concrete; it is a test of the statement, not a substitute for it.

Notation

A CW complex is assembled by attaching disks \(D^n\) along maps from their boundaries \(S^{n-1}\). Cellular chains convert the attaching data into algebra.

$$ C_n^{\mathrm{cell}}(X)=H_n(X^n,X^{n-1})\cong\mathbf Z^{c_n} $$

A reliable calculation names domain and codomain. The notation \(\mathsf{data}\mapsto\mathsf{claim}\) is harmless only after both \(\operatorname{dom}\) and \(\operatorname{cod}\) have been fixed.

$$ \partial_n^{\mathrm{cell}}:C_n^{\mathrm{cell}}\to C_{n-1}^{\mathrm{cell}} $$

Stress the formula

An explicit case prevents the notation from becoming ceremonial. Every subscript and superscript in the display contributes to the value.

$$ X=S^n:\qquad0\to\underbrace{\mathbf Z}_{C_n}\xrightarrow{0}0\to\cdots\to0\xrightarrow{0}\underbrace{\mathbf Z}_{C_0}\to0 $$

Interpretation

The two-row display is also a debugging tool: if the conclusion changes when only notation changes, some hidden choice has entered the argument.

$$ \begin{aligned} \mathsf{D}\;&:\quad C_n^{\mathrm{cell}}(X)=H_n(X^n,X^{n-1})\cong\mathbf Z^{c_n},\\[5pt] \mathsf{C}\;&:\quad \partial_n^{\mathrm{cell}}:C_n^{\mathrm{cell}}\to C_{n-1}^{\mathrm{cell}}. \end{aligned} $$

Limit of the argument

Euler characteristic is homotopy invariant for finite CW complexes, but equal Euler characteristics do not imply homotopy equivalence.

$$ \boxed{\begin{gathered} \text{compact conclusion}\\[-2pt] \partial_n^{\mathrm{cell}}:C_n^{\mathrm{cell}}\to C_{n-1}^{\mathrm{cell}} \end{gathered}} $$

This is enough machinery for one note: an exact object, a worked case, a structural law, and a clearly marked boundary. Each layer can now be tested independently.

This article was posted on Tue 15 November 2016. Facts and circumstances may have changed since publication.
Please contact me before jumping to conclusions if something seems wrong or unclear.