第(2/3)頁

    但是，費馬大定理對谷山志村猜想的證明仍具有很高的借鑒意義。

    程諾也決定從這個方向入手，嘗試證明方法。

    一個人呆在辦公室內，已經保持一個動作一個多小時的程諾終于感覺已經抓到了那一絲靈感，拿過筆，在草稿紙上唰唰唰記下靈感。

    “依據費馬定理n=4情形，將研究對象定義為橢圓曲線  E:y^2=x^3-x  .設β是一個素數，此方程在有限域Ft中解的個數在β=1，3，5……時分別為……”

    “……下一步，利用模群Γ(1):=SL2(Ζ)通過分式線性變換作用在復上半平面H={z∈C|Im(z)＞0}上。”

    “……第三步，假設E:y2=ax3+by2+cx+d是有理數域  Q上的橢圓曲線，則需要考慮它在系數模素數的“約化”。并且，同構的橢圓曲線可能給出完全不同的“約化”：考慮  y2=  27x3-3x和y2=x3-x，前者不是F3上的橢圓曲線，后者卻是F3上的橢圓曲線。因此，便得到結論①：同構的橢圓曲線應該看成是等同的！”

    …………

    和程諾他們這個證明小組一樣，其余的七個證明小組，在拿到任務的第一時間，便在各自組長的帶領下馬不停蹄的開始了研究工作。

    畢竟，他們這次不光光是要和三年的研究周期做賽跑，還要和其余的幾個小組拼進度。

    八個課題小組是同時開題，研究人員的分配也和猜想難度呈正比。眾人的起跑線差不多相同。

    數學家們沒有人肯甘居人后。

    所以這次清洗活動，就帶有了一絲競速的意味在。

    “幾何化猜想”證明小組。

    布萊克教授作為幾何領域的老牌數學家之一，被任命為組長職位。

    和“谷山志村猜想”證明小組一樣，他們的小組成員只有三人。

    論難度，“幾何化猜想”和“谷山志村”猜想的研究難度相當。

    但有一點不同的是，布萊克手下的兩位數學家比程諾手下的那兩位數學家強了不止一點半點。

    單說一點，布萊克小組的三位成員，有兩人都曾獲得過維布倫獎，而程諾那邊，只有程諾一人。

    所以，至始至終，布萊克都沒有把隔壁的“谷山志村猜想”研究小組當做一個可以正視對手來看。

    但這種想法，在克雷數學研究所針對這次清洗活動，進行的每隔三月一次的例行進度報告會上，發生了徹底的改變。

    …………

    時間進入2024年的1月。

    關于谷山志村猜想的證明工作已經進行了三個月時間。
    第(2/3)頁