霍奇理论

在数学中，霍奇理论（英语：Hodge theory），以威廉·瓦伦斯·道格拉斯·霍奇命名，是一种使用偏微分方程研究光滑流形 $M$ 的上同调群的方法。 其关键观察在于，给定 $M$ 上的一个黎曼度量，每个上同调类都有一个规范代表元，即在该度量的拉普拉斯算子下消失的微分形式。这样的形式被称为调和形式（harmonic forms）。

该理论由霍奇在 1930 年代开发，旨在研究代数几何，它建立在乔治·德·拉姆关于德拉姆上同调的工作基础之上。它在两个主要设定中具有重大应用——黎曼流形和凯勒流形。霍奇的主要动机，即对复射影簇的研究，被包含在后一种情况中。霍奇理论已成为代数几何中的重要工具，特别是通过其与代数闭链（algebraic cycles）研究的联系。

虽然霍奇理论本质上依赖于实数和复数，但它可以应用于数论问题。在算术情况下，p-进霍奇理论的工具已经给出了经典霍奇理论的替代证明或类似结果。

霍奇理论的核心思想可以用一句话概括：“形状的拓扑特征（有多少个洞），可以通过寻找能量最低的物理状态来确定。”

我们可以这样想像：

• 拓扑学（软）：想像一个形状像轮胎（环面）的物体。拓扑学家关心的是它有一个“洞”。这个洞是抽象的，无论你怎么挤压轮胎，洞都在那里。
• 几何与物理（硬）：霍奇理论引入了物理学的视角。想像在这个轮胎表面通上电流或热流。
• 调和形式（平衡态）：电流会自然地寻找阻力最小的路径，热量会自然地扩散直到均匀。这种“自然均匀”或“能量最低”的状态，在数学上就是**调和形式**。

霍奇理论告诉我们：每一个抽象的“洞”，都恰好对应一种独特的、完美的“能量平衡状态”。因此，我们可以通过解物理方程（拉普拉斯方程）来算出这个物体有多少个洞。

历史

代数拓扑领域在 1920 年代仍处于起步阶段。当时尚未发展出上同调的概念，且微分形式与拓扑学之间的互动也鲜为人知。1928 年，埃利·嘉当发表了一个名为《封闭群空间的贝蒂数》（Sur les nombres de Betti des espaces de groupes clos）的想法，他在其中建议——但未证明——微分形式和拓扑学应该联系起来。当时还是学生的乔治·德·拉姆在阅读后深受启发。在他 1931 年的论文中，他证明了一个现在称为德拉姆定理的结果。根据斯托克斯定理，微分形式沿奇异链的积分会诱导出如下所示的双线性配对（对于任何紧致光滑流形 $M$）：

$H_{k}(M;\mathbf {R} )\times H_{\text{dR}}^{k}(M;\mathbf {R} )\to \mathbf {R} .$

正如最初所述， 德拉姆定理断言这是一个完美配对，因此左侧的每一项都是彼此的向量空间对偶。用现代语言来说，德拉姆定理通常被表述为实系数奇异上同调与德拉姆上同调同构：

$H_{\text{sing}}^{k}(M;\mathbf {R} )\cong H_{\text{dR}}^{k}(M;\mathbf {R} ).$

德拉姆的原始陈述则是实数域上奇异上同调是奇异同调的对偶这一事实的结果。

另外，所罗门·莱夫谢茨在 1927 年的一篇论文中使用拓扑方法重新证明了黎曼的定理。 用现代语言来说，如果 $\omega _{1}$ 和 $\omega _{2}$ 是代数曲线 $C$ 上的全纯微分，那么它们的楔积必然为零，因为 $C$ 只有一个复维度；因此，它们的上同调类的杯积为零，这明确地给了莱夫谢茨一个关于黎曼关系的新证明。此外，如果 $\omega$ 是一个非零全纯微分，那么 ${\sqrt {-1}}\,\omega \wedge {\bar {\omega }}$ 是一个正体积形式，莱夫谢茨由此能够重新推导出黎曼不等式。1929 年，W. V. D. 霍奇得知了莱夫谢茨的论文。他立即观察到类似的原理适用于代数曲面。更准确地说，如果 $\omega$ 是代数曲面上的一个非零全纯形式，那么 ${\sqrt {-1}}\,\omega \wedge {\bar {\omega }}$ 是正的，所以 $\omega$ 和 ${\bar {\omega }}$ 的杯积必须是非零的。由此可知 $\omega$ 本身必须代表一个非零的上同调类，因此它的周期不能全为零。这解决了 Severi 的一个问题。

霍奇认为这些技术也应该适用于更高维度的簇。他的同事彼得·弗雷泽（Peter Fraser）向他推荐了德拉姆的论文。在阅读德拉姆的论文时，霍奇意识到黎曼曲面上全纯 1-形式的实部和虚部在某种意义上是彼此对偶的。他怀疑在更高维度中应该存在类似的对偶性；这种对偶性现在被称为霍奇星算子。他进一步猜想，每个上同调类都应该有一个特殊的代表元，该代表元具有它及其对偶在外导数算子下都消失的性质；这些现在被称为调和形式。霍奇在 1930 年代的大部分时间都致力于这个问题。他最早发表的证明尝试出现在 1933 年，但他认为这“极其粗糙”。当时最杰出的数学家之一赫尔曼·外尔发现自己无法确定霍奇的证明是否正确。1936 年，霍奇发表了一个新的证明。虽然霍奇认为新证明优越得多，但 Bohnenblust 发现了一个严重的缺陷。赫尔曼·外尔和小平邦彦独立地修改了霍奇的证明以修复该错误。这确立了霍奇所寻求的调和形式与上同调类之间的同构。

In retrospect it is clear that the technical difficulties in the existence theorem did not really require any significant new ideas, but merely a careful extension of classical methods. The real novelty, which was Hodge’s major contribution, was in the conception of harmonic integrals and their relevance to algebraic geometry. This triumph of concept over technique is reminiscent of a similar episode in the work of Hodge’s great predecessor Bernhard Riemann.

回顾过去，很明显存在性定理中的技术困难实际上并不需要任何重要的新思想，而仅仅是经典方法的仔细扩展。真正的新颖之处，也是霍奇的主要贡献，在于调和积分的概念及其与代数几何的相关性。这种概念胜过技术的胜利让人想起霍奇伟大的前辈伯恩哈德·黎曼工作中的类似插曲。

——M. F. 阿蒂亚, William Vallance Douglas Hodge, 17 June 1903 – 7 July 1975, Biographical Memoirs of Fellows of the Royal Society, vol. 22, 1976, pp. 169–192.

实流形的霍奇理论

德拉姆上同调

霍奇理论引用了德拉姆复形。令 $M$ 为一个光滑流形。对于非负整数 $k$，令 $\Omega ^{k}(M)$ 为 $M$ 上 $k$ 阶光滑微分形式的实向量空间。德拉姆复形是微分算子的序列：

$0\to \Omega ^{0}(M)\xrightarrow {d_{0}} \Omega ^{1}(M)\xrightarrow {d_{1}} \cdots \xrightarrow {d_{n-1}} \Omega ^{n}(M)\xrightarrow {d_{n}} 0,$

其中 $d_{k}$ 表示 $\Omega ^{k}(M)$ 上的外导数。这是一个上链复形，即 $d_{k+1}\circ d_{k}=0$（也写作 $d^{2}=0$）。 德拉姆定理表明，$M$ 的实系数奇异上同调可以由德拉姆复形计算：

$H^{k}(M,\mathbf {R} )\cong {\frac {\ker d_{k}}{\operatorname {im} d_{k-1}}}.$

要理解德拉姆上同调，我们可以想像埃舍尔的“无限楼梯”画作：

• 闭形式（$\ker d$）：这就像是你站在楼梯上，每一步都感觉是在“向上走”。在局部看来，这是合理的（微分为零，没有局部旋转）。
• 恰当形式（$\operatorname {im} d$）：这是真实的高度变化。如果你在一座真实的山上，一直向上走，你一定会到达更高的海拔。
• 上同调（$H^{k}$）：埃舍尔画作的奇妙之处在于，你一直“向上走”（闭形式），最后却回到了起点。这说明这个楼梯中间有一个“洞”（视觉错觉造成的拓扑结构）。
• 结论：上同调群就是在测量这种“看起来在上升，但实际上是在绕圈”的现象。它帮我们区分了“真正的升高”和“绕着洞转圈”。

霍奇理论中的算子

在 $M$ 上选择一个黎曼度量 $g$ 并回忆：

$\Omega ^{k}(M)=\Gamma \left(\bigwedge \nolimits ^{k}T^{*}(M)\right).$

该度量通过将 $g$ 从每个余切纤维 $T_{p}^{*}(M)$ 诱导的内积扩展（参见格拉姆矩阵）到其第 $k$ 个外积 $\bigwedge \nolimits ^{k}(T_{p}^{*}(M))$，从而在每个纤维 $\bigwedge \nolimits ^{k}(T_{p}^{*}(M))$ 上产生一个内积。$\Omega ^{k}(M)$ 上的内积定义为给定一对 $k$ 形式在 $M$ 上关于与 $g$ 相关联的体积形式 $\sigma$ 的逐点内积的积分。具体来说，给定一些 $\omega ,\tau \in \Omega ^{k}(M)$，我们有

$(\omega ,\tau )\mapsto \langle \omega ,\tau \rangle :=\int _{M}\langle \omega (p),\tau (p)\rangle _{p}\sigma .$

自然地，上述内积诱导出一个范数，当该范数在某个固定的 $k$ 形式上有限时：

$\langle \omega ,\omega \rangle =\|\omega \|^{2}<\infty ,$

那么被积函数是 $M$ 上的一个实值、平方可积函数，通过其逐点范数进行评估，

$\|\omega (p)\|_{p}:M\to \mathbf {R} \in L^{2}(M).$

考虑 $d$ 关于这些内积的伴随算子：

$\delta :\Omega ^{k+1}(M)\to \Omega ^{k}(M).$

那么形式上的拉普拉斯算子定义为

$\Delta =d\delta +\delta d.$

这是一个二阶线性微分算子，推广了 $\mathbf {R} ^{n}$ 上函数的拉普拉斯算子。根据定义，如果一个形式的拉普拉斯算子为零，则称其为“调和形式”（harmonic）：

${\mathcal {H}}_{\Delta }^{k}(M)=\{\alpha \in \Omega ^{k}(M)\mid \Delta \alpha =0\}.$

通俗来说，我们可以将上同调类比作一张松垮垮地盖在物体上的橡皮膜。

• 这张膜可以随意滑动、变形（这代表上同调类中的不同微分形式），但不能被撕破或跨越障碍物（拓扑限制）。
• 拉普拉斯算子（$\Delta$）的作用就像是测量这张膜的张力。
• 调和形式（$\Delta \alpha =0$）就是这张膜**绷得最紧、表面积最小、能量最低**的状态。

在所有的变形可能性中，大自然倾向于选择那个最“平滑”、最“均匀”的形态。霍奇定理保证了在每一个拓扑类别中，都有且只有一个这样的完美形态。

拉普拉斯算子首先出现在数学物理中。特别是，马克士威方程组表明，真空中的电磁场（即没有任何电荷）由一个 2-形式 $F$ 表示，使得在被视为 4 维闵可夫斯基空间的时空上 $\Delta F=0$。

在闭黎曼流形上的每个调和形式 $\alpha$ 都是闭的，意味着 $d\alpha =0$。因此，存在一个规范映射 $\varphi :{\mathcal {H}}_{\Delta }^{k}(M)\to H^{k}(M,\mathbf {R} )$。霍奇定理（Hodge theorem）陈述 $\varphi$ 是向量空间的同构。 换句话说，$M$ 上的每个实上同调类都有唯一的调和代表元。具体来说，调和代表元是代表给定上同调类的具有最小 $L^{2}$ 范数的唯一闭形式。霍奇定理是使用椭圆偏微分方程理论证明的，霍奇最初的论证由小平和其他人在 1940 年代完成。

例如，霍奇定理意味着闭流形的实系数上同调群是有限维的。（诚然，还有其他方法可以证明这一点。）事实上，算子 $\Delta$ 是椭圆的，而闭流形上椭圆算子的核总是有限维向量空间。霍奇定理的另一个推论是，闭流形 $M$ 上的黎曼度量在 $M$ 的整数上同调模去扭子群（modulo torsion）上确定了一个实值内积。例如，由此可知，$M$ 的等距同构群在一般线性群 ${\text{GL}}(H^{*}(M,\mathbf {Z} ))$ 中的像也是有限的（因为格的等距同构群是有限的）。

霍奇定理的一个变体是霍奇分解（Hodge decomposition）。这表明闭黎曼流形上的任何微分形式 $\omega$ 都可以唯一地分解为三部分之和：

$\omega =d\alpha +\delta \beta +\gamma ,$

其中 $\gamma$ 是调和的：$\Delta \gamma =0$。 根据微分形式上的 $L^{2}$ 度量，这给出了一个正交直和分解：

$\Omega ^{k}(M)\cong \operatorname {im} d_{k-1}\oplus \operatorname {im} \delta _{k+1}\oplus {\mathcal {H}}_{\Delta }^{k}(M).$

霍奇分解是德拉姆复形的亥姆霍兹分解的推广。

椭圆复形的霍奇理论

阿蒂亚和博特将椭圆复形定义为德拉姆复形的推广。霍奇定理可以推广到这种设定，如下所示。令 $E_{0},E_{1},\ldots ,E_{N}$ 为配备度量的向量丛，位于具有体积形式 $dV$ 的闭光滑流形 $M$ 上。假设

$L_{i}:\Gamma (E_{i})\to \Gamma (E_{i+1})$

是作用于这些向量丛的C^∞截面上的线性微分算子，并且诱导出的序列

$0\to \Gamma (E_{0})\to \Gamma (E_{1})\to \cdots \to \Gamma (E_{N})\to 0$

是一个椭圆复形。引入直和：

${\begin{aligned}{\mathcal {E}}^{\bullet }&=\bigoplus \nolimits _{i}\Gamma (E_{i})\\L&=\bigoplus \nolimits _{i}L_{i}:{\mathcal {E}}^{\bullet }\to {\mathcal {E}}^{\bullet }\end{aligned}}$

并令 $L^{*}$ 为 $L$ 的伴随。定义椭圆算子 $\Delta =LL^{*}+L^{*}L$。与德拉姆情况一样，这产生了调和截面的向量空间

${\mathcal {H}}=\{e\in {\mathcal {E}}^{\bullet }\mid \Delta e=0\}.$

令 $H:{\mathcal {E}}^{\bullet }\to {\mathcal {H}}$ 为正交投影，令 $G$ 为 $\Delta$ 的格林算子。霍奇定理随后断言以下内容：

1. $H$ 和 $G$ 是良定义的（well-defined）。
2. ${\text{Id}}=H+\Delta G=H+G\Delta$
3. $LG=GL$, $L^{*}G=GL^{*}$
4. 复形的上同调与调和截面的空间规范同构，$H(E_{j})\cong {\mathcal {H}}(E_{j})$，这意味着每个上同调类都有唯一的调和代表元。

在这种情况下也存在霍奇分解，推广了上述德拉姆复形的陈述。

复射影簇的霍奇理论

主条目：霍奇结构

令 $X$ 是一个光滑复射影流形，意味着 $X$ 是某个复射影空间 $\mathbf {CP} ^{N}$ 的闭复子流形。根据赵定理（Chow's theorem），复射影流形自动是代数的：它们由 $\mathbf {CP} ^{N}$ 上齐次多项式方程的零点集定义。$\mathbf {CP} ^{N}$ 上的标准黎曼度量在 $X$ 上诱导出一个黎曼度量，该度量与复结构具有强相容性，使 $X$ 成为一个凯勒流形。

对于复流形 $X$ 和自然数 $r$，$X$ 上的每个（复系数）C^∞ $r$-形式可以唯一地写成类型为 $(p,q)$ 的形式之和，其中 $p+q=r$，这意味着形式可以局部写成项的有限和，每项的形式为

$f\,dz_{1}\wedge \cdots \wedge dz_{p}\wedge d{\overline {w_{1}}}\wedge \cdots \wedge d{\overline {w_{q}}}$

其中 $f$ 是 C^∞ 函数，$z$ 和 $w$ 是全纯函数。在凯勒流形上，调和形式的 $(p,q)$ 分量仍然是调和的。因此，对于任何紧致凯勒流形 $X$，霍奇定理给出了 $X$ 的复系数上同调分解为复向量空间的直和：

$H^{r}(X,\mathbf {C} )=\bigoplus _{p+q=r}H^{p,q}(X).$

对于复流形（比如全纯形状），霍奇理论提供了一种比实流形更精细的视角，这就像是棱镜分光：

• 普通的上同调（$H^{r}$）：就像是一束混合的白光，告诉我们这里有一个“洞”。
• 霍奇分解（$H^{p,q}$）：就像是用棱镜将白光分解成了彩虹光谱。
• 由于复数平面有两个维度（实部和虚部），我们可以问这个“洞”在多大程度上是由全纯方向（$z$）构成的，多大程度上是由反全纯方向（${\bar {z}}$）构成的。

例如，在一个复曲面上，一个二维的洞可能完全由全纯曲线构成（$H^{1,1}$），也可能不是。这种分解让我们能看清几何结构的内部成分。

这个分解实际上独立于凯勒度量的选择（但对于一般的紧致复流形没有类似的分解）。另一方面，霍奇分解真正依赖于 $X$ 作为复流形的结构，而群 $H^{r}(X,\mathbf {C} )$ 仅依赖于 $X$ 的底层拓扑空间。

取这些调和代表元的楔积对应于上同调中的杯积，因此复系数的杯积与霍奇分解相容：

$\smile \colon H^{p,q}(X)\times H^{p',q'}(X)\rightarrow H^{p+p',q+q'}(X).$

霍奇分解的部分 $H^{p,q}(X)$ 可以与凝聚层上同调群识别，该群仅依赖于 $X$ 作为复流形（不依赖于凯勒度量的选择）：

$H^{p,q}(X)\cong H^{q}(X,\Omega ^{p}),$

其中 $\Omega ^{p}$ 表示 $X$ 上全纯 $p$-形式的层。例如，$H^{p,0}(X)$ 是 $X$ 上全纯 $p$-形式的空间。（如果 $X$ 是射影的，塞尔的 GAGA 定理意味着整个 $X$ 上的全纯 $p$-形式实际上是代数的。）

另一方面，积分可以写成 $Z$ 的同调类与由 $\alpha$ 代表的上同调类的帽积。根据庞加莱对偶性，$Z$ 的同调类对偶于一个上同调类，我们称之为 $[Z]$，帽积可以通过取 $[Z]$ 和 $\alpha$ 的杯积并与 $X$ 的基本类进行帽积运算来计算。

因为 $[Z]$ 是一个上同调类，它有一个霍奇分解。根据我们上面的计算，如果我们将此类与任何类型 $(p,q)\neq (k,k)$ 的类进行杯积，我们会得到零。因为 $H^{2n}(X,\mathbb {C} )=H^{n,n}(X)$，我们得出结论 $[Z]$ 必须位于 $H^{n-k,n-k}(X)$ 中。

霍奇数 $h^{p,q}(X)$ 指的是复向量空间 $H^{p,q}(X)$ 的维数。这些是光滑复射影簇的重要不变量；当 $X$ 的复结构连续变化时它们不会改变，但它们通常不是拓扑不变量。霍奇数的性质包括霍奇对称性 $h^{p,q}=h^{q,p}$（因为 $H^{p,q}(X)$ 是 $H^{q,p}(X)$ 的复共轭）和 $h^{p,q}=h^{n-p,n-q}$（由塞尔对偶性）。

霍奇菱形可以被视为一个复杂形状的“DNA 指纹”或“元素周期表”。

• 这个菱形将一个形状的所有拓扑信息按维度（行）和复结构成分（列）排列出来。
• 对称性：就像生物体的左右对称一样，霍奇菱形通常具有高度的对称性（左右对称、上下对称）。
• 识别身份：不同的几何形状（如球体、甜甜圈、K3曲面）都有其独特的霍奇菱形数值分布。数学家只要看一眼这个菱形，通常就能大致判断出这是什么类型的几何对象。

光滑复射影簇（或紧致凯勒流形）的霍奇数可以列在霍奇菱形（Hodge diamond）中（以复维度 2 的情况为例）：

		h2,2
	h2,1		h1,2
h2,0		h1,1		h0,2
	h1,0		h0,1
		h0,0

例如，每个亏格为 $g$ 的光滑射影代数曲线具有霍奇菱形：

	1
g		g
	1

再举一个例子，每个 K3曲面具有霍奇菱形：

		1
	0		0
1		20		1
	0		0
		1

$X$ 的贝蒂数是给定行中霍奇数的总和。霍奇理论的一个基本应用是，根据霍奇对称性，光滑复射影簇（或紧致凯勒流形）的奇数贝蒂数 $b_{2a+1}$ 是偶数。这对于一般的紧致复流形并不成立，如霍普夫曲面的例子所示，它微分同胚于 $S^{1}\times S^{3}$，因此具有 $b_{1}=1$。

“凯勒包”（Kähler package）是对光滑复射影簇（或紧致凯勒流形）上同调的一组强限制，建立在霍奇理论之上。结果包括莱夫谢茨超平面定理、硬莱夫谢茨定理和霍奇-黎曼双线性关系。 这些结果中的许多都源于可以使用霍奇理论为紧致凯勒流形证明的基本技术工具，包括凯勒恒等式和$\partial {\bar {\partial }}$-引理。

霍奇理论及其扩展（如非阿贝尔霍奇理论）也对紧致凯勒流形可能的基本群给出了强限制。

代数闭链与霍奇猜想

主条目：霍奇猜想

令 $X$ 为一个光滑复射影簇。$X$ 中余维数为 $p$ 的复子簇 $Y$ 定义了上同调群 $H^{2p}(X,\mathbb {Z} )$ 的一个元素。此外，产生的类具有一个特殊性质：它在复上同调 $H^{2p}(X,\mathbb {C} )$ 中的像位于霍奇分解的中间部分 $H^{p,p}(X)$ 中。霍奇猜想预测了一个逆命题：$H^{2p}(X,\mathbb {Z} )$ 中任何在复上同调中的像位于子空间 $H^{p,p}(X)$ 中的元素，都应该有一个正整数倍是 $X$ 的复子簇类的 $\mathbb {Z}$-线性组合。（这样的线性组合称为 $X$ 上的代数闭链。）

关键点在于，霍奇分解是复系数上同调的分解，通常不来自于整数（或有理数）系数上同调的分解。因此，交集

$(H^{2p}(X,\mathbb {Z} )/{\text{torsion}})\cap H^{p,p}(X)\subseteq H^{2p}(X,\mathbb {C} )$

可能比整个群 $H^{2p}(X,\mathbb {Z} )/{\text{torsion}}$ 小得多，即使霍奇数 $h^{p,p}$ 很大。简而言之，霍奇猜想预测 $X$ 的复子簇的可能“形状”（由上同调描述）是由 $X$ 的霍奇结构（整数上同调与复上同调的霍奇分解的结合）决定的。

莱夫谢茨 (1,1)-定理表明，对于 $p=1$，霍奇猜想是成立的（甚至是整数形式成立，即在陈述中不需要正整数倍）。

簇 $X$ 的霍奇结构描述了 $X$ 上代数微分形式在 $X$ 的同调类上的积分。在这个意义上，霍奇理论与微积分中的一个基本问题有关：一般来说，代数函数的积分没有“公式”。特别是，代数函数的定积分，称为周期，可以是超越数。霍奇猜想的困难反映了人们对这类积分普遍缺乏理解。

“周期”可以被视为我们测量复杂几何形状的特殊“尺子”。

• 想像一个形状复杂的物体（流形），我们看不见它，只能通过测量来推测它的样子。
• 我们在这个物体上画一些圈（同调类），然后沿着这些圈进行某种数学测量（积分微分形式）。
• 得到的测量结果就是“周期”。
• 这些数字（周期）极其敏感地依赖于物体的形状。如果物体稍微变形，周期数值就会改变。因此，通过记录这些积分值的变化，我们就能精确地描绘出形状的细微特征，这就是为什么霍奇理论要研究积分的原因。

例如：对于一个光滑复射影 K3 曲面 $X$，群 $H^{2}(X,\mathbb {Z} )$ 同构于 $\mathbb {Z} ^{22}$，而 $H^{1,1}(X)$ 同构于 $\mathbb {C} ^{20}$。 它们的交集可以具有介于 1 到 20 之间的任何秩；这个秩称为 $X$ 的皮卡数（Picard number）。所有射影 K3 曲面的模空间具有可数无限集合的分量，每个分量的复维度为 19。皮卡数为 $a$ 的 K3 曲面子空间的维数为 $20-a$。（因此，对于大多数射影 K3 曲面，$H^{2}(X,\mathbb {Z} )$ 与 $H^{1,1}(X)$ 的交集同构于 $\mathbb {Z}$，但对于“特殊”的 K3 曲面，交集可能更大。）

这个例子暗示了霍奇理论在复代数几何中扮演的几种不同角色。首先，霍奇理论对哪些拓扑空间可以具有光滑复射影簇的结构给出了限制。其次，霍奇理论提供了关于具有给定拓扑类型的光滑复射影簇模空间的信息。最好的情况是当托雷利定理（Torelli theorem）成立时，意味着簇由其霍奇结构决定（至多差一个同构）。最后，霍奇理论提供了关于给定簇上代数闭链的赵群（Chow group）的信息。霍奇猜想是关于从赵群到普通上同调的循环映射（cycle map）的像，但霍奇理论也提供了关于循环映射核的信息，例如使用由霍奇结构构建的中间雅可比簇。

推广

混合霍奇理论（Mixed Hodge theory），由皮埃尔·德利涅开发，将霍奇理论扩展到所有复代数簇，不一定是光滑或紧致的。即，任何复代数簇的上同调都有一种更一般的分解类型，即混合霍奇结构。

另一种针对奇异簇的霍奇理论推广由相交同调提供。即，斋藤盛彦表明，任何复射影簇（不一定是光滑的）的相交同调具有纯霍奇结构，就像在光滑情况下一样。事实上，整个凯勒包都延伸到了相交同调。

复几何的一个基本方面是存在连续族的非同构复流形（它们作为实流形都是微分同胚的）。菲利普·格里菲斯的霍奇结构的变形（variation of Hodge structure）概念描述了当光滑复射影簇 $X$ 变化时，其霍奇结构如何变化。在几何术语中，这相当于研究与簇族相关联的周期映射。斋藤的霍奇模（Hodge modules）理论是一个推广。粗略地说，簇 $X$ 上的一个混合霍奇模是 $X$ 上混合霍奇结构的层，这可能产生于不必是光滑或紧致的簇族。

“霍奇结构的变形”可以用物体与影子的关系来类比：

• 流形族（Family of varieties）：想像一个正在空中缓慢旋转或变形的立体雕塑。
• 霍奇结构：想像这座雕塑投射在地面上的影子。
• 当雕塑本身（流形）发生连续变化时，它的影子（霍奇结构）也会随之发生连续的变形。
• 数学家通过研究地上的影子如何拉长、缩短或扭曲（周期映射），来反推空中那个看不见的高维雕塑是如何运动和变形的。这就是格里菲斯（Griffiths）理论的核心。

参见

• 位势论
• 塞尔对偶性
• 亥姆霍兹分解
• 局部不变循环定理
• 阿拉克洛夫理论
• 霍奇-阿拉克洛夫理论
• ddbar 引理，霍奇理论对紧致凯勒流形的一个关键结果。
• 霍奇链
• 霍奇猜想
• 周期映射
• Torelli定理
• 霍奇的结构的变化
• Yoga of weights (代数几何)

参考文献

• Arapura, Donu, Computing Some Hodge Numbers (PDF) 
• Griffiths, Phillip; Harris, Joseph. Principles of Algebraic Geometry. Wiley Classics Library. Wiley Interscience. 1994 [1978]. ISBN 0-471-05059-8. MR 0507725. 
• Hodge, W. V. D., The Theory and Applications of Harmonic Integrals, Nature (Cambridge University Press), 1941, 148 (3743): 97, Bibcode:1941Natur.148...97D, ISBN 978-0-521-35881-1, MR 0003947, doi:10.1038/148097a0 
• Huybrechts, Daniel, Complex Geometry: An Introduction, Springer, 2005, ISBN 3-540-21290-6, MR 2093043 
• Voisin, Claire, Hodge Theory and Complex Algebraic Geometry (2 vols.), Cambridge University Press, 2007 [2002], ISBN 978-0-521-71801-1, MR 1967689, doi:10.1017/CBO9780511615344 
• Warner, Frank, Foundations of Differentiable Manifolds and Lie Groups, Springer, 1983 [1971], ISBN 0-387-90894-3, MR 0722297 
• Wells Jr., Raymond O., Differential Analysis on Complex Manifolds, Graduate Texts in Mathematics 65 3rd, Springer, 2008 [1973], ISBN 978-0-387-73891-8, MR 2359489, doi:10.1007/978-0-387-73892-5, hdl:10338.dmlcz/141778  

• Python code for computing Hodge numbers of hypersurfaces on GitHub