霍奇猜想的现状
内容提要
本文讨论霍奇猜想：光滑复射影簇上的霍奇类均为代数类。文章回顾了仿射开集、余维数归纳、coniveau等研究途径，指出代数几何对有理Betti上同调理解不足，并介绍Weil类、Markman关于阿贝尔四重簇的进展，以及变分霍奇猜想与半正则性方法的局限。
延伸解读
代数几何视角下的理解障碍
文章指出，代数几何对有理Betti上同调的理解不足，是霍奇猜想难以推进的核心原因之一。我们熟悉复系数上同调与霍奇条件，却对有理系数上同调缺乏有效工具。这导致即便能构造出霍奇类，也往往无法判断其代数性。这种理解上的不对称，使得许多形式化定义无法转化为具体证明，也解释了为何仿射开集、余维数归纳等途径虽有趣却未能成功。
Weil类与Markman的突破
Weil类是在具有二次自同态的Weil阿贝尔簇上通过形式论证产生的霍奇类。Markman证明了阿贝尔四重簇上的霍奇类均为代数类，这是近年来霍奇猜想的重要进展。其证明策略是将问题归约到Weil类的代数性，并借助六维Weil阿贝尔簇族上的Weil类进行迂回。这一成果展示了针对特定构造类别的有效方法，但尚未推广到一般情形。
变分霍奇猜想与半正则性方法的局限
变分霍奇猜想询问：若一个霍奇类在某个纤维上代数，是否在邻近纤维上也代数？半正则性条件曾被用于证明某些类在形变下保持代数性，Markman对六维Weil阿贝尔簇的Weil类证明即是一例。然而，文章指出半正则性方法很可能不足以解决一般情形。原因包括：整系数霍奇类的变分猜想不成立，以及存在德利涅-贝林森类不形变的例子，表明半正则对象难以构造且限制过强。
Q&A
霍奇猜想的具体内容是什么？
霍奇猜想断言：光滑复射影簇上的霍奇类都是代数类，即有理系数上同调类可以表示为闭解析子集（或代数子集）的类的有理线性组合。
为什么霍奇猜想在紧凯勒流形上不成立？
在紧凯勒流形上，存在非零的2次霍奇类，但可能没有余维1的闭解析子集，因此需要同时考虑全纯向量丛的陈类及其奇异版本。然而，Voisin在[12]中证明某些紧凯勒流形有非平凡霍奇类，但所有相干层的陈类为零，这表明任何证明都必须使用代数性。
有哪些主要方法尝试证明霍奇猜想？
主要方法包括：1）在仿射扎里斯基开集上工作，将上同调类表示为全纯向量丛的陈类，然后代数化；2）通过余维数归纳，利用coniveau概念，证明霍奇类具有coniveau ≥ 1；3）利用标准猜想（如Künneth猜想、Lefschetz标准猜想）和Weil类等具体构造。
Markman在霍奇猜想上取得了什么进展？
Markman证明了阿贝尔四重簇上的霍奇类都是代数的。他通过研究某些Weil阿贝尔6重簇族上的Weil类，并利用Buchweitz–Flenner半正则层，成功证明了Weil类的代数性，从而解决了阿贝尔四重簇的情形。
什么是变分霍奇猜想？
变分霍奇猜想问：给定一个光滑射影簇族和纤维上的一个霍奇类，如果该霍奇类在某个纤维上是代数的，那么它在所有纤维上是否都是代数的？否定回答将推翻Lefschetz标准猜想，对动机理论造成严重打击。
半正则性方法在解决变分霍奇猜想中有何局限？
半正则性条件（如Bloch或Buchweitz–Flenner）可以保证某些代数闭链或向量丛在族中变形，但该方法不太可能一般地解决变分霍奇猜想。原因包括：整霍奇类的变分霍奇猜想不成立，且存在例子显示霍奇类可以变形但Deligne闭链类不能变形为代数闭链的Deligne类。
