Problem 25 - Algebraic Topology

Question

Show that for each \(n \in \mathbb{Z}\) there is a unique function \(\varphi\) assigning an integer to each finite CW complex, such that (a) \(\varphi(X)=\varphi(Y)\) if \(X\) and \(Y\) are homeomorphic, (b) \(\varphi(X)=\varphi(A)+\varphi(X / A)\) if \(A\) is a subcomplex of \(X,\) and \((c) \varphi\left(S^{0}\right)=n .\) For such a function \(\varphi,\) show that \(\varphi(X)=\varphi(Y)\) if \(X \simeq Y\).

Step-by-Step Solution

Answer

The function \( \varphi \) is unique and invariant under homotopy equivalence, using the Euler characteristic scaled by \( n \).

Step 1: Understand the conditions

The problem is asking us to construct a function \( \varphi \) that assigns an integer to each finite CW complex, subject to specific rules. First, the function must assign the same value to homeomorphic complexes, i.e., \( \varphi(X) = \varphi(Y) \) if \( X \approx Y \). Second, it must satisfy that the value for a complex \( X \) with subcomplex \( A \) is the sum of the values assigned to \( A \) and to the quotient \( X/A \). Third, the function must satisfy that the value assigned to the 0-sphere \( S^0 \) is a specific fixed integer \( n \). The challenge is to show that this function is well-defined and unique for each value of \( n \), and further, that it is invariant under homotopy equivalence.

Step 2: Define the Euler Characteristic

A common tool in algebraic topology satisfying similar properties is the Euler characteristic. The Euler characteristic \( \chi(X) \) of a CW complex is defined as \( \chi(X) = \sum (-1)^k c_k \), where \( c_k \) is the number of k-cells in a CW complex \( X \). It has the properties: (a) it is invariant under homeomorphisms, (b) \( \chi(X) = \chi(A) + \chi(X/A) \) for a subcomplex \( A \), and (c) \( \chi(S^0) = 2 \). We adjust this definition for a custom \( n \) by using \( \varphi(X) = \chi(X) / 2 \times n \).

Step 3: Show existence of the function

The function \( \varphi(X) = \chi(X) / 2 \times n \) satisfies the required conditions: (a) Invariance under homeomorphism follows from the Euler characteristic being invariant. (b) The additivity property follows from the definition: \( \varphi(X) = \varphi(A) + \varphi(X/A) \) because \( \chi \) does likewise. (c) Since \( \chi(S^0) = 2 \), we have \( \varphi(S^0) = \chi(S^0) / 2 \times n = n \). Thus, such a function exists.

Step 4: Show uniqueness of the function

Suppose there exists another function \( \varphi' \) fulfilling all given conditions as \( \varphi \). Then, for \( S^0 \), \( \varphi'(S^0) = n \) must hold. Consider any finite CW complex \( X \). Using induction on the number of cells, assume \( \varphi'(X) = \varphi(X) \) for all complexes with fewer cells than \( X \). Then, by property (b), \( \varphi'(X) = \varphi'(A) + \varphi'(X/A) \) and similarly for \( \varphi(X) \). By the inductive hypothesis, \( \varphi'(A) = \varphi(A) \) and \( \varphi'(X/A) = \varphi(X/A) \), hence \( \varphi'(X) = \varphi(X) \), proving uniqueness.

Step 5: Show invariance under homotopy equivalence

To show \( \varphi(X) = \varphi(Y) \) if \( X \simeq Y \), note that homotopy equivalence implies the CW complexes have the same homotopy type, and thus they have the same Euler characteristic. Since \( \varphi(X) = \chi(X) / 2 \times n \) and similarly for \( Y \), the same Euler characteristic ensures \( \varphi(X) = \varphi(Y) \). Hence, homotopy equivalent spaces have the same \( \varphi \)-value.

Key Concepts

CW Complex

CW Complexes are a powerful concept in topology used to build complicated spaces from simpler ones. A CW Complex consists of cells, which are shapes of different dimensions. You start with points (0-cells), then attach line segments (1-cells), and continue attaching higher-dimensional shapes one after the other.
What makes CW Complexes interesting is their ability to represent spaces in ways that are manageable mathematically. Despite their potentially complex nature, they make calculations like calculating the Euler characteristic feasible.
Key characteristics of CW Complexes include:

• They can be decomposed into cells of different dimensions.
• The attachment of these cells follows carefully chosen rules that satisfy continuity and closure.
• They make analysis of topological spaces easier by breaking them down into basic building blocks.

Understanding CW Complexes is vital as they lay the foundation for discussing concepts such as homeomorphism and homotopy equivalence in topology.

Homeomorphism

Homeomorphism is an essential concept in topology, signifying a special kind of equivalence between spaces. Two spaces are homeomorphic if you can stretch or bend one into the other without tearing or gluing. Mathematically, a homeomorphism is a continuous function that maps one space to another and has a continuous inverse function.
Homeomorphisms respect the structure of the spaces they map between in such a way that they preserve topological properties. Key properties of homeomorphic spaces include:

• They have the same number of components.
• Their dimensionality remains unchanged.
• Their Euler characteristics are identical.

In terms of the Euler characteristic, if two spaces are homeomorphic, they share the same Euler characteristic, as noted in the problem and solution given. This illustrates the importance of homeomorphisms in analyzing and simplifying topological spaces.

Homotopy Equivalence

Homotopy Equivalence is a broader concept than homeomorphism. While homeomorphism requires spaces to be identical in structure, homotopy equivalence allows for spaces to have the same 'type' of shape without being physically identical.
A homotopy equivalence between two spaces means there exist continuous maps back and forth between the two that can be composed to resemble the identity transformation up to deformation. This makes the concept of homotopy quite flexible.
Some critical aspects include:

• Two spaces that are homotopy equivalent share the same homotopy type.
• It implies the preservation of essential features like holes or connectivity.
• Homotopy equivalence is a softer relationship than homeomorphism, focusing on the essence rather than exact form.

In topology, using homotopy equivalence allows mathematicians to classify spaces based on fundamental characteristics and proves that they have the same Euler characteristic, as seen in the exercise solution.

Subcomplex

A subcomplex is a subset of a CW Complex that is itself a CW Complex. It includes some of the cells of the original complex and all their lower-dimensional boundaries.
The role of a subcomplex is crucial when discussing properties like the Euler characteristic. When a subcomplex is used in a calculation, it can help break down problems into smaller, more manageable parts.
Characteristics of subcomplexes include:

• Being closed under the operation of taking boundaries, meaning any face of a cell in the subcomplex is also in the subcomplex.
• Preservation of topological features that are significant for the whole complex.
• The ability to serve as building blocks, allowing for additive properties like the Euler characteristic.

Understanding subcomplexes is valuable in approaching tasks like computing the Euler characteristic for larger and more complex topological structures by considering their simpler components.