Problem 8 - Algebraic Topology

Question

Show that for a Moore space \(M(G, n)\) the Bockstein long exact sequence in cohomology associated to the short exact sequence of coefficient groups \(0 \rightarrow A \rightarrow B \rightarrow C \rightarrow 0\) reduces to an exact sequence \(0 \rightarrow \operatorname{Hom}(G, A) \rightarrow \operatorname{Hom}(G, B) \rightarrow \operatorname{Hom}(G, C) \rightarrow \operatorname{Ext}(G, A) \rightarrow \operatorname{Ext}(G, B) \rightarrow \operatorname{Ext}(G, C) \rightarrow 0\)

Step-by-Step Solution

Answer

The sequence simplifies, using properties of Moore spaces, into an exact Hom-Ext sequence.

Step 1: Understand the Background

We start with a Moore space, denoted as \( M(G,n) \), which has the property that its reduced homology group is concentrated in degree \( n \). The exercise pertains to the Bockstein long exact sequence in the context of cohomology with coefficients in a sequence of abelian groups \(0 \rightarrow A \rightarrow B \rightarrow C \rightarrow 0\).

Step 2: Recall the Bockstein Long Exact Sequence

The Bockstein long exact sequence is associated with a short exact sequence of coefficient groups. It provides a sequence in cohomology, showing interactions between cohomology groups for different coefficients. The surprising result here is its simplification based on the space being a Moore space.

Step 3: Use Properties of Moore Spaces

For a Moore space \( M(G, n) \), the reduced cohomology \( \ ilde{H}^i(M(G, n); -) \) is zero for \( i eq n \). This simplifies how cohomology can be calculated for these spaces.

Step 4: Analyzing the Cohomology Groups

Cohomology of the Moore space with coefficients in \( A, B, \) or \( C \) concentrates in a single degree, turning the long exact sequence into a simpler form. The sequence becomes a series of homomorphisms between cohomology groups that only involve results at degree \( n \).

Step 5: Translate to Hom and Ext Groups

For a Moore space and using the universal coefficient theorem, this cohomology sequence corresponds to homomorphisms and extension groups: \(0 \rightarrow \operatorname{Hom}(G, A) \rightarrow\operatorname{Hom}(G, B) \rightarrow\operatorname{Hom}(G, C) \rightarrow\operatorname{Ext}(G, A) \rightarrow\operatorname{Ext}(G, B) \rightarrow\operatorname{Ext}(G, C) \rightarrow 0\).

Step 6: Ensure Exactness

The construction guarantees exactness of the sequence. This means for each group in the sequence, the image of one map equals the kernel of the next, in line with the properties of exact sequences.

Key Concepts

Moore Space

In the realm of algebraic topology, a Moore space is a special type of topological space. It is constructed to have its reduced homology concentrated in only one degree. Specifically, a Moore space is denoted by \( M(G, n) \), where \( G \) is a specified group and \( n \) a non-negative integer. This means that the space's homology is zero in all dimensions except for one specific dimension, \( n \).

Moore spaces are quite useful because they simplify many calculations in homological algebra. When working with a Moore space, if you ask about its reduced homology group at any other dimension than \( n \), the answer will be quite straightforward: it is zero. This property makes Moore spaces a handy tool when discussing complex sequences in algebraic topology, such as the Bockstein long exact sequence.

Additionally, Moore spaces serve as an essential toolbox item in building and deconstructing topological spaces for further study. They act as prime ingredients in exploring coefficients' interactions in homology and cohomology, enabling us to reduce and simplify more extensive problems.

Cohomology

Cohomology is an important concept in algebraic topology, known for being a powerful invariant in this field. Simply put, it provides a way to take a topological space and extract algebraic information from it. Cohomology groups, which result from this process, give insight into a space’s structure and properties.

A significant aspect of cohomology is its ability to help classify and extend theorems from topology. Cohomology relates to homology, another key concept, by acting contrarily; whereas homology captures the basic shapes and holes in a space, cohomology works with functions defined on the space. When dealing with different coefficient groups, cohomology provides interactions between different spaces, enhancing our understanding of topological phenomena.

The Bockstein long exact sequence in cohomology is derived from a short exact sequence of coefficient groups. It's a tool that can demonstrate relationships between several cohomology groups with different coefficients. This becomes especially intuitive when applied to Moore spaces, given their simplified nature. In these cases, complicated sequences can often be reduced to more straightforward homomorphisms using cohomology, conveying a clearer picture of the underlying mathematical structure.

Universal Coefficient Theorem

The Universal Coefficient Theorem is a crucial tool in the study of cohomology and homology. It links these cohomological invariants with the more familiar algebraic constructs of homomorphisms and extension groups (\( \operatorname{Ext} \) groups). The theorem essentially allows us to switch between the topological nature of spaces and the algebraic nature of groups, making it an invaluable bridge in algebraic topology.

For a simple definition: the Universal Coefficient Theorem relates the cohomology of a space with coefficients in any abelian group to its cohomology with integer coefficients. It provides a way to interpret and manipulate the cohomology groups more flexibly. The theorem can be expressed as a relationship between homology with one set of coefficients and cohomology with another set.

In the context of Moore spaces, the Universal Coefficient Theorem helps translate complex cohomology sequences into simpler language of \( \operatorname{Hom} \) and \( \operatorname{Ext} \) groups. This conversion makes it easier to analyze and understand sequences, like the Bockstein long exact sequence, by breaking them down into more manageable components. It thus underpins the transformation of topological problems into algebraic ones, making grand computations tractable.