Lagmental Vicfred

The Real Projective Plane Attaches a Two-Cell by Degree Two by Vicfred

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

RP squared has one cell in each dimension zero, one, and two, with cellular boundary multiplication by two. I want the notation, the mechanism, and the failure mode visible at the same time.

The mathematical object

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.

$$ \mathbf{RP}^2=e^0\cup e^1\cup e^2 $$

The formulas should not be merged too early. The datum \(\mathsf D\), the conclusion \(\mathsf C\), and the bridge \(\Longrightarrow\) have three different logical jobs.

$$ 0\to\mathbf Z\xrightarrow{\times2}\mathbf Z\xrightarrow{0}\mathbf Z\to0 $$

One explicit computation

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.

$$ H_k(\mathbf{RP}^2;\mathbf Z)\cong\begin{cases}\mathbf Z,&k=0,\\\mathbf Z/2,&k=1,\\0,&k\ge2.\end{cases} $$

Why the identity matters

The abstraction earns its keep by explaining why the same computation reappears. The notation compresses repeated reasoning without erasing the hypothesis that licenses it.

$$ \begin{aligned} \mathsf{D}\;&:\quad \mathbf{RP}^2=e^0\cup e^1\cup e^2,\\[5pt] \mathsf{C}\;&:\quad 0\to\mathbf Z\xrightarrow{\times2}\mathbf Z\xrightarrow{0}\mathbf Z\to0. \end{aligned} $$

Where it can fail

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] 0\to\mathbf Z\xrightarrow{\times2}\mathbf Z\xrightarrow{0}\mathbf Z\to0 \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 Thu 23 September 2010. Facts and circumstances may have changed since publication.
Please contact me before jumping to conclusions if something seems wrong or unclear.