高阶同伦群

${\pi }_1$ 让一维回路试探空间中的洞，${\pi }_n$ 则让整个 $n$ 维球面同时试探：代表元能否为零，等价于球面映射能否延拓到 $D^{n+1}$。这里探测的是“映射怎样缠绕”，而不是寻找空间里一只实际嵌入的球。一个非零类可以由高度自交的映射表示，也可能在所有同调群都看不出的情况下仍然存在。

降维观点尤其有用。把 $S^n$ 看成 $S^{n-1}$ 族的回路，可得自然同构

其中 $\mathrm{\Omega }X$ 是环路空间公理库环路空间Loop space · Based loop space由固定起终点的环路组成、把空间同伦信息降一维的映射空间。。它把高一维球面问题转成函数空间中的低一维问题，却没有把 $X$ 与 $\mathrm{\Omega }X$ 本身视为同一空间。

恒等映射 ${\mathrm{id}}_{S^n}$ 给出 ${\pi }_n(S^n)\cong \mathbb{Z}$ 的生成元；一般映射 $f:S^n\to S^n$ 的类由次数 $\mathrm{deg}f$ 决定。若取标准体积形式 $\omega$ 并归一化为 ${\int }_{S^n}\omega =1$，光滑代表满足

例如复映射 $z\mapsto z^m$ 在 $S^1$ 上次数为 $m$，拼接对应整数相加。另一方面，当 $k<n$ 时 ${\pi }_k(S^n)=0$：胞腔逼近可把 $S^k\to S^n$ 变形成避开一点的映射，而 $S^n\setminus \{p\}\cong {\mathbb{R}}^n$ 可缩。

同调并不决定高阶同伦。Hopf 映射

代表 ${\pi }_3(S^2)\cong \mathbb{Z}$ 的生成元；不同正则值的逆像是两条链环一次的圆。可是 $H_3(S^2;\mathbb{Z})=0$，所以该类在三维同调中完全消失。这不是计算误差，而是同伦群保留的非线性粘连信息。

反过来，若一个映射 $g:X\to Y$ 在 ${\pi }_0$ 上给出双射，并对每个分支所选基点、每个 $n\ge 1$ 都诱导同构 $g_{\ast }:{\pi }_n(X)\to {\pi }_n(Y)$，才称它为弱同伦等价；仅知道两边各阶群抽象同构，甚至还不足以得到这样一张映射。一般空间之间的弱同伦等价未必存在同伦逆；Whitehead 定理需要两端具有 CW 复形同伦型。因而“所有 ${\pi }_n$ 看起来相同”不能在缺少映射与良好空间假设时直接升级为同伦等价公理库同伦等价Homotopy equivalence存在互为同伦逆的连续映射时，两个空间具有相同的同伦类型。。

高阶同伦群把提升、延拓和附着问题转成群元素。空间对给出相对同伦群及连接同态；纤维化把纤维、总空间与底空间的各阶群排成长正合列。第一个非零同伦群可由 Hurewicz 同态线性化为同调，而更高层之间的偏差则需要 Whitehead 积、Postnikov 不变量与谱序列继续记录。

计算上，球面的稳定区、纤维丛的边界映射以及胞腔附着映射都以 ${\pi }_n$ 为坐标。必须同时注明基点、维数和空间类别：忽略基点会丢掉 ${\pi }_1$ 对高阶群的作用，忽略 CW 型条件会把弱等价误当成真正的同伦逆。

胞腔附着给出一条可操作的机制：沿 $\alpha :S^n\to X$ 附着一枚 $(n+1)$-胞腔后，$\alpha$ 在新空间中因特征圆盘而变成零类，相对同伦群记录这次新增填充。但“杀掉 $\alpha$”不等于只把 ${\pi }_n(X)$ 商掉一个元素；附着还可能在更高维制造新的 Whitehead 型关系，必须结合相对长正合列逐层判断。