第203章

  舒爾茨目標明確,他最近幾年的工作都是在為了徹底解決霍奇猜想努力,成果斐然,有望在未來真的完成這個目標。

  可是她呢?

  ACC這樣的猜想無法讓她起挑戰之心,只要按部就班的進行,洛葉有信心徹底解決它,畢竟它還有德利涅教授和克里特教授保駕護航,就是唐納森都是準備充分。

  她想了想,找出來了拓撲學的相關知識看了看,亞歷山大提出的邀請其實算是低維拓撲相關,維度和群相關,拓撲是幾何學的分支。

  最著名的拓撲問題就是歐拉七橋問題,它和平面幾何立體幾何不同的一點是,後兩者的問題研究主要是點線面之間的位置關係和他們的度量性質,拓撲學對於研究對象的長短,大小,面積,體積等度量性質和數量關係都無關。

  舉例來說,在平面幾何中,把兩個平面幾何挪移到同一個位置,如果這兩個圖形完全重疊,那這兩個圖形叫全等形,可是在拓撲學中,這兩個圖形的大小和形狀都會發生改變,在拓撲學中,沒有不能彎曲的東西。

  在歐拉七橋問題當中,歐拉畫的圖形就不考慮它的打消,形狀,僅僅考慮點線的位置。再說的明白一點,在拓撲學中,拓撲變換下,圓,正方形,三角形都有可能是等價圖形。

  拓撲學從某種角度上來看,是非常神奇的一門課。

  洛葉看了幾個拓撲相關的著名問題,燃起了對拓撲學的些許興趣,和ACC猜想相比,這個三角形解剖猜想陣容就弱了許多,不過洛葉也不太在乎,在合上資料的時候隨手給亞歷山大發了一條簡訊。

  「我答應了。」

  收到了簡訊的亞歷山大,不由的露出了一個比較細微的笑容。

  因為答應了他的要求,洛葉留在斯坦福學校的時間不得不延長了一段時間,並且也跟著去旁聽的幾節課。

  同時洛葉查看了高階Gan-Gross-Prasad猜想,這個猜想其實是一個高階函數公式,這個公式其實不僅和霍奇猜想相關,還和黎曼猜想,BSD猜想有關,如果非要劃分,那應該是一個代數數論問題,如果解決掉它,就可以把這三個千禧難題解決進度往前推進一大步——等式是連接了數論和幾何的兩個量,幾何那邊和代數幾何中的霍奇猜想有關,數論那邊和黎曼假設中的黎曼Zeta函數有關,這個等式本身可以看作是在BSD猜想框架下的一些拓展。

  單從這個角度就可以看出這個猜想的難度。

  洛葉在看相關的資料的時候誰也沒有告訴,在旁人看來,她就是在為了手上的兩個課題而忙碌。

  而這時,數學界發生了一件大事,來自於日本的數學家望月新一整發表了足足有五百多頁的論文,宣布解決了高懸在數論領域27年的難題——ABC猜想。

  聽到這個消息,所有相關領域的數學家全都轟動了。

  ABC猜想的重要性僅次於黎曼猜想,如果被解決了,那絕對是21世紀以來,最為偉大的數學成就之一——因為它會徹底革新對整數方程的研究,同時通過延伸可以解決一百多個數論領域中最為重要的公開問題。

  幾乎是在聽到這個消息的時候,所有相關領域的數學家都去下載了他的論文,舒爾茨目前也在研究數論相關的猜想,自然也下載了下來,洛葉也很好奇,畢竟她現在也在默默研究相關的。

  這個時候就要說明一下什麼叫被證明——這個是要國際數學協會承認,才能叫被證明,個人宣稱的證明某個猜想是不作數的,而望月新一此刻就是這種狀態,他宣布自己證明了ABC猜想,要等數學家去驗證。

  而等洛葉下載了那五百頁的論文去看後,就不由的吃驚了起來。

  ——因為望月新一在這篇論文中所引用的數學體系根本不是現在公認的數學體系。

  為了證明ABC猜想,望月新一重新構建了一套新的數學體系,用這套他自創的數學體系來證明了ABC猜想。

  所以這篇論文讀起來,簡直像是天書——你沒有理解這套數學體系,自然就不能說他的證明是對還是錯,徹底理解一套數學體系有多難?看洛葉到這個世界已經五年了,才算把她所學的融會貫通。

  一天後,舒爾茨給洛葉發了條信息,「我試圖弄懂他的邏輯,但是我發現到了第十五頁我已經完全迷茫了,我實在看不懂,你怎麼樣?」

  同時國際數論大師也在自己的博客上寫道,「望月新一構建了一個宏大的宇宙,可惜這個宇宙中只有他一個人。」

  洛葉坦白道,「我就看了兩頁。」

  非常誠實的說出了對它的看法,「我覺得他恐怕很難得到國際數學協會的認可。」

  ——理解一個新的數學體系實在是一件需要花費大量時間和精力的事,說到底洛葉的工作只是和數論稍微掛鉤,根本工作並不相同,在意識到這論文閱讀需要超出預計的時間精力後就果斷放棄了。

  而沒想到舒爾茨居然正也只看到了十五頁,那可以想像,其他人也不可能看完了。

  舒爾茨的回答也很直白,「我已經問過法爾廷斯教授,他只看到了二十頁。」

  法爾廷斯可是數學界最頂尖的數學大師了,國際數學協會想要驗證望月新一的證明,肯定繞不開法爾廷斯,現在法爾廷斯都放棄了,想要得到認證就很難了。

  現在只有兩個辦法,要麼望月新一接受「眾人皆醉,唯他獨醒」這樣近似於安慰的心理暗示,要麼就要把他的數學體系解釋清楚。

  而事實也確實和洛葉說的那樣,望月新一的論文就像是一顆巨大的石頭落在了湖水當中,理應引起的漣漪全都消失了,就這麼沉入了湖水當中,數學界一片沉默——看不懂既然無從評論。

  望月新一顯然不服氣自己籌備了十年的論文落到這樣的結果,他在自己的博客上公然寫道,「要理解我的論文,你們應該停止用那套習慣並且想當然的思維方式。」

  這大概就是對整個數學界的挑釁和蔑視,認為讀不懂是整個數學界的問題,不是他的問題。

  這樣狂傲的態度惹來了許多人不滿,不過ABC猜想確實是數學界的龐然大物,誰都沒有辦法等閒視之。

  沒過多久,洛葉就得到了一個新的消息,關於ABC猜想的證明會在即將開始的牛津大學會議上展開討論,這個會議由克雷數學研究所贊助,許多數學家都會去,想要看看能不能在會議上出結果。

  而這個時候望月新一的狂傲再次展露了出來,他拒絕出席這次會議,只答應會解答相關疑問。

  舒爾茨不滿道,「他未免太傲慢了。」

  他一邊叫囂整個數學界不理解他的理論,一方面連會議都不願意出席。

  洛葉道,「能為了一個證明就構架出一個新的數學體系,這本來就是一種傲慢。」

  洛葉也同意舒爾茨的話,如果他不願意被理解,完全可以把論文只留給自己欣賞,既然決定公布出去,那就應該明白讓數學家理解是一項很困難的工作,需要漫長的時間,為了縮短這個過程,他完全可以親自來解釋,而不是把論文放到那就算了。

  舒爾茨,「——我改主意了,我決定想辦法推翻他的理論。」

  又對洛葉提出邀請,「牛津大學會議你去嗎?我會過去。」

  洛葉沒想著去,畢竟她對望月新一的理論興致缺缺,可是德利涅教授卻讓她那裡見識一下,洛葉年少成名,可謂是天賦過人,對於這樣的學生,德利涅教授認為不能以常理來培養她,只要讓她發揮自己的天賦就夠了。所以他決定洛葉去史丹福大學代表去她去做ACC猜想,主要就是讓她感受下斯坦福不同於普林斯頓的學術氛圍。

  現在這個牛津大學的會議,集聚了歐洲的許多數學家,舒爾茨,布倫德,威廉士都會去參加,洛葉也正好趁此機會去感受下牛津大學,如果能在會議上有什麼新的靈感那更好了。

  洛葉和唐納森、亞歷山大交接了下,坐飛機去了英國。

  舒爾茨自從那日說了要去推翻望月新一的理論,就再沒有給洛葉發任何信息,陷入了閉關狀態,等著會議到來的那日,在這次會議上,望月新一的論文無疑是重點,之前沒來就算了,既然來了,她也不能在別人討論的時候干坐著。

  在飛機上就重新拿出了那篇宛如天書的論文開始研究。

  ABC猜想的核心在於A+B=C的數值表達式,關係到能除盡A、B、C的質數,每一個整數都能以獨一無二的形式表示為一串質數的乘積。原則上,A.B的質因數與二者之和的C毫無關係,但是ABC猜想把他們聯繫了起來,完整的猜想內容大致可以表示為,如果大量小質數能除盡A,B,那只有少量質數能除盡C。

  而ABC相關的一百多個數論相關的問題主要是丟番圖方程,因為它可以給未解決的丟番圖方程做出明確的限制。

  丟番圖方程要認為要麼沒有解,要麼只擁有有限數量的解,而如果ABC猜想被證明,數學家將不僅知道有多少個解,還可以把所有解羅列出來。

  而在望月新一的論文中,他的理論體系最中間的一點是,用全新的眼光去看整數,在他的數學體系中暫且不考慮加法,將乘法結構堪稱一種可延伸變形的結構,這樣我們熟悉的乘法就是結構家族中的一個特例。

  洛葉讀下來覺得他這個理論還是很有意思的。

  作者有話要說:午安~

  PS:第一,之前忘了說了,這幾章理論和前幾章理論都來自於我看的資料,有的是報導,有的是期刊,來源太多,不好一一列名,你們知道專業知識不是我寫的就好了。

  第二,因為劇情需要,文中望月新一事件做了調整,他的論文發表是在12年,文中時間線是13年,而且牛津大學會議是在15年,我把六年內發生的事壓縮到了這幾個月內,並且做了藝術加工,想要真的了解這個事件,自己去查一下吧~

  第三,本人認為,望月新一真的天才和瘋子的結合體,這大概就是不瘋魔不成活。而本人對他沒有任何意見啊。

  第四,望月新一理論到底是對是錯,現在還沒有定論。