第0281章 “我準備研究BSD猜想!”

重生前,在格羅滕迪克去世之時,田立心還特意再網上搜了搜有關他的消息,看到的他戴着兜帽的晚年照片還真有幾分甘道夫的仙風道骨。

但不戴兜帽的格羅滕迪克,就完全不是記憶中的樣子,而更像是IT中流傳的那樣,——我變禿了,也變強了。

事實上,何止是他?

坐在他身周的更年輕一些的德利涅、瑟斯頓、法爾廷斯等人,也多半是隻有一半的頭髮了,又加之這些歐米人基本都留着大鬍子,看起來倒是鬍子都比頭髮多。

田立心可不想自己的外貌在晚年時也如同他們的樣子,但臉上還是充滿着笑容,在邱院士的引領下,一一與這些歐米的數學名宿們進行着親切的交談。

與他們交流後,田立心又在羅教授的帶領下,端着酒杯與華夏的許多數學家進行了親切而友好的交流。

儘管這次歡迎酒會採取的是自助餐的模式,衆人的酒杯中盛的也多半是紅酒,但華夏的這些數學家們卻沒想過與田立心講什麼歐米禮儀,反正各種誇讚也能成爲他們敬酒的理由,而且還都是酒到杯乾。

田立心哪能抵擋他們的熱情?

還沒走完半圈,他就感覺自己喝得差不多了。

田立心正要走去洗手間洗臉醒酒時,卻見一個滿臉棕色大鬍子的中年人拿着酒杯走了過來,操着不甚標準的英語道,“你好,我是格里戈裡.佩雷爾曼,你的論文非常精彩。”

喲西,這是俄國的達瓦里氏啊!

額,他拿着的是紅酒,而不是伏特加!

不對!

這不就是原本歷史上證明了龐加萊猜想的數學界宅男佩雷爾曼嘛!

田立心甚至都覺得自己的已經紅了,也不知是因爲酒精作用,還是他的羞恥心在作祟。

他連忙伸出手與對方握了握,“您好,佩雷爾曼教授,謝謝您的誇獎,我聽說您也在試圖用Ricci流研究龐加萊猜想,我相信,要不是因爲我,只需幾年時間,您一定能做出成果的。”

佩雷爾曼苦笑着搖搖頭,“祝賀你首先獲得了突破,我想我可以換一個研究方向了。”

“哦,現在已經有新的研究方向了嗎?”

“你覺得BSD猜想怎麼樣?”

BSD猜想,全稱貝赫和斯維納通-戴爾猜想,也是今年的千禧數學大會上提出的七個千禧大獎問題之一。

BSD猜想的內容爲,“設e是定義在代數數域k上的橢圓曲線,e(k)是e上的有理點的集合,已經知道e(k)是有限生成交換羣。記1是e(k)的hasse-well函數。猜想e(k)的秩恰好等於l(e,s)在s=1處零點的階,並且後者的泰勒展開的第一個非零係數可以由曲線的代數性質精確表出。”

BSD猜想是一個複雜的猜想,和數學界鼎鼎有名的哥德巴赫猜想的簡潔易懂程度,根本無法相提並論。

具體而言,BSD猜想是研究定義在有理數域上的橢圓曲線E的算術和它的解析L函數L(E, s)在s=1時的性質之間的關係的,——給定一個整體域上的阿貝爾簇,猜想它的莫代爾羣的秩等於它的L函數在1處的零點階數,且它的L函數在1處的泰勒展開的首項係數與莫代爾羣的有限部分大小、自由部分體積、所有素位的週期以及沙羣有精確的等式關係。

數學家總是被諸如x2+y2=z2之類的代數方程的所有整數解的刻畫問題着迷。歐幾里德曾經對這一方程給出完全的解答,但是對於更爲複雜的方程,這就變得極爲困難。

事實上,正如馬蒂雅謝維奇指出,希爾伯特第十問題是不可解的,即,不存在一般的方法來確定這樣的方法是否有一個整數解。當解是一個阿貝爾簇的點時,貝赫和斯維訥通-戴爾猜想認爲,有理點的羣的大小與一個有關的蔡塔函數z(s)在點s=1附近的性態。

特別是,這個有趣的猜想認爲,如果z(1)等於0,那麼存在無限多個有理點(解),相反,如果z(1)不等於0,那麼只存在有限多個這樣的點。

聽說佩雷爾曼已經找到新的研究方向,田立心頓時就好受了許多,但很快又聽說他要研究的是BSD猜想時,田立心就不時那麼看好了。

廣義上的BSD猜想,是指給定一個整體域上的阿貝爾簇,猜想它的……自由部分體積、所有素位的週期以及沙羣有精確的等式關係。

它的前半部分,指的就是弱BSD猜想。

在田立心重生前的那個世界,在2000年之後的幾年之內,就有一位腐國數學家詹奇和一位德意志數學家斯爾蒂,合作攻克了關於在解析秩爲0的情況下證明了弱BSD猜想,算是對廣義BSD猜想的一個突破性進展。

但在那以後,數學界便很少出現有人發表有助於BSD猜想證明工作的重要成果,研究進度一度受阻。

哪怕到了田立心重生時的9102年,也根本沒人能徹底證明BSD猜想啊。

佩雷爾曼現在要開始研究BSD猜想,這和飛蛾撲火有什麼區別嗎?

不過,也不能說飛蛾撲火就完全沒有任何意義不是?

儘管BSD猜想沒有完全被證明出來,但BSD弱猜想還是被人證明了的。

佩雷爾曼或許很快就會有突破吧?

佩雷爾曼似乎看到了田立心有些複雜的眼神,也是笑着解釋道,“我想做的,並非是證明廣義上的BSD猜想,而是在解析秩爲0或1的情況下的弱BSD猜想。”

額,這也勉強算是弱BSD猜想未被證明的另一半吧。

只要佩雷爾曼真能夠證明“當解析秩爲1的情況下,弱BSD猜想在2和導子以外均成立”,基本上就算是全部證明了弱BSD猜想。

但是,這離真正證明BSD猜想還有很長的路要走!

弱BSD猜想,只算是世界大boss旁邊的一個小守衛而已,擊敗它,只能算是個開胃菜,獎勵物品只有經驗值,沒有金幣。

這不但不能獲得米國克雷數學研究所提供的百萬米刀獎金,大概也和菲爾茲獎無緣。

不過,以上這些似乎也並不是佩雷爾曼看中的東西。

那麼,既然他想研究BSD猜想,就讓他研究去吧!

第0126章 強行被外號了第0152章《家有兒女》的現實版?第0138章 假作真時真亦假第0178章 《死亡筆記》的樣書第0071章 爲他哭,爲他笑第0182章 兩蛋一腥第0144章 買車第0271章 世界七大數學難題第0152章《家有兒女》的現實版?第0042章 俠之大者第0286章 學校給發獎金嘛?第0102章 開幕式第0254章 來自方舟的私信第0132章 一起看貓片第0149章 你聽說過全國大學生數模競賽嗎第0056章 加印!加印!第0049章 我要聽郭老闆唱《骷髏嘆》第0016章 論如何輕鬆年入百萬第0182章 兩蛋一腥第0070章 吃醋第0217章 祝你平安第0270章 單章第0023章 站臺第0084章 組織的召喚第0222章 楊瑞廢了?第0244章 黎書記的決心第0207章 大腕的葬禮第0020章 主編的評價第0194章 大會堂和中正紀念堂的衝突第0182章 兩蛋一腥第0133章 四眼和謝廠長第0148章 學術論文的領路人第0242章 見家長第0251章 《三個傻瓜》第0017章 在線等,挺急的第0276章 今夜無人睡眠第0204章 四小天王第0078章 銷量滑坡第0204章 四小天王第0100章 入選六人名單第0084章 組織的召喚第0165章 咱們中出了一個學神第0132章 一起看貓片第0177章 論文從無到有到最後發表的基本步驟第0254章 來自方舟的私信第0236章 復原《山海圖》第0124章 重回五道口之我竟然迷路了第0117章 《消愁》第0287章 《悟空傳》不給簽約?第0233章 從《管錐編》到《山海經》第0149章 你聽說過全國大學生數模競賽嗎第0176章 這就是一妖孽第0275章 大佬雲集第0024章 《科幻世界》雜誌發售日第0172章 再拿一獎第0082章 《流浪地球》中的bug第0056章 加印!加印!第0112章 浮雲!一切都是浮雲第0102章 開幕式第0112章 浮雲!一切都是浮雲第0206章 華夏的第一場電影首映禮第0128章 後來的華文在線總裁第0109章 睡美人第0004章 曾讓他心動的姑娘第0190章 上士忘名,中士立名,下士竊名第0116章 地球往事?第0254章 來自方舟的私信第0165章 咱們中出了一個學神第0280章 格羅滕迪克第0055章 震撼第0211章 哪裡有需要,他就變成哪裡的人第0227章 米賽正式開賽日第0106章 再見,羅馬尼亞!第0227章 米賽正式開賽日第0082章 《流浪地球》中的bug第0150章 狼來了第0203章 大會堂的宴會廳第0153章 投稿第0117章 《消愁》第0133章 四眼和謝廠長第0154章 金雞和百花第0001章 王炸?第0175章 五道口日常第0080章 歐拉乘積公式第0218章 乾柴烈火第0087章 王渤的決心第0102章 開幕式第0215章 《大腕》和《沒完沒了》的碰撞第0017章 在線等,挺急的第0207章 大腕的葬禮第0011章 兼職的計算機老師第0146章 暴發戶第0077章 《球狀閃電》過審失敗?第0005章 《赤兔之死》第0148章 學術論文的領路人第0184章 雙雙入選金馬獎第0147章 那些年,一起欣賞過的藝術片第0229章 京城人在紐約第0269章 百萬徵文開路