罗盘 / 霍奇猜想
暗星档案 · 未点亮的星霍奇猜想
本条为初评草案（AI 辅助编目 · 评于 2026-07-16）：T 阶为三问初评（撬动面 × 停滞度 × 临界性），双评过 σ 门并红蓝复核后才升"已建档"。查不到的字段留空不编。点亮者会进入亮星候选流程，其贡献与星阶按 HCF 独立重评，不从暗星自动继承。
霍奇猜想T5 量级 · 新星
代数几何与拓扑之间那座还没验证完的桥
所属星云究极真理·数学的圣杯理解万物
暗星编号DS-0435
轴R · 风险与文明安全
领域fundamental-science
状态初评草案 · 待双评与红蓝复核
这是什么 · 为什么难
克莱数学研究所七大千禧难题之一：对射影代数簇，霍奇类是否都是代数闭链的有理线性组合。已在维数小于四的情形被证明，但四维及以上完全未知。攻克意味着彻底打通代数几何(具体多项式方程组)与拓扑/微分几何(连续形变不变量)之间的通道，很多现代数论工具(如志村簇、自守形式)都建立在假设它成立的基础上。
卡在哪 · 机制级卡点
问题本质是判断一个纯拓扑/解析对象（调和形式）何时能由纯代数对象（代数闭链）表示，四维以上没有可用的分类工具，现有的谱序列、动机上同调等框架都只能处理低维特例。
谁在攻
克莱数学研究所悬赏100万美元；IHES、普林斯顿高等研究院的代数几何学者（如 Claire Voisin 团队）持续在动机上同调方向推进特例
怎么参与
本科打好交换代数+代数拓扑基础，研究生阶段进代数几何方向（复流形/上同调理论），关注 Claire Voisin、Phillip Griffiths 相关课程与论文