第四百四十二章 或許這就是巧合吧

　　回到宿舍的陳舟，把背包仍在椅子上，伸手翻開了壹頁草稿紙。
　　草稿紙上，所寫的內容，如果那位諾特學姐在的話，壹定驚呼出聲。
　　因為，這也草稿紙的內容，就是關於“伽羅瓦群的阿廷L函數的線性表示”的研究內容。
　　這也是陳舟在阿廷教授說要給他布置子課題進行研究時，略顯遲疑的原因。
　　相比於阿廷教授的子課題，對“伽羅瓦群的阿廷L函數的線性表示”進行研究，會更有趣。
　　“這個諾特學姐，倒真會找課題……”
　　“或許，這就是巧合吧？”
　　陳舟拿起這張草稿紙，前後看了壹遍，無奈的搖了搖頭。
　　要不是課題撞車，陳舟或許還會多考慮壹下。
　　可自己感興趣的課題，居然還被人邀請壹起研究。
　　那陳舟就只有拒絕了。
　　倒不是陳舟覺得合作不好，只是他現在更喜歡獨立的進行研究。
　　尤其是這種感興趣的課題。
　　除非是楊依依和自己壹起研究，其他人，陳舟都會不習慣。
　　至於這個課題，要是被諾特和她的導師捷足先登了。
　　那陳舟也不會在意，相反，還會去恭喜這位諾特學姐。
　　畢竟數學研究這種事，沒有什麽是壹定的。
　　輕輕放下這張草稿紙，陳舟把背包拿開，坐在椅子上。
　　然後找到壹張新的草稿紙，拿起筆，開始梳理這個課題所牽涉的研究內容。
　　當然，這個課題的優先級是遠遠低於哥猜的研究和膠球實驗課題的。
　　也許等到哥猜解決後，陳舟才會把它的優先級提起來。
　　誠如諾特所言，這裏面的壹系列問題，簡直太令人神往了。
　　【對於每壹個壹元多項式，我們可以定義L函數，它們通常叫做戴德金ζ函數……】
　　這段話寫完後，陳舟拿筆把戴德金ζ函數畫了個圈，習慣性拿筆在旁邊點了幾下。
　　然後，在這個圈的旁邊，寫下了黎曼ζ函數。
　　黎曼ζ函數是壹元壹次多項式的特殊情況。
　　不過，戴德金ζ函數和黎曼ζ函數壹樣，可以用初等證明的方法，證明其滿足這壹函數的前兩個條件。
　　想到這，陳舟的思維擴散開來。
　　戴德金ζ函數壹個自然的推廣，是考慮多元多項式的情況。
　　而這裏，就進入了代數幾何的領域。
　　多元多項式的零點，定義了壹個幾何對象，也就是代數簇。
　　對代數簇的研究，便被稱之為代數幾何。
　　說起來，代數幾何雖然是壹門古老的學科，但它也是在20世紀，才經歷了壹次蔚為壯觀的發展。
　　20世紀初期，意大利學派對代數曲面的研究，有了長足的進展。
　　然而，其不嚴謹的基礎，促使奧斯卡·紮裏斯基和安德烈·韋伊重構了整個代數幾何的基礎。
　　韋伊更是指出了代數幾何和數論與拓撲之間的驚人聯系。
　　在之後，被譽為代數幾何皇帝的格羅滕迪克，為了理解韋伊的猜想，更進壹步用更抽象本質的方法，重新構建了代數幾何的基礎，並引進了壹系列強大的工具。
　　特別是他的上同調理論，最終促使他的學生，也就是陳舟的三位審稿人之壹的德利涅教授，完整的證明了韋伊猜想。
　　並因此，獲得了菲爾茲獎。
　　事實上，格羅滕迪克的上同調理論，根植於代數拓撲。
　　而且，格羅滕迪克同時構造了壹系列上同調理論，它們具有非常類似的性質。
　　但卻起源於非常不同的構造。
　　格羅滕迪克試圖尋找出它們的共同本質，並由此提出了Motive理論。
　　這壹理論並不完整，因為它基於壹系列的猜想。
　　Motive理論也被格羅滕迪克稱之為標準猜想。
　　如果標準猜想被證明，那也就得到了完整的Motive理論。
　　它導出了所有上同調，同時能證明壹系列表面無關的問題。
　　舉個例子，七大千禧難題之壹的霍奇猜想的重要性，就在於它能導出標準猜想。
　　不得不說，標準猜想的證明，大概算是代數幾何裏最要緊的事了。
　　但是，標準猜想的證明難度，卻又是頂級的。
　　真要比壹下的話，從陳舟的角度來看，標準猜想的難度，得比哥猜高壹個等級。
　　收回思緒，陳舟回到眼前的草稿紙上，拿起筆，開始寫到：
　　【關於Motivic L函數和自守L函數，每壹個Motivic L函數，都是由Motivic給出的。
　　對於這些函數，很容易驗證其滿足黎曼ζ函數的第壹個條件，但是第二個條件，還無法證明壹般的情況。
　　壹個已知例子是，有理數上橢圓曲線的情形，也就是費馬大定理的證明的壹個推論（谷山－誌村猜想）。】
　　陳舟記得在文獻上看到過，這個谷山－誌村猜想的完整情形，是在2001年，由懷爾斯教授的幾位學生證明。
　　不得不說，懷爾斯教授的學生在面對費馬大定理的推論時，都有buff加成。
　　陳舟在谷山－誌村猜想旁邊，做了個標記，便繼續寫到：
　　【對於幾乎所有L函數，第三個條件，也就是黎曼假設，都是未知的。
　　唯壹的例外是Motive在有限域的情形，此時L函數滿足黎曼假設的條件，正是韋伊猜想。】
　　陳舟又在韋伊猜想旁邊，寫下了“德利涅”三個字。
　　雖然看似這裏面的問題，被解決了不少。
　　但實際上，尚未解決的問題，才是真正的龐大。
　　對於對於Motivic L函數的特殊值的問題，現在普遍的研究認為，需要Motive的壹個推廣。
　　這是壹個更加龐大，也更加遙遠的夢想。
　　數學家們把它稱為mixed motive。
　　它的存在能夠推導出壹系列及其漂亮的等式，推廣歐拉對於黎曼ζ的公式。
　　著名的貝林森猜想，七大千禧難題之壹的BSD猜想等，都屬於可以被推導之列。
　　從某種程度來說，mixed motive可以和標準猜想相媲美，甚至於超過了標準猜想。
　　因為目前的數學界，還不知道如何去構造它罷了。
　　當然，目前的數學界雖然無法構造mixed motive，卻能夠構造它的壹個弱化變形，也就是導出範疇。
　　俄羅斯數學家弗拉基米爾·沃埃沃德斯基，就是因為給出了這樣壹個構造，從而獲得了2002年的菲爾茲獎。
　　想到這，陳舟的內心憧憬無比，這要是解決了標準猜想，再構造出mixed motive理論。
　　那自己能拿多少個菲爾茲獎？
　　自己怕不是會成為第壹個拿獎，拿到億萬富翁的數學家？
　　但很快，陳舟就清醒了。
　　都沒到晚上睡覺呢，還是先不做夢了。
　　老老實實，腳踏實地的，壹步壹步做好自己的研究，才是最主要的。
　　不再多想的陳舟，繼續在草稿紙上梳理這個課題所牽涉的研究內容。
　　【每壹個Motive都能給出壹系列伽羅瓦群的表示以及復幾何中的霍奇結構，它們完全決定了L函數，因而考慮它們是更根本的問題……】
　　事實上，Motive是比L函數更本質的存在，但是很難直接計算它。
　　替代的辦法是考慮Motive的不同表達。
　　從已有的例子來看，類域論已經解決了交換伽羅瓦群的情形。
　　也就是說，壹個簡單，但卻根本的想法，是群的表示比群本身更加基本。
　　因而需要考慮的不是伽羅瓦群本身，而是它的表示。
　　這樣所有的交換伽羅瓦群，就等價於壹維的伽羅瓦表示，而非交換的就等價於高維的表示。
　　想到這，陳舟微微皺眉，他把電腦打開，開始查找文獻資料。
　　按照這個思路來看的話，就必須必須考慮它們的內在對稱性。
　　可令人驚訝的是，這些對稱性很大程度上來源於壹類完全不同的數學對象，也就是自守形式。
　　自守形式的起源可以追溯到19世紀，數學大神龐加萊是這壹方向的先驅者。
　　陳舟手速飛快的在電腦上，輸入想要查找的內容。
　　再壹壹把文獻下載下來。
　　原本打算回來待壹會，就去吃飯的陳舟。
　　就這樣，不知不覺的陷入了數學的世界之中。