。
Cohen–Lenstra–Martinet猜想,是算术统计领域悬了四十多年的核心预测。
它断言,如果你“随机”抓一堆数域放在一起,它们的类群中ℓ-挠部分的分布,应当严格服从一套由群论给出的概率权重。
打个不太恰当的比方,就好像你往一个箱子里不停地扔不同形状的骰子,然后问:扔出来的点数分布,到底服从什么规律?
这个预测在二次域和三次域上已经被部分证实,但到了五次域这个层面,几乎是一片真空。
不是因为没人试过,而是因为五次域的计数本身就是一件极其困难的事,更别提在计数的同时还要精确追踪类群的代数结构了。
而题目要求的“不依赖广义黎曼假设的显式误差项”,更是把难度直接拉到了天花板。
广义黎曼假设,GRH,是整个解析数论的大梁。
几乎所有涉及素数分布、L函数零点和数域计数的深层结论,都或多或少依赖于这个至今未被证明的假设。
去掉这根拐杖,等于要从零开始搭一条全新的路。
所以李东这出的可不是一道考试题这么简单,而是一篇论文——一篇足够上顶刊的论文。
三个人面面相觑,脸色都不太好看。
其实这道题,是李东和小黑玩数学时无聊玩出来的。
那天小黑鬼迷日眼的从角落冒了出来说:“主人,你看看我出的这道题怎么样啊?”
李东当时扫了一眼,还真被小小地震了一下。
他没想到这个小东西出题的眼光这么刁钻。
题目本身不复杂,寥寥几行字就说清楚了,可要真动手做,里面至少藏着三四个独立的难点,哪一个单拎出来都不好对付。
那天晚上他坐在电脑前想了大半夜,前前后后琢磨出五种不同的证明路径:有一条走解析延拓和亚凸界估计,有一条走筛法与几何计数,还有一条从自守表示的谱分解入手,每一条都能独立成文,却又各有各绕不过去的技术障碍。
当时他就觉得,这题出的确实漂亮。
现在正好拿来考这三个想报他研究生的学生。
李东看着他们变了色的脸,笑着说:“哎,放轻松,就是个小游戏而已。”
三个人相互看了一眼,都是无奈苦笑。
李东教授的“小游戏”他们也做不出来呀。
两个男生没有说话,只有周向晴性格大大咧咧,直接
本章未完,请点击下一页继续阅读!