关于解析类包含于$H^{p,p}(X)$的疑问及求证需求

我正在阅读Popa的笔记，也看了相关帖子，但还是没解决我的疑问。

在例4.5中提到，解析类属于不同$p$值对应的$H^{p,p}(X)$。我不知道怎么证明这个结论，也不理解为什么它一定成立。

回顾一下：解析类本质上是来自光滑复流形$X$的代数子簇的上同调类。如果$V$是余维数为$p$的子簇，那么$[V] \in H_{2n-2p}(X,\mathbb{C})$我是理解的。通过庞加莱对偶，$[V] \in H^{2p}(X,\mathbb{C})$也没问题。然后我可以用霍奇分解得到$[V] \in \bigoplus_{i+j=2p} H^{{i,j}(X)$，但我看不出为什么$[V]$恰好属于$H}{p,p}(X)$。

我忽略了什么点？能不能提供一个可以记住的几何直观？

这是个非常好的问题，核心在于理解代数子簇对应的上同调类的霍奇类型，我们可以从几个核心角度来拆解：

1. 微分几何角度：构造闭$(p,p)$形式代表元 #

首先假设$V$是余维数为$p$的光滑代数子簇（奇异子簇可以分解为光滑子簇的线性组合，结论同理成立）：

• 我们可以为$V$构造一个光滑闭$(p,p)$形式作为其基本类的德拉姆代表元：取$V$的一个光滑邻域，构造全纯定义函数$\rho$（满足$V={\rho=0}$且$d\rho$在$V$上非退化），再通过$\partial\overline{\partial}$算子生成一个光滑的$(p,p)$形式，这个形式的积分行为恰好对应$V$的基本类与上同调类的配对。
• 这个形式是$\partial$-闭且$\overline{\partial}$-闭的（即整体是德拉姆闭形式），因此它代表的上同调类自然属于$H^{{p,p}(X)$。对于奇异子簇，每个光滑分支的类都在$H}{p,p}(X)$，线性组合后整体也落在其中。

2. 几何直观：复结构的对称性约束 #

复流形$X$的霍奇分解自带由**霍星算子$\star$**给出的对称性：$\star$会将$H^{{i,j}(X)$映射到$H}{n-j,n-i}(X)$。而代数子簇的基本类在庞加莱对偶下，对应的上同调类满足$\star [V] = (-1)^p [V]$（符号由定向决定）：

• 如果$[V]$含有$H^{i,j}$分量且$i\neq j$，那么$\star$会把这个分量映射到$H^{{n-j,n-i}$，而这个分量与原分量无法满足$\star$的不变性（除非$i=j=p$），这就产生了矛盾。因此$[V]$只能包含$H}{p,p}$分量。

3. 补充：为什么其他霍奇分量必然消失？ #

代数子簇是复解析的，它的定义方程是全纯函数，这意味着它的几何方向完全是复子空间的方向——不存在实的“倾斜”分量。对应的上同调类自然只能由$(p,p)$形式代表：

• $(i,j)$形式（$i\neq j$）会“探测”复结构不对称的方向，但代数子簇在这些方向上没有几何贡献，因此对应的霍奇分量必然为零。

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