第(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)页