第四百七十六章 拉馬努金獎(2/2)
一早起來,程諾便收到一個好消息。
課題項目的申請,已經審核通過。
五十萬的科研經費,也已經到帳。
國家自然科學基金會這個審核效率可謂非常迅速。
當然,大部分原因還是課題是由程諾本人申請的緣故。
課題已經立項。
那說明研究工作已經可以開始了。
雖然不是第一次主導一個課題項目,但程諾現在的心情依舊無比澎湃。
畢竟,他所面對的對手,是BSD猜想!
千百年來,無人可以擊敗的BSD猜想。
而現在,程諾馬上就要面對它了。
程諾有一種熱血沸騰的感覺。
程諾立刻打電話給張偉,讓他來研究所,商量一下具體的安排。
半個小時後,張偉趕到。
課題組只有他們兩人,因此事情交流起來也非常方便。
程諾依舊占主導地位。
在草稿紙上寫寫畫畫一陣,程諾抬頭,語氣緩緩的說道,「師兄你應該知道,幾年前就是我和方老師兩個證明了弱BSD猜想,後面這幾年,我也並沒有放下對BSD猜想的探索,所以針對這個猜想,我還是有許多想法的。」
張偉點頭,對程諾示意,「嗯,你說。」
BSD猜想,它的具體內容是:設 E 是定義在代數數域 K 上的橢圓曲線,E(K)是 E 上的有理點的集合,已經知道 E(K)是有限生成交換群。記 L(s,E)是 E 的Hasse-Weil L函數。
猜想說的是,E(K)的秩恰好等於L(E,s)在s=1處零點的階,並且後者的泰勒展開的第一個非零係數可以由曲線的代數性質精確表出。
在嚴格意義上,BSD猜想並不屬於數學的任何一個領域。
因為它既涵蓋數論、幾何,又包含代數,應數,數學家們在其基礎上構建的體系十分龐雜。
沉吟幾秒,程諾開口,「在我看來,我們依據目前存在的數學理論,很難證明完全版的BSD猜想。」
「因為無論是莫代爾定理,還是韋依定理,因為無論這兩個,僅僅只是定義了阿爾貝簇,但對於有線交換群,並沒有任何的解釋。」
張偉輕輕皺眉,「所以,程諾,你的意思是?」
程諾目光深沉,「我們需要創造!」
「創造一個全新的定理!或者,不僅一個!」
張偉咽了口唾沫,驚訝於程諾這個瘋狂的想法。
為了證明一個猜想,去創造出一個,甚至幾個全新的數學定理!
這樣瘋狂的想法,似乎只有他面前這位敢提出來吧!
「那我們第一步需要幹什麼?」張偉探尋著問。
「建立框架!」程諾神色恢復了平常。
「這是一場持久戰,我們需要一步步,慢慢的來,證明BSD猜想,我準備用兩年的時間來完成。」
程諾並沒有著急把他那創造幾個定理的思路付諸於實踐。
第一步,最緊要的,還是先把框架搭起來。
後面,只需要慢慢填充就好。
…………
9月1號。
程諾正在辦公室里搭建那快要完工的課題框架。
忽然,一聲滴響,他收到一封郵件。
郵件是由印度科技部發來的,內容是邀請程諾參加9月3號舉行的拉馬努金獎頒獎典禮。
而程諾,被本屆拉馬努金獎正式提名。
並且,程諾的競爭對手並不算強,最近成果最大的也僅僅和程諾前端時間搞定的極小模型綱領兩大難題相當。
也就是說,程諾有很大可能奪得今年的拉馬努金獎。
…………
限免期間沒訂閱,好傷