第83章 沒錯，就是這個！
第83章 沒錯，就是這個！
「你說什麼？」
聽見席嵐的話，馬知遠就是一愣，還以為自己沒有聽清。
台上的這個年輕人，比他們想像的還要更懂數論？
席嵐搖搖頭，指了指ppt，說道：「馬上咱們就知道了。」
馬知遠順著他手指的方向，看向了ppt，隨後，他的眼睛就眯了起來。
此時台上的ppt已經再次被翻了一頁，而這一頁的主題是《遠阿貝爾幾何和數論的聯繫》。
「他想要做什麼？」馬知遠對這個少年想要幹的事情產生了更大的好奇。
與此同時，其他注意到ppt這一頁內容的數學學者們，心中也都產生了疑惑。
「姓胡的，你這學生是打算講什麼東西？」
另外一側的座位上，胡廣德的死對頭，來自上京大學的廖歡院士也在現場，見到這一頁ppt上面的內容後，他便立馬轉頭問向了旁邊的胡廣德。
胡廣德瞪了他一眼：「姓廖的，給我放尊重一點，我是院士。」
「說的就跟我不是一樣。」廖歡聳了聳肩，一副無所謂的樣子。
兩人對上目光，仿佛有電流在他們的視線中間交火。
此時他們都想知道到底是哪個人將他們兩個安排坐在一起的。
要不就等同於國際會議的時候把巴以兩國安排在一起麼？
最後，胡廣德冷哼一聲：「你放心就好了，蕭易待會兒要講的東西肯定能嚇伱一跳。」
「我看你自己也不知道吧！」廖歡嘖嘴道。
胡廣德失笑：「我就算不知道又咋樣，蕭易想研究什麼就研究什麼，他有能力研究數學中任何困難的問題。」
「我只需要相信，他搞出來的，肯定都是你搞不出來的東西就行了。」
「你特麼……」廖歡眼睛頓時又瞪了起來，最後呵了一聲：「說的好像你就搞的出來一樣。」
「我搞不出來，那也是我學生。」胡廣德毫不在意，樂呵呵地說道。
廖歡不說話了。
媽的，心裏面怎麼這麼羨慕啊。
他們學校招生辦當初的立場就不能堅定一些，把台上那孩子拉進他們學校呢？
……
台上的蕭易並不知道自己的這一頁ppt，卻讓台下產生了那麼多的反應。
不過，接下來也確實到了他這場報告最重點的部分了。
「儘管望月新一教授的IUTT理論是錯誤的，不過，我們必須要知道的是，望月教授想要發展遠阿貝爾幾何的想法，以及他在過程中所展現出來的數學思想，是值得我們去學習的。」
「望月教授想要利用遠阿貝爾幾何去解決abc猜想，有一個核心的思想，那就是將前者運用於數論領域中。」
「大略地說明一下，遠阿貝爾幾何究竟是什麼東西，用很簡單的一句話來說就是，考慮代數幾何中的etale基本群能夠給出多少代數簇本身的信息，能在多大程度上決定代數簇本身的同構類。」
「【信息】，對於數學的研究來說是一個很重要的東西，在不同形式的變化下，有時候我們所需要的數學信息會丟失，而有時候在變換成另外一個形式之後，有些信息又會變得清晰，甚至會出現一些新的信息，而這就能夠幫助我們解決一些問題。」
「將遠阿貝爾幾何運用於數論中，就有著這樣的作用。」
「但現在的問題是，遠阿貝爾要如何和數論扯上關係呢？」
「那麼，請讓我們先回到幾十年前，格羅滕迪克曾經提出過的一個函子關係。」
ppt再次翻頁，新的一頁，介紹的就是那給蕭易帶來了無限啟發的神秘函子。
「對於所有在p-adic域上具有良好約簡的簇，應該有一種方法可以直接從 p-adicétale上同調到晶體上同調。」
「而Frobenius同態性和Hodge濾波、K張量，同K的伽羅瓦群的作用都等同於和X相關的Barsotti-Tate群。」
「基於這兩個前提下，讓我們思考一種可能——」
「我們引入一個具有Gk作用的環Bcris、一個Frobeniusφ，以及在將標量從K0擴展到K後進行一次過濾，會發生什麼？」
蕭易又一次走到了黑板面前，在右半部分的空白處寫了起來。
【BcrisK0·HdR(X/K)≌BcrisQp·H(X·K，Qp)】
……
他簡單的幾步之後，台下，那些知識範圍比較廣的學者們，頓時都眯起了眼睛。
格羅滕迪克的神秘函子，聽說過的人可能比較多，但了解的人就比較少，不過在現場的這麼多數學學者中，卻也還是有那麼一些人懂得。
關於這個神秘函子的研究歷史也有幾十年了，畢竟這個東西涉及到了將etale上同調論和晶體上同調論統一的可能性。
再更進一步的說，發現不同上同調之間存在的緊密聯繫，將十分有利於代數幾何中的動機理論，【Motive】，這個理論同樣是由格羅滕迪克弄出來的——更嚴謹點來說，這個東西還不是理論，而是一個未得到證明的命題。
其目的是為了找到一個「萬有上同調理論」，而上同調理論又是代數幾何以及代數拓撲的重要工具，所以，這個理論對於數學界而言也有著十分重要的意義。
而作為可能組成這個「萬有上同調理論」的一塊磚瓦，格羅滕迪克所提出的這個神秘函子，自然也吸引了不少數學家們的研究，比如法爾廷斯就是在這方面成功比較突出的數學家。
只不過，幾十年過去，這個神秘函子的真實面貌仍然沒有被完全地定義出來。
然而，眼下蕭易所寫出來的這個東西，讓這些能夠看懂的數學學者們都變得認真起來。
因為，現在的蕭易，正在從遠阿貝爾幾何的角度，來對這個神秘函子進行一次十分深入的剖析。
時間跟隨著蕭易的講述，漸漸過去了。
那塊黑板也逐漸被蕭易的筆跡所占據，直到最後——
「所以，我們成功得證——」
【BstK0·HdR(X/K)≌BstQp·Het(X*K，Qp)】
蕭易在黑板最後的空白處寫下來這樣一行等價式。
「因此，我們終於找到了這個神秘函子，(x，-)的真實面貌！」
隨著他這最後一行式子的寫出，頓時間，觀眾席間，那些看懂了的數學家們，瞪大了眼睛。
沒錯，就是這個！
這個年輕人，竟然真的做到了！
他成功地定義了格羅滕迪克的神秘函子，揭開了它的真面貌！
(本章完)
「你說什麼？」
聽見席嵐的話，馬知遠就是一愣，還以為自己沒有聽清。
台上的這個年輕人，比他們想像的還要更懂數論？
席嵐搖搖頭，指了指ppt，說道：「馬上咱們就知道了。」
馬知遠順著他手指的方向，看向了ppt，隨後，他的眼睛就眯了起來。
此時台上的ppt已經再次被翻了一頁，而這一頁的主題是《遠阿貝爾幾何和數論的聯繫》。
「他想要做什麼？」馬知遠對這個少年想要幹的事情產生了更大的好奇。
與此同時，其他注意到ppt這一頁內容的數學學者們，心中也都產生了疑惑。
「姓胡的，你這學生是打算講什麼東西？」
另外一側的座位上，胡廣德的死對頭，來自上京大學的廖歡院士也在現場，見到這一頁ppt上面的內容後，他便立馬轉頭問向了旁邊的胡廣德。
胡廣德瞪了他一眼：「姓廖的，給我放尊重一點，我是院士。」
「說的就跟我不是一樣。」廖歡聳了聳肩，一副無所謂的樣子。
兩人對上目光，仿佛有電流在他們的視線中間交火。
此時他們都想知道到底是哪個人將他們兩個安排坐在一起的。
要不就等同於國際會議的時候把巴以兩國安排在一起麼？
最後，胡廣德冷哼一聲：「你放心就好了，蕭易待會兒要講的東西肯定能嚇伱一跳。」
「我看你自己也不知道吧！」廖歡嘖嘴道。
胡廣德失笑：「我就算不知道又咋樣，蕭易想研究什麼就研究什麼，他有能力研究數學中任何困難的問題。」
「我只需要相信，他搞出來的，肯定都是你搞不出來的東西就行了。」
「你特麼……」廖歡眼睛頓時又瞪了起來，最後呵了一聲：「說的好像你就搞的出來一樣。」
「我搞不出來，那也是我學生。」胡廣德毫不在意，樂呵呵地說道。
廖歡不說話了。
媽的，心裏面怎麼這麼羨慕啊。
他們學校招生辦當初的立場就不能堅定一些，把台上那孩子拉進他們學校呢？
……
台上的蕭易並不知道自己的這一頁ppt，卻讓台下產生了那麼多的反應。
不過，接下來也確實到了他這場報告最重點的部分了。
「儘管望月新一教授的IUTT理論是錯誤的，不過，我們必須要知道的是，望月教授想要發展遠阿貝爾幾何的想法，以及他在過程中所展現出來的數學思想，是值得我們去學習的。」
「望月教授想要利用遠阿貝爾幾何去解決abc猜想，有一個核心的思想，那就是將前者運用於數論領域中。」
「大略地說明一下，遠阿貝爾幾何究竟是什麼東西，用很簡單的一句話來說就是，考慮代數幾何中的etale基本群能夠給出多少代數簇本身的信息，能在多大程度上決定代數簇本身的同構類。」
「【信息】，對於數學的研究來說是一個很重要的東西，在不同形式的變化下，有時候我們所需要的數學信息會丟失，而有時候在變換成另外一個形式之後，有些信息又會變得清晰，甚至會出現一些新的信息，而這就能夠幫助我們解決一些問題。」
「將遠阿貝爾幾何運用於數論中，就有著這樣的作用。」
「但現在的問題是，遠阿貝爾要如何和數論扯上關係呢？」
「那麼，請讓我們先回到幾十年前，格羅滕迪克曾經提出過的一個函子關係。」
ppt再次翻頁，新的一頁，介紹的就是那給蕭易帶來了無限啟發的神秘函子。
「對於所有在p-adic域上具有良好約簡的簇，應該有一種方法可以直接從 p-adicétale上同調到晶體上同調。」
「而Frobenius同態性和Hodge濾波、K張量，同K的伽羅瓦群的作用都等同於和X相關的Barsotti-Tate群。」
「基於這兩個前提下，讓我們思考一種可能——」
「我們引入一個具有Gk作用的環Bcris、一個Frobeniusφ，以及在將標量從K0擴展到K後進行一次過濾，會發生什麼？」
蕭易又一次走到了黑板面前，在右半部分的空白處寫了起來。
【BcrisK0·HdR(X/K)≌BcrisQp·H(X·K，Qp)】
……
他簡單的幾步之後，台下，那些知識範圍比較廣的學者們，頓時都眯起了眼睛。
格羅滕迪克的神秘函子，聽說過的人可能比較多，但了解的人就比較少，不過在現場的這麼多數學學者中，卻也還是有那麼一些人懂得。
關於這個神秘函子的研究歷史也有幾十年了，畢竟這個東西涉及到了將etale上同調論和晶體上同調論統一的可能性。
再更進一步的說，發現不同上同調之間存在的緊密聯繫，將十分有利於代數幾何中的動機理論，【Motive】，這個理論同樣是由格羅滕迪克弄出來的——更嚴謹點來說，這個東西還不是理論，而是一個未得到證明的命題。
其目的是為了找到一個「萬有上同調理論」，而上同調理論又是代數幾何以及代數拓撲的重要工具，所以，這個理論對於數學界而言也有著十分重要的意義。
而作為可能組成這個「萬有上同調理論」的一塊磚瓦，格羅滕迪克所提出的這個神秘函子，自然也吸引了不少數學家們的研究，比如法爾廷斯就是在這方面成功比較突出的數學家。
只不過，幾十年過去，這個神秘函子的真實面貌仍然沒有被完全地定義出來。
然而，眼下蕭易所寫出來的這個東西，讓這些能夠看懂的數學學者們都變得認真起來。
因為，現在的蕭易，正在從遠阿貝爾幾何的角度，來對這個神秘函子進行一次十分深入的剖析。
時間跟隨著蕭易的講述，漸漸過去了。
那塊黑板也逐漸被蕭易的筆跡所占據，直到最後——
「所以，我們成功得證——」
【BstK0·HdR(X/K)≌BstQp·Het(X*K，Qp)】
蕭易在黑板最後的空白處寫下來這樣一行等價式。
「因此，我們終於找到了這個神秘函子，(x，-)的真實面貌！」
隨著他這最後一行式子的寫出，頓時間，觀眾席間，那些看懂了的數學家們，瞪大了眼睛。
沒錯，就是這個！
這個年輕人，竟然真的做到了！
他成功地定義了格羅滕迪克的神秘函子，揭開了它的真面貌！
(本章完)