龐紹安和姚建中面面相覷,即使龐紹安知道自己孫子不是那種滿嘴跑火車的人,可BSD猜想的地位在那兒,這種級別的難題,被一個23歲的年輕人給證出來了,想想就有種魔幻現實主義的感覺。
一時間,小院陷入了一種詭異的寂靜之中。
“小林,你怎麼杵在院子裡呢,來,幫奶奶擇菜。”
奶奶王秀芳從屋子裡走了出來,見衆人一臉呆滯的模樣,不由得出聲道。
“還擇什麼菜,小林,走,我們去書房,你論文帶了嗎?我要先看看。“
龐學林微笑道:“爺爺,論文我已經上傳到arXiv了,郵箱裡也有,可以直接下載。”
“我也去!”
姚建中也跟着起身道。
“你們這是怎麼了?”
王秀芳看着迫不及待的龐紹安和姚建中,有些不解道。
來到書房,龐學林登上郵箱,將論文直接下載下來,交給龐紹安審閱。
姚建中則坐在一旁,不時瞅瞅龐紹安和龐學林。
他是理論物理學家,BSD猜想這種級別的數學論文,他自然看不懂,不過這並不妨礙他在一旁看熱鬧。
之前他老伴想把自己的寶貝孫女介紹給龐學林,他還有些微詞。
在他看來,龐學林太過於專注學術,性子雖然不算木訥,但也不是那種特別多話的人,自己孫女活潑好動,和他在一起,兩人未必能合得來。
但現在,龐學林的表現卻讓他刮目相看。
如果龐學林真的證明出了BSD猜想,那三年後龐學林必得菲爾茲獎。
二十六歲的菲爾茲獎得主,應該是破紀錄了,這樣一位學者,未來的成就幾乎不可限量。
自己的孫女雖然是北舞的一枝花,但從某種程度上說,還真不一定配得上龐學林。
龐學林和龐紹安自然不知道姚建中亂七八糟的想法,此時,龐紹安所有的心思都沉浸在龐學林的論文之中,一頁一頁慢慢翻看。
龐紹安主要研究領域是微分幾何與拓撲學,因此,這篇BSD猜想的證明論文對他而言有些吃力。
大概看了半小時,龐紹安便摘下老花鏡,搖頭道:“老了老了,小林,你這篇論文,說實話爺爺我有些跟不上了,不過我大概還是看懂了你的證明思路,你是從同餘數問題着手的,對吧?”
龐學林點了點頭,豎起了大拇指道:“爺爺你果然慧眼如炬!”
龐紹安擺了擺手道:“臭小子,出國讀了幾年書,倒是學會拍馬屁了,我是不行了,待會兒等小劉過來,讓他看看,他在數論與代數幾何領域都有很深的研究,他應該能看明白。“
姚建中笑道:”老龐,沒想到你也有搞不定的時候。”
龐紹安瞪着眼道:“也就是我現在年紀大了,要是放在年輕的時候,我啃上幾個月,肯定能把這篇論文搞明白。”
“哼,你就臭屁吧!”
姚建中不屑道。
這兩位老頭互懟是常態,龐學林笑眯眯的看着,也不參與。
沒過一會兒,王秀芳帶着一個腦袋有些禿頂,戴着眼鏡的中年男子走了進來。
來人正是江城大學數學科學學院院長劉廷波。
劉廷波笑道:“龐教授,姚教授,你們好。”
接着,他將目光轉向龐學林,說道:“小龐,你這回在數學界放了顆原子彈啊!”
龐學林有些好奇道:“劉院長,我今天凌晨才把論文上傳到arXiv,你們怎麼這麼快就知道了?”
劉廷波道:“還不是託你那位老師的福,陶哲軒看完你的論文後,第一時間聯繫了德利涅、法爾廷斯、丘成桐這些大佬,說你很有可能解決了BSD猜想的問題,然後把論文分享給了他們。也不知怎麼回事,這本來是小圈子裡的事,結果一下子給傳出去了,現在整個數學界都沸騰了。邱教授沒有你的聯繫方式,直接把電話打到我頭上,我還一臉懵着呢!我說你這次,該不會是給我放衛星吧?”
龐學林微笑道:“劉院長,論文在這呢,要不你先看看?”
龐紹安也跟着說道:“小劉,你是代數幾何與數論領域的專家,正好給小林把把關!”
劉廷波苦笑道:“龐教授,把關我可不敢當,小龐要是真解決了BSD猜想,都可以當我老師了!”
話雖然這樣說,劉廷波還是坐在了電腦前,仔細看了起來。
一邊看,他一邊還時不時就論文中的一些疑問和龐學林做交流。
“小龐,這裡假定D無平方因子,簡單的初等考量顯示D爲同餘數等價於橢圓曲線E_D: y^2=x^3-D^2x上有某個y \\neq 0的有理點。可以證明這樣的點不屬於T,於是D爲同餘數又等價於r_D>0。(同餘數問題)決定所有同餘數D,使得r_D>0。對於給定素數p,(1)p \\equiv 3(\\mod 8):p不是同餘數但2 p是同餘數;(2)p \\equiv 5(\\mod 8):p是同餘數;(3)p \\equiv 7(\\mod 8):p和2 p都是同餘數。你使用的工具是Heegner點的高度理論,你是怎麼將它和L“(1,E)聯繫起來的?還有,你是如何確定D均爲同餘數的?“
龐學林在三體世界的時候便經受住了那些頂尖數學家的狂轟亂炸,對付這種問題應付起來輕鬆異常,對答如流道:”關於E的Weil-Hasse函數L(s,E)的定義,一個經典結果是a_p有Hasse上界2\\sqrt{p},這推出L(s,E)對\\mathrm{Re}\\, s>\\frac{3}{2}收斂。然後我們根據Gross-Zagier公式,就可以將其與L“(1,E)聯繫起來。另外,BSD猜想對E_D成立。特別的,r_D>0當且僅當L(1,E_D)=0。假定弱BSD猜想成立,則(1)理論上我們能夠判定D是否爲同餘數;(2)Tunnell定理給出在有限步內決定D是否爲同餘數的算法;(3)可以證明D \\equiv 5,6,7(\\mod 8)時r_D爲奇數,故這樣的D均爲同餘數。“
劉廷波思索了片刻,滿意地點了點頭,過了一會兒,他又問道:“你這裡說,L(s,E)在s=1處展開的泰勒係數和E的Tate-Shafarevich羣的階數成正比,你是怎麼得出這樣的結論的?還有這裡,E(Q)(Mordell-Weil羣)有自然的交換羣結構,你前面根據Mordell定理進一步斷言E(Q)是有限生成的:E(Q)=\\Bbb Z^r \\oplus T,此處撓羣T是某個有限Abel羣,r稱爲E的秩。我們對T的瞭解是完全的:Mazur決定了所有15種可能的T。那麼R呢?你這裡是不是缺少了對R的有效刻畫?“
龐學林道:“基於Eichler, Shimura在模橢圓曲線方面的工作以及新近證明的Taniyama–Shimura猜想(模定理),現在知道L(s,E)可解析延拓到整個複平面並且相應的Riemann猜想成立。BSD猜想在R等於L(s,E)在s=1處零點的階數m。在模定理已獲證明的情況下,已知BSD猜想對m=0.1成立,故L(s,E)在s=1處展開的泰勒係數和E的Tate-Shafarevich羣的階數成正比,更進一步的話,又可以推出Tate-Shafarevich羣的有限性。”
劉廷波沉吟了半晌,豎起大拇指道:“你從同餘數問題上間接證明了BSD的弱猜想,再由此擴展成廣義BSD猜想,這種辦法真是絕了!”
……
接着,劉廷波與龐學林一問一答,幾乎每一個問題,龐學林都能不假思索地給出答案。
時間一分一秒過去,就連王秀芳做好了晚飯,上來想要叫他們吃飯,也被龐學林與劉廷波之間的問答所吸引,看了半天后,王秀芳悄悄地退出了書房,不去打攪他們。
一直到晚上十點,劉廷波才徹底將這篇論文徹底審閱完畢,兩人之間的問答也隨之結束。
一旁的龐紹安和姚建中雖然跟不上兩人的思路,但情緒也始終處於亢奮狀態。
他們看得出來,在這一問一答中,一個世界級的難題,正在從龐學林手中徐徐解開。
這種親眼見證一個世界級數學難題慢慢展露真顏的過程,讓在場的所有人都興奮不已。
龐紹安看着劉廷波道:“小劉,小林的證明怎麼樣,你覺得他成功了嗎?”
劉廷波道:“龐教授,我不敢說小龐百分之百證明了BSD猜想,對這篇論文,我有八九成把握。小龐,你看這樣如何,你這篇論文才上傳arXiv不久,我們等過一段時間,等德利涅、法爾廷斯這些大佬相繼表態,我再給你在江大安排一場學術報告會,到時候應該能吸引到全世界頂級數學家與會。這段時間,你暫時不用上課了,安心爲報告會做準備,PPT最好做得詳細一點。“
龐學林笑道:“劉院長,上課倒沒什麼問題,反正距離正式開課還有幾天時間,我每週也就一、三、五有課,給本科生上課,對我而言反而是一種放鬆。”
劉廷波想了想道:“行,那我就不勉強你了,哈哈,小龐這次多謝你了,剛回母校,就給母校先上了這樣一份大禮。”