Problem 6 - Algebraic Topology

Question

Let \(F\) be the free group on two generators and let \(F^{\prime}\) be its commutator subgroup. Find a set of free generators for \(F^{\prime}\) by considering the covering space of the graph \(S^{1} \vee S^{1}\) corresponding to \(F^{\prime}\).

Step-by-Step Solution

Answer

The free generators for \(F'\) are the conjugates of the commutator \([a, b]\), such as \([g_1, g_2]\) for \(g_1, g_2 \in F\).

Step 1: Understanding the Problem

We are asked to find a set of free generators for the commutator subgroup \(F'\) of the free group \(F\) on two generators. Given \(F = \langle a, b \rangle\), its commutator subgroup \(F'\) comprises elements equivalent to \([a,b] = aba^{-1}b^{-1}\). This subgroup captures elements of \(F\) that can be expressed as words which, intuitively, twist the basic loops represented by \(a\) and \(b\) around each other.

Step 2: Identifying the Corresponding Covering Space

The group \(F\) corresponds to the fundamental group of the graph \(S^1 \vee S^1\), a figure eight. The subgroup \(F'\) can be related to a covering space of this graph. By generating covering spaces corresponding to subgroups of \(\pi_1(S^1 \vee S^1)\), we need the covering for the commutator subgroup.

Step 3: Characterizing the Covering Space

The covering space for \(F'\) is determined by the relation between \([a, b]\) and the edges of \(S^1 \vee S^1\). Each commutator corresponds to a loop formed by \([a, b]\) which generates the commutator subgroup as a free group. Thus, \(F'\) can be presented as freely generated by \([a, b]\) and all its conjugates.

Step 4: Constructing the Graph

We identify elements of \(F'\) as infinite sequences of multiplication by \([a, b]\) and its conjugates in various combinations, forming a Cayley graph that resembles a tree. This is a well-known covering of the figure eight, represented as an infinite grid, each row and column crossing representing a power and conjugate of \([a, b]\).

Step 5: Determining the Free Generators of \(F'\)

Utilizing the structure of this infinite tree graph, each conjugate \([g_1, g_2]\) for \(g_1, g_2 \in F\) can be arranged into a basis for \(F'\). The set of free generators of \(F'\) thus takes the form of conjugates of the original commutator: \([a^k b^l a^{-k}, a b]\) for \(k, l \in \mathbb{Z}\). These elements generate \(F'\) freely.

Key Concepts

Free Group

A **free group** is a fundamental concept in algebraic topology and group theory. It is constructed from a set of generators without imposing any relations other than those dictated by group axioms. You can think of it as the most "basic" type of group that can be created from a given set of elements.

• **Generators:** These are the basic building blocks of the free group. In our case, we have two generators, denoted as \(a\) and \(b\).
• **No Relations:** Unlike other groups, a free group has no additional relations between its generators. This means the elements of the group can be represented as any sequence of these generators and their inverses.
• **Example:** A word in this group might look like \(ab^{-1}a^2b\), where each letter represents a generator or its inverse.

Free groups serve as an essential building block for understanding more complex groups and are ubiquitous in algebraic topology for describing paths and loops.

Commutator Subgroup

The **commutator subgroup** \(F'\) of a free group \(F\) captures the idea of how non-trivial the group operation is, beyond simple concatenation of elements. This subgroup is formed by all elements expressed as "commutators," which are specific kinds of elements.

• **Commutators:** A commutator, denoted \([a, b]\), is defined as \(aba^{-1}b^{-1}\). It is an expression that understands the difference between \(ab\) and \(ba\).
• **Properties:** The commutator subgroup is the smallest normal subgroup of \(F\) such that the quotient group \(F/F'\) is abelian, meaning all elements commute.
• **Intuition:** Think of the commutator as a measure of the "twistiness" or "non-commutativity" of the elements \(a\) and \(b\).

The commutator subgroup \(F'\) is important in algebra and topology, as it relates to the way spaces are connected or "knotted" together.

Covering Space

In algebraic topology, a **covering space** is used to "unwrap" a complex space into simpler components. This unwrapping helps to study the fundamental group, which encodes the structure of loops in a space.

• **Definition:** A covering space of a topological space \(X\) is another space \(C\) along with a continuous map to \(X\) such that each point in \(X\) has a neighborhood evenly covered by \(C\).
• **Analogy:** Imagine a spiral staircase as a covering space for a circle, where each turn "covers" the base circle.
• **Role in Groups:** The covering space corresponding to the commutator subgroup of a free group exhibits how the infinite "lifting" of these loops defines the structure of \(F'\).

Covering spaces are powerful tools in both theoretical and applied contexts, such as the study of fiber bundles and the unwrapping of complex shapes.

Fundamental Group

The **fundamental group** is a central concept in topology, capturing the way in which shapes can be looped around. For instance, in our scenario, the free group of a figure-eight shape \(S^1 \vee S^1\) can be seen as a fundamental group.

• **Structure:** The fundamental group of a topological space is an algebraic object that represents loops in the space, where loops can be stretched without cutting to form another loop.
• **Notation:** Denoted as \(\pi_1(X)\), it is generated by loops based at a point in the space \(X\).
• **Example:** For a figure-eight, \(\pi_1(S^1 \vee S^1)\) is isomorphic to the free group on two generators \(a\) and \(b\).
• **Usefulness:** Understanding fundamental groups aids in classifying spaces up to "homotopy equivalence," meaning spaces can be morphed into one another via continuous transformations.

The concept of the fundamental group ties together algebra and topology, allowing for the classification and understanding of various spaces through loop structures.