Problem 43 - Algebraic Topology

Question

(a) Show that a chain complex of free abelian groups \(C_{n}\) splits as a direct sum of subcomplexes \(0 \rightarrow L_{n+1} \rightarrow K_{n} \rightarrow 0\) with at most two nonzero terms. IShow the short exact sequence \(0 \rightarrow \operatorname{Ker} \partial \rightarrow C_{n} \rightarrow \operatorname{Im} \partial \rightarrow 0\) splits and take \(K_{n}=\) Ker \(\partial .\) (b) In case the groups \(C_{n}\) are finitely generated, show there is a further splitting into summands \(0 \rightarrow \mathbb{Z} \rightarrow 0\) and \(0 \rightarrow \mathbb{Z} \stackrel{m}{\longrightarrow} \mathbb{Z} \rightarrow 0\). [Reduce the matrix of the boundary map \(L_{n+1} \rightarrow K_{n}\) to echelon form by elementary row and column operations. (c) Deduce that if \(X\) is a CW complex with finitely many cells in each dimension, then \(H_{n}(X ; G)\) is the direct sum of the following groups: \- a copy of \(G\) for each \(\mathbb{Z}\) summand of \(H_{n}(X)\) \- a copy of \(G / m G\) for each \(\mathbb{Z}_{m}\) summand of \(H_{n}(X)\) \- a copy of the kemel of \(G \stackrel{m}{\longrightarrow} G\) for each \(\mathbb{Z}_{m}\) summand of \(H_{n-1}(X)\)

Step-by-Step Solution

Answer

Chain complex splits into direct sums involving kernels and images; finitely generated groups are further decomposed into simple subgroups based on matrix echelon form. CW complex homology reflects these decompositions.

Step 1: Understanding Chain Complex Splitting

We are given that the chain complex consists of free abelian groups and we want to find a way to split it into smaller subcomplexes. Specifically, we need to show that each chain group can be decomposed into a direct sum involving its kernel and image under the boundary map.

Step 2: Establish Short Exact Sequence

Define the short exact sequence: \ 0 \rightarrow \operatorname{Ker}(\partial) \rightarrow C_{n} \rightarrow \operatorname{Im}(\partial) \rightarrow 0 \ where \(\operatorname{Ker}(\partial)\) is the kernel of the boundary map \(\partial\), and \(\operatorname{Im}(\partial)\) is the image. Since we are working with free abelian groups, this sequence splits.

Step 3: Define K_n for Complex Splitting

Take \(K_{n} = \operatorname{Ker}(\partial)\). The exact sequence tells us that \(C_{n} = K_{n} \oplus L_{n}\), where \(L_{n}\) maps isomorphically to \(\operatorname{Im}(\partial)\). We thus have the sequence \(0 \rightarrow L_{n+1} \rightarrow K_{n} \rightarrow 0\).

Step 4: Consider Finitely Generated Free Abelian Groups

For finitely generated free abelian groups, the sequence further splits by decomposing \(C_{n}\) into simpler pieces. Specifically, \(K_n\) can also be split into direct sums of \(\mathbb{Z}\) and \(\mathbb{Z}_m\) groups by using the Fundamental Theorem of Finitely Generated Abelian Groups.

Step 5: Reduce Boundary Map Matrix to Echelon Form

Since \(L_{n+1} \rightarrow K_{n}\) is a map of free finitely generated groups, we can represent it by a matrix. Perform row and column operations to bring this matrix into a standard form (echelon form). This reveals that the map between these two groups can be expressed as direct sums \(0 \rightarrow \mathbb{Z} \rightarrow 0\) and \(0 \rightarrow \mathbb{Z} \stackrel{m}{\longrightarrow} \mathbb{Z} \rightarrow 0\).

Step 6: Analyze Homology of CW Complex

For a CW complex \(X\) with finitely many cells in each dimension, we leverage the previous chain splitting to decipher the homology. \[ H_{n}(X ; G) \] decomposes into: copies of \(G\) for each \(\mathbb{Z}\) appearing in \( H_{n}(X)\), copies of \(G / m G\) corresponding to \(\mathbb{Z}_{m}\) in \(H_{n}(X)\), and copies of \(\ker(G \stackrel{m}{\longrightarrow} G)\) for \(\mathbb{Z}_{m}\) in \(H_{n-1}(X)\).

Key Concepts

Free Abelian Groups

A free abelian group is a central concept often encountered in algebra and topology. At its core, a free abelian group over a set can be thought of as similar to a vector space, but over the integers. It's like having a collection of "independent" elements, called generators, where every element of the group can be uniquely expressed as a linear combination of these generators with integer coefficients.

Free abelian groups are essential in the study of chain complexes. These groups make it easier to understand the splitting and interactions within complexes, particularly when dealing with kernels and images of boundary maps.

• Generators of a free abelian group can be thought of as the building blocks of the group.
• Every free abelian group can be represented as a direct sum of infinite cyclic groups (isomorphic to the integers \(\mathbb{Z}\)).
• The rank of a free abelian group is the maximum number of independent generators it has.

This structure allows us to easily split chain complexes, simplifying the analysis of their homological properties.

Exact Sequence

In the realm of algebra and topology, an exact sequence is a tool that provides deep insights into the structure of groups and spaces. An exact sequence is a sequence of algebraic objects (typically groups) and morphisms between them, which exhibits specific properties in relation to kernels and images.

A sequence is considered exact at a particular group if the image of the morphism leading into it is equal to the kernel of the morphism that comes after it. For example, in an exact sequence like \(0 \rightarrow A \rightarrow B \rightarrow C \rightarrow 0\), the sequence shows how group \(B\) can be "built" from \(A\) and \(C\).

• Exact sequences are powerful for showing how groups relate to each other.
• They help identify the building blocks of a group, breaking it down into simpler components.
• Short exact sequences, especially those involving zero at both ends, can often be split – meaning the sequence can be seen as a direct sum of sub-sequences.

This splitting into direct sums can be particularly useful when studying the homology of complex structures.

CW Complex

A CW complex is a type of topological space that is constructed by gluing cells together in a specific manner. These spaces are invaluable in algebraic topology because they allow topologists to study more complex shapes by breaking them down into simpler, understandable pieces.

Cells in a CW complex are glued together in a stepwise construction, where each new cell is attached to the previous structure along its boundary.

• "C" comes from Closure-finite, and "W" from Weak topology, which dictate these features of the complex.
• These complexes are important for calculations in homology and cohomology, allowing systematic and reduced means of computation.
• They are used to model and understand the structure of spaces, from simple curves to complex manifolds.

In the context of the problem, CW complexes with finitely many cells in each dimension simplify the process of determining homologies, making it possible to achieve a structured breakdown of homological structure.

Homology

Homology is a powerful tool in topology that provides information about the global structure of a space. It aids in distinguishing different types of spaces by associating a sequence of abelian groups or modules with the space.

Homology groups are defined as the kernel of a boundary map modulo the image of the previous map, capturing cycles and boundaries within the structure. This provides topologists with a "fingerprint" of the space, allowing them to identify and relate features of different spaces.

• Homology classifies spaces based on the presence of holes of different dimensions.
• The fundamental goal of homology is to transform topological problems into algebraic ones by shifting from geometric constructions to groups and mappings.
• Homologies of CW complexes help in understanding complicated shapes by revealing simpler, underlying patterns.

By analyzing the homology groups of a CW complex, you can deduce significant insights into its formation. For instance, the decomposition of homology into simpler groups allows to express complexities of the space through group summation.