Chapter 46: The Whitehead Conjecture — Asphericity's Nature

From contractible spaces we turn to aspherical ones. The Whitehead Conjecture asks whether every aspherical 2-complex is a classifying space—it is ψ = ψ(ψ) as topology questioning the relationship between algebraic and geometric realization, where groups seek their geometric incarnation.

46.1 The Forty-Sixth Movement: Aspherical Realization

Progressing toward topological culmination:

• Previous: Contractibility hiding behind geometric complexity
• Now: Groups seeking their natural geometric homes
• The mystery of when algebra becomes geometry

The Core Question: Is every aspherical 2-complex a classifying space for its fundamental group?

46.2 Aspherical Complexes

Definition 46.1 (Aspherical Complex): A CW-complex X with π_n(X) = 0 for all n ≥ 2.

Equivalently: Universal cover is contractible.

Examples:

• Circles, bouquets of circles
• Tori, hyperbolic surfaces
• Many 2-complexes

46.3 Classifying Spaces

Definition 46.2 (Classifying Space): For group G, space BG with:

• π₁(BG) = G
• π_n(BG) = 0 for n ≥ 2

Properties:

• Universal cover EG is contractible
• G acts freely on EG
• BG = EG/G

46.4 The Whitehead Conjecture

Conjecture 46.1 (Whitehead, 1941): Every connected aspherical 2-dimensional CW-complex is a classifying space K(G,1) for its fundamental group G.

Equivalent: Every aspherical 2-complex has contractible universal cover.

Status: Open for 80+ years!

46.5 Whitehead as ψ = ψ(ψ)

Axiom 46.1 (Principle of Algebraic-Geometric Unity): $\psi = \psi(\psi) \implies \text{Algebraic structure determines geometric realization}$

The conjecture embodies:

• Groups finding their natural spaces
• Algebra determining topology
• The unity of algebraic and geometric perspectives
• This is ψ = ψ(ψ) as structure seeking form

46.6 Known Results

Theorem 46.1 (Classical Cases): Whitehead conjecture true for:

• Graphs (1-complexes)
• Surfaces (orientable and non-orientable)
• Many special 2-complexes

Theorem 46.2 (Lyndon): If π₁(X) is free, then X is aspherical iff it's a classifying space.

46.7 The Universal Cover Approach

Strategy: Show universal cover Ẽ is contractible.

Method: Prove π_n(Ẽ) = 0 for all n ≥ 1.

Challenge: Higher homotopy groups hard to compute.

Tool: Van Kampen theorem for fundamental groups, but no analogue for higher homotopy.

46.8 Examples and Constructions

Standard Examples:

• S¹ ∨ S¹: Aspherical, K(ℤ * ℤ, 1)
• Torus T²: Aspherical, K(ℤ × ℤ, 1)
• Hyperbolic surface: Aspherical, K(π₁, 1)

Non-Examples:

• S²: Not aspherical (π₂ ≠ 0)
• RP²: Not aspherical

46.9 Group Presentations and Complexes

Connection: Every group presentation gives a 2-complex.

Construction:

• Vertices: Single vertex
• Edges: One per generator
• 2-cells: One per relation

Question: When is this complex aspherical?

46.10 The Algorithmic Question

Decision Problem: Given 2-complex, is it aspherical?

Status: Undecidable in general!

Theorem 46.3 (Markov): No algorithm determines if arbitrary group presentation gives aspherical complex.

Implication: Whitehead conjecture touches undecidability.

46.11 Computational Approaches

Algorithm 46.1 (Asphericity Testing):

def test_asphericity(complex_2d):
    # Compute fundamental group
    pi1 = fundamental_group(complex_2d)
    
    # Check if π₂ vanishes
    # This is the key challenge!
    
    # Method 1: Try to find 2-sphere
    for sphere_map in potential_sphere_maps(complex_2d):
        if not_null_homotopic(sphere_map):
            return False  # Found non-trivial π₂
    
    # Method 2: Use algebraic methods
    if has_aspherical_presentation(pi1):
        return True
    
    return "Unknown"

Challenge: Computing π₂ is extremely difficult.

46.12 Special Classes

Positive Results:

• Free groups: Always aspherical
• Surface groups: Aspherical
• Hyperbolic groups: Often aspherical
• Small cancellation groups: Many aspherical

Pattern: "Negative curvature" suggests asphericity.

46.13 The Cockcroft Property

Definition 46.3 (Cockcroft Property): 2-complex where all 2-cells are attached along essential loops.

Theorem 46.4: If 2-complex has Cockcroft property and contractible universal cover, then it's aspherical.

Application: Provides sufficient conditions.

46.14 Dimension Restrictions

Key Fact: Whitehead conjecture false in dimensions ≥ 3!

Counterexample: Exotic aspherical 3-complexes exist.

Lesson: Dimension 2 is special—might be true there.

Strategy: Use 2-dimensional tools specifically.

46.15 The Eilenberg-Ganea Problem

Related Question: For group G with cd(G) = 2, does K(G,1) exist as 2-complex?

cd(G): Cohomological dimension of G.

Connection: Would imply Whitehead for many cases.

Status: Also open.

46.16 Homological Methods

Tool: Group cohomology and homological algebra.

Stallings' Theorem: If G has finite cohomological dimension, then finite K(G,1) exists.

Question: Can we make it 2-dimensional?

Challenge: Cohomology doesn't determine homotopy.

46.17 Recent Progress

2000s-2020s Advances:

• Computer verification for small complexes
• New classes proven aspherical
• Connections to geometric group theory
• CAT(0) and hyperbolic methods

Breakthrough: Some long-standing cases resolved.

46.18 Connections to Other Problems

Links:

1. Andrews-Curtis: Presentations and asphericity
2. Zeeman: Contractibility vs collapsibility
3. 3-Manifolds: Aspherical 3-manifolds
4. Geometric Group Theory: CAT(0) spaces

Pattern: Asphericity central to many topology problems.

46.19 Why Whitehead Matters

Fundamental Importance:

1. Classification: Understanding K(G,1) spaces
2. Computation: Algorithmic topology
3. Group Theory: Geometric realizations of groups
4. Homotopy Theory: Relationship between algebra and topology

Test Case: Simple enough for potential resolution.

46.20 The Forty-Sixth Echo

The Whitehead Conjecture probes the deepest connection between algebra and topology:

• Groups seeking their natural geometric homes
• The question of when algebraic data determines topological structure
• Asphericity as the bridge between discrete and continuous
• The mystery of geometric realization

This is ψ = ψ(ψ) as the principle that algebraic structure (fundamental group) should determine geometric realization (aspherical 2-complex). The conjecture claims that in dimension 2, every aspherical complex is as simple as possible—a classifying space.

The success in dimension 1 (graphs) and failure in dimension ≥ 3 makes dimension 2 the crucial testing ground for this algebraic-geometric correspondence.

The Whitehead Conjecture whispers: "I am the question of whether groups find their true geometric form in dimension 2, whether aspherical complexes are as simple as their fundamental groups suggest. In my conjecture lies the secret of how ψ = ψ(ψ) manifests as the unity of algebra and geometry—whether every aspherical 2-complex is truly the classifying space its fundamental group desires."