406章
“不巧，我還真證明出來了。”
程諾的聲音回蕩在空曠的小禮堂內，讓在座的所有人都陷入短暫的失神。
他們，好像聽到了什麽不得了的事情。
台上拉塞爾教授的呼吸猛地一滯，望著程諾那挺拔的身影，足足沉默了有十幾秒。
隨後，他嗬嗬笑道，“這位先生，你是在開玩笑，對吧？”
如果程諾說他之前說的那番結論沒有確實的證據，隻是停留在“猜想”階段，那就頂多證明程諾的腦洞足夠大而已。
要知道，並非所有的猜想都能像哥德巴赫猜想和黎曼猜想那樣在數學界擁有崇高的地位，更何況猜想的提出者還僅僅隻是一位研究生。
但如果程諾確實如他言之鑿鑿的一般，有方法去證明他口中所說的那個“猜想”，那就性質就變了，那就變成了“定理”。
“猜想”和“定理”可是兩個完全不同的概念。
“猜想”的實用性低的可憐，但“定理”不一樣，即便那個定理再怎麽簡單，應用性能都要比“猜想”強不少。
而且，程諾所提出的這個“定理”，可不是什麽爛大街的貨色。
普遍意義上的非奇異代數簇的zata函數的共同性質。
這不僅僅揭示了有限域上定義的代數簇的算數和複代數簇的拓撲之間的一個深刻聯係，還說明了拓撲空間上的同調方法，同樣適用於簇和概形。
作為幾何學方麵的數學家，拉塞爾深知這個定理的出現意味著什麽。
幾何學能夠通過拓撲學的同調方法，對表示理論和自同構理論展開更深層次的研究。
於此同時，一直困擾frobenius自同態領域的環映射問題將會得到解決。將代數拓撲和代數幾何的motive工具會再次增加。
另外，由於該定理研究的核心依舊是zata函數，那麽對於黎曼猜想的證明，也會提供另一種新奇的思路。
總之，隻要程諾隻要能證明這個結論是一個“定理”，那絕對會在幾何學領域造成一股風暴。
“開玩笑？”程諾聳聳肩，開口說道，“拉塞爾先生，我可沒有開玩笑的心思。”
拉塞爾眉頭緊緊皺起，“那你……”
“真是麻煩。”程諾直接往禮堂前方的舞台上走去，一邊走一邊說道，“算了，我還是證明給你們看吧。”
說著，程諾大步邁到台上，對旁邊還在愣神的青年邁倫說道，“有粉筆嗎？”
“哦，有，有。”邁倫短路了幾秒，迷迷糊糊的從一旁遞給程諾一盒粉筆。
為了方便，酒店方麵早就在禮堂講台牆麵上裝上了四麵上下拉動的黑板。
程諾不管拉塞爾和台下二十多位數學家呆滯的眼神，自顧自的唰唰在黑板上寫道：
【設x是fq上的d維光滑射影簇，則zata函數zx(t)是一個有理函數，即zx(t)∈q(t)，更精確的，zx(t)可寫成如下有限交錯積的形式：
zx(t)=npi(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]中可分解為n(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函數，擁有如下三個性質：
1：zx(t)是有理函數
2：滿足函數方程
3：zx(t)函數零點擁有某種特定的形式.
證畢！】
唰唰唰唰，用了十多分鍾的時間，程諾將四個黑板全部寫滿。
同時，在結尾，程諾寫下大大的“證畢”二字。
一片寂靜。
整個禮堂陷入一種詭異的安靜氣氛中，落針可聞。
台下二十多位數學家，或複雜，或震撼的眼神，緊緊的盯著程諾。
拉塞爾教授狠狠的咽了一口唾沫，臉上是不知該笑還是該哭的表情。他聲音沙啞的問道，“你是怎麽想到這些的？”
程諾攤手，“自然而然的就想到的啊！這難道還有什麽難度係數？”
拉塞爾教授：“……”
“怎麽，現在相信我說的話是正確的了吧？”程諾問道。
拉塞爾教授：“時間太短，還需要一段時間的驗證。”
程諾揮揮手，“那你們繼續驗證，我先撤了。”
“你不等驗證結果出來？”
“不了。沒必要。”
“唉，等等。”
“還有事？”
“能不能留下你的名字。”
“我叫程諾。”
說完這四個字後，程諾步伐匆匆的從正門離開小禮堂。
那二十多位數學家望著程諾的背影，感覺三觀在這短短的十幾分鍾內盡數被摧毀。
現在連一個酒店的服務生，都這麽恐怖的嗎？隨隨便便就提出一個定理。簡直把他們這一群自詡數學為職業的數學家按在地麵上瘋狂摩擦啊！
不過，現在的緊要問題，還是驗證程諾提出的定理是否正確。
從黑板上那嚴謹的證明過程來看，他們感覺，他們很有可能會成為曆史的見證者……
…………
當譚微微推開程諾房門時，便見到程諾在往行李箱裏收拾著衣服。
譚微微納悶道，“你這是幹什麽呢？”
程諾不抬頭的回答，“我要跑路了。”
“跑路？”譚微微更加疑惑了，“國際數學家大會還有好幾天才結束呢，你回去幹什麽？”
“唉！”程諾拉上行李箱的拉鏈，一屁股坐在上麵，聳肩到，“一不小心搞了個大的，身份應該暴露了。”
譚微微：“搞了個大的？難道是你在別的數學家講座上鬧事了？”
程諾：“差不多是這樣吧，你還記得在飛機上遇到的那個拉塞爾教授吧，我好心去給他捧場了，可是他不地道啊，莫名其妙就把我叫起來問問題。”
譚微微：“然後你就問了？”
程諾：“沒有。他不讓我好過，我也不能讓他舒服啊，所以我就當著所有人的麵，懟了他幾句，然後順便證明了一個定理？”
譚微微：“？？？”
順便，證明了一個定理？！！
“對了，你也小心點，千萬別出風頭，我先撤了。”程諾匆匆說完，便提著行李箱消失在譚微微視線中。
酒店樓下。
程諾望著那棟大樓，心中暗暗發誓。
“下一次，我一定堂堂正正的參加這場數學界盛宴！”
“不巧，我還真證明出來了。”
程諾的聲音回蕩在空曠的小禮堂內，讓在座的所有人都陷入短暫的失神。
他們，好像聽到了什麽不得了的事情。
台上拉塞爾教授的呼吸猛地一滯，望著程諾那挺拔的身影，足足沉默了有十幾秒。
隨後，他嗬嗬笑道，“這位先生，你是在開玩笑，對吧？”
如果程諾說他之前說的那番結論沒有確實的證據，隻是停留在“猜想”階段，那就頂多證明程諾的腦洞足夠大而已。
要知道，並非所有的猜想都能像哥德巴赫猜想和黎曼猜想那樣在數學界擁有崇高的地位，更何況猜想的提出者還僅僅隻是一位研究生。
但如果程諾確實如他言之鑿鑿的一般，有方法去證明他口中所說的那個“猜想”，那就性質就變了，那就變成了“定理”。
“猜想”和“定理”可是兩個完全不同的概念。
“猜想”的實用性低的可憐，但“定理”不一樣，即便那個定理再怎麽簡單，應用性能都要比“猜想”強不少。
而且，程諾所提出的這個“定理”，可不是什麽爛大街的貨色。
普遍意義上的非奇異代數簇的zata函數的共同性質。
這不僅僅揭示了有限域上定義的代數簇的算數和複代數簇的拓撲之間的一個深刻聯係，還說明了拓撲空間上的同調方法，同樣適用於簇和概形。
作為幾何學方麵的數學家，拉塞爾深知這個定理的出現意味著什麽。
幾何學能夠通過拓撲學的同調方法，對表示理論和自同構理論展開更深層次的研究。
於此同時，一直困擾frobenius自同態領域的環映射問題將會得到解決。將代數拓撲和代數幾何的motive工具會再次增加。
另外，由於該定理研究的核心依舊是zata函數，那麽對於黎曼猜想的證明，也會提供另一種新奇的思路。
總之，隻要程諾隻要能證明這個結論是一個“定理”，那絕對會在幾何學領域造成一股風暴。
“開玩笑？”程諾聳聳肩，開口說道，“拉塞爾先生，我可沒有開玩笑的心思。”
拉塞爾眉頭緊緊皺起，“那你……”
“真是麻煩。”程諾直接往禮堂前方的舞台上走去，一邊走一邊說道，“算了，我還是證明給你們看吧。”
說著，程諾大步邁到台上，對旁邊還在愣神的青年邁倫說道，“有粉筆嗎？”
“哦，有，有。”邁倫短路了幾秒，迷迷糊糊的從一旁遞給程諾一盒粉筆。
為了方便，酒店方麵早就在禮堂講台牆麵上裝上了四麵上下拉動的黑板。
程諾不管拉塞爾和台下二十多位數學家呆滯的眼神，自顧自的唰唰在黑板上寫道：
【設x是fq上的d維光滑射影簇，則zata函數zx(t)是一個有理函數，即zx(t)∈q(t)，更精確的，zx(t)可寫成如下有限交錯積的形式：
zx(t)=npi(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]中可分解為n(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函數，擁有如下三個性質：
1：zx(t)是有理函數
2：滿足函數方程
3：zx(t)函數零點擁有某種特定的形式.
證畢！】
唰唰唰唰，用了十多分鍾的時間，程諾將四個黑板全部寫滿。
同時，在結尾，程諾寫下大大的“證畢”二字。
一片寂靜。
整個禮堂陷入一種詭異的安靜氣氛中，落針可聞。
台下二十多位數學家，或複雜，或震撼的眼神，緊緊的盯著程諾。
拉塞爾教授狠狠的咽了一口唾沫，臉上是不知該笑還是該哭的表情。他聲音沙啞的問道，“你是怎麽想到這些的？”
程諾攤手，“自然而然的就想到的啊！這難道還有什麽難度係數？”
拉塞爾教授：“……”
“怎麽，現在相信我說的話是正確的了吧？”程諾問道。
拉塞爾教授：“時間太短，還需要一段時間的驗證。”
程諾揮揮手，“那你們繼續驗證，我先撤了。”
“你不等驗證結果出來？”
“不了。沒必要。”
“唉，等等。”
“還有事？”
“能不能留下你的名字。”
“我叫程諾。”
說完這四個字後，程諾步伐匆匆的從正門離開小禮堂。
那二十多位數學家望著程諾的背影，感覺三觀在這短短的十幾分鍾內盡數被摧毀。
現在連一個酒店的服務生，都這麽恐怖的嗎？隨隨便便就提出一個定理。簡直把他們這一群自詡數學為職業的數學家按在地麵上瘋狂摩擦啊！
不過，現在的緊要問題，還是驗證程諾提出的定理是否正確。
從黑板上那嚴謹的證明過程來看，他們感覺，他們很有可能會成為曆史的見證者……
…………
當譚微微推開程諾房門時，便見到程諾在往行李箱裏收拾著衣服。
譚微微納悶道，“你這是幹什麽呢？”
程諾不抬頭的回答，“我要跑路了。”
“跑路？”譚微微更加疑惑了，“國際數學家大會還有好幾天才結束呢，你回去幹什麽？”
“唉！”程諾拉上行李箱的拉鏈，一屁股坐在上麵，聳肩到，“一不小心搞了個大的，身份應該暴露了。”
譚微微：“搞了個大的？難道是你在別的數學家講座上鬧事了？”
程諾：“差不多是這樣吧，你還記得在飛機上遇到的那個拉塞爾教授吧，我好心去給他捧場了，可是他不地道啊，莫名其妙就把我叫起來問問題。”
譚微微：“然後你就問了？”
程諾：“沒有。他不讓我好過，我也不能讓他舒服啊，所以我就當著所有人的麵，懟了他幾句，然後順便證明了一個定理？”
譚微微：“？？？”
順便，證明了一個定理？！！
“對了，你也小心點，千萬別出風頭，我先撤了。”程諾匆匆說完，便提著行李箱消失在譚微微視線中。
酒店樓下。
程諾望著那棟大樓，心中暗暗發誓。
“下一次，我一定堂堂正正的參加這場數學界盛宴！”