霍奇猜想

详细描述

设 $X$ 为紧致 Kähler 流形（如非奇异复射影代数簇），其复维数为 $n$。Hodge 理论给出分解

$H^k(X,\mathbb{C})=\bigoplus_{p+q=k}H^{p,q}(X)$

其中 $H^{p,q}$ 由型 $(p,q)$ 的调和形式表示。对某些特殊的 de Rham 上同调类（所谓”霍奇类”，落在 $H^{k,k}(X)\cap H^{2k}(X,\mathbb{Q})$ 中），霍奇猜想断言它们都可表示为代数子簇的庞加莱对偶类的有理线性组合。

霍奇在 1930–1940 年间发展 Hodge 理论，并于 1950 年国际数学家大会（马萨诸塞州剑桥）上正式提出该猜想。

最新进展

霍奇猜想的一般形式至今未获证明。已知在一些特殊情形成立：例如对余维 1 的类（由 Lefschetz $(1,1)$ 定理保证），以及对阿贝尔簇等。若干部分结果借助代数几何与霍奇理论的进展取得，但整体刻画的突破仍未出现。它与黎曼、庞加莱[已解]、纳维–斯托克斯、杨-米尔斯、BSD、P/NP 并列为七大千禧年难题。

意义

霍奇猜想是代数几何与复几何的中央问题，它追问”拓扑信息（洞口的数目与形状）能否由多项式方程零集（代数子簇）来理解”。其解答将深化我们对几何空间结构的认识，并连通超越计算与代数计算的鸿沟。

参考资料

• Hodge conjecture — Wikipedia
• Clay Mathematics Institute — Hodge Conjecture
• Hodge conjecture — Encyclopædia Britannica