万能数据 (鸿尘逍遥)

　　“那个……，万一那个服务生问一个为什么‘1+1=2’的问题，那拉塞尔岂不是很尴尬。”
　　“哈哈，看看拉塞尔这个家伙怎么收场吧。”
　　…………
　　后排，程诺终于从迷迷糊糊状态清醒过来，意识到发生了什么事情。
　　我擦！我就是伸个懒腰而已，就么就被误会为举手提问了？
　　拉塞尔教授这眼神也忒不好使了吧。
　　我是过来捧场，不是过来救场的啊！况且还是搭上自己身份的救场。
　　程诺决定撤了，“那啥，我只是路过，路过，你们继续，我去旁边的会场看看客人有什么需求。”
　　程诺挠挠头，一边说，一边往外撤。
　　“别走！”拉塞尔教授大声叫住程诺，来都来了，还岂能让你溜了。我的那点颜面，可都全指望你了。
　　他笑吟吟的道，“这位先生，从外表来看，我就觉得你有学习数学的天分。我认识一位朋友，有天纵之资，便师从菲涅尔教授，我觉得，有机会的话，你也可以辞去服务员的身份，去麻省理工学院求师菲涅尔教授。”
　　“我想你的未来，一定会想菲涅尔教授那位学生一样，对吧？只可惜，我的那位朋友没来到这届大会，有机会的话，可以让你们认识一下。”
　　程诺面色一黑。
　　拉塞尔教授这是在威胁自己啊，一旦他不帮忙救场，就会将程诺的身份公之于众。
　　殊不知，就算程诺救场话，这里他也待不下去了。
　　程诺的目光对视上台上拉塞尔教授笑眯眯的眼神，嘴角轻轻一弯。
　　既然如此，那便如你所愿。只不过，希望你不要后悔才好。
　　程诺倒不着急了，慢悠悠的走回原本的座位，笑着开口，“学生这里确实有一处疑惑，需要拉塞尔先生的解答。”
　　拉塞尔面色一缓，轻松的道，“请讲。”
　　二十多位观众也是竖起耳朵，看看这位服务生究竟能问出什么“高深”的问题。
　　程诺脑海里过了一遍拉塞尔演讲的内容，淡淡一笑，“通过研究定义于有限域fq上的代数簇x的zeta函数zx（t）和ζx（s），在曲线和阿贝尔簇的情况下，zx（t）满足两个性质：
　　①：zx（t）是有理函数
　　②：满足函数方程
　　我用这一句话来概括拉塞尔教授讲座的内容，应该没有问题吧？”
　　在二十多位或不解，或疑惑的目光中，拉塞尔教授缓缓点头。
　　“不错，可以这样理解。”拉塞尔早就见识过程诺的实力，因此对他一句话总结，倒没有任何的惊讶。
　　“请继续。”拉塞尔示意程诺。
　　程诺颔首，继续说道，“前半部分的内容，我是比较认同的，但是对于zx（t）满足的性质，我有不同的观点。”
　　“除了zx（t）是有理函数和满足函数方程外，我个人认为，还有另一个性质——zx（t）函数的零点，有某种特性的形式！”
　　“零点有某种特定的形式？”拉塞尔教授嘀咕一句，思考了一两秒中，抬头问道，“你为什么这么认为？”
　　程诺抬抬手，示意拉塞尔教授稍安勿躁，“等我讲完再解释。”
　　“除了上面那处疑惑外，我还有和拉塞尔先生另一个不同的观点。讲座中是说，上面的两个，呃，暂且算是三个，那三个性质只适用于曲线和阿贝尔簇两种情况下。”
　　“那这个勉强算是定理的东西，适用的条件太过于苛刻，实用性几乎为零。但如果我们把这个定理扩展到整个非奇异代数簇的zata函数上，那普遍性和实用价值大大提高。那……”
　　“不可能！”拉塞尔教授直接打断了程诺。
　　“这三个性质的得出，是依靠研究有限域fq上的代数簇x的zeta函数zx（t）和ζx（s），对应的就是曲线和阿尔贝簇，怎么能得出一个普遍性的结论出来？”拉塞尔教授大声道。
　　程诺语气不急不缓，“没验证过，怎么知道不能？”
　　“那你证明出来了？”拉塞尔问。“没有理论依据，就不要做这种异想天开的假设！”
　　程诺耸肩，咧嘴笑道，“不巧，我还真证明出来了。”


第四百零六章 搞了个大事情！

　　406章
　　“不巧，我还真证明出来了。”
　　程诺的声音回荡在空旷的小礼堂内，让在座的所有人都陷入短暂的失神。
　　他们，好像听到了什么不得了的事情。
　　台上拉塞尔教授的呼吸猛地一滞，望着程诺那挺拔的身影，足足沉默了有十几秒。
　　随后，他呵呵笑道，“这位先生，你是在开玩笑，对吧？”
　　如果程诺说他之前说的那番结论没有确实的证据，只是停留在“猜想”阶段，那就顶多证明程诺的脑洞足够大而已。
　　要知道，并非所有的猜想都能像哥德巴赫猜想和黎曼猜想那样在数学界拥有崇高的地位，更何况猜想的提出者还仅仅只是一位研究生。
　　但如果程诺确实如他言之凿凿的一般，有方法去证明他口中所说的那个“猜想”，那就性质就变了，那就变成了“定理”。
　　“猜想”和“定理”可是两个完全不同的概念。
　　“猜想”的实用性低的可怜，但“定理”不一样，即便那个定理再怎么简单，应用性能都要比“猜想”强不少。
　　而且，程诺所提出的这个“定理”，可不是什么烂大街的货色。
　　普遍意义上的非奇异代数簇的zata函数的共同性质。
　　这不仅仅揭示了有限域上定义的代数簇的算数和复代数簇的拓扑之间的一个深刻联系，还说明了拓扑空间上的同调方法，同样适用于簇和概形。
　　作为几何学方面的数学家，拉塞尔深知这个定理的出现意味着什么。
　　几何学能够通过拓扑学的同调方法，对表示理论和自同构理论展开更深层次的研究。
　　于此同时，一直困扰frobenius自同态领域的环映射问题将会得到解决。将代数拓扑和代数几何的motive工具会再次增加。
　　另外，由于该定理研究的核心依旧是zata函数，那么对于黎曼猜想的证明，也会提供另一种新奇的思路。
　　总之，只要程诺只要能证明这个结论是一个“定理”，那绝对会在几何学领域造成一股风暴。
　　“开玩笑？”程诺耸耸肩，开口说道，“拉塞尔先生，我可没有开玩笑的心思。”
　　拉塞尔眉头紧紧皱起，“那你……”
　　“真是麻烦。”程诺直接往礼堂前方的舞台上走去，一边走一边说道，“算了，我还是证明给你们看吧。”
　　说着，程诺大步迈到台上，对旁边还在愣神的青年迈伦说道，“有粉笔吗？”
　　“哦，有，有。”迈伦短路了几秒，迷迷糊糊的从一旁递给程诺一盒粉笔。
　　为了方便，酒店方面早就在礼堂讲台墙面上装上了四面上下拉动的黑板。
　　程诺不管拉塞尔和台下二十多位数学家呆滞的眼神，自顾自的唰唰在黑板上写道：
　　【设x是fq上的d维光滑射影簇，则zata函数zx（t）是一个有理函数，即zx（t）∈q（t），更精确的，zx（t）可写成如下有限交错积的形式：
　　zx（t）=∏pi（t）^（-1）^（i+1）=p1（t）p3（t）……p2d-1（t）/p0（t）p2（t）……p2d（t），其中p0（t）=1-t和p2d（t）=1-q^dt.】
　　【对于1≤i≤2d-1，pi（t）∈1+tz【t】是整系数多项式，并且pi（t）在c【t】中可分解为∏（1-aijt），aij∈z.】
　　…………
　　【zata函数zx（t）满足如下函数方程：zx（1/q^dt）=€q^dx/2t^xzx（t），其中€=±1和x是x的欧拉示性数，等价的，如果令zx（t）:=zx（t）t^x/2和ζ（s）=zx（q^（-s）），则……】
　　【……由上可得，对于一般射影非奇异代数簇上的zata函数，拥有如下三个性质：
　　①：zx（t）是有理函数
　　②：满足函数方程
　　③：zx（t）函数零点拥有某种特定的形式.
　　证毕！】
　　唰唰唰唰，用了十多分钟的时间，程诺将四个黑板全部写满。
　　同时，在结尾，程诺写下大大的“证毕”二字。
　　一片寂静。
　　整个礼堂陷入一种诡异的安静气氛中，落针可闻。
　　台下二十多位数学家，或复杂，或震撼的眼神，紧紧的盯着程诺。
　　拉塞尔教授狠狠的咽了一口唾沫，脸上是不知该笑还是该哭的表情。他声音沙哑的问道，“你是怎么想到这些的？”
　　程诺摊手，“自然而然的就想到的啊！这难道还有什么难度系数？”
　　拉塞尔教授：“……”
　　“怎么，现在相信我说的话是正确的了吧？”程诺问道。
　　拉塞尔教授：“时间太短，还需要一段时间的验证。”
　　程诺挥挥手，“那你们继续验证，我先撤了。”
　　“你不等验证结果出来？”
　　“不了。没必要。”
　　“唉，等等。”
　　“还有事？”
　　“能不能留下你的名字。”
　　“我叫程诺。”
　　说完这四个字后，程诺步伐匆匆的从正门离开小礼堂。
　　那二十多位数学家望着程诺的背影，感觉三观在这短短的十几分钟内尽数被摧毁。
　　现在连一个酒店的服务生，都这么恐怖的吗？随随便便就提出一个定理。简直把他们这一群自诩数学为职业的数学家按在地面上疯狂摩擦啊！