关于同调、同伦与上同调对偶关系的技术疑问

嘿，这个疑问特别常见，尤其是刚接触拓扑里各种“对偶”概念的时候——我当年啃Bott & Tu这本书时也在这儿卡过一会儿！咱们一步步理清楚：

首先得明确你最初的认知没毛病：同调（homology）和上同调（cohomology）才是严格意义上的代数对偶。具体来说：

• 当系数是域的时候，同调群和上同调群是向量空间的对偶空间（比如德拉姆上同调和奇异同调在光滑流形上的对偶，或者系数域F下的奇异同调$H_n(X;F)$和上同调$H^n(X;F)$是对偶向量空间）；
• 哪怕是整数系数，上同调也是通过Hom函子从同调构造出来的：$H^n(X;\mathbb{Z}) = \text{Hom}(H_n(X;\mathbb{Z}), \mathbb{Z})$，这是代数层面的标准对偶构造。

那Bott & Tu书里提到的“同伦（homotopy）和上同调对偶”是什么意思呢？这不是代数上的严格对偶，而是几何直觉、研究视角层面的“对偶”，或者说两者是互补的刻画方式：

• 同伦群（比如基本群$\pi_1$，高阶同伦群$\pi_n$）是从“映射的等价类”出发：比如$\pi_n(X)$是n维球面到X的连续映射的同伦类，本质是找X里那些“不能连续收缩到一点”的n维“球面状”结构，是一种“从内向外”的构造；
• 上同调群（比如德拉姆上同调、奇异上同调）是从“函数/形式的等价类”出发：比如德拉姆上同调里的闭形式，本质是给X的n维子区域赋值，通过积分可以检测某个同伦类的球面是否“非平凡”——如果闭形式在这个球面上的积分不为零，就说明这个球面不能收缩，这是一种“从外向内”的刻画。

书里那句原文：

"the two concepts are dual to each other"

这里的“对偶”就是指这种几何直觉上的互补关系，不是代数结构上的严格对偶。举个例子：球面$S^{n$的$\pi_n(S}n)\cong\mathbb{Z}$，而$H^n(Sn;\mathbb{Z})\cong\mathbb{Z}$，两者之间有一个配对（把同伦类映射到闭形式在它上面的积分），看起来像是对偶，但这只是特殊情况——对于一般的空间，同伦群和上同调群的结构差得很远（比如$\pi_2(S^{1)=0$，但$H}2(S^{1;\mathbb{Z})=0$，这时候配对没意义；再比如$\pi_3(S}2)\cong\mathbb{Z}$，但$H^3(S2;\mathbb{Z})=0$，这时候就没有非平凡的配对）。

总结一下：

• 严格代数对偶：同调 ↔ 上同调（有明确的代数构造支撑）
• 概念/视角对偶：同伦 ↔ 上同调（几何直觉上的互补，通过积分配对联系，但不是严格的代数对偶）

备注：内容来源于stack exchange，提问作者Alex