n(t)(某种正则化后),与此拓扑不变量存在如下渐近关系:
n(t)
~
(12π)
*
x(m_ξ)
*
t
log
t
+
。。。
写到这里,西格尔的手微微颤抖。这不是一个普通的公式,这是一个桥梁,一个将分析的计数问题(零点个数)与拓扑的不变量(欧拉示性数)直接联系起来的魔法公式!它意味着,黎曼猜想的真相——即零点全部位于临界线上——可能等价于这个假设的流形
m_ξ
具有某种极致的拓扑刚性(例如,其欧拉示性数取某个特定值,或者其上的向量场
v
具有特殊的奇点结构)。
接下来的几天几夜,西格尔如同着魔一般,将自己锁在书房里。他需要将这一宏伟的构想,转化为严格的数学。他不需要真正构造出那个神秘的
m_ξ(这或许是本世纪甚至更长时间内都无法完成的任务),他只需要证明:如果这样的
m_ξ
和
v
存在,并且满足ξ函数所知的解析性质(如函数方程),那么,零点计数函数
n(t)
的主项,必然可以通过计算向量场