Lagmental Vicfred

Reduced Homology Removes the Extra Connected Component by Vicfred

tags: mathematics, homology, chain complexes, exact sequences

Augmenting the chain complex makes degree-zero homology count components minus one. This is a compact note, but the quantifiers and hypotheses stay on the page.

Objects and notation

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.

$$ \varepsilon:C_0(X)\to\mathbf Z,\qquad\sum_in_iv_i\mapsto\sum_in_i $$

The typography mirrors the proof: first declare \(\mathsf D\), then state \(\mathsf C\). The symbol \(\Longrightarrow\) below is a logical dependency, not extra mathematical structure.

$$ \widetilde H_0(X)\cong\mathbf Z^{\,c(X)-1} $$

Push the symbols

The computation below is not a second theorem. It is a checksum for the definitions and a place to inspect the difficult LaTeX at full size.

$$ \widetilde H_n(S^m)\cong\begin{cases}\mathbf Z,&n=m,\\0,&n\ne m.\end{cases} $$

Structural reading

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 \varepsilon:C_0(X)\to\mathbf Z,\qquad\sum_in_iv_i\mapsto\sum_in_i,\\[5pt] \mathsf{C}\;&:\quad \widetilde H_0(X)\cong\mathbf Z^{\,c(X)-1}. \end{aligned} $$

A hypothesis worth keeping

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] \widetilde H_0(X)\cong\mathbf Z^{\,c(X)-1} \end{gathered}} $$

The notation is dense, but it is doing honest work: every delimiter records scope and every index records dependence. Removing one should require a mathematical reason.

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