关于复流形上同调的困惑：全纯de Rham上同调与复系数奇异上同调的关系

首先完全不用道歉！入门复流形时，不同上同调理论的次数对应和关联确实很容易搞混，尤其是从复代数簇背景过来的话，拓扑层面和复分析层面的概念容易交叉混淆，这太正常了。

我们一步一步拆解你的问题：

先明确两个上同调的本质差异 #

• 复系数奇异上同调：这是纯拓扑层面的理论，它把复流形$X$看作一个实$2n$维光滑流形来研究，所以它的上同调次数是实次数，从0到$2n$，覆盖了所有偶次和奇次的拓扑上同调类——这些类描述的是流形的拓扑性质，比如有没有不可收缩的环路、有没有“洞”之类的，和复结构无关。
• 全纯de Rham上同调：这是复分析/复几何层面的理论，它只用到全纯微分形式——也就是在复坐标下，每个分量都是全纯函数的微分形式。全纯$p$-形式对应的是复流形上的$(p,0)$型微分形式（$p$个全纯微分$dz_i$的楔积），所以它的次数是复次数，最高只能到复维数$n$，因为你最多只能楔积$n$个线性无关的$dz_i$。

两者的关联：核心是Hodge分解 #

你的困惑点“为什么它们会有联系”，关键在于Hodge分解定理（针对紧Kähler流形——这是一类非常重要的复流形，比如所有紧复代数簇都是Kähler流形）：

对于紧Kähler流形$X$，复系数奇异上同调的每个实次数$k$的群可以分解为Hodge分量的直和：
$$H^k(X,\mathbb{C}) = \bigoplus_{p+q=k} H^{p,q}(X)$$
其中$H^{p,q}(X)$是$(p,q)$型调和微分形式的上同调群（满足$\partial\alpha=0$且$\overline{\partial}\alpha=0$的$(p,q)$形式）。

而全纯de Rham上同调的$p$次群$H^{p_{hol}(X)$，其实就是$H}{p,0}(X)$——也就是$(p,0)$型全纯形式的上同调群，它是$H^p(X,\mathbb{C})$（实次数$p$的奇异上同调）的一个子空间。

反过来，奇异上同调的偶次群（比如$H^{2p}(X,\mathbb{C})$）里包含了$(p,p)$型分量，这部分和全纯形式的共轭有关，但和全纯de Rham上同调的直接对应关系是在$(p,0)$分量上。

如果是非紧的复流形，比如Stein流形（比如$\mathbb{C}^n$、仿射代数簇），情况更特殊：根据Cartan定理B，全纯de Rham上同调$H^{p_{hol}(X)$和复系数奇异上同调$H}p(X,\mathbb{C})$是同构的！而且Stein流形的实次数$p>n$的奇异上同调群都是0，这时候全纯de Rham上同调的最高次数$n$就和奇异上同调的非零最高次数对应上了。

学习资料推荐 #

如果想深入了解，推荐几本经典教材：

• 《Complex Geometry: An Introduction》（D.Huybrechts）：这本书的讲解非常友好，从基础的复流形概念过渡到Hodge理论和上同调，特别适合从代数簇背景转过来的读者，章节安排循序渐进。
• 《Principles of Algebraic Geometry》（Griffiths & Harris）：虽然难度稍高，但内容极其全面，详细覆盖了复流形上的各种上同调理论，包括全纯de Rham上同调和奇异上同调的关联，是代数几何和复几何领域的经典参考书。
• 《Differential Forms in Algebraic Topology》（Bott & Tu）：从微分拓扑的角度出发，把de Rham上同调、奇异上同调的关系讲得很透彻，也涉及复流形的相关内容，能帮你打通拓扑和复分析的脉络。

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