Problem 35

Question

Use the Mayer-Vietoris sequence to show that a nonorientable closed surface, or more generally a finite simplicial complex $X$ for which $H_{1}(X)$ contains torsion, cannot be embedded as a subspace of $\mathrm{R}^{3}$ in such a way as to have a neighborhood homeomorphic to the mapping cylinder of some map from a closed orientable surface to $X .$ IThis assumption on a neighborhood is in fact not needed if one deduces the result from Alexander duality in $\$ 3.3 .\rfloor$.

Step-by-Step Solution

Verified

Answer

A surface with torsion in $H_1(X)$ cannot be embedded in $\mathbb{R}^3$ due to homological constraints.

1Step 1: Understand the Problem

Identify what needs to be proven. We need to show that a nonorientable closed surface or a finite simplicial complex $X$ with torsion in $H_1(X)$ cannot be embedded into $\mathbb{R}^3$ with a neighborhood homeomorphic to the mapping cylinder of a map from a closed orientable surface to $X$.

2Step 2: Identify Key Concepts

Recognize that the problem involves concepts from algebraic topology, such as Mayer-Vietoris sequence, torsion in homology, embedding in $\mathbb{R}^3$, and mapping cylinders. We will use these concepts to demonstrate the impossibility of such an embedding.

3Step 3: Apply Mayer-Vietoris Sequence

Suppose $X$ is embedded in $\mathbb{R}^3$ with the stated neighborhood condition. Decompose $\mathbb{R}^3$ into two overlapping subspaces such that their intersection is $X$, and recall the Mayer-Vietoris sequence for cohomology. This sequence helps analyze how homology behaves within $X$.

4Step 4: Analyze Torsion in Homology

Since $H_1(X)$ contains torsion, analyze the corresponding terms in the Mayer-Vietoris sequence. The Mayer-Vietoris sequence would suggest a contradiction if $X$ were embedded with such a neighborhood, as the presence of torsion conflicts with the global homological properties in $\mathbb{R}^3$.

5Step 5: Conclude Non-Embeddability

Establish that due to the homological constraints, $X$ cannot be embedded in $\mathbb{R}^3$ with the specified neighborhood structure. This contradiction implies that the assumptions about the embedding must be false.

Key Concepts

Alexander DualityTorsion in HomologyNonorientable SurfaceEmbedding in $\mathbb{R}^3$

Alexander Duality

Alexander duality is a powerful theorem in algebraic topology that relates the topology of a space to the topology of its complement. It provides insight into how spaces are structured by analyzing their surroundings in an ambient space like $\mathbb{R}^3$.
For a compact subset $X$ of $\mathbb{R}^n$, Alexander duality states that the reduced homology of $X$ is isomorphic to the reduced cohomology of its complement. This duality helps us find information about the internal structure of $X$ by understanding the properties of the space around $X$.
Applying Alexander duality to our exercise provides a perspective that highlights contradictions when trying to embed non-orientable surfaces with torsion in homology into $\mathbb{R}^3$. Specifically, it reveals that the presence of torsion in the first homology group $H_1(X)$ brings about inconsistencies with the expected homological properties in three-dimensional space, emphasizing why such an embedding isn't possible.

Torsion in Homology

Torsion in homology refers to elements of a homology group that have finite order. In simpler words, these are elements that, when added to themselves a certain number of times, result in a zero element of the group.
Torsion can be a bit tricky because it muddles the straightforward understanding that homology groups offer about a space's structure. This is especially true in the context of spaces like non-orientable surfaces, where torsion captures essential topological peculiarities.
The exercise highlights how torsion within $H_1(X)$ prevents $X$ from being embedded in $\mathbb{R}^3$. When we try to apply algebraic tools like the Mayer-Vietoris sequence, the presence of torsion causes inconsistencies. These inconsistencies manifest because $\mathbb{R}^3$ possesses a homological structure fundamentally incompatible with torsion, reinforcing that such complex surfaces cannot have the required neighborhood structure.

Nonorientable Surface

A nonorientable surface is a surface in which we can't consistently define a "surface normal" at all points. Classic examples include the Möbius strip and the Klein bottle.
Unlike orientable surfaces that have two distinct sides, nonorientable surfaces defy this intuition, making them intricate to understand and visualize.
Attempting to embed a nonorientable surface within $\mathbb{R}^3$ results in perplexing situations, primarily due to the winding and twisting nature of these surfaces. In our exercise, the requirement for a neighborhood akin to a mapping cylinder adds constraints that only highlight the incompatibility of such surfaces with the desired domain of $\mathbb{R}^3$. This is mainly due to the discord between the intrinsic topology of nonorientable surfaces and the ambient space's three-dimensional structure.

Embedding in $\mathbb{R}^3$

Embedding deals with how a surface or space can be mapped into another space—specifically, smoothly and without "self-intersection". When embedding a complex surface like our exercise's $X$ into $\mathbb{R}^3$, several complications arise.
### Considerations of Embedding:

Dimensional Compatibility: The surface must conform to the three-dimensional nature of $\mathbb{R}^3$.
Neighborhood Structure: It should respect the ambient space's properties, adhering to similarities like mapping cylinders of maps from simpler surfaces.
Homological Properties: The fundamental "holes" and "bridges" detected by homology should be represented coherently in $\mathbb{R}^3$.

Given these points, while simpler, orientable surfaces might be embeddable, nonorientable surfaces with torsion in $H_1(X)$ bring unavoidable homological clashes. These clashes elucidate the broader thematic reflection in the nature of algebraic topology—a world where not every topological structure can find a place, at least not in the straightforward, smooth manner in $\mathbb{R}^3$.

Problem 34

Problem 36