方遠這幾天一直在瞭解BSD猜想的相關內容。
簡單的來說,BSD猜想就是描述了阿貝爾簇的算術性質與解析性質之間的聯絡。
只不過是人們一直沒有證實這個猜想,將它變成真正的定理而已。
作為千禧年七大難題的一部分,弱BSD猜想沒有辜負自己的名頭。
這麼說吧!如果說BSD猜想是一個超級大BOSS,而弱BSD猜想就是通關前的守關小BOSS。
而且這個小BOSS是前往大BOSS路上的必經之路。
誰先解決了它,就有優先向大BOSS進攻的權利。
別小瞧了這個優先權,無數人打破腦袋的想得到這個優先權,但是都沒有得逞。
現在方遠的手裡就握著這個優先權。
他只要解決一些小的問題將計算的過程和資料整理出來,就能把它拿到手。
對於他這個年紀的學者來說,解決弱BSD猜想,就像是小孩子手裡揮舞著大錘一樣,有些天方夜譚的意思。
現階段對於弱BSD猜想研究的進度分為了兩種情況。
第一種情況是:在解析秩為0的前提下,科茨,懷爾斯,斯金納等人證明了弱BSD猜想,並且證明了BSD猜想在2以外都成立,雖然這是有條件限制的,但也讓當時的數學家位置瘋狂。
第二種情況則是:在解析秩為1的前提下,格羅斯,扎蓋爾等人證明了弱BSD猜想是成立的,同樣證明了BSD猜想在2以外都成立。
看起來只差了一點就證明了弱BSD猜想這個理論,甚至已經接近BSD猜想的大關。
但是實際上卻不是這樣的,就是這觸手可及的距離,又困擾了數學家們好幾年的時間。
“好在有斯科特這個天才的幫忙!不然我現在還真不敢對弱BSD猜想下手。”
就算是有斯科特的記憶,方遠也不可能憑空寫出弱BSD猜想的證明。
一切的證明都是建立在資料的基礎上。
而龐大的資料,不是方遠可以記得下的。
所以才會有方遠自己動手的過程。
這也是系統為什麼不直接把弱BSD猜想交給方遠的原因之一。
方遠再一次陷入自己的世界中。
每天三點一線,圖書館食堂寢室。
不僅如此,這段時間他惡補了一下“橢圓曲線的一級函式”,“阿貝爾簇”,“莫代爾定理”等等專業知識。
這些知識,之前方遠涉獵了一點,但想要做到熟練地使用,將它們應用到公式的推導當中,還是差了一點火候。
更何況,這裡還有一些知識是自己之前沒有了解的。
這是方遠這段時間最頭疼的地方。
所以圖書館就成為方遠最需要的地方。
主要是對弱BSD猜想涉及到的知識進行梳理。
像是《現代數學》、《整體域的數理分析》這些書籍,方遠都沒有放過。
甚至連繫統圖書館,方遠都沒有放過。
反正現在的知識點還很充裕,而且會越來越充裕。
不積跬步無以至千里,這個時候方遠平時的積累就顯現出作用了。