Search the corpus

    $n$-connected $n$-dimensional CW complexes are contractible

    E-HAT-4.1-12

    Area
    Topology
    Topics
    Higher Homotopy Groups
    Status
    draft

    Show that an \(n\)-connected, \(n\)-dimensional CW complex is contractible.

    Solution

    Let \(X\) be an \(n\)-connected, \(n\)-dimensional CW complex. Thus \[ \pi_i(X)=0\qquad(0\le i\le n). \] Suppose some higher homotopy group were nonzero, and let \(m>n\) be the least integer with \[ \pi_m(X)\ne0. \] Then \(X\) is \((m-1)\)-connected. By the Hurewicz theorem, the Hurewicz map \[ \pi_m(X)\longrightarrow H_m(X;\mathbb Z) \] is an isomorphism. Hence \(H_m(X;\mathbb Z)\ne0\).

    But \(X\) has no cells in dimensions greater than \(n\), so its cellular chain complex is zero above dimension \(n\). Therefore \[ H_m(X;\mathbb Z)=0\qquad(m>n), \] a contradiction. Thus every homotopy group of \(X\) is trivial.

    The map \(X\to *\) is consequently an isomorphism on all homotopy groups. Since \(X\) and a point are CW complexes, Whitehead’s theorem implies that \(X\to *\) is a homotopy equivalence. Hence \[ \boxed{X\text{ is contractible}.} \]