我只想當(dāng)一個(gè)安靜的學(xué)霸 656章 有限群

橢圓曲線在現(xiàn)代數(shù)學(xué)里到處出現(xiàn)，主攻其他分支的數(shù)學(xué)家紛紛研究起橢圓曲線，先行者是算君龐加萊，這位百年一出的全能型天才學(xué)者在1901年最先觀察到：對(duì)于每條橢圓曲線，都有一個(gè)特定群與之聯(lián)系。

不少數(shù)學(xué)家結(jié)合群論手段研究橢圓曲線，并取得了卓有成效的戰(zhàn)果。

橢圓曲線理論引起數(shù)學(xué)家們的重視得益于天才算君龐加萊，它的興盛則得益于另一位勤奮型的天才懷爾斯。

安德魯懷爾斯采用橢圓曲線手段證明了費(fèi)馬大定理，他應(yīng)該感謝谷山豐和志村五郎在更早之前作出的猜想。

谷山志村猜想提供了一條有效的途徑，這是費(fèi)馬大定理證明方案的重要步驟。

懷爾斯先證明了谷山志村猜想，不久之后費(fèi)馬大定理被他和理查德泰勒順利搞定。

而谷山志村猜想的提出者之一谷山豐，他雖然比懷爾斯更早洞察到天機(jī)，卻苦于無(wú)法證明他自己提出的猜想。

年僅31歲的谷山豐在婚禮前夜跳海自殺，一個(gè)月后，與他訂了婚的新娘自殺殉情。這或許是數(shù)學(xué)史上最慘痛的悲劇。

橢圓曲線帶來(lái)的不僅是成功和喜悅，亦有失敗和悲傷。

經(jīng)過(guò)一百多年的發(fā)展，當(dāng)代研究橢圓曲線的學(xué)者們，同樣是悲喜交加。

BSD猜想這個(gè)數(shù)論問(wèn)題，實(shí)際上轉(zhuǎn)化為橢圓曲線的問(wèn)題。

歐葉并不是第一個(gè)想到運(yùn)用群論橢圓曲線的方法去證明BSD猜想的人。

早就有人這么做了，只不過(guò)沒有成功。

計(jì)算機(jī)屏幕上顯示：

#Sha（E）表示橢圓曲線E的ShafarevichTate群的階數(shù)，這個(gè)群十分神秘，包括此群的提出者沙法列維奇、約翰泰特在內(nèi)，數(shù)學(xué)家們連這個(gè)群是不是有限群都沒整明白。

當(dāng)然了，如果你先承認(rèn)BSD猜想，那么ShafarevichTate群則必然是有限群。

趙天、小云、曾寒三人非常激動(dòng)，計(jì)算機(jī)驗(yàn)算結(jié)果很有信服力的顯示：基于歐葉算法，ShafarevichTate群是有限群！

這無(wú)疑是證明BSD猜想的一個(gè)有力證據(jù)，是一個(gè)重要的前置步驟！

“這是我們的一小步，這是人類的一大步！”

“葉子姐牛批！”

“啊哈哈哈，真的牛批！”

趙天和小云相擁慶祝，一向沉默寡言的曾寒亦熱血沸騰。

他們?yōu)樯哆@么激動(dòng)，因?yàn)樵谒麄兛磥?lái)，他們團(tuán)隊(duì)此刻所取得的研究成果，非常接近于安德魯懷爾斯在證明費(fèi)馬大定理之前，先證明了谷山志村猜想。

“沙法列維奇、約翰泰特兩位大神沒有搞定的問(wèn)題，被我們搞定了！葉子姐萬(wàn)歲！小曾弟弟，把驗(yàn)算結(jié)果保存一下，然后發(fā)給葉子姐。”趙天迫不及待想把這個(gè)好消息告訴歐葉。

沙法列維奇，前蘇聯(lián)著名數(shù)學(xué)家，他編寫的代數(shù)幾何、代數(shù)數(shù)論、代數(shù)學(xué)教材，是新中國(guó)成立后最早被引入國(guó)內(nèi)的高校數(shù)學(xué)專業(yè)的數(shù)學(xué)教材之一。歐葉本科階段的老師，都是學(xué)的沙法列維奇版教材。

約翰泰特，美國(guó)數(shù)學(xué)家，此人也是沈奇、歐葉、周雨安的普林斯頓校友。約翰泰特是沃爾夫獎(jiǎng)、阿貝爾獎(jiǎng)的雙料得主，他是代數(shù)數(shù)論領(lǐng)域的大師級(jí)人物，他缺的只是一枚菲獎(jiǎng)獎(jiǎng)?wù)隆?p/> 沙法列維奇、約翰泰特兩位大神前輩沒有論證明白的ShafarevichTate群?jiǎn)栴}，被歐葉的幾張手稿論證的清清楚楚。

但是，伯奇、斯溫納頓戴爾沒能證明的問(wèn)題，歐葉暫時(shí)也沒能徹底證明。

“有些遺憾啊，計(jì)算機(jī)無(wú)法驗(yàn)證analyticrank大于等于2的情況，無(wú)效條件，這是啥意思……不過(guò)我們徹底證明了analyticrank等于0、1的橢圓曲線滿足BSD猜想，小曾，數(shù)據(jù)保存好了嗎？趕緊發(fā)給葉子姐！”

燕大人民醫(yī)院。

沈奇負(fù)手而立，站在病房的窗戶前。

外面暴雨傾盆，積水淹沒了他的汽車。

反正買了平安車險(xiǎn)，淹了就淹了吧。

“這個(gè)天氣，糟糕的很。”沈奇吐槽了一句，他轉(zhuǎn)身來(lái)到病床邊，注視著熟睡的歐葉。

在這次的新藥臨床試驗(yàn)中，歐葉被安排進(jìn)入最低劑量組。

最先做耐受性試驗(yàn)的是最低劑量組的受試者，這個(gè)組已經(jīng)做完了。再過(guò)一段日子，其他劑量組的耐受性試驗(yàn)做完，并被驗(yàn)證安全，歐葉將回到醫(yī)院繼續(xù)接受藥代/藥效的I期臨床試驗(yàn)。

沈奇原本計(jì)劃在午后接歐葉回家，可外面狂風(fēng)暴雨，車都給淹了，夫妻倆暫時(shí)回不了家。

滴滴。

歐葉的手機(jī)響起提示音。

滴滴。

繼續(xù)響。

沈奇瞟了一眼歐葉的手機(jī)，應(yīng)該是信息、郵件之類的東西。

他也不敢看，他也不敢問(wèn)，老婆的手機(jī)不許私自解鎖，這是鐵的紀(jì)律。

“嚶嚶……”歐葉嘴唇動(dòng)了動(dòng)，醒了。

“葉子你醒了。”

“嗯……外面好大雨哦。”

“大暴雨，挺猛的，等雨停了，我們?cè)倩丶摇！?p/> “好的。”歐葉睡醒后第一件事是摸手機(jī)，她劃動(dòng)手機(jī)屏幕，查收新郵件、新信息。

信息發(fā)件人趙天：“葉子姐，我們的方案在沈奇科研中心計(jì)算機(jī)房驗(yàn)證完畢，ShafarevichTate群是有限群，analyticrank等于0、1的橢圓曲線符合我們的猜測(cè)！analyticrank或algebraicrank大于等于2的情況有待于進(jìn)一步驗(yàn)證，你快看看曾寒發(fā)給你的新郵件吧！如果你能來(lái)計(jì)算機(jī)房，就更好了！祝你早日康復(fù)！”

“呀！”歐葉輕呼一聲，蠻開心的樣子。

沈奇無(wú)意中瞅到歐葉的手機(jī)屏幕，他大概猜到歐葉開心的具體原因了。

“rank0、1搞定了，ShafarevichTate群確實(shí)是有限群，兩位前輩的直覺很敏銳呢。”歐葉晃了晃手機(jī)，向沈奇?zhèn)鬟_(dá)喜訊。

“那太好了，老婆你真棒，強(qiáng)無(wú)敵。”沈奇由衷的為歐葉感到高興，心情好壞對(duì)于病患是有影響的，他當(dāng)然樂(lè)意看到老婆天天都快樂(lè)。

歐葉點(diǎn)開新郵件，郵件發(fā)件人是曾寒：“葉子姐，請(qǐng)查收附件。祝你早日康復(fù)。”

附件里全是圖形、表格數(shù)據(jù)，歐葉仔細(xì)查閱。

看完之后，歐葉忽然沒那么開心了，她把手機(jī)遞給沈奇：“rank大于等于2的情況，沒有一個(gè)字節(jié)的驗(yàn)證數(shù)據(jù)，我想，我應(yīng)該忽略了某個(gè)重要環(huán)節(jié)。”

沈奇接過(guò)手機(jī)，他快速的計(jì)算分析，說(shuō)到：“按照你的設(shè)定，初次的計(jì)算機(jī)驗(yàn)證，對(duì)于rank大于等于2的情況，至少應(yīng)該得到泰勒展開后的驗(yàn)證數(shù)據(jù)。你確實(shí)有可能忽略了某個(gè)關(guān)鍵環(huán)節(jié)，不過(guò)你已經(jīng)做的很好了。喲，雨停了，咱們回家吧，回家后慢慢研究。”

（七月一日，黨的生日，求保底