紧致无边连通可定向流形上，H_{dR}^1(M)≃ℝⁿ及映射I为同构的原因

数据老陈

2026-5-19

关于紧致可定向无边界流形的德拉姆上同调问题解答

问题1：当$H_1(M,\mathbb{Z})$有n个生成元时，为何$H_{dR}^1(M) \simeq \mathbb{R}^n$？

这里可以从两个核心角度解释，其中就包含你提到的霍奇定理：

路径1：德拉姆定理+万有系数定理
首先，德拉姆定理告诉我们，紧致光滑流形的德拉姆上同调群和实系数奇异上同调群是同构的：
$$H_{dR}^k(M) \simeq H^k(M, \mathbb{R})$$
接下来对第一上同调群用上同调万有系数定理，对于紧致流形，我们有：
$$H^1(M, \mathbb{R}) \simeq \text{Hom}(H_1(M, \mathbb{Z}), \mathbb{R})$$
紧致流形的奇异同调群都是有限生成阿贝尔群，题目里$H_1(M,\mathbb{Z})$有n个生成元，说明它可分解为 $\mathbb{Z}^n \oplus T$ （T是挠子群）。而挠子群T到$\mathbb{R}$的同态只能是零同态（因为$\mathbb{R}$中没有非零有限阶元素），因此：
$$\text{Hom}(H_1(M, \mathbb{Z}), \mathbb{R}) \simeq \text{Hom}(\mathbb{Z}^n, \mathbb{R}) \simeq \mathbb{R}^n$$
结合德拉姆定理的同构，就得到 $H_{dR}^1(M) \simeq \mathbb{R}^n$ 。
路径2：霍奇定理
霍奇定理指出，紧致黎曼流形的德拉姆上同调群和对应的调和形式空间同构：
$$H_{dR}^k(M) \simeq \mathcal{H}^k(M)$$
这里$\mathcal{H}^{k(M)$是闭且余闭的k-形式构成的实向量空间，它的维数正好等于流形的第k个贝蒂数$b_k(M)$——也就是$H_1(M,\mathbb{Z})$的秩（挠子群不影响贝蒂数）。题目中$H_1(M,\mathbb{Z})$有n个生成元，说明其秩为n，因此$\mathcal{H}}1(M)$是n维实向量空间，自然同构于$\mathbb{R}^n$，进而得到 $H_{dR}^1(M) \simeq \mathbb{R}^n$ 。

首先明确：I是线性映射（因为积分运算满足线性性），所以我们只需要证明它是单射和满射即可。

假设 $I([a]) = (0, 0, ..., 0)$ ，即对每个生成元$\sigma_i$， $\int_{\sigma_i} a = 0$ 。我们需要证明[a]是德拉姆上同调中的零类（即a是恰当形式，存在光滑函数f使得 $a = df$ ）。

周期映射视角：$H_1(M,\mathbb{Z})$的生成元张成了实同调群 $H_1(M,\mathbb{R})$ （挠子群张量$\mathbb{R}$后消失），因此任何实同调类 $[\gamma] \in H_1(M,\mathbb{R})$ 都可以写成 $\sum_{i=1}^n c_i [\sigma_i]$ （$c_i \in \mathbb{R}$）。此时 $\int_\gamma a = \sum_{i=1}^n c_i \int_{\sigma_i} a = 0$ ，说明a的所有周期都是0。根据德拉姆定理的周期映射版本，周期映射 $H_{dR}^1(M) \to \text{Hom}(H_1(M,\mathbb{R}), \mathbb{R})$ 是同构，周期全为0的闭形式必然是恰当形式，因此 $[a] = 0$ ，I是单射。
霍奇定理辅助：如果a是闭形式且所有周期为0，那么a与所有调和1-形式正交（通过霍星算子定义的内积 $\langle a, b \rangle = \int_M a \wedge *b$ ）。霍奇定理告诉我们每个德拉姆上同调类对应唯一的调和形式，正交于所有调和形式的闭形式只能是恰当形式，因此 $[a] = 0$ ，单射得证。

我们需要证明：对任意 $(c_1, c_2, ..., c_n) \in \mathbb{R}^n$ ，存在闭1-形式a，使得 $\int_{\sigma_i} a = c_i$ 对所有i成立。

对偶基思路：因为 $H_{dR}^1(M) \simeq \mathbb{R}^n$ ，它的对偶空间是 $H_1(M,\mathbb{R})$ 。而$\sigma_1,..., \sigma_n$是 $H_1(M,\mathbb{Z})$ 的生成元，对应 $H_1(M,\mathbb{R})$ 的一组基。根据对偶空间的性质， $H_{dR}^1(M)$ 中存在一组基 $\alpha_1, ..., \alpha_n$ ，满足 $\int_{\sigma_j} \alpha_i = \delta_{ij}$ （克罗内克函数，i=j时为1，否则为0）。取 $a = \sum_{i=1}^n c_i \alpha_i$ ，则 $\int_{\sigma_j} a = \sum_{i=1}^n c_i \delta_{ij} = c_j$ ，正好满足要求，因此I是满射。
霍奇定理视角：调和形式空间 $\mathcal{H}^1(M)$ 是n维实向量空间，取它的一组基 $\beta_1,..., \beta_n$ 。由于周期映射是同构，我们可以找到对应的调和形式 $\alpha_i$ ，使得 $\int_{\sigma_j} \alpha_i = \delta_{ij}$ ，之后通过线性组合得到满足条件的a，满射得证。

因为I是线性映射，且既单又满，所以它是同构。

内容的提问来源于stack exchange，提问作者Hugo