Lagmental Vicfred

Euler Characteristic Alternates Cell Counts by Vicfred

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

For a finite CW complex, alternating cell counts equal alternating homology ranks. The formulas are more useful when each symbol has a job rather than merely decorating the theorem.

The data

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.

$$ \chi(X)=\sum_{n\ge0}(-1)^nc_n $$

The first display fixes the mathematical data. I label it \(\mathsf{data}\) mentally, while the next is the \(\mathsf{claim}\); the bridge between them is the displayed \(\Longrightarrow\), not an automatic implication.

$$ \chi(X)=\sum_{n\ge0}(-1)^n\operatorname{rank}H_n(X;\mathbf Q) $$

Derivation

Here is a concrete symbolic test. Reading it from left to right reveals which transformation is reversible and which is only an implication.

$$ \chi(\Sigma_g)=1-2g+1=2-2g $$

Invariant content

The compact alignment is a local map of the argument: assumptions on the first row, consequence on the second. Any generalisation must preserve that dependency.

$$ \begin{aligned} \mathsf{D}\;&:\quad \chi(X)=\sum_{n\ge0}(-1)^nc_n,\\[5pt] \mathsf{C}\;&:\quad \chi(X)=\sum_{n\ge0}(-1)^n\operatorname{rank}H_n(X;\mathbf Q). \end{aligned} $$

Scope

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] \chi(X)=\sum_{n\ge0}(-1)^n\operatorname{rank}H_n(X;\mathbf Q) \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 22 February 2011. Facts and circumstances may have changed since publication.
Please contact me before jumping to conclusions if something seems wrong or unclear.