9.1.3 Weil猜想与Riemann假设

文档摘要

9.1.3 Weil猜想与Riemann假设在代数几何的深谷中，Weil猜想不是一纸缥缈的哲学断言，而是一套可计算、可验证、可编程的数学操作系统——它运行在有限域上的代数簇之上，调度着étale上同调群的本征值，最终输出一个关于点计数的精确生成函数。当我们说“Riemann假设在正特征下成立”，我们并非在复平面上画一条临界线；我们是在$\mathbb{F}q$上构造一个光滑射影簇$X$，显式计算其$l$-adic上同调群$H^i{\text{ét}}(X{\overline{\mathbb{F}}q}, \mathbb{Q}l)$的Frobenius作用矩阵，然后逐个检验其所有本征值$\alpha$是否满足$|\alpha| = q^{i/2}$。这不是证明，而是数值实证；