406章
“不巧,我还真证明出来了。”
程诺的声音回
在空旷的小礼堂内,让在座的所有
都陷
短暂的失。
他们,好像听到了什么不得了的事
。
台上拉塞尔教授的呼吸猛地一滞,望着程诺那挺拔的身影,足足沉默了有十几秒。
随后,他呵呵笑道,“这位先生,你是在开玩笑,对吧?”
如果程诺说他之前说的那番结论没有确实的证据,只是停留在“猜想”阶段,那就顶多证明程诺的脑
足够大而已。
要知道,并非所有的猜想都能像哥德
赫猜想和黎曼猜想那样在数学界拥有崇高的地位,更何况猜想的提出者还仅仅只是一位研究生。
但如果程诺确实如他言之凿凿的一般,有方法去证明他
中所说的那个“猜想”,那就
质就变了,那就变成了“定理”。
“猜想”和“定理”可是两个完全不同的概念。
“猜想”的实用
低的可怜,但“定理”不一样,即便那个定理再怎么简单,应用
能都要比“猜想”强不少。
而且,程诺所提出的这个“定理”,可不是什么烂大街的货色。
普遍意义上的非异代数簇的zt函数的共同
质。
这不仅仅揭示了有限域上定义的代数簇的算数和复代数簇的拓扑之间的一个
刻联系,还说明了拓扑空间上的同调方法,同样适用于簇和概形。
作为几何学方面的数学家,拉塞尔
知这个定理的出现意味着什么。
几何学能够通过拓扑学的同调方法,对表示理论和自同构理论展开更
层次的研究。
于此同时,一直困扰frobenus自同态领域的环映
问题将会得到解决。将代数拓扑和代数几何的motve工具会再次增加。
另外,由于该定理研究的核心依旧是zt函数,那么对于黎曼猜想的证明,也会提供另一种新的思路。
总之,只要程诺只要能证明这个结论是一个“定理”,那绝对会在几何学领域造成一
风
。
“开玩笑?”程诺耸耸肩,开
说道,“拉塞尔先生,我可没有开玩笑的心思。”
拉塞尔眉
紧紧皱起,“那你……”
“真是麻烦。”程诺直接往礼堂前方的舞台上走去,一边走一边说道,“算了,我还是证明给你们看吧。”
说着,程诺大步迈到台上,对旁边还在愣的青年迈伦说道,“有
笔吗?”
“哦,有,有。”迈伦短路了几秒,迷迷糊糊的从一旁递给程诺一盒
笔。
为了方便,酒店方面早就在礼堂讲台墙面上装上了四面上下拉动的黑板。
程诺不管拉塞尔和台下二十多位数学家呆滞的眼,自顾自的唰唰在黑板上写道:
设x是fq上的d维光滑
影簇,则zt函数zxt是一个有理函数,即zxtqt,更
确的,zxt可写成如下有限
错积的形式:
zxtnpt11p1tp3t……p2d1tp0tp2t……p2dt,其中p0t1t和p2dt1qdt.
对于12d1,pt1tz[t]是整系数多项式,并且pt在c[t]中可分解为n1jt,jz.
…………
zt函数zxt满足如下函数方程:zx1qdt€qdx2txzxt,其中€1和x是x的欧拉示
数,等价的,如果令zxt:zxttx2和ζszxqs,则……
……由上可得,对于一般
影非异代数簇上的zt函数,拥有如下三个
质:
1:zxt是有理函数
2:满足函数方程
3:zxt函数零点拥有某种特定的形式.
证毕!
唰唰唰唰,用了十多分钟的时间,程诺将四个黑板全部写满。
同时,在结尾,程诺写下大大的“证毕”二字。
一片寂静。
整个礼堂陷
一种诡异的安静气氛中,落针可闻。
台下二十多位数学家,或复杂,或震撼的眼,紧紧的盯着程诺。
拉塞尔教授狠狠的咽了一
唾沫,脸上是不知该笑还是该哭的表
。他声音沙哑的问道,“你是怎么想到这些的?”
程诺摊手,“自然而然的就想到的啊!这难道还有什么难度系数?”
拉塞尔教授:“……”
“怎么,现在相信我说的话是正确的了吧?”程诺问道。
拉塞尔教授:“时间太短,还需要一段时间的验证。”
程诺挥挥手,“那你们继续验证,我先撤了。”
“你不等验证结果出来?”
“不了。没必要。”
“唉,等等。”
“还有事?”
“能不能留下你的名字