開票日倒數 倒數
0 天
23 時
11 分
50 秒

前往選舉專區
2015/12/21,
科學

數學家聚首牛津　嘗試破解望月新一的神秘數學證明

數學家聚首牛津　嘗試破解望月新一的神秘數學證明
Derived Image. Original Image Credit: Kanijoman

我們想讓你知道的是

一批數學家在牛津舉行工作坊，討論、交流對一套複雜數學理論的見解。這套由數學家望月新一所創的理論，據稱能夠證明一個重要猜想，然而數學界目前仍未能透徹了解此理論及驗證其真偽。

2012年8月，數學家望月新一（Shinichi Mochizuki）在其網站上貼了4篇論文，宣稱證明了「abc猜想」——一個名不副實地困難的數學問題。3年過後，數學界仍然未能確定他的證明是否正確。

然而這又並不像騙局或惡作劇。現年46歲的望月新一，是京都大學數學科學研究所教授。他1988年以16歲之齡於普林斯頓大學數學系畢業，同年進入該校研究院，7年後取得博士學位。1996年，望月新一成為京都大學數學科學研究所副教授，兩年後證明了非阿貝爾幾何格羅森迪克猜想。其後他一直有重要的數學貢獻，2002年正式晉升為京都大學教授。

受到關注的4篇論文長達512頁，但真正令數學家束手無策的並非證明長度，而在於他使用了大量自創的新概念和技巧，去介紹其「跨宇宙塔赫梅拿理論（Inter-universal Teichmüller theory，簡稱IUT）」。而據望月新一所言，這套理論跟他過去創立的幾套數學理論有關連。

即使習慣研究抽象理論的數學家，也需要花上大量時間和精神去掌握IUT。目前已有一些數學家嘗試了解及檢證這套理論，並提出了數以百計的問題和評論。

突破與沮喪

兩個星期前，一批算術幾何（arithmetic geometry）——望月新一的專業領域——的專家，便聚集在牛津大學的工作坊，希望能夠更深入理解這套理論。工作坊的網頁表示，其目的是「介紹及分析望月新一理論中的關鍵原則、概念、物件和證明，以及研究此理論與現時不同領域中之理論的關係，協助增加此理論的專家人數，並促進更多應用」。

在工作坊的第3天，來自加州大學聖地牙哥分校的Kiran Kedlaya教授指出，2008年望月新一的一篇論文中把abc猜想跟其Frobenioid理論連結起來。在座的數學家立即辨認出，這是望月新一整個證明策略的重要一步。（20151222更新︰原文按《自然》的報導寫成「把abc猜想跟拓撲學連結起來」，但按該報導註腳的文章以及Conrad的筆記，應是跟望月新一的Frobenioid理論有關。）

史丹福大學的數論專家Brian Conrad表示，這是研究人員一直等待的突破時刻，但其後未能更進一步。在工作坊餘下的兩天，很多聽眾都如墜五里霧中，對講課內容感到不明所以。Conrad認為主要原因是，這些講課的內容需要聽眾本來就明白課題，才可以跟得上，否則需要在短時間內掌握大量術語、定義。

Photo Credit: Peter M. Fisher / Corbis / 達志影像

Photo Credit: Peter M. Fisher / Corbis / 達志影像

此外，聽眾一直希望有些具體的例子可以說明相關概念，而講者卻沒有提供，使聽眾更難明白。因此講課多次被聽眾的問題打斷，使進度落後。而後來者為趕上進度，又加快講課內容，使更多聽眾跟不上，於是提問更多問題。Conrad認為，假如最後兩天的計劃，並非要完全講述完IUT，而是先把當中某些重要概念解釋清楚的話，對讀者而言將更有啟發性。

他認為這個問題的其中一個原因，是明白IUT的學者不夠努力去把這套理論講解清楚。如果學界打算了解IUT，目前最重要的事，這些學者需要找方法更同行溝通，讓其他數學家有個大概印象及明白IUT的要點，再去花時間了解技術細節。

理論有待簡化

而另一個問題是，望月新一在想出IUT這套理論時，加了太多後來沒有用到的東西進去。如果要讓更多人了解、檢驗abc猜想的證明，學界必須想辦法把這套理論變得更精簡。Kedlaya也認為，他當日的發現仍需要很多人跟進研究，他表示︰「關於事情最終會如何拼合，目前我們未有清楚答案」。但至少他現在有更大動力去研究望月新一的證明，並希望在這過程中能將之簡化。

來自牛津大學的會議主辦者金明迥（Minhyong Kim）則認為，大部份參加者在工作坊之前，都對望月新一的證明感到迷惑。然而現在起碼有一些人猜到其整體策略，亦能夠把引起混淆的範圍收窄。

下一次的工作坊將會在來年7月舉行，地點正是京都大學數學科學研究所。向來不喜歡出國的望月新一，或會出席是次工作坊，向學界講解其理論。Kedlaya也打算出席，他認為望月新一的宣稱如果屬實，將會是極其重要的發現，即使可能要花數年時間去確認，對數學界而言仍然值得。


TNL 網路沙龍守則

TNL網路沙龍是關鍵評論網讓讀者能針對文章表達自身觀點的留言區。我們希望在這裡，大家可以理性的發表自己的看法，並對不同的論點保持開放心態，促進多元意見的交流與碰撞。

現在網路上的留言討論常淪為謾罵與攻擊的場域，反而造成了彼此更大的歧異，無法達成討論與溝通的目的。

為了改善這個問題，我們希望打造一個讓大家安心發表言論、交流想法的環境，讓網路上的理性討論成為可能，藉由觀點的激盪碰撞，更加理解彼此的想法，同時也創造更有價值的公共討論，所以我們推出TNL網路沙龍這項服務。

我們希望參與討論的你謹記以下幾個基本守則，與關鍵評論網一起提升網路沙龍的品質：

  • 尊重多元：分享多元觀點是關鍵評論網的初衷，沙龍鼓勵自由發言、發表合情合理的論點，也歡迎所有建議與指教。我們相信所有交流與對話，都是建立於尊重多元聲音的基礎之上，應以理性言論詳細闡述自己的想法，並對於相左的意見持友善態度，共同促進沙龍的良性互動。
  • 謹慎發言：在TNL網路沙龍，除了言論自由之外，我們期待你對自己的所有發言抱持負責任的態度。在發表觀點或評論時，能夠盡量跟基於相關的資料來源，查證後再發言，善用網路的力量，創造高品質的討論環境。並且避免對於不同意見的攻擊、惡意謾罵言論。

為了鼓勵多元評論與觀點的碰撞激盪，並符合上述兩個守則前提下，我們要求所有沙龍參與者都遵守以下規範，當您按下同意開始使用本沙龍服務時，視為同意此規範：

  • 您同意為您自身言論負完全法律責任，您不會發表不適當言論，包含但不限於惡意攻擊言論、歧視言論、誹謗言論、侵害他人權利或任何違法情事。
  • 您同意您不會張貼任何帶有商業行銷或廣告直銷之勸誘式廣告內容。
  • 本集團有權管理沙龍所有內容，以利維護沙龍良性的溝通環境與氛圍。
  • 本集團有權隨時新增或修改此規範，如有增修將公告於本網站。若公告後您仍繼續使用本網站，即視為同意接受增修版規範。

最新發展：