头一看。
然后……
六眼懵逼。
【设k遍历所有满足|disc(k)|≤x的五次非阿贝尔数域，cl(k)为其类群，?为不整除|gal(k/q)|的素数。】
【证明：当x→∞时，cl(k)[?]的联合矩统计量收敛至–lenstra–marti预测值，并对误差项给出一个不依赖于广义黎曼假设的显式上界。】
这道题乍一看去不长，而且好像很简单。
但在座的三个人，哪一个不是天之骄子，自然都足以看懂它意味着什么。
–lenstra–marti猜想，是算术统计领域悬了四十多年的核心预测。
它断言，如果你“随机”抓一堆数域放在一起，它们的类群中?－挠部分的分布，应当严格服从一套由群论给出的概率权重。
打个不太恰当的比方，就好像你往一个箱子里不停地扔不同形状的骰子，然后问：扔出来的点数分布，到底服从什么规律？
这个预测在二次域和三次域上已经被部分证实，但到了五次域这个层面，几乎是一片真空。
不是因为没人试过，而是因为五次域的计数本身就是一件极其困难的事，更别提在计数的同时还要精确追踪类群的代数结构了。
而题目要求的“不依赖广义黎曼假设的显式误差项”，更是把难度直接拉到了天花板。
广义黎曼假设，grh，是整个解析数论的大梁。
几乎所有涉及素数分布、l函数零点和数域计数的深层结论，都或多或少依赖于这个至今未被证明的假设。
去掉这根拐杖，等于要从零开始搭一条全新的路。
所以李东这出的可不是一道考试题这么简单，而是一篇论文——一篇足够上顶刊的论文。
三个人面面相觑，脸色
本网站为网友提供小说上传储存空间平台，为网友提供在线阅读交流、txt下载，平台上的所有文学作品均来源于网友的上传
用户上传的文学作品均由网站程序自动分割展现，无人工干预，本站自身不编辑或修改网友上传的内容（请上传有合法版权的作品）
如发现本站有侵犯权利人版权内容的，请向本站投诉，一经核实，本站将立即删除相关作品并对上传人ID账号作封号处理