q^{i2}。
如何证明这个看似神奇的等式?这需要决定性的洞察。
攻坚进入了最艰苦的阶段。桌上堆满了演算纸,咖啡杯随处可见,夜晚的灯光常亮至黎明。格罗腾迪克如同一位在深山勘探矿脉的地质学家,试图从范畴的普遍性质和层的抽象理论中,找到一种内蕴的、必然的“正定性”或“酉性”,来约束弗罗贝尼乌斯映射的特征值。他提出了“标准猜想”
这一更为宏大、也更为艰难的设想,试图一劳永逸地解决这类问题。
而德利涅,则像一位技艺已臻化境的冶金大师,在具体的数学材料中不断尝试、锻造、测试。他尝试了各种对偶定理、特征标公式、代数循环理论,试图直接估计特征值的模长。进展时有,但总离那完美的等式
|a|
=
q^{i2}
差最后那一步看似微小却深不见底的鸿沟。
转折点发生在一个看似平常的下午。德利涅正在反复审视一个关于代数簇的庞加莱对偶定理的证明。这个定理保证了上同调群之间存在一个完美的配对。突然,他脑海中划过一道闪电——他意识到,弗罗贝尼乌斯映射frob_q在这个对偶配对下的行为,并非任意的,它必须满足某种“相容性”!更具体地说,frob_q
的逆映射
frob_q^{-1},在对偶配对下,应该以某种共轭的方式与
frob_q
自身相关联。
他立刻扑到黑板前,将这个灵感转化为数学语言。他考虑了一个精巧的构造:将frob_q
与其“对偶”
frob_q^{-1}
通过庞加莱对偶联系起来。他需要证明,这个联系迫使frob_q的特征值a和其某个共轭(与对偶相关的)的乘积,必须等于q^i。
接下来的几个小时,是数学史上最激动人心的时刻之一。德利涅的粉笔在黑板上飞速移动,勾勒出复杂的交换图,进行着精妙的函子计算。格罗腾迪克站在他身后,目光锐利如鹰,时而提出一个关键范畴的注释,时而指出一个可能更自然的函子化表述。师徒二人的思维完全同步,如同一位大师琴师与一位天才演奏家在即兴演绎一首极其复杂的赋格曲,彼此激发,完美契合。
最终,所有的线索汇聚到一点。德利涅证明了,存在一个正定的埃尔米特型(或类似的结构),在这个内积下,q^{-i}
frob_q
的作用成为一个酉算子!而酉算子的所有特征值,其模长必然为1!
这意味着
|q^{-i}
a|
=
1,所以