迈向希尔伯特第12问

luyuanhong

迈向希尔伯特第12问

1900年，德国数学家希尔伯特在第二届国际数学家大会上提出了23个问题，这些问题几乎成为引领20世纪数学研究的纲领。百年过去，这23问中有一些已经得到解决，有些取得长足的进步，还有一部分完全没有解决。今年3月，两位印度数学家发表了他们关于希尔伯特第12问的最新研究，即关于数域上阿贝尔域扩张的构造问题，为这一问题的解决带来了曙光。实际上，关于数域扩张的研究已有近200年。本文将延续着这一路旅程，见证数学史上的伟大人物是如何一次又一次接过接力棒，迈向希尔伯特第12问。

撰文 | 张和持

数论，之所以被称为数学头顶最璀璨的王冠，是因为几乎所有数学的分支都可以用来处理数论问题。而其中最为主流的代数数论，便是从抽象代数结构的视点来分析数域的代数性质。代数学起源于对多项式方程的研究，解方程则对应着数域的扩张。这就使得数学家关注的重心从方程本身，转移到对域扩张的研究。其中最重要的一类扩张，称为阿贝尔扩张；这个概念在著名的希尔伯特23问中占有一席，第12问即是关于有理数域上阿贝尔扩张的构造方法是否可以拓展到其他数域。数学家在最近这一百年已经对阿贝尔扩张的性质有了非常深入的认识。如果能找到阿贝尔扩张的构造方法，就能拆解开数域神秘的外壳，理解其中运行的机制。

青年克罗内克的梦想

我们的故事开始于约两百年前的普鲁士王国。1823年，居住在李格尼茨（Liegnitz）的犹太人克罗内克（Kronecker）一家诞生了一个聪明的男孩，男孩名叫利奥波德（Leopold）。他所生长的这个城市历史悠久，从希腊时代起，便有人在此定居，此后数千年，它见证了宗教的兴起，骑士的衰落。数十年前，腓特烈大帝正是在此以少胜多，大败奥地利与俄国的联军。到了十九世纪，硝烟逐渐被冲淡，留下历史的厚重。

或许是来自环境的熏陶，年幼的利奥波德·克罗内克对周围的一切产生了好奇。他爱好科学、历史与哲学，同时还是一名游泳健将。他的父母对教育极为重视，使他的这些爱好都得到了发扬。到了中学时代，他遇到了他的恩师与一生的挚友恩斯特·库默尔（Ernst Kummer）。作为一名年轻的数学家，库默尔在代数与数论等领域已小有成就。他建议克罗内克深入学习数学。

不过克罗内克此时还没有下定决心专心于数学。此后的几年中，他辗转于柏林大学、波恩大学等学校，兴趣使然地学习哲学、天文学与数学。毕业后，他返回家乡管理家业，投资经商；直到数年之后重返学术界，此时已经拥有了相当的家产。


利奥波德·克罗内克（Leopold Kronecker，1823-1891）

经商期间，克罗内克也没有荒废数学的学习。不过对于他来说，数学属于忙了一天之后的消遣。他和库默尔的通讯也没有中断。虽然具体内容大多不得而知，但在此期间他们应该取得了一些成果。而当克罗内克重返江湖时，他很快就成为了当时欧洲顶尖的数学家。

正是在克罗内克辗转求学这几年，法国数学家约瑟夫·刘维尔（Joseph Liouville）偶然发掘出埃瓦里斯特·伽罗瓦（Evariste Galois）关于代数方程组的遗稿，使得伽罗瓦关于域扩张的工作为其他数学家所知。



即使是没有受过数学训练，对群论知之甚少的读者，也可以大概这样理解：我们对于阿贝尔群基本上知根知底。那么要是能将阿贝尔群的知识运用于相应的域扩张，即阿贝尔扩张，那想必会带来更多美妙的结果。

年轻的克罗内克也痴迷于伽罗瓦理论带来的广阔世界。他并不觉得五次方程可解性问题就是群论与域论的终点。相反，对于域扩张的探索才刚刚开始。他很快就注意到了一些与阿贝尔扩张有关的奇特现象。



很长时间，克罗内克都不能得到完整的思路。他在晚年与戴德金（Richard Dedekind）的通信中提到，解决这一问题是他“青年时代最为热切的梦想”（liebster Jugendtraum）。

1853年，克罗内克发表了他对这一结论的证明。遗憾的是，他的方法并不是对所有阿贝尔扩张都适用。这一错误很快就被指出，但是克罗内克本人也并没有想出别的办法。一直到1886年，海因里希·马丁·韦伯（Heinrich Martin Weber）才给出了新的证明，并被大多数人接受。1891年，克罗内克与世长辞，或许他已经满足于这个结果。一直到100年后的1981年，才有数学家发现，韦伯的证明包含了一些错误，所以也不能成立。

当然，它最终还是被证明了。我们今天称之为克罗内克-韦伯定理的结论，其实是由希尔伯特证明的。

希尔伯特与世纪之交的代数数论

正如同克罗内克的故乡，如今已经被划为波兰的领土；希尔伯特出生的城市柯尼斯堡，也在二战之后成为苏联的一部分，改名叫加里宁格勒。在希尔伯特成长的年代，柯尼斯堡仍是一座传统的德国城市，人们以康德为荣，崇尚思考的艺术。而希尔伯特也很早发现了自己对于数学的热衷，走上了数学了道路。他四处游历，吸收新思想，成为欧洲数学的新星。


大卫·希尔伯特（David Hilbert，1862-1943）

19世纪末，数学发生了翻天覆地的变化，其研究方法的严格性，抽象性都经历了质的飞跃。希尔伯特当然也拜访了当时德高望重的克罗内克。不过他惊讶地发现，克罗内克对于新的数学并没有太大兴趣：他反对康托尔的集合论，也对非构造的代数证明法持保留意见。几年之后，克罗内克与世长辞，在他死后的1896年，希尔伯特给出了他对于克罗内克-韦伯定理的证明。此时数学家们还没有发现韦伯证明中的错误，而希尔伯特本人也认为，自己只是给出了一个较为简单的证法而已。不过现在看来，是希尔伯特首先证明了这个定理。



希尔伯特在1900年的巴黎会议上发表了他著名的23个问题。由于时间关系，他只在现场叙述了其中的10个，关于数域的阿贝尔扩张的问题并没有包含在这10个当中。我们今天读到的希尔伯特第12问，是会议之后发表的。这个问题描述相当模糊，而且会产生不少误导——后来数学家们证明，虚二次域的阿贝尔扩张与椭圆模函数其实并没有多大关系。即便如此，希尔伯特的思考仍然产生了重要的影响。

希尔伯特的思考并不是孤立的。他同时也在研究阿贝尔扩张的性质。由欧拉、高斯等先贤开创的对二次互反律的研究，在希尔伯特这里有了更加现代的形式。他发现，这些性质本质上都与阿贝尔扩张有关，并提出了一系列猜想。此时希尔伯特任教的哥廷根大学正如日中天，汇聚了来自世界各地的青年才俊。其中有一个人沿着希尔伯特的猜想走了下去，他就是日本现代数学的先驱——高木贞治。


高木贞治（Teiji Takagi，1875-1960）

十九世纪末的日本正受到西方文明的强烈冲击。江户时代的本土数学流派“和算”曾大放异彩，但到了明治维新之前，已然衰落了。在全面学习西方的浪潮下，日本建立了一系列“帝国大学”，热爱数学的高木贞治便进入了其中最富盛名的东京帝国大学。这所大学在此后的一百年会源源不断地培养顶尖数学家，不过在高木贞治的学生时代，还并没有领先世界的研究。他在毕业后，前往德国深造，曾在柏林接受过佛罗贝尼乌斯（Ferdinand Georg Frobenius）等人的教导，最终来到哥廷根，深感自己弗如希尔伯特远甚。最终他在希尔伯特门下获得了博士学位，毕业后回到东京帝国大学任教。

在一战的疯狂岁月中，高木静心研究希尔伯特的代数数论。他于1920年发表了著名的高木存在定理，将阿贝尔扩张与基域的理想类群之间建立起了深刻联系。这项工作被埃米尔·阿廷（Emil Artin）等数学家发扬光大，从此一门被称为类域论的研究诞生，这套理论已经能相当完善地处理阿贝尔扩张。今天每一名想要学习代数数论的研究生都需要学习高木的理论，所有这些工作都只对阿贝尔扩张有效，可以想见阿贝尔扩张的重要性。

但是对希尔伯特第12问本身而言，进展仍然极为缓慢，还需要新的思想、新的工具。

L 函数与 p-进数带来的新数学

纳粹的种族政策让欧洲数学家大批移民，,哥廷根学派也因此分崩离析。诺特（Emmy Noether），柯朗（Richard Courant），外尔（Hermann Weyl）等巨擘前往新大陆，这也使美国在二战后成为了世界数学的中心。世界发生了翻天覆地的变化，新的数学也迎来了黎明。算术几何，同调代数等新兴学科为代数数论注入了新鲜的血液，而希尔伯特第12问也产生了不同的分支方向。

既然希尔伯特对虚二次域的讨论走向了死路，数学家们就只好重新搜索思路。希尔伯特的最终目标，是要构造任意域的阿贝尔扩张。但一次性给出普适的结果实在是不太现实，所以希尔伯特本人也只能从虚二次域入手。这样，对希尔伯特第12问的研究，就只能从特定方法与特定的域入手。比如志村五郎和谷山丰的工作引向了对CM域的研究；而朗兰兹（Robert Langlands）则在他那著名的纲领中提议，应该着手于某种 ζ 函数。不过我们今天要讲的是另外一条线。




库尔特·亨泽尔（Kurt Hensel，1861-1941）




Samit Dasgupta


Mahesh Kakde

今天的数学已经超越了希尔伯特的希冀，但又没有完全达到他的期望。不过这也正是数学的魅力所在：我们永远无法预测下一个突破将在何处出现。

参考文献

[1] Houston-Edwards, Kelsey (2021-05-25). "Mathematicians Find Long-Sought Building Blocks for Special Polynomials". Quanta Magazine.

[2] Schappacher, Norbert (1998). "On the history of Hilbert's twelfth problem: a comedy of errors". Matériaux pour l'histoire des mathématiques au XXe siècle (Nice, 1996). Sémin. Congr. 3. Paris: Société Mathématique de France. pp. 243–273. ISBN 978-2-85629-065-1. MR 1640262. Zbl 1044.01530.