第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,-)的真實面貌!」
隨著他這最後一行式子的寫出,頓時間,觀眾席間,那些看懂了的數學家們,瞪大了眼睛。
沒錯,就是這個!
這個年輕人,竟然真的做到了!
他成功地定義了格羅滕迪克的神秘函子,揭開了它的真面貌!
(本章完)