Problem 7 - Algebraic Topology

Question

Let \(X\) be the quotient space of \(S^{2}\) obtained by identifying the north and south poles to a single point. Put a cell complex structure on \(X\) and use this to compute \(\pi_{1}(X)\)

Step-by-Step Solution

Answer

The fundamental group \(\pi_1(X) = \mathbb{Z}/2\mathbb{Z}\).

Step 1: Understanding the Problem

We are asked to consider the quotient space of the 2-sphere, \(S^2\), where we identify the north and south poles to a single point. Our goal is to give this space a cell complex structure and use it to find \(\pi_1(X)\), the fundamental group of \(X\).

Step 2: Identifying the Points

In the given problem, \(X\) is the space obtained from \(S^2\) by identifying the north pole \(N\) and the south pole \(S\) into a single point, let's call it \(P\). Thus, any path connecting \(N\) to \(S\) becomes a loop at \(P\).

Step 3: Constructing Cell Complex Structure

We can represent \(S^2\) as a cell complex with one 0-cell at the poles, one 1-cell extending along a longitude, and one 2-cell covering the entire surface except the poles. By identifying \(N\) and \(S\), \(P\) becomes a single 0-cell. The 1-cell wraps around from this point back to itself, and the 2-cell covers the rest of the sphere.

Step 4: Feeling the Structure

The identified 0-cell \(P\) acts as a single point, and the corresponding 1-cell becomes a loop at \(P\). The 2-cell glues to the loop and completes the structure, resembling a topological space similar to a real projective plane \(RP^2\).

Step 5: Computing \(\pi_1(X)\)

The fundamental group \(\pi_1(RP^2)\) is known to be \(\mathbb{Z}/2\mathbb{Z}\), because \(RP^2\) can be considered as \(S^2\) with antipodal points identified, which translates to our construction of \(X\). Hence, the fundamental group of \(X\) is also \(\mathbb{Z}/2\mathbb{Z}\).

Step 6: Final Answer

The fundamental group \(\pi_1(X) = \mathbb{Z}/2\mathbb{Z}\). This group indicates that any loop can either be trivial (homotopic to a point) or generate a non-trivial class corresponding to the \(\mathbb{Z}/2\mathbb{Z}\) structure being either an even or odd number of twists around the 2-cell.

Key Concepts

Cell Complex

A cell complex is a method of constructing topological spaces by assembling basic building blocks called 'cells.' These cells come in different dimensions: 0-cells are points, 1-cells are line segments, and 2-cells are surfaces like disks. Higher dimensional cells, such as 3-cells, can also exist.

In our specific example of the quotient space obtained from the 2-sphere ( S^{2} ), we start with a basic cell complex. When we identify the north and south poles into a single point, we have:

• One 0-cell, representing the identified point at what used to be the poles.
• One 1-cell, acting as a loop connecting back to the same point.
• One 2-cell, covering the entire surface minus the points where identification occurs.

As a result, the cell complex gives structure to our space, providing insight into its topology by describing how these cells fit together. This makes it easier to visualize and compute properties of the space, such as its fundamental group.

Fundamental Group

The fundamental group, denoted \(\pi_1(X)\\), is a key algebraic invariant used in topology. It describes the different classes of loops in a topological space, capturing information about the space's shape and structure.

For any given topological space like our quotient space \(X\), we look for paths, or loops, that return back to a starting point and explore how these paths can be continuously transformed into one another.

• If all loops can be shrunk to a point, the space is called simply connected — with its fundamental group being the trivial group.
• However, in our case of \(X\), which behaves similarly to the real projective plane (RP^{2}), the fundamental group turns out to be non-trivial.
• \(\pi_1(RP^2) = \mathbb{Z}/2\\mathbb{Z}\\), indicating each loop is equivalent to one twist or a non-twist. This ability to have loops that cannot be shrunk to a single point is captured in this group structure.

Understanding the fundamental group gives valuable insight into the inherent properties of the space that are preserved under continuous mappings.

Real Projective Plane (RP^2)

The Real Projective Plane, denoted \(RP^2\), is a fascinating topological space that arises when we consider a 2-sphere \(S^2\) with antipodal points identified.

In simpler terms, imagine taking each point on a sphere and identifying it with its directly opposite point. This creates a surface you cannot visually represent in 3D without considering some distortions or crossings.

Key features of \(RP^2\):

• It is non-orientable, meaning it lacks a consistent orientation, akin to the surface of a Möbius strip.
• It can be represented in terms of a cell complex, as demonstrated with our quotient space \(X\) example.
• The fundamental group of \(RP^2\) is \(\mathbb{Z}/2\mathbb{Z}\), reflecting the concept of a one-sided surface and how paths loop through the space.

Understanding \(RP^2\) deepens our exploration into different topological spaces and their characteristics because it is a simple member of the broader class of projective spaces.