第四百六十章 程氏復環猜想

　　有趣的東西？
　　不少數學家都露出略顯疑惑的表情。
　　程諾並沒有吊數學家們的胃口的意思。
　　他笑了笑，轉過身，拿起壹根粉筆，在舞臺壹側掛著的小黑板上唰唰寫下壹串公式。
　　【設A是拓撲環，A是上的n維Galois表示的壹個連續群同態。則：
　　同態映射：Gq→GLn（A）
　　映射關系：E^p^（n+1）→E[p^n]
　　逆向極限：Tp（E）：=limE[p^n]
　　設Kp∞/Q為對應於上面同態映射：ρp：Gq→GL2（Zp）的核Kerρp的擴域，也就是說……】
　　本來，臺下那群數學家們都是壹個個抱著胳膊，目光淡淡的掃過那壹行行公式，神色古井無波。
　　他們只是想看看程諾究竟能搞出什麽新花樣。
　　但隨著時間的推移，數學家們臉上的表情變得不淡定起來。
　　壹個個身體前傾著，目光壹絲不茍的掃過程諾寫下的那壹串串公式，同時嘴中念念有詞，不知道在說些什麽。
　　【……絕對Galois群Gq作用在Tate模Tp（E）上，滿足αζ=ζ+1-|E（Ft）|.】
　　寫到這，程諾停筆。
　　摸著下巴思索了幾秒，程諾重重的在最後壹行公式下面劃了兩行橫線。
　　咚咚！
　　程諾敲敲黑板，把數學家們的思緒拉回來。
　　他指著占滿半塊小黑板的公式，微笑著開口，“這就是我說的那個有趣的東西。”
　　“簡單的來概括的話，就是說如果存在E是Q上橢圓曲線，以L表示具有好約化的素數的集合，此時可定義整數數列（αζ）ζ∈L，也就是橢圓曲線的DNA序列，滿足E的全體Ft有理點等於方程解的個數+1！”
　　程諾話音壹落，下面的那群數學家交頭接耳，相互之間小聲的議論著。
　　有壹位數學家舉手問道，“程諾先生，這是妳新推導出的壹個定理嗎？”
　　程諾搖搖頭，“不，並不是。因為我現在還沒有想出證明它的方法。不過我利用研究所的超級計算機運行過，發現在這個公式在248000內皆成立。”
　　“因為這個公式解釋的是復環之間的關系，我暫時將其命名為——程氏復環猜想！”程諾笑著解釋。
　　程氏復環猜想！
　　不少數學家都不由瞪大眼睛。
　　似乎很難相信，為何突然就莫名其妙的冒出這樣壹個猜想。
　　作為幾何數學家，尤其還是世界上算是比較頂尖的那壹批，他們自然是識貨的。
　　這個“程氏復環猜想”，他們從頭到尾再把程諾寫在小黑板的上的公式反復看了幾遍，皆是壹臉的凝重。
　　程氏復環猜想，是利用Galois表示的方法，將有限域上的方程和復數域上的橢圓曲線緊密聯系起來。
　　要知道，復數域幾何壹直都屬於幾何領域的沙漠地帶，雖然是壹個大方向，但研究起來太過於復雜，出成果的難度太高，根本沒人肯對這個方向苦心鉆研。
　　復數域幾何的復雜性，就在於其表示單位復環面的復雜性。
　　而程氏復環猜想，則完美的將最為普通的有限域方程話復數域橢圓利用公式關系聯系在壹起。
　　就相當於是將汪洋大海引壹條支流註入幹涸的沙漠，讓這片貧瘠的沙漠煥發生機與活力。
　　他們就算腦子再遲鈍，也明白這個猜想的意義所在。
　　可以毫不誇張的說，這個程諾復環猜想的學術意義，甚至絲毫不弱於被列為七大數學猜想之壹的霍奇猜想。
　　畢竟，霍奇猜想只是證明難度高，學術意義比與其並列的幾個猜想還是差點。
　　臺上，程諾神態悠然的站著。
　　臺下，數十位數學家表情各異。
　　但另壹邊，過來主持進度報告會的幾位克雷數學研究所的人員，就不知道現在是該高興還是該悲傷。
　　程氏復環猜想的提出，對於幾何界，甚至對於整個數學界，都可謂是壹個天大的好事。
　　但是！
　　他們好不容易把程諾請來的目的，是為了證明谷山誌村猜想啊！
　　現在呢？
　　谷山誌村猜想沒證出來，這也就算了。更過分的是，特麽的又提出來壹個猜想！
　　克雷數學研究所的人都快哭出來了。
　　本來，證明八個猜想他們就力有未逮了，現在又加上壹個，簡直就是硬生生給他們這個“清洗計劃”提高難度。
　　……
　　布萊克教授面色現在是壹陣青壹陣紫。
　　他發現，他真的大大的小覷了程諾。
　　他們“幾何化猜想”證明小組三個月來的研究成果，在程諾那個“程氏復環猜想”面前，根本就不值壹提。
　　但他又不想讓這個年紀還沒有他壹半的小子把這場報告會的風頭全占了，於是猶豫了幾秒後，他對臺上的程諾問道，“程諾先生，妳的這個程氏復環猜想確實有很大的研究價值，但我想不通，這和妳們研究的谷山誌村猜想有什麽聯系？”
　　“布萊克先生這個問題問的很好。”程諾神色不變，朗聲說道，“各位乍看，似乎這兩個猜想並無絲毫的聯系，但我需要告訴各位的是，這兩個猜想之間不僅有聯系，而且聯系異常緊密。”
　　程諾在另壹半空白的小黑板上唰唰幾個公式。
　　“這個公式諸位恐怕再也熟悉不過，當初懷爾斯先生在證明費馬大定理時，其中便用到這串公式。它的學術名叫做‘弗雷命題’。”
　　“利用弗雷命題，把其當作橋梁，便可以將谷山誌村猜想和程氏復環猜想完美結合起來。加入谷山誌村猜想不成立，程氏復環猜想中復數域橢圓的有理點就不可能等於有限域方程解個數加壹。反之亦然！”
　　臺下壹個頭發有些禿頂的數學家恍然道，“也就是說，谷山誌村猜想成立則程氏復環猜想成立，程氏復環猜想成立則谷山誌村猜想成立？”
　　程諾壹指那個數學家，“沒錯，就是這樣！”
　　嘩~！
　　臺下，第壹次嘩然出聲。
　　有壹些年紀不大的數學家，看向的程諾的目光已經帶有滿滿的欽佩。
　　布萊克教授頭也不擡，拿出壹張草稿紙按照程諾講述的方法迅速計算著，最後頹然發現，事實卻是如程諾所出的那樣。
　　谷山誌村猜想和程氏復環猜想兩者壹體，壹個成立，另壹個壹定會成立。
　　因此，程諾的工作，並非需要兩個全部證明，只需要證明其中的壹個。
　　……