罗盘 / 泰特猜想
暗星档案 · 未点亮的星泰特猜想
泰特猜想潜能 T5
有限域上代数簇的算术不变量，能否完全由几何上同调类刻画
所属星云究极真理·数学的圣杯理解万物
暗星编号DS-0443
轴R · 风险与文明安全
领域fundamental-science
状态初步评估
这是什么 · 为什么难
泰特猜想断言在有限生成域上的光滑射影簇中，代数闭链类张成的空间恰好等于Galois表示中特征值为特定幂次的上同调类空间，是霍奇猜想在算术几何（有限域/数域）版本下的对应物。攻克将打通算术几何中「代数闭链」与「上同调/伽罗瓦表示」两套语言，是朗兰兹纲领之外另一条通往统一算术几何的路径。
卡在哪 · 机制级卡点
已知情形高度依赖具体簇的特殊结构（如阿贝尔簇、K3曲面），一般情形需要对高维簇的Galois表示有远超当前认知的控制，且与霍奇猜想一样面临「代数闭链难以直接构造」的核心障碍。
谁在攻
普林斯顿高等研究院与哈佛大学的算术几何学者持续在K3曲面、阿贝尔簇等特殊情形推进；法国高等科学研究所(IHES)团队研究其与朗兰兹纲领的关联
怎么参与
先掌握代数几何基础(上同调理论)与Galois表示论，进阶研读关于K3曲面/阿贝尔簇泰特猜想已证明情形的论文