Hodge 猜想
Clay 千禧问题 — 多 agent 模板套件研究 | 2026-05-30
§1 命题（精确陈述）
设 $X$ 为光滑射影复簇（smooth projective complex variety），$\dim_{\mathbb{C}} X = n$。对每个整数 $0 \le p \le n$，记奇异上同调 $H^{2p}(X,\mathbb{Q})$ 通过 $H^{2p}(X,\mathbb{C}) = H^{2p}(X,\mathbb{Q}) \otimes_{\mathbb{Q}} \mathbb{C}$ 自然嵌入复上同调；后者由 Hodge 分解
$$H^{2p}(X,\mathbb{C}) \;=\; \bigoplus_{i+j = 2p} H^{i,j}(X), \qquad \overline{H^{i,j}} = H^{j,i}$$
切成双度数分量。有理 $(p,p)$-Hodge 类定义为
$$\mathrm{Hdg}^{p}(X) \;:=\; H^{2p}(X,\mathbb{Q}) \,\cap\, H^{p,p}(X) \;\subset\; H^{2p}(X,\mathbb{Q}).$$
另一方面，余维 $p$ 的代数闭链群 $Z^{p}(X)$ 模有理等价后给出 Chow 群 $\mathrm{CH}^{p}(X)$，复闭链类映射（cycle class map）
$$\mathrm{cl}_{X}^{p} : \mathrm{CH}^{p}(X) \otimes_{\mathbb{Z}} \mathbb{Q} \;\longrightarrow\; \mathrm{Hdg}^{p}(X)$$
把闭链送到其上同调类。
Hodge 猜想（HC，现行 ℚ-系数版本）
对所有光滑射影复簇 $X$ 和所有 $0 \le p \le n$，映射 $\mathrm{cl}_{X}^{p}$ 是满射。等价地：每个有理 $(p,p)$-Hodge 类都是 $X$ 上代数闭链类的 $\mathbb{Q}$-线性组合。
当前陈述使用 $\mathbb{Q}$-系数而非 $\mathbb{Z}$-系数，原因是 Atiyah–Hirzebruch（1962）通过拓扑 K 理论和 Steenrod 运算给出非代数整 $(p,p)$-类（torsion 阻碍）；Kollár 后来用代数几何重述了反例族。原始 Hodge 1950 ICM 报告即用 $\mathbb{Z}$-系数，1962 反例后社区默认改为 $\mathbb{Q}$。
陈述同时要求 射影而非 Kähler：Voisin（2002，J. Algebraic Geom.）构造紧 Kähler 流形，其某个有理 $(p,p)$-Hodge 类不是任何相干层 Chern 类的 $\mathbb{Q}$-线性组合（而在射影情形下相干层 Chern 类生成代数闭链 $\otimes \mathbb{Q}$）。这一反例彻底关闭了"Kähler 推广"路径，今后所有 HC 工作均限定射影。
§2 几何意义 / 为何重要
HC 处于 20 世纪后半叶代数几何最大主题之一的核心：把 超越几何（Hodge 结构、周期、Variation of Hodge Structures） 与 代数几何（闭链、Chow 群、motives） 严格联系起来。
- Hodge 结构 ↔ 闭链：Hodge 分解是复几何的"超越"产物（依赖度量和复结构），代数闭链则是纯代数对象。HC 主张这两端在 $(p,p)$ 层面完全对齐——即代数几何捕获 Hodge 几何的全部"代数可见"信息。
- Motives 的奠基：Grothendieck 1960s 的 motives 蓝图要求 cycle class 函子在所有"合理"上同调理论间保持兼容。HC 是把数值 motives 与同伦 motives 等同的关键步骤；若 HC 不成立，motivic Galois 群比预期小，Tannakian 范畴的结构会发生塌缩。
- Mirror symmetry / period domains：CY 3-fold 的 mirror 对偶将 $H^{1,1}$ 与 $H^{2,1}$ 对换；HC 在 mirror 一侧若失败，意味着另一侧 Bridgeland 稳定性条件存在不能由代数对象解释的"幻影"对象。
- Tate 猜想的复 ℓ-adic 类比：HC 与 Tate 猜想是一对孪生陈述（前者复几何、后者算术几何），二者的统一刻画是 Grothendieck 标准猜想的一部分。
- Clay 千禧问题：2000 年由 Clay 数学研究所列为七大 Millennium Prize 之一，奖金一百万美元；至今唯一被解决的千禧问题是 Poincaré 猜想（Perelman 2003）。
§3 经典里程碑
| 年份 | 作者 | 结果 |
|---|
| 1924 | Lefschetz | $(1,1)$-类定理：$p=1$ 的 HC 全证（用 Poincaré–Lefschetz 对偶 + 除子的指数序列） |
| 1950 | Hodge (ICM Cambridge) | 原始猜想陈述（整系数版） |
| 1962 | Atiyah–Hirzebruch | 整系数 HC 反例：用拓扑 K 理论和 Steenrod $\bmod\ p$ 运算找出非代数 $\mathbb{Z}$-Hodge 类，迫使社区改用 $\mathbb{Q}$-系数 |
| 1968 | Grothendieck | 提出标准猜想（Künneth、Lefschetz、Hodge type、$D$-conjecture）；HC 在该框架内是"Hodge 类型"标准猜想的复几何投影 |
| 1969 | Mumford–Tate | 引入 Mumford–Tate 群（abelian variety 的 motivic Galois 群的 Hodge 一侧），给出 abelian variety HC 的可计算判据 |
| 1977 | Pohlmann | 对 CM-type abelian variety，Hodge 类被 Mumford–Tate 群限制确定为 algebraic（条件性） |
| 1982 | Deligne (et al.) | 《Hodge cycles, motives, Shimura varieties》(LNM 900)：定义"absolute Hodge classes"，证明 abelian variety 的 Hodge 类是 absolute Hodge（"Hodge $\Rightarrow$ abs. Hodge"），把 HC 拆为两步 |
| 1990s | Voisin | 系列工作发展 Bloch–Beilinson filtration 与 decomposition of diagonal，成为 hyperkähler/CY 主战场 |
| 1995 | Cattani–Deligne–Kaplan | Hodge locus 的代数性：在 VHS 族中，Hodge 类生成的 locus 是代数子簇；为 HC 的"family"形式提供基础 |
| 2002 | Voisin | Kähler 推广反例：紧 Kähler 流形上存在不是相干层 Chern 类组合的有理 $(p,p)$-类（J. Algebraic Geom. 11） |
| 2014 | Charles–Schnell | 《Notes on absolute Hodge classes》(综述)：整理 Deligne 框架，给出 Tate $\Leftrightarrow$ HC 的精细对应（K3 与 abelian 情形） |
| 2019 | Markman–Buskin | $K3 \times K3$ 上 $(2,2)$-Hodge 类全是代数（hyperkähler twistor + parallel transport） |
| 2023 | Markman | abelian fourfold 在某 Mumford–Tate 类型下的 HC 全证（JAMS） |
§4 已证情形分类
| 情形 | $p$ | 维度 | 证明者 | 年份 | 备注 |
|---|
| $p=1$ 全证 | 1 | 任意 | Lefschetz | 1924 | $(1,1)$-定理；指数序列 + 除子等价于 NS 群 |
| $p=n-1$ 全证 | $n-1$ | 任意 | Lefschetz / Poincaré 对偶 | — | 由 hard Lefschetz 同构 $H^{2}\to H^{2n-2}$ 与 $p=1$ 推出 |
| 曲面（$n=2$） | 1 | 2 | — | — | 仅有 $p=1$ 是非平凡，故曲面上 HC 全部归约到 Lefschetz |
| $K3 \times K3$ 上 $(2,2)$ | 2 | 4 | Markman–Buskin | 2019 | 用 hyperkähler twistor space + parallel transport, 把 Hodge 类约化到 isometry of K3 lattice |
| abelian variety, $g \le 3$ | 任意 | $\le 3$ | — | — | Hodge 环由除子生成；exotic Hodge 类首次出现于 $g=4$（Mumford 1969） |
| abelian fourfold（部分 MT 类型） | 2 | 4 | Markman | 2023 | Mumford–Tate 群可控类；semiregularity + theta divisor 几何 |
| CM-type abelian variety | 任意 | 任意 | Pohlmann–Deligne | 1968+ | 条件性：Mumford–Tate 群已知 $\Rightarrow$ Hodge 类受控；对 CM-type 可推出 HC |
| Fermat hypersurfaces（多类） | 任意 | 任意 | Shioda 等 | 1979– | 显式群作用 + 有限群表示论；非 generic 的特殊几何 |
| 一般 hyperkähler 4-fold（K3$^{[2]}$、OG10、Kummer$^{n}$ 等） | $\ge 2$ | $\ge 4$ | — | — | 大部分仍开放；仅 $K3 \times K3$ 这一特殊点已定（2019） |
| CY 3-fold | 1, 2 | 3 | — | — | $p=1$ 由 Lefschetz 自动；$p=2$（即 $n-1$）由对偶；中间无非平凡 $p$，但与 mirror symmetry 的兼容性仍未验证 |
| abelian sixfold | $\ge 2$ | 6 | — | — | 开放；Mostaed 2026 (arXiv:2603.20268) 把问题归约到 2816 个代数方程，未完成证明 |
| $M_{g,n}$ 模空间（部分情形） | — | — | 多人 | 2020s | Payne 2026 综述；用边界分层方法覆盖 $g$ 较小情形 |
读法：上表展示 HC 在 100 年里走过的"特殊几何点"，但每一行的特殊性（除 $p=1$ 与 $p=n-1$ 两行外）都依赖具体几何对象的额外结构（hyperkähler、CM、Fermat 群作用），不能机械推广到一般情形。
§5 主要 attack vectors
当前活跃的主攻路径有六条，按其结构性差异可整理如下。
5.1 Deligne absolute Hodge 框架
Deligne（LNM 900，1982）将 HC 分两步：
- Hodge $\Rightarrow$ absolute Hodge：Hodge 类在所有 $\sigma \in \mathrm{Aut}(\mathbb{C})$ 共轭簇上仍是 Hodge 类。Deligne 对 abelian variety 已证；一般情形仍开放。
- absolute Hodge $\Rightarrow$ algebraic：每个 absolute Hodge 类是 algebraic。这一步是 HC 的剩余难度，对所有几何形式仍开放。
5.2 Voisin Bloch–Beilinson + decomposition of diagonal
Voisin 系列工作把 $\mathrm{CH}^{p}(X)\otimes\mathbb{Q}$ 装上 Bloch–Beilinson 假想滤过，并用 diagonal 分解技术将 Chow 群"细分"。对 hyperkähler 流形特别有效（部分类已被打通），但通用性仍受 BB filtration 自身的猜想性限制。
5.3 Voevodsky motivic cohomology
在 Voevodsky 的 $DM(k,\mathbb{Q})$ 中，HC 等价于 Hodge realization 函子的 essential image 描述。这把问题翻译到三角范畴语言，但并未削减证明负担——本质上仍需"Hodge 类是某个 motivic 类的 Betti 实现"。
5.4 Tate 猜想（HC 的 ℓ-adic 类比）
Tate 猜想断言 $\ell$-adic Galois 不变上同调类等于代数闭链类。Charles–Schnell（2014）和 Moonen 等人证明：在 K3、abelian variety 的较广类上，Tate $\Leftrightarrow$ HC。因此 Tate 进展（如 K3 的 Tate by Madapusi-Pera 2015）反向推动了 HC 的算术 ↔ 复几何对偶理解。
5.5 Mumford–Tate 猜想
对 abelian variety，Mumford–Tate 群是 Hodge 一侧的 motivic Galois，Galois 像是 Tate 一侧的 motivic Galois；MT 猜想说两者相等。已知 MT 蕴含 HC（对 abelian variety）；MT 自身在 $g \le 4$ 情形已部分知，$g \ge 5$ 仍开放。
5.6 Hyperkähler 几何 + twistor space
Verbitsky–Bogomolov 全局 Torelli 定理 + Markman 的 monodromy 群结构，把 hyperkähler 上的 Hodge 类约化为 lattice-theoretic 数据。$K3 \times K3$（Markman–Buskin 2019）即由此攻克；OG10、generalized Kummer 等仍部分开放。
§6 关键障碍
障碍 1：Atiyah–Hirzebruch 整反例
Atiyah–Hirzebruch（1962）通过拓扑 K 理论 + Steenrod 运算构造非代数整 $(p,p)$-类。这强制 HC 的现行陈述用 $\mathbb{Q}$-系数；Mackall（2026, arXiv:2605.26407）和 Rahman（2026, arXiv:2605.02129）继续生产新整反例族。整版 HC 实质已"死"，研究焦点限定于有理版。
障碍 2：Voisin Kähler 反例
Voisin（2002）构造紧 Kähler 4-fold（基于复 torus 的代数构造），其 $(2,2)$-Hodge 类不是相干层 Chern 类的 $\mathbb{Q}$-组合，从而切断了"把 HC 推广到 Kähler"的路径。射影性是 HC 的本质前提，不是技术细节。
障碍 3：Hodge filtration 自身不够
Hodge 分解与 Hodge filtration 是连续/超越对象，不携带任何"代数"信息。任何只用 Hodge filtration 的论证（不引入 absolute Hodge、motives、cycle class 等额外结构）都不能跨越"超越—代数"鸿沟。失败工具中相当多落入此类。
障碍 4：工具门槛极高
HC 是少数同时需要复几何（Hodge theory、period domains）、代数几何（intersection theory、moduli）、表示论（Mumford–Tate、Tannakian 范畴）、p-adic Hodge theory（comparison theorems、prismatic）、derived 范畴（Voevodsky DM、Bridgeland）整套工具的问题。任何单一工具栈都难以独立推进。
障碍 5：generic specialization 不 pointwise
Cattani–Deligne–Kaplan 1995 给出 Hodge locus 是稠密代数子集，但没有 pointwise 控制——存在族中"几乎每点"是 algebraic、单点不是 algebraic 的可能性。HC 要求 pointwise 满射，故"密度版"工具只能旁敲。
注：解析数论中的 Selberg parity barrier（奇偶墙）在 HC 没有直接对应——HC 的障碍更像是"维度爬升 + 工具栈断层"，而非单一不可绕开的代数恒等式。
§7 conditional 结果 vs unconditional 结果
HC 文献中常见的几类条件结果：
- MT $\Rightarrow$ HC（abelian variety）：若 Mumford–Tate 猜想对某 abelian variety $A$ 成立，则 HC 对 $A$ 成立。MT 猜想本身是开放的，仅对 $g\le 4$ 的若干 MT 类已被证。
- Tate $\Leftrightarrow$ HC（K3 / abelian / 部分 hyperkähler）：Charles–Schnell 框架；Tate 一侧已对 K3 完全知（Madapusi-Pera），对 abelian fourfold 部分知。
- Bloch–Beilinson filtration $\Rightarrow$ HC 子集：BB filtration 假定 + diagonal 分解可推出 hyperkähler 一类的代数性，但 BB filtration 自身仍是猜想。
- Standard Conjectures (Hodge type) $\Rightarrow$ HC：Grothendieck 标准猜想族中的 "Hodge 标准猜想" 在 $\mathbb{Q}$-系数下蕴含 HC（同等于在 $\mathrm{End}(H^*)$ 中 Lefschetz $\Lambda$-算子代数化）。
- p-adic 类比（Bost、Mohajer 2026）：crystalline / 1-motivic 范畴中的 Tate 型代数性已部分证（Mohajer 2603.12407），但与复 HC 间的桥仍局限。
真正的 unconditional 结果只有 §4 表中那几行——Lefschetz $(1,1)$、Poincaré 对偶 $p=n-1$、Markman–Buskin K3$\times$K3、Markman abelian fourfold（特定 MT），以及若干具体 Fermat / 模空间 / CM-type 实例。
§8 跨猜想杠杆图
主要蕴含关系
HC ↔ Tate：在 K3、abelian variety 的若干类上接近等价（Charles–Schnell）。
MT $\Rightarrow$ HC：限 abelian variety；Mumford–Tate 群已知 $\Rightarrow$ Hodge 类被代数化。
Standard Conjectures (Hodge type) $\Rightarrow$ HC：Grothendieck 框架；标准猜想强于 HC。
Bloch–Beilinson filtration $\Rightarrow$ HC 部分子集：尤其对 hyperkähler。
HC $\Rightarrow$？：HC 自身蕴含 motivic Galois 群与 Hodge realization 兼容、$\mathrm{End}_{\mathrm{Mot}}(X) \otimes \mathbb{Q}$ 受控；但 HC 不是其他猜想的"上游"，更多是被推动的"目标"。
"无已知最弱蕴含"现象
对解析数论的 Goldbach 而言，存在 EH、GRH、Sarnak 等多个"距离猜想 X"使 X $\Rightarrow$ Goldbach 部分进展；对 HC，已知能蕴含它的猜想全部强于或与之同重量级（MT、Tate、Standard、BB），没有已知"轻量级辅助猜想 $A$ 使 $A \Rightarrow$ HC"。这是 HC 在猜想生态中的孤立地位。
§9 失效工具盘点
不直接攻 HC 的工具
- 朴素 sheaf cohomology：除 $(1,1)$ 情形外，Čech / 解析层上同调不携带 motivic 信息，无法把 Hodge 类拉回到代数闭链。
- Hodge filtration 单独：Hodge filtration 本身是连续 / 超越对象；不与 absolute Hodge 或 motivic 框架结合时，没有"算法化代数化"路径。
- Brauer 群：整版 HC 中 Brauer 群是 obstruction（Mackall 2605.26407 精化），但有理版 HC 中 Brauer 群信息已被 cycle class map 在 $\otimes\mathbb{Q}$ 后压扁。
- 朴素 generic specialization：CDK 1995 给的是 Hodge locus 稠密代数性，pointwise 满射不蕴含；不能用"几乎所有"代替"全部"。
- Hodge–Riemann 双线性关系：用于 Lefschetz 标准猜想 / Hard Lefschetz，但对 HC 主张本身不直接给约束。
- 简单的 Albanese 映射：仅对 $p=1$ 给除子层信息，对 $p \ge 2$ 的高余维 cycle 缺乏。
- Spectral 框架声称（Hajebi–Hajebi 2025, 2507.12173）：通过 "Hermitian spectral fingerprint" 提出的"统一框架"，其 abstract 中 "absolute Hodge $\Rightarrow$ algebraic" 推论本质上引用了 Deligne 1982 仍开放的方向，构成循环论证；不可直接采信。
"失效"在此并非贬义——这些工具在各自领域是核心成果（如 spectral / 双线性 / Brauer 群），但跨入 HC 时缺少桥接到 cycle class map 的结构。
§10 现役专家 / 主战场
当前主要研究者（2020–2026）按攻击方向分组：
- Claire Voisin（Sorbonne / Collège de France）：hyperkähler 几何、decomposition of diagonal、Bloch–Beilinson filtration；现代 HC 研究的中心人物之一。
- François Charles（Princeton / IHES）：absolute Hodge、Tate 猜想、K3 与 hyperkähler 的算术几何；与 Schnell 合作的 2014 综述是当前标准参考。
- Eyal Markman（UMass Amherst）：hyperkähler / abelian fourfold；2019 K3$\times$K3、2023 abelian fourfold 的主要作者。
- Christian Schnell（Stony Brook）：absolute Hodge、Hodge modules；与 Charles 的对偶。
- Charles Vial（Bielefeld）：Chow–Künneth 分解、motives、CY 3-fold。
- Bhargav Bhatt, Peter Scholze（Princeton / Bonn）：prismatic cohomology / p-adic Hodge；为 HC 的算术类比提供新比较定理（虽非直接攻 HC）。
- Alexander Kuznetsov（Steklov）：derived 范畴、Hodge 结构残差分量；通过 derived 角度处理 cubic fourfold 的 K3 类型 HC。
- Burt Totaro（UCLA）：整 Hodge 反例 / Chow 群 / 分类空间；从反例侧约束 HC 的精确陈述。
- Yoel Markman 学派 / Buskin（合作团）：hyperkähler twistor 技术。
- Daniel Litt, Sasha Beilinson, Vladimir Drinfeld 等：motivic / arithmetic Hodge 路径。
主战场分布：法国（Sorbonne–IHES）、美东（Princeton–Stony Brook–UMass）、德国（Bonn–Bielefeld）、俄罗斯（Steklov）。中国大陆方向以 Mostaed（abelian sixfold）等年轻学者为代表。
§11 近 5 年文献全景（2021–2026 arXiv）
下表为 L0 Novelty Sentinel 检索得到的核心 8 篇近期论文（详见 L0_novelty_report.md）。这些代表 2021–2026 年间 HC 研究的活跃前沿，但无一突破主猜想——所有进展都集中在子情形巩固、技术精化、整版反例工厂、综述与子框架尝试。
| arXiv ID | 年份 | 作者 | 题目（缩略） | 一句话贡献 |
|---|
| 2604.00511 |
2026 |
Perry |
Semiregularity for equivariant noncommutative varieties |
简化 Markman 2023 abelian fourfold 证明中 semiregularity 部分；技术精化非新突破 |
| 2603.20268 |
2026 |
Mostaed |
McMullen's Curve, Weil Locus, and HC for Abelian Sixfolds |
把 abelian sixfold HC 归约到 2816 个代数方程 + CM 隔离条件；未完成证明，明确点出 $g=6$ 瓶颈 |
| 2605.20453 |
2026 |
Payne |
Hodge and Tate conjectures for moduli spaces of curves |
$M_{g,n}$ 上 Hodge/Tate 综述（边界分层方法）；曲线模空间这一特殊几何的子类验证 |
| 2603.29157 |
2026 |
Diamond |
Hodge Structures in Sextic Fourfolds with Involution |
验证 General Hodge Conjecture (GHC) 的一个子情形——Waring rank 最小的六次四重簇 |
| 2603.12407 |
2026 |
Mohajer |
Tate-Type Theorem for Crystalline Classes in 1-Motivic Category |
p-adic / crystalline 版 Tate 类代数性，限于 1-motivic range；与 HC 间接相关 |
| 2605.02129 |
2026 |
Rahman |
n-Fold Cup-Product Bockstein Family of Integral Hodge Counterexamples |
构造整系数 HC 的更多反例族；与 Atiyah–Hirzebruch 1962 方向一致 |
| 2605.26407 |
2026 |
Mackall |
Refined Index Obstructions for Brauer Classes on Abelian Variety |
精化整系数 HC 反例的 Brauer 障碍；ℚ 版主猜想不受影响 |
| 2507.12173 |
2025 |
Hajebi & Hajebi |
Spectral Rigidity and Algebraicity: Unified Framework |
声称给出 HC 新框架，但 "absolute Hodge $\Rightarrow$ algebraic" 推论循环引用 Deligne 未解结论；不可信赖 |
除上述近期 arXiv 外，关键综述与教科书仍是研究入门与文献坐标的标准参考：
- Lewis, J. D. A Survey of the Hodge Conjecture（2nd ed., AMS, 1999）— 经典综述，覆盖 1924–1999。
- Voisin, C. Hodge Theory and Complex Algebraic Geometry, I & II（CUP, 2002–2003）— 标准教科书。
- Deligne, Milne, Ogus, Shih. Hodge Cycles, Motives, and Shimura Varieties（LNM 900, 1982）— absolute Hodge 框架原始文献。
- Charles, F. & Schnell, C. Notes on Absolute Hodge Classes（2014, in Hodge Theory, Princeton）— 现行框架的标准展开。
- Voisin, C. Chow Rings, Decomposition of the Diagonal, and the Topology of Families（Princeton AM-187, 2014）— hyperkähler / CY 战场技术专著。
整体景观：近 5 年的 8 篇 arXiv 论文 + 综述参考共同表明，HC 在 2021–2026 没有范式级突破，进展集中于（1）子情形（abelian fourfold 巩固、$M_{g,n}$ 部分、六次四重簇 GHC 子情形）、（2）整版反例工厂（与 ℚ 版主猜想正交）、（3）p-adic 类比（Mohajer 1-motivic）、（4）声称式新框架（Hajebi 不可信）。
§12 一句话总结
核心判断
Hodge 猜想是 cycle class map $\mathrm{cl}: \mathrm{CH}^{p}(X)\otimes\mathbb{Q} \to \mathrm{Hdg}^{p}(X)$ 在所有光滑射影复簇上是否满射的问题。100 年来取得的进展集中在 $p=1$（Lefschetz 1924）与少数高维特殊几何（$K3 \times K3$ Markman–Buskin 2019、abelian fourfold Markman 2023），但一般情形（CY 3-fold 中间维、abelian sixfold、generic hyperkähler 4-fold 等）仍完全开放，且对 LLM agent pipeline 的现实贡献限于 tier B 子情形归约 + position paper 类输出，不可能产 Annals 级新定理。
§13 研究：问题发散思考与重定义
§13.0 引子
本节是 Template 1 多 agent brainstorm 流水线（Phase 0.5 / 0.75 / 1 / 2 / 3 / 4，共 17 份内部产出）的综合输出。其 价值定位是路线图而非证明：在 Hodge 猜想这一 Clay 千禧问题深度上，LLM agent 流水线的现实 tier ceiling = B（IMRN / Math. Z. / Manuscripta），不可能抵达 Annals / Inventiones。本节列出 10 个发散角度、5 对协同分析、2 张 grand 综合图景，并蒸馏出 5 条按可攻性排序的 falsifiable 子命题供 Template 2 verifier 阶段挑选。
§13.1 10 个发散角度速览
| Q | 角度 | 核心策略 | 主要障碍 | Falsifiable 子命题 |
|---|
| Q1 | 历史方法 |
Markman–Buskin twistor + LLV 平行传输 → OG10 hyperkähler 自乘 (2,2) |
OG10 的 Kimura 有限维性未证；twistor base $\mathbb{P}^1$ 多数 fiber 非射影 |
OG10 上 $H^{2,2}(X\times X,\mathbb{Q})^{\mathrm{LLV-inv}}$ 全 algebraic |
| Q2 | Shimura / 自守 |
$U(2,2)$ Kudla theta lift 把 cohomology π 翻成 special cycle |
非-theta-lift 来源（CAP / residual / 异常 Arthur 包）的 Hodge 类无 cycle 来源 |
$\mathrm{Sh}_K(U(2,2))$ 上 theta-lift 来源的 (2,2) Hodge 类被 Kudla 生成函数张满 |
| Q3 | 算法 / 计算 |
Sage / Macaulay2 / Magma + LMFDB K3 数值 gap scan |
Lean Hodge 形式化几乎为零；M2 在 dim 4 + 高 Picard rank 内存爆 |
LMFDB 中 $\rho(S)\ge 17$ 的 K3 上 Sage 数值验证 Markman–Buskin 等式 |
| Q4 | Chow motives |
Hodge defect ideal $\mathfrak{h}(X)=\mathrm{coker}(\mathrm{cl})$ 在 motivic decomposition 下的函子性 |
[near-exhausted] motivic 重述 1990s 已成熟；motivic t-structure 仅 Voevodsky 部分 |
HC 在 Kimura 有限维 motive 范畴 $\mathrm{CHM}^{\mathrm{f.d.}}$ 内成立 |
| Q5 | DM / derived / ∞-cat |
Hodge realization $R_H: \mathrm{DM}(\mathbb{C},\mathbb{Q})\to \mathrm{HodgeStr}_\mathbb{Q}$ essential image 满 |
motivic t-structure 不完整；DM ↔ derived stack 的 Chern character ℚ-字典缺失 |
abelian fourfold 上 $\mathrm{thick}(h(X))$ 在 $R_H$ 下满射 ⟺ Mumford–Tate 群 = 预期 |
| Q6 | hyperkähler ladder |
$\mathrm{K3}^{[2]} \to \mathrm{OG10}$ 阶梯，$H^4 = \mathrm{Sym}^2 H^2$ + Markman monodromy |
$H^4$ 中 transcendental factor（非来自 $H^2$）twistor 不控 |
$\mathrm{K3}^{[2]}$ 上每个 (2,2)-Hodge 类落 $\mathrm{Sym}^2 H^{1,1}(\mathrm{K3})$ 像中 |
| Q7 | derived AG / NCG |
NC Chern $\mathrm{ch}_2: K_0(\mathcal{A})_\mathbb{Q} \to HH_0$ 在 cubic 4-fold 残差范畴 $\mathcal{A}_X$ 上 |
KKP NC-Hodge ℚ-rationality 仍 conjectural；Mathlib DG-cat 为零 |
cubic 4-fold $X$ 残差 $\mathcal{A}_X$ 中 $\mathrm{ch}_2$ 像秩 = $H^{2,2}(X,\mathbb{Q})$ 中 Hodge 类秩 |
| Q8 | p-adic Hodge / prismatic |
Mumford 型 abelian 4-fold + Bhatt–Scholze prismatic F-gauge |
mathlib 无 prismatic；exotic Hodge 的 prismatic lift 无现成定理 |
exotic Hodge $\xi$ 的 prismatic 实现 mod $p$ reduction = $A_0$ 上 explicit 代数闭链的 crystalline 类 |
| Q9 | 跨猜想杠杆 |
MT ⟹ HC 在 abelian sixfold 的 MT-known 子类 $S$ 上 |
Weil 型直和因子必须排除；Pohlmann 论证在 Weil locus 失效 |
Mumford 型无 Weil 型直和因子的 abelian sixfold $S$ 上 HC 全证 |
| Q10 | 反证 |
abelian sixfold + NL$(\alpha)$ 余维公式 + Moonen–Zarhin 维数表 |
$g=6$ MZ 表不完整；exotic α 不能形式上违反 Deligne abs Hodge |
$\dim \mathrm{NL}(\alpha) = 21 - \dim G_\alpha^{\mathrm{der}}$ 落在 $\{0,3,6,10,15,21\}$ 之外 |
§13.2 Phase 0.75 Innovation Scanner 视角
L0.75 扫描 v1.7 schema 库 15 个历史范式，对 Hodge 挑出
3 个 high-match：
- CASE 11 — Grothendieck functors of points：把 cl 升为自然变换 $\underline{CH}^p \Rightarrow \underline{Hdg}^p$，再 ascend 到 Toën–Vezzosi DAG / Lurie ∞-cat，新对象是 stackified Hodge functor $\mathcal{H}dg$。增量必须在 derived/stack 一层（motives 已部分内化）。
- CASE 2 — Dedekind ascend a level：把 cycle 升级为 correspondence ideal，定义 Hodge defect ideal $\mathfrak{h}(X) := \mathrm{coker}(\mathrm{cl})$；HC ⟺ $\mathfrak{h}(X)=0\ \forall X$。已被 Bloch–Beilinson 部分内化，增量在 motivic t-structure 与 ℚ-精确化。
- CASE 12 — Connes NCG（drop commutativity）：把 X 替为 $D^b\mathrm{coh}(X)$，NC Chern $K_0(\mathcal{D})_\mathbb{Q}\to HH_0$ 落 $(p,p)$；Kuznetsov 残差范畴是干净 testbed。
Wild card：CASE 14 Furstenberg correspondence — 把 cycle 等价类翻成 $X^\infty$ 上 dynamical recurrence，cycle 与 ergodic measure 的字典几乎不存在。
元 schema 补充：(meta #3) drop projective axiom — Voisin 2002 Kähler 反例为 data，研究"哪一弱版本恰好分界 HC 真/假"；(meta #4) embed in larger ambient — $X \hookrightarrow \mathrm{Hilb}(X)$ universal family，与 functor view 互补。
§13.3 第二阶段题对协同（5 段）
Q1 + Q4（几何 ↔ 范畴）：twistor parallel transport 给"holomorphic 对应 specialize 到 algebraic"的 Buskin 招式一个 motive-level 包装；LLV(so(4,21)) 作为 motive 自同构群被 Q4 框架自然吸收。Emergent：若 OG10 Kimura f.d. 性独立确立，则 $\mathfrak{h}$ 在 LLV-不变 piece 消灭即得 Q1 推广。优先级：合并 > Q1 > Q4。
Q2 + Q3（结构预测 ↔ 数值验证）：Q2 的"theta-lift isotypic 张满"对 Q3 的"NS⊗NS+transcendental"是更精细的 G-不变分解；Sage WeilRep + LMFDB Hilbert/Shimura 数据可机器核 Kudla generating series 前 N 个 Fourier 系数对应 cycle 张成 (2,2)-子空间维数。优先级：Q2 进 T2，Q3 作为 numerical-agent 子模块。
Q5 + Q6（抽象 ↔ 具体）：Vial 的 $h(\mathrm{K3}^{[2]})$ Chow–Künneth 分解是 $\mathrm{Sym}^2 h(\mathrm{K3})$ 直和分量，恰把 Q6 的 Verbitsky–Bogomolov 还原提升到 Q5 的 motivic 层。Q5 抽象到几乎不可证、Q6 具体可数值核——走 Q6 路径更安全，Q5 作为范畴化包装。
Q7 + Q8（NC ↔ p-adic）：交集是 prismatic Hochschild homology / TC（BMS、AMMN 2018–2022），不是字面叠加。但：Q7 的 KKP ℚ-rationality + Q8 的 prismatic F-gauge ℚ-rationality 双层 conjectural，Mathlib 双零；这是"双 SOTA 叠加 = 空洞"陷阱的样本。优先级：Q7 单走 > Q8 单走 > 合并。
Q9 + Q10（正向 ↔ 反向）：同一对象（abelian sixfold）的两面。Q9 在 MT-known 子类 $S$ 上正向证 HC，Q10 在 $\mathcal{A}_6 \setminus S$ 上反向用 NL 余维公式排除 exotic α。两者 union 若覆盖 $\mathcal{A}_6$ 整个 moduli 即得骨架。风险：均依赖 Moonen–Zarhin $g=6$ 表，风险不独立。
§13.4 第三阶段大主题
Grand A（主流体系内）：把 HC 表述为 $\mathrm{cl}: h(-) \Rightarrow R_H(h(-))(p,p)$ 的自然变换满射性问题。四层架构 = (i) 几何具体（Q1 twistor）→ (ii) motive 抽象（Q4 defect ideal、Q5 ess. surj.）→ (iii) 表示论杠杆（Q9 MT⟹HC）→ (iv) 数值（Q3 LMFDB / Sage）。Top emergent：P-A2 = abelian sixfold Mumford 型无 Weil 直和因子上 HC（T2 预测 GO，Pohlmann + MZ $g\le 5$ 已足）。次：P-A1（OG10 LLV-不变，weak-PASS，受 Kimura 假设制约）；P-A3（LMFDB ρ≥17 K3 数值，GO，作 sanity 层）。诚实定位：Voisin/Charles/Markman 30 年深耕，LLM 真实空间 = catalogue + decision tree + 数值核查，不是新定理。
Grand B（跨界 / 边缘 / 反证）：Q2/Q6/Q7/Q8/Q10 共同信念 = "绕过 Chow → cohomology 的经典 cl 构造"（自守、twistor、$K_0$、F-gauge、反证逼数值矛盾）。Top emergent：P-B2 = $\mathrm{K3}^{[2]}$ 上 NC $\mathrm{ch}_2$ 像 = $\mathrm{Sym}^2(\mathrm{NS}(\mathrm{K3})_\mathbb{Q})$ + Buskin Hilbert–Chow 推像（非空概率 ≈ 0.65，两侧 unconditional，仅缺 transcendental factor 刻画）。次：P-B1（Shimura × prismatic abelian 退化版，≈ 0.35）。警示：Q7 + Q8 双 SOTA 叠加 = 双层 conjectural ℚ-rationality + Mathlib 双零，是空洞陷阱样本，已显式排除合并版本进 T2。
§13.5 高优先级可攻小命题清单（5 个，按优先级排序）
P1（最高优先级，Q9+Q4 合并 / P-A2）—— abelian sixfold MT-known 程序
陈述：设 $S \subset \mathcal{A}_6$ 为 Hodge group 为 Mumford 型且无 Weil 型直和因子的 abelian sixfold 子类。则 $S$ 上 HC 全证；其证明给出 $\mathfrak{h}(h(A))=0$ 的 motive-level 证书，对所有 $A \in S$。
likely-tier：B（IMRN / Math. Z.）
反例搜索范围：$g=6$ Shimura 子簇 dim 表 $\{0,3,6,10,15,21\}$（Moonen–Zarhin g≤5 已知，g=6 部分需 Cadoret–Moonen 2020+ 补全）
策略路径：Pohlmann–Deligne MT⟹HC + Moonen–Zarhin abelian variety MT 群分类 + g=6 explicit 子类 catalogue。
P2（次高优先级，Q6+Q5 / P-B2）—— $\mathrm{K3}^{[2]}$ hyperkähler 4-fold (2,2) 程序
陈述：对 $X = \mathrm{K3}^{[2]} = \mathrm{Hilb}^2(\mathrm{K3})$，每个 (2,2)-Hodge 类 $\xi \in H^{2,2}(X,\mathbb{Q})$ 落在 $\mathrm{Sym}^2 H^{1,1}(\mathrm{K3},\mathbb{Q})$ 经 Verbitsky 同构 $H^4(X,\mathbb{Q}) \supset \mathrm{Sym}^2 H^2(X,\mathbb{Q})$ 的像中；故由 Buskin K3×K3 (2,2) 定理 + Hilbert–Chow 对应推得 $\xi$ algebraic。
likely-tier：B / C（依赖 Vial Sym² motive 还原是否独立可用）
反例搜索范围：$H^4(\mathrm{K3}^{[2]})$ 的 transcendental factor（非来自 $H^2$ 的 (2,2) 类，Markman monodromy 不控部分）
策略路径：Vial Chow–Künneth $\mathrm{Sym}^2$ 分解（已证）+ Buskin K3×K3 reduction（已证）+ Hilbert–Chow 同伦 $\mathrm{K3}^{[2]} \dashrightarrow \mathrm{Sym}^2(\mathrm{K3})$ 的 cycle 推像。
P3（中优先级，Q7 / P-B2 NC 版）—— cubic fourfold 残差范畴 NC $\mathrm{ch}_2$
陈述：对一般 cubic fourfold $X \subset \mathbb{P}^5$，残差范畴 $\mathcal{A}_X \subset D^b(X)$（K3-like，Kuznetsov），有
$$\mathrm{rk}_\mathbb{Q}\,\mathrm{Im}\bigl(\mathrm{ch}_2: K_0(\mathcal{A}_X)_\mathbb{Q} \to H^{2,2}(X,\mathbb{Q})\bigr) = \mathrm{rk}_\mathbb{Q}\,\bigl(H^{2,2}(X,\mathbb{Q}) \cap H^4(X,\mathbb{Q})\bigr).$$
likely-tier：B / C（受 KKP NC-Hodge ℚ-rationality conjectural 性制约）
反例搜索范围：Hassett divisor $\mathcal{C}_d \subset \mathcal{M}_{cubic}$ 上 rank ≥ 2 的特殊 cubic（Hodge 类秩跳跃区）
策略路径：Kuznetsov K3-residual 等价 + Bondal–Orlov + KKP NC Hodge（conjectural ℚ-structure）。
P4（数值 sanity，Q3 / P-A3）—— LMFDB ρ≥17 K3 数值核查
陈述：对 LMFDB 数据库中所有 Picard rank $\rho(S) \ge 17$ 的 K3 surface $S$，
$$\dim_\mathbb{Q} H^{2,2}(S \times S,\mathbb{Q}) \;=\; \dim_\mathbb{Q} \langle \mathrm{NS}(S)\otimes \mathrm{NS}(S),\ \Delta_*\rangle_\mathbb{Q}.$$
likely-tier：C（sanity check，但 GO 概率最高，机器可核）
反例搜索范围：LMFDB 全部 ρ≥17 K3（数百例）；任何 $\dim$ mismatch ≥ 1 即程序 bug 或新现象（理论上 Markman–Buskin 已蕴含 = 0）
策略路径：LMFDB API 拉 NS lattice + transcendental lattice → Sage cohomology 算 $H^{2,2}$ 维数 → 自动比较。
P5（高风险 sanity，Q8 / P-B1 简化版）—— Mumford 型 abelian fourfold prismatic 比较
陈述：设 $A/\mathbb{Z}_p$ 为 Mumford 型 abelian fourfold（good reduction），$\xi \in \mathrm{Hdg}^2(A_\mathbb{C})$ 为 Moonen–Zarhin 列表中已知 exotic Hodge 类。则 $\xi$ 的 prismatic-de Rham 实现 $\xi_\triangle \in H^4_\triangle(A/\mathfrak{S})[1/p]^{\varphi=p^2}$ 落在 Hodge filtration $F^2$ 中，且 $\mathrm{mod}\,p$ 的 image 是 $A_0/\mathbb{F}_p$ 上某 explicit algebraic cycle 的 crystalline 类。
likely-tier：C（单条 sanity，不可能升 B）
反例搜索范围：Mumford 反例 4-fold 的 explicit 模型（Mumford 1969、Pohlmann 1968）
策略路径：Bhatt–Scholze prismatic + Bhatt–Lurie F-gauge + Mumford 反例 explicit 上同调计算。
§13.6 局限性诚实告示
关于本流水线在 Hodge 猜想上的现实定位 ——
- Tier ceiling 严格 = B。LLM agent pipeline 在 Hodge 这种数学深度顶级的 Clay 千禧问题上的现实上限为 IMRN / Math. Z. / Manuscripta；绝不可能抵达 Annals / Inventiones。Markman 2023 abelian fourfold 是 2020s 最大进展，由人类顶级专家数年原创洞察产出，不可由 LLM 流水线复刻。
- 主流 attack 已被 Voisin / Charles / Markman / Buskin 30 年深耕。LLM 真实增量空间 = (i) catalogue（如 Q9 的 g=6 MT-known 子类 explicit 列表）、(ii) decision tree（如 Q9+Q10 的正反组合）、(iii) 数值核查（如 P4 的 LMFDB ρ≥17 K3）。不是新定理，是把零散文献整合 + sanity layer 的工程性产出。
- "高大上但空洞"陷阱警告：Q7 + Q8 双 SOTA 叠加 = 双层 conjectural ℚ-rationality（KKP NC-Hodge ℚ-structure + Bhatt–Lurie prismatic F-gauge ℚ-structure）+ Mathlib 双零支持。Phase 2 q7q8 已显式排除合并版本进 T2，本节也据此把 P3 / P5 列为中 / 低优先级。
- 文献核实风险：本输出多处引用 Vial、Buskin、Mostaed、Markman、Cadoret–Moonen、Bergeron–Millson–Moeglin、Bhatt–Scholze 等近年论文，需在 T2 阶段由 L0 sentinel 独立复核命题陈述是否已被覆盖（特别是 P1 必须核 Cadoret–Moonen 2020+ 与 Klingler 2017+ 是否已含 g=6 Mumford 型子类的完整证明，若已发表则 P1 降级为 survey）。
- v1.7 schema 库的局限：把"发明新对象"机械化（Hodge defect ideal $\mathfrak{h}$、Hodge functor stackification、NC Chern character）是对 Tier A/S 突破的近似，不是真复制。Grothendieck / Connes / Bhatt–Scholze 级别的范式跃迁需要的不是 schema 检索，而是数年的几何直觉积累。本节 §13.5 5 条命题全部属于"已有范式内的 incremental"，不属于范式跃迁。
- Mode A marathon 的边界：T2 v2 五层（含 prover↔numerical loop + conjecture-generator + formal-verifier）能在 P1 / P2 / P4 上产可发表 B-tier 小论文骨架；P3 受 KKP 约束最多产 conditional 结果；P5 仅 sanity check。预计 5 条命题中 GO 概率 ≈ {P1: 0.6, P2: 0.65, P3: 0.4, P4: 0.85, P5: 0.25}，其中 P4 GO 概率最高但 novelty 最低。
下一步建议：T2 marathon 推 P1（abelian sixfold）+ P2（K3^[2] Sym²）+ P4（LMFDB sanity） 三命题并行，每条独立 5 层 verifier；P3 / P5 留作辅助子模块。T3 paper 转换在 T2 verdict 落定后由主线询问用户。
§14 结语
本笔记在 2026-05-30 由 multi-agent-research 模板 v1.7 生成（math-deep-dive 流水线）。Template 1 共启动 18 个 Opus 4.7 / Sonnet 4.6 agent（L0 哨兵 + L0.75 范式扫描器 + Phase 1 × 10 + Phase 2 × 5 + Phase 3 × 2 + Phase 4 × 2），耗时约 30 分钟，估算 token ~250K，约 \$10。
本笔记的主要价值在 §13.5 高优先级可攻小命题清单。流水线把"用 LLM 找数学突破"的乐观期望明确压成"用 LLM 系统性整理 attack vectors + 列出 falsifiable 子命题候选"。在 Hodge 这种数学深度顶级的 Clay 千禧问题上，这是诚实的、可达的目标。
下一步：选 1-3 条 §13.5 命题进入 Template 2 v2 marathon 档（5 层流水线，每命题 ~70-150 agent / 1-2 天 / \$30-100），严格验证或证伪。verdict = GO 的命题再可选进 Template 3（writer + reviewer 转可投稿 paper，目标 IMRN / Math. Z. / Manuscripta 或专题综述 / position paper）。
§15 命题深入研究（Template 2 v2 流水线产出）
本节占位
本节将在用户从 §13.5 选定 1-3 条命题进入 Template 2 v2 后填充。每条命题对应一份独立笔记 hodge-propositionN_<slug>.html，本节用表格列出 verdict（GO / GO-revision / weak-PASS / KILL）+ 链接 + 一行总结。