nLab
n-connected map

Contents

Definition

An nn-connected map is an nn-connected morphism in the (∞,1)-topos ∞Gpd, usually considered as presented by the model category Top of topological spaces.

Definition

A map of topological spaces f:XYf \colon X \to Y is nn-connected (or an nn-equivalence) if for all ini \le n and all commutative squares

S i1 u X f D i v Y \begin{matrix} S^{i-1} & \overset{u}{\longrightarrow} & X \\ \downarrow & & \, \downarrow f \\ D^i & \underset{v}{\longrightarrow} & Y \end{matrix}

there exists a map w:D iXw \colon D^i \to X such that w|S i1=uw | S^{i-1} = u and fwf w is homotopic to vv relative to S i1S^{i-1}.

Properties

Proposition

For a map f:XYf \colon X \to Y and an integer n1n \ge -1 the following conditions are equivalent.

  1. ff is nn-connected.

  2. All homotopy fibers of ff are (n1)(n-1)-connected.

Proposition

Let f:XYf \colon X \to Y and g:YZg \colon Y \to Z be maps of spaces.

  1. If ff and gg are nn-connected, then so is gfg f.

  2. If ff is (n1)(n-1)-connected and gfg f is nn-connected, then gg is nn-connected.

  3. If gg is (n+1)(n+1)-connected and gfg f is nn-connected, then ff is nn-connected.

Proposition

Let

B A C g f h B A C \begin{matrix} B & \longleftarrow & A & \longrightarrow & C \\ g \downarrow & & \downarrow f & & \, \downarrow h \\ B' & \longleftarrow & A' & \longrightarrow & C' \end{matrix}

be a commutative diagram of maps of spaces. If ff is (n1)(n-1)-connected and gg and hh are nn-connected, then the induced map between homotopy pushouts B A hCB A hCB \sqcup_A^h C \to B' \sqcup_{A'}^h C' is nn-connected.

This is (tom Dieck, Theorem 6.7.9).

Proposition

Let

Y X Z g f h Y X Z \begin{matrix} Y & \longrightarrow & X & \longleftarrow & Z \\ g \downarrow & & \downarrow f & & \, \downarrow h \\ Y' & \longrightarrow & X' & \longleftarrow & Z' \end{matrix}

be a commutative diagram of maps of spaces. If ff is (n+1)(n+1)-connected and gg and hh are nn-connected, then the induced map between homotopy pullbacks Y× X hZY× X hZY \times_X^h Z \to Y' \times_{X'}^h Z' is nn-connected.

References

  • Tammo tom Dieck, Algebraic topology. European Mathematical Society, Zürich, 2008.

Revised on September 7, 2012 02:34:43 by Toby Bartels (98.23.143.147)