第596頁
程諾所做的推演定理,就是一個架橋的過程。
橋一旦架起來,那最後那一小段距離,很輕易就能夠走完。
而現在,程諾把那座橋,架起來了!
辦公室內,程諾舒展了一下身子,目光望著屏幕上的幾行公式,心情無比舒暢。
「終於,讓我給搞出來了啊!」
要不是怕影響研究所內的其他人,程諾現在真的很想長嘯一聲。
三個月,為了這個定理,程諾耗費了整整三個月的時間!
期間,程諾改稿多次,走岔路的次數不少於十次,一路磕磕絆絆,讓程諾差點直接放棄。
程諾也是很難得的體驗到了靈感枯竭的感覺。
但現在,一切都過去了。
橋被程諾架起來,那之前所有的努力就是值得的。
程諾直接打電話給張偉,「師兄,定理我已經推導出來了,來我辦公室一趟吧。」
「好好好,我正好在數院大樓那邊,五分鐘內一定趕到。」對面那邊張偉聽聞了這個消息後,聽語氣也是異常激動。
五分鐘後,張偉急匆匆的趕到。
連水都來不及喝,便急促的對程諾問道,「新定理呢?」
程諾笑眯眯的把一張A4紙遞過去。
張偉接過來,低頭看去。
【對數域K上的橢圓曲線,環面(R/Z)^2有自然的Abel群結構,如果將橢圓曲線δ嵌入到射影平面,則橢圓曲線符合如下幾何定理:
①:δ與無窮遠直線的交點O是Abel零元;
②:對R=(x,y),-R=(x,y);
③:對P、Q,過P,Q的直線與δ交於第三點P,則P+Q=-R
……】
張偉仔細讀完後,抬起頭,望向程諾的目光中,已經全是駭然。
「這,這個定理……」
張偉現在有一種,一打瞌睡就有人送枕頭的感覺。
程諾這個新定理,和他們正在鑽研的內容,簡直再也合適不過。
如雪中送炭,原本前方被堵塞的死死道路,突然變得豁然開朗。
張偉一方面在喜悅的同時,同時也在驚訝。
當初,程諾雖然拍著胸脯保證,三個月內一定推演出一個新定理。
但隨著時間的推移,張偉對BSD猜想的認知逐漸增加,同時也意識到,程諾的任務究竟是多麼的艱巨。
張偉早就已經做好這個項目以失敗告終的準備了。
但沒想到,這個看似不可能的任務,程諾如他所說的一般,在三個月內把一個新的定理交到他手上。
並且這個新定理,也具有相當高的學術意義。
簡單的說,就算是不考慮BSD猜想,單單把程諾推導出的這個新定理拿出來,起碼也是第二梯隊數學定理的水平。
外界盛傳程諾妖孽,張偉並沒有親自感受過。
但如今,張偉終於意識到,坐在自己面前的這個青年,是多麼恐怖的一個傢伙!
第四百八十章 發現了什麼不得了的東西
程諾暫時把他這個新推導出來的定理命名為「橢圓阿貝爾群定理」。
有了橢圓阿爾貝群定理,BSD猜想的證明工作便又可以繼續進行。
「師兄,接下來麻煩你了。」
「嗯。給我一周,哦不,四天的時間,我把結果交給你。」
橢圓阿爾貝群的出現,讓張偉真切的看到了攻克BSD猜想的希望。
他已經決定,推掉自己的另一份工作,把全部的精力,放在BSD猜想上。
畢竟,一旦BSD猜想被證明,他能獲得的收益,要比他的另一個項目要高上千倍百倍。
……
BSD猜想的證明工作在有條不紊的進行著。
程諾和張偉師兄弟二人,除了日常帶研究生的工作外,把剩餘的精力全部撲在這上面。
每日泡在辦公室里,沒有必要甚至都不出門。
這種工作狂的態度,在無形之中,帶給了清華大學內許多教授若有若無的壓力。
一邊,是程諾和張偉這對師兄弟,忙得連去食堂吃飯都是小跑著去。
而另一邊,是他們這群教授悠閒的坐在辦公室里美滋滋的喝茶聊天。
瞬間,高下立判!
因此,幾乎是短短几天時間,許多教授在做項目時突然變得積極起來。
那種久違的拼勁,再次出現在他們身上。
而在學校的科研風氣在程諾的影響下慢慢轉變之際,程諾和張偉正在辦公室內激烈的討論著。
仔細算下來的話,距離BSD猜想證明項目開題,已經過去將近四個月的時間。
在這個四個月的時間內,程諾和張偉兩人,總算搞定了BSD猜想的第一塊拼圖。
證明BSD猜想的終極目標,進度1/3。
差的兩塊拼圖,分別是阿貝爾簇,和莫代爾群。
按照框架,下一塊需要搞定的拼圖是莫代爾群。
莫代爾群,在BSD猜想中是一個有限生成的交換群,和橢圓曲線一樣,同樣的存在於整體域上。
兩人現在討論的是,下階段的切入方向是什麼。
張偉認為應該從莫代爾群的模定理進行研究,理由是歷代數學家在研究BSD猜想的這一部分時,便是以次進行深入研究。
而程諾的觀點不一樣。
對於歷代針對BSD猜想展開研究數學家們的觀點,程諾不否認,但也並不苟同。