大的好事。
但是!
他們好不容易把程諾請來的目的,是為了證明谷山志村猜想啊!
現在呢?
谷山志村猜想沒證出來,這也就算了。更過分的是,特麼的又提出來一個猜想!
克雷數學研究所的人都快哭出來了。
本來,證明八個猜想他們就力有未逮了,現在又加上一個,簡直就是硬生生給他們這個「清洗計劃」提高難度。
…………
布萊克教授面色現在是一陣青一陣紫。
他發現,他真的大大的小覷了程諾。
他們「幾何化猜想」證明小組三個月來的研究成果,在程諾那個「程氏復環猜想」面前,根本就不值一提。
但他又不想讓這個年紀還沒有他一半的小子把這場報告會的風頭全佔了,於是猶豫了幾秒後,他對台上的程諾問道,「程諾先生,你的這個程氏復環猜想確實有很大的研究價值,但我想不通,這和你們研究的谷山志村猜想有什麼聯繫?」
「布萊克先生這個問題問的很好。」程諾神色不變,朗聲說道,「各位乍看,似乎這兩個猜想並無絲毫的聯繫,但我需要告訴各位的是,這兩個猜想之間不僅有聯繫,而且聯繫異常緊密。」
程諾在另一半空白的小黑板上唰唰幾個公式。
「這個公式諸位恐怕再也熟悉不過,當初懷爾斯先生在證明費馬大定理時,其中便用到這串公式。它的學術名叫做『弗雷命題』。」
「利用弗雷命題,把其當作橋樑,便可以將谷山志村猜想和程氏復環猜想完美結合起來。加入谷山志村猜想不成立,程氏復環猜想中複數域橢圓的有理點就不可能等於有限域方程解個數加一。反之亦然!」
台下一個頭髮有些禿頂的數學家恍然道,「也就是說,谷山志村猜想成立則程氏復環猜想成立,程氏復環猜想成立則谷山志村猜想成立?」
程諾一指那個數學家,「沒錯,就是這樣!」
嘩~!
台下,第一次譁然出聲。
有一些年紀不大的數學家,看向的程諾的目光已經帶有滿滿的欽佩。
布萊克教授頭也不抬,拿出一張草稿紙按照程諾講述的方法迅速計算着,最後頹然發現,事實卻是如程諾所出的那樣。
谷山志村猜想和程氏復環猜想兩者一體,一個成立,另一個一定會成立。
因此,程諾的工作,並非需要兩個全部證明,只需要證明其中的一個。
…………
第四百六十章 程氏復環猜想