第四十五章 望月新一

龐學林正式開始了ABC猜想的研究工作。

ABC猜想很難,單單這個猜想的概念表述,就足以讓普通人一頭霧水。

一般情況下,數論領域的猜想表述起來都比較精確直觀。

比如已經被安德魯·懷爾斯證明了的費馬大定理,可以直接表示爲:當整數n大於2時,關於x, y, z的方程 x^n + y^n = z^n 沒有正整數解。

又比如大名鼎鼎的哥德巴赫猜想,一句話就能看懂:任一大於2的偶數都可寫成兩個質數之和。

但ABC猜想卻是個例外。

它理解起來非常抽象。

簡單地說,就是有3個數:a、b和c =a+b,如果這3個數互質,沒有大於1的公共因子,那麼將這3個數不重複的質因子相乘得到的d,看似通常會比c大。

舉個例子:a=2,b=7,c=a+b=9=3*3。

這3個數是互質的,那麼不重複的因子相乘就有d=2*7*3=42大於c=9。

大家還可以實驗幾組數,比如:3+7=10,4+11=15,也都滿足這個看起來正確的規律。

但是,這只是看起來正確的規律,實際上存在反例!

由荷蘭萊頓大學數學研究所運營的ABC@home網站就在用基於BOINC的分佈式計算平臺尋找ABC猜想的反例,其中一個反例是3+125=128:其中125=5^3 ,128=2^7,那麼不重複的質因子相乘就是3*5*2=30,128比30要大。

事實上,計算機能找到無窮多的這樣反例。

於是我們可以這樣表述ABC猜想,d“通常”不比c“小太多”。

怎麼叫通常不比c小太多呢?

如果我們把d稍微放大一點點,放大成d的(1+ε次方),那麼雖然還是不能保證大過c,但卻足以讓反例從無限個變成有限個。

這就是ABC猜想的表述了。

ABC猜想不但涉及加法(兩個數之和),又包含乘法(質因子相乘),接着還模糊地帶有點乘方(1+ε次方),最坑爹的是還有反例存在。

因此,這個猜想的難度可想而知。

事實上,除了尚未解決的涉及多個數學分支的猜想界皇冠黎曼猜想以外,其他數論中的猜想,諸如哥德巴赫猜想、孿生素數猜想,以及已經解決的費馬大定理,基本上都沒有ABC猜想重要。

這是爲何呢?

首先,ABC猜想對於數論研究者來說,是反直覺的。

歷史上反直覺的卻又被驗證爲正確的理論,數不勝數。

一旦反直覺的理論被證實是正確的,基本上都改變了科學發展的進程。

舉一個簡單的例子:牛頓力學的慣性定律,物體若不受外力就會保持目前的運動狀態,這在17世紀無疑是一個重量級的思想炸彈。

物體不受力狀態下當然會從運動變爲停止,這是當時的普通人基於每天的經驗得出的正常思想。

而實際上,這種想法,在任何一個於20世紀學習過初中物理、知道有種力叫摩擦力的人來看,都會顯得過於幼稚。

但對於當時的人們來說,慣性定理的確是相當違反人類常識的!

ABC猜想之於現在的數論研究者,就好比牛頓慣性定律之於十七世紀的普通人,更是違反數學上的常識。

這一常識就是:“a和b的質因子與它們之和的質因子,應該沒有任何聯繫。”

原因之一就是,允許加法和乘法在代數上交互,會產生無限可能和不可解問題,比如關於丟番圖方程統一方法論的希爾伯特第十問題,早就被證明是不可能的。

如果ABC猜想被證明是正確的,那麼加法、乘法和質數之間,一定存在人類已知數學理論從未觸及過的神秘關聯。

再者,ABC猜想和其他很多數論中的未解問題有着重大聯繫。

比如剛纔提到的丟番圖方程問題、費馬最後定理的推廣猜想、Mordell猜想、Erd?s–Woods猜想等等。

而且,ABC猜想還能間接推導出很多已被證明的重要結果,比如費馬最後定理。

從這個角度來講,ABC猜想是質數結構的未知宇宙的強力探測器,僅次於黎曼猜想。

一旦ABC猜想被證明,對於數論的影響之巨大,無異於相對論和量子物理之於現代物理學。

正因爲如此,2012年望月新一聲稱自己證明了ABC猜想時,纔會在數學界引起這麼大的轟動。

望月新一1969年3月29日出生於日本東京, 16歲進入美國普林斯頓大學就讀本科,三年後進入研究生院,師從著名德國數學家,1986年菲爾茨獎得主法爾廷斯,23歲(即1992年)獲得數學博士學位。

即使在向來嚴格和毒舌的法爾廷斯眼中,望月新一也堪稱他的得意門生之一。

1992年,因爲性格比較孤僻古怪,不適應美國文化,望月新一返回日本,擔任京都大學數理解析研究所研究員。

期間,望月新一在“遠阿貝爾幾何”領域做出卓越貢獻,並因此受邀在1998年的柏林國際數學家大會上發表45分鐘的演講。

1998年之後,望月新一開始將所有精力都投入到ABC猜想的證明中去,幾乎在數學界銷聲匿跡。

一直到2012年,望月新一發表512頁的ABC猜想證明論文,纔再次引發數學界大規模關注。

從某種程度上說,望月新一與佩雷爾曼有點類似,只是佩雷爾曼成功地證明了龐加萊猜想,而望月新一的ABC猜想證明,卻並沒有得到數學界的認可。

望月新一研究ABC猜想的理論工具,便是遠阿貝爾幾何。

因此,在研究望月新一ABC猜想論文之前,龐學林還讓田牧找來了望月新一關於遠阿貝爾幾何的相關著作。

遠阿貝爾幾何由代數幾何教皇格羅滕迪克於二十世紀八十年代創建,是數學界一門非常年輕的學科。

這門學科的研究對象是不同幾何物體上的代數簇的基本羣的結構相似性。

近代分析學之父巴納赫說:“數學家能找到定理之間的相似之處,優秀的數學家能看到證明之間的相似之處,卓越的數學家能察覺到數學分支之間的相似之處。最後,究級的數學家能俯瞰這些相似之處之間的相似之處。”

格羅騰迪克,便稱得上是真正意義上的究級數學家,遠阿貝爾幾何便是一門研究“相似之相似”的數學分支。

從十六世紀意大利數學家費羅和塔爾塔利亞發現一元三次方程的求根公式(即卡爾丹諾方程),到十九世紀伽羅瓦發現特殊高次方程解的羣結構。

代數幾何中的代數簇,則是一大類方程的公共解。

代數簇的基本羣,則是對於已經綜合了一大類理論的代數簇理論的再一次綜合,關心什麼樣的結構獨立於幾何物體的代數簇的表象之外。

於是乎,對於數學家來說,檢查望月新一的證明是否存在錯漏的另外一個難題就是:要透徹理解望月那512頁的ABC猜想的證明,需要先弄懂望月新一關於遠阿貝爾幾何的750頁的著作!

全世界總共只有約50名數學家在這方面有足夠的背景知識去通讀望月新一這本遠阿貝爾幾何著作,更別提望月在證明猜想中建立起來的“一般化泰希米勒理論了。

到目前爲止,這一理論只有望月新一自己能搞明白。

龐學林沒指望自己能在短短几年時間裡將ABC猜想研究透徹,他只想利用自己在火星的這幾年時間裡,搞明白望月新一研究ABC猜想的相關思路,尋找論文中的錯漏之處。

當然,如果能從中得到什麼靈感,那就再好不過了。

第一百七十七章 超弦理論第五百零三章 帶上她的眼睛第四百六十章 創造你我夢想第四百五十四章 採訪第二百九十章 復刻神蹟?第一百九十四章 女大十八變第二十一章 上課第二百八十一章 智子的能耐第四百五十章 傻人有傻福第一百三十六章 王崇慶的邀請第三百零四章 京城之行第六十二章 救生氣囊第一百二十九章 費馬猜想第二百八十九章 靈感第四百八十一章 半人馬座α第二百七十五章 末日之戰第十一章 BSD猜想第二百二十六章 合作研發第三百三十八章 新聞發佈會(第二更)第四百八十五章 任務完成第四百零六章 名譽主席第一百二十一章 譚浩院士第七十二章 雪地工程第二百一十九章 關係曝光第四百四十四章 設計方案第三百七十五章 脣槍舌劍第五十一章 緋聞第七十一章 不靠譜的小龐?第四百三十二章 奇妙的火車之旅第一百零八章 手稿第二百一十六章 MOSS的心理學研究第二百三十八章 向三體世界發射探測器第二百四十一章 雲天明第二百一十八章 任務完成第四百二十五章 去更遠的地方第二百六十六章 重返地球第九十四章 考覈第二百五十三章 恆星咒語第三百四十二章 懟!第一百一十一章 望月新一的改變第一百六十二章 紐約時報頭版第三百九十一章 以理服人第二百七十章 震驚的安浩言第四百六十九章 入股華威第四百六十四章 唐·瓦倫丁第三百三十三章 學生們(保底第一更)第三百六十八章 修羅場第三百八十七章 斯賓塞第三百二十四章 我想給你生個孩子(第三更)第二百三十四章 面壁者大會第三百五十三章 傷別離第三十九章 危在旦夕第四百九十一章 論文選題第二百五十八章 三點要求第二百四十二章 初見章北海第二百六十九章 最高委員會全體會議第三百四十八章 星際穿越第二百四十三章 CERN之行第一百七十九章 西地那非和立普妥第七十八章 幸不辱命第五十六章 飛船派第一百一十七章 N-S方程第四百七十六章 財富專訪第四百一十四章 新期刊第五百零三章 帶上她的眼睛第二百八十一章 智子的能耐第二十三章 風起雲涌第二十六章 火星救援第一百一十九章 報告會第八章 異變突生第四百二十三章 龐氏十五問第三百零九章 收留第十五章 你好,莊顏第九章 系統獎勵第三百七十三章 氪金玩家第四百九十三章 超導時代第一百四十九章 再見阿青第二百四十七章 冬眠第二百零三章 男的女的?第八章 異變突生第一百五十七章 人販子!第五百一十七章 強相互作用材料第三百八十一章 又是一年第八十六章 審判第四百七十四章 存儲芯片第三百九十三章 第二代暴君第四百二十三章 龐氏十五問第二百七十二章 起航第一百三十六章 王崇慶的邀請第四百六十六章 楊致遠第四百零二章 風起雲涌第二百六十六章 重返地球第二百八十七章 晚餐第三百六十五章 超膜第三百七十九章 出關第二百六十章 萬有引力號第一百五十三章 態度轉變第四百三十一章 一路順風第三百零九章 收留第二百二十章 過稿《自然》
第一百七十七章 超弦理論第五百零三章 帶上她的眼睛第四百六十章 創造你我夢想第四百五十四章 採訪第二百九十章 復刻神蹟?第一百九十四章 女大十八變第二十一章 上課第二百八十一章 智子的能耐第四百五十章 傻人有傻福第一百三十六章 王崇慶的邀請第三百零四章 京城之行第六十二章 救生氣囊第一百二十九章 費馬猜想第二百八十九章 靈感第四百八十一章 半人馬座α第二百七十五章 末日之戰第十一章 BSD猜想第二百二十六章 合作研發第三百三十八章 新聞發佈會(第二更)第四百八十五章 任務完成第四百零六章 名譽主席第一百二十一章 譚浩院士第七十二章 雪地工程第二百一十九章 關係曝光第四百四十四章 設計方案第三百七十五章 脣槍舌劍第五十一章 緋聞第七十一章 不靠譜的小龐?第四百三十二章 奇妙的火車之旅第一百零八章 手稿第二百一十六章 MOSS的心理學研究第二百三十八章 向三體世界發射探測器第二百四十一章 雲天明第二百一十八章 任務完成第四百二十五章 去更遠的地方第二百六十六章 重返地球第九十四章 考覈第二百五十三章 恆星咒語第三百四十二章 懟!第一百一十一章 望月新一的改變第一百六十二章 紐約時報頭版第三百九十一章 以理服人第二百七十章 震驚的安浩言第四百六十九章 入股華威第四百六十四章 唐·瓦倫丁第三百三十三章 學生們(保底第一更)第三百六十八章 修羅場第三百八十七章 斯賓塞第三百二十四章 我想給你生個孩子(第三更)第二百三十四章 面壁者大會第三百五十三章 傷別離第三十九章 危在旦夕第四百九十一章 論文選題第二百五十八章 三點要求第二百四十二章 初見章北海第二百六十九章 最高委員會全體會議第三百四十八章 星際穿越第二百四十三章 CERN之行第一百七十九章 西地那非和立普妥第七十八章 幸不辱命第五十六章 飛船派第一百一十七章 N-S方程第四百七十六章 財富專訪第四百一十四章 新期刊第五百零三章 帶上她的眼睛第二百八十一章 智子的能耐第二十三章 風起雲涌第二十六章 火星救援第一百一十九章 報告會第八章 異變突生第四百二十三章 龐氏十五問第三百零九章 收留第十五章 你好,莊顏第九章 系統獎勵第三百七十三章 氪金玩家第四百九十三章 超導時代第一百四十九章 再見阿青第二百四十七章 冬眠第二百零三章 男的女的?第八章 異變突生第一百五十七章 人販子!第五百一十七章 強相互作用材料第三百八十一章 又是一年第八十六章 審判第四百七十四章 存儲芯片第三百九十三章 第二代暴君第四百二十三章 龐氏十五問第二百七十二章 起航第一百三十六章 王崇慶的邀請第四百六十六章 楊致遠第四百零二章 風起雲涌第二百六十六章 重返地球第二百八十七章 晚餐第三百六十五章 超膜第三百七十九章 出關第二百六十章 萬有引力號第一百五十三章 態度轉變第四百三十一章 一路順風第三百零九章 收留第二百二十章 過稿《自然》