∑ 数学名人档案库
← 返回 埃米尔·阿廷 简介档案 深度档案
代数数论抽象代数几何

埃米尔·阿廷（Emil Artin）

20 世纪前半叶最优雅的代数家——他把高斯以来的所有互反律收束成一条阿廷互反律，用一个 L 函数打开了非阿贝尔类域论（朗兰兹纲领）的大门，又用实闭域理论解决了希尔伯特第 17 问题；他随手定义了辫群与阿廷环，写出的《伽罗瓦理论》让整整一代数学家第一次看懂了伽罗瓦。他是那种「把数学当作艺术」的人，生前与诺特共获阿克曼—托伊布纳奖，身后留下一个把代数、数论、几何、拓扑织在一起的学术谱系。

一、生平与时代背景

埃米尔·阿廷于 1898 年 3 月 3 日生于奥地利维也纳。父亲老埃米尔·阿廷（Emil Artin）是艺术品商人，母亲艾玛·劳拉—阿廷（Emma Laura-Artin）是歌剧演员——音乐从此与数学并列为他一生的挚爱。他在波西米亚的赖兴贝格（Reichenberg，今捷克利贝雷茨 Liberec）长大，当时此地属奥匈帝国，以德语人口为主，是纺织业中心，绰号「波西米亚的曼彻斯特」。

阿廷的童年并不幸福，他晚年回忆时常感到孤独。与大多数数学家不同，他直到 16 岁都没表现出对数学的特别兴趣——数学在他看来和其他科目没什么两样，甚至不如某些科目；他最有天赋、最着迷的是化学。他在法国度过了愉快的一学年（他称那是学生时代最快乐的一年），在高中最后两年兴趣才转向数学。

1916 年他在赖兴贝格通过中学毕业考试，此时一战已进行两年。他考入维也纳大学，但只读了一学期就被征召入奥匈帝国军队，服役到战争结束。1919 年 1 月，他进入莱比锡大学，随赫格洛茨（Gustav Herglotz）学数学，学术上迅速成熟；1921 年获博士学位。他的学位论文把二次数域的方法应用于有限常数域上一元有理函数域的二次扩张（即有限域上的超椭圆曲线），研究其 ζ 函数，并在若干情形下数值验证了「函数域的黎曼猜想」——这一工作后来成为韦伊猜想的源头（详见下文）。

1921—1922 年他在哥廷根待了一年，深受诺特（Emmy Noether）的抽象代数思想与数论学派影响。1922 年 10 月起任汉堡大学助教，1923 年完成特许任教资格（Habilitation），任汉堡的编外讲师（Privatdozent）；讲授的课题极为广泛，包括数学、力学与相对论。1925 年升副教授，1926 年升正教授。布饶尔（Richard Brauer）后来写道：「阿廷一生中 1921—1931 这十年的创造力，在数学家的生涯中罕有其匹。」

在汉堡的这十年，他完成了几乎所有最伟大的工作： - 1925 年创立辫群（Artin braid group）理论； - 1926 年与施赖耶（Otto Schreier）建立形式实域与实闭域理论； - 1927 年解决希尔伯特第 17 问题，同年发表一般互反律； - 约 1928 年研究满足右理想极小条件的环（今称阿廷环）。

通往互反律之路始于他还是学生时：1920 年高木贞治（Teiji Takagi）发表了类域论的奠基论文，证明韦伯意义下的类域与阿贝尔扩张是一回事。阿廷把高木的理论推进了几大步，1923 年在《论一种新的 L 级数》（Über eine neue Art von L-Reihen）中定义了推广狄利克雷 L 级数的阿廷 L 函数，并得到依赖旧互反律的特殊结果。1924 年切博塔廖夫（Nikolai Chebotaryov）证明了弗罗贝尼乌斯关于正规扩张中素理想密度的猜想——重要的不是结果本身，而是证明方法，阿廷借鉴此法，于 1927 年在《一般互反律的证明》（Beweis des allgemeinen Reziprozitätsgesetzes）中彻底反转了 1923 年的路线，不再依赖旧互反律，而是直接证明新的互反律并推出一切旧律。Roquette 指出，这条定理最深刻的意义在于它把互反律重新表述为同构定理，正如伽罗瓦理论被抽象代数重新表述后开启了新的应用，阿廷互反律也为类域论打开了全新格局。一年后，弗特文格勒（Furtwängler）正是用阿廷互反律证明了类域论的主理想定理。

阿廷还提出了两个影响深远的猜想：一是有限域上曲线 ζ 函数的黎曼猜想（源于其博士论文），后由哈塞（1933，椭圆曲线）、韦伊（1942，一般曲线）、德利涅（一般代数簇）相继证明，演变为韦伊猜想，催生了算术几何；二是原根猜想（据哈塞日记，1927 年 9 月 27 日阿廷向哈塞提出）：给定既非 ±1 也非他数幂的整数 g，存在无穷多个素数 p 使 g 是模 p 的原根，且这些素数有正密度——胡利（Hooley）在广义黎曼假设下证明了它，希思—布朗等得到无条件部分结果。

1929 年阿廷与学生娜塔莉·雅斯尼（Natalie Jasny）结婚（雅斯尼为犹太人）。家庭此后占据他生活的中心地位，他每天花数小时陪伴孩子、亲自参与他们的教育。其子迈克尔·阿廷（Michael Artin，1934— ）后来成为 MIT 的代数几何学家。

1933 年 1 月 30 日希特勒上台，4 月 7 日《公务员法》清除犹太教师。阿廷本人不是犹太人，不受直接影响，但妻子是犹太人；1937 年新《官员法》株连与犹太人有婚姻关系者。出于对个人自由、正义与暴力的本能反感，阿廷别无选择，1937 年移居美国：先在圣母大学（1937—38），随后印第安纳大学布卢明顿分校（1938—1946），再到普林斯顿大学（1946—1958）。

在美国，他把主要精力投入教学与指导博士，发表论文相对减少，但写出了多部成为经典的教材：1942 年《伽罗瓦理论》（基于 1938 年圣母大学讲义）、1948 年与 Nesbitt、Thrall 合著《极小条件环》、1957 年《几何代数》、1961 年与泰特合著《类域论》。1944 年他在极小条件环（阿廷环）上做出基础性工作，对半单代数给出新洞见。1955 年他发表两篇关于有限单群的论文，证明当时已知有限单群的阶的「重合」只有迪克森在《线性群》中给出的那些——这一结果点燃了后来有限单群分类的浓厚兴趣。

1956 年他首次享受学术休假并回到德国（这是他 1937 年离开纳粹德国后的首次回访），在哥廷根教了一学期，又在汉堡教了一学期；1958 年他永久回到汉堡大学。布饶尔在回忆中深情写道，1958 年 11 月他与阿廷在汉堡雾中漫步，寻找的是「一个已不复存在的汉堡，和永远逝去的时光」。

1962 年 12 月 20 日，阿廷因心脏病（心力衰竭）在汉堡猝逝，享年 64 岁。他的去世令所有认识他的人震惊——事先毫无征兆。

阿廷兴趣极广：化学、天文学（自制望远镜）、生物学；音乐造诣深厚，擅长长笛、羽管键琴（harpsichord）与击弦古钢琴（clavichord），还曾参加电子音乐会议。

二、学术生涯年表

年份 事件
1898 3 月 3 日生于奥地利维也纳；父为艺术品商人，母为歌剧演员
约 1900—1916 在波西米亚赖兴贝格（今利贝雷茨）长大；少年时最迷化学，16 岁前对数学无特别兴趣
约 1912—1913 在法国度过一学年（自称学生时代最快乐一年）
1916 在赖兴贝格通过中学毕业考试；入维也纳大学
1917 被征召入奥匈帝国军队，服役至一战结束
1919 1 月入莱比锡大学，随赫格洛茨学数学
1921 获莱比锡博士学位（论文：有限域上函数域二次扩张与 ζ 函数，验证函数域黎曼猜想）
1921—1922 在哥廷根进修一年，受诺特影响
1922 10 月任汉堡大学助教
1923 完成 Habilitation，任汉堡 Privatdozent；发表《论一种新的 L 级数》（定义阿廷 L 函数）
1925 升副教授；提出辫群（Artin braid group）理论
1926 升正教授；与施赖耶建立形式实域/实闭域理论
1927 解决希尔伯特第 17 问题（《论定函数分解为平方和》）；发表一般阿廷互反律；与施赖耶给出特征 p 的循环扩张；向哈塞提出原根猜想（9 月 27 日）
约 1928 研究满足右理想极小条件的环（阿廷环）
1929 与学生娜塔莉·雅斯尼结婚
1932 与诺特共获阿克曼—托伊布纳纪念奖
1934 子迈克尔·阿廷出生（后为 MIT 代数几何学家）；学生扎森豪斯获汉堡博士
1937 因妻子为犹太人、受纳粹法律株连，移居美国
1937—1938 任教圣母大学；《伽罗瓦理论》讲义（1942 年出版）
1938—1946 任教印第安纳大学布卢明顿分校
1944 关于极小条件环（阿廷环）的基础性工作
1946—1958 任普林斯顿大学教授；指导泰特、朗、德沃尔克等博士生
1948 与 Nesbitt、Thrall 合著《极小条件环》出版
1955 发表两篇有限单群论文（「阶的重合」结果），推动分类纲领
1956 首次休假回德（自 1937 后首次），在哥廷根、汉堡各教一学期
1957 出版《几何代数》
1958 永久回汉堡大学任教
1961 与泰特合著《类域论》出版
1962 12 月 20 日因心脏病猝逝于汉堡，享年 64 岁

三、核心成果（逐条技术解析）

1. 阿廷互反律——类域论的核心（1923 / 1927）

问题背景：自高斯二次互反律以来，互反律（描述素理想在扩张中的分裂规律与某种「幂剩余符号」的关系）是代数数论的中心主题。希尔伯特第 9 问题明确要求「对任意代数数域证明最一般的互反律」。高木贞治 1920 年证明：数域 $k$ 上的类域全体与 $k$ 的阿贝尔扩张全体一致——但缺少一个显式的同构把二者联系起来。

结果（阿廷互反律，1927 年完全证明）：对任意有限阿贝尔扩张 $L/K$，存在典范同构（阿廷映射）把广义理想类群（或现代的伊代尔类群）映到伽罗瓦群： $$\operatorname{rec}{L/K}:\; \mathbb I_K(\mathfrak c)/P(L/K),$$ 其中 $\mathfrak c$ 是容许导子（被分歧素理想整除），$P_{\mathfrak c}$ 为主理想子群，$\mathcal N$ 为范映射。等价地（现代伊代尔形式）： $$K^\times\backslash \mathbb A_K^\times / N_{L/K}(\mathbb A_L^\times) \;\simeq\; \operatorname{Gal}(L/K)^{\mathrm{ab}}.$$ 映射把素理想 $\mathfrak p$ 映到其}\,\mathcal N_{L/K}(\mathbb I_L(\mathfrak c)) \;\xrightarrow{\;\simeq\;}\; \operatorname{Gal弗罗贝尼乌斯自同构 $\left(\frac{L/K}{\mathfrak p}\right)$。这是高斯二次互反律、三次/四次互反律的统一推广，并把互反律从「幂剩余符号的等式」重新表述为「类群 $\cong$ 伽罗瓦群」的同构定理。

与前人关系：高木建立了类域 = 阿贝尔扩张的对应；阿廷给出显式同构。方法上，他借鉴了切博塔廖夫 1924 年证明弗罗贝尼乌斯密度猜想时所用的技巧。

意义：阿廷互反律是（阿贝尔）类域论的顶峰，实质上解决了希尔伯特第 9 问题的阿贝尔部分（非阿贝尔推广正是后来的朗兰兹纲领）。它直接导致弗特文格勒 1928 年证明主理想定理，并使整个类域论得以公理化重写。

2. 阿廷 L 函数与阿廷猜想——非阿贝尔类域论的源头（1923 起）

背景：狄利克雷 L 函数只对应阿贝尔（一维）特征。如何为非阿贝尔伽罗瓦扩张构造解析对象以推广类域论？

结果：对有限维复表示 $\rho:\operatorname{Gal}(L/K)\to GL_n(\mathbb C)$，阿廷定义 $$L(s,\rho,L/K)=\prod_{\mathfrak p}\det\big(I-\rho(\mathrm{Frob}_{\mathfrak p})\,N(\mathfrak p)^{-s}\big)^{-1}$$ （对非分歧素理想 $\mathfrak p$），它推广了狄利克雷 L 函数与戴德金 ζ 函数。阿廷猜想：若 $\rho$ 是非平凡不可约表示，则 $L(s,\rho)$ 可亚纯延拓为整函数（全纯）。

进展：阿廷本人 1927 年证明了一维（阿贝尔）情形；二维多面体群情形由朗兰兹、隧道（Tunnell）等处理；一般情形是朗兰兹纲领的核心目标（朗兰兹互反猜想 ⇒ 阿廷猜想），至今未完全解决。阿廷猜想还蕴含 ζ 函数比值 $\zeta_L(s)/\zeta_K(s)$ 的整性等深刻推论。

意义：阿廷 L 函数与阿廷猜想是非阿贝尔类域论的起点，直接孕育了朗兰兹纲领——20 世纪后半叶数学最宏大的计划。

3. 解决希尔伯特第 17 问题——正定函数的平方和表示（1927）

背景：希尔伯特第 17 问题问：是否每个正定（半正定）实系数有理函数都能表示为有理函数的平方和？（希尔伯特本人 1888 年已证明：并非每个正定多项式都能表示为多项式的平方和，所以问题放宽到有理函数。）

结果：在《论定函数分解为平方和》（Über die Zerlegung definiter Funktionen in Quadrate，1927）中，阿廷证明：在任意实闭域上，每个半正定有理函数都是该域上有理函数的平方和（项数可能依赖函数）。其证明关键依赖他与施赖耶刚建立的实闭域理论，以及把「有序域」嵌入实闭包的技术。

与前人关系：希尔伯特给出问题并证明了二元情形（希尔伯特 17 问题本身源于他对二元正定形式的研究）；阿廷给出一般解。

意义：这是希尔伯特 23 问题中较早被完全解决的一个，也是实代数几何的开端。实闭域理论后来深刻影响了亚伯拉罕·罗宾逊（Abraham Robinson）的模型论（模型完备性、模型完备化概念）。

4. 阿廷—施赖耶理论：形式实域与实闭域（1926）

结果：阿廷与奥托·施赖耶定义： - 形式实域（formally real field）：$-1$ 不能表示为平方和的域（等价地，域上存在一个序）。 - 实闭域（real-closed field）：极大的形式实域——本身形式实，但任何真代数扩张都不再形式实。等价刻画：实闭域有唯一序，奇数次多项式必有根，且 $-1$ 非平方和、$K(\sqrt{-1})$ 为代数闭域。

他们证明任何形式实域都有实闭包（在序给定下唯一）。这把「实数」的代数本质（序、中间值定理）公理化，并为希尔伯特第 17 问题的证明提供语言。它也是实代数几何与模型论（实闭域的量词消去、模型完备）的基石。

1927 年两人还研究了特征 $p$ 情形，引入今日所称的阿廷—施赖耶循环扩张（degree $p$），证明代数闭域在特征 $p$ 下不可能是真子域的有限扩张。

5. 辫群——拓扑与代数的桥梁（1925）

背景：1925 年阿廷在汉堡引入「辫」（braid）的概念，把拓扑中绳子的缠绕变成代数对象。

定义：$n$ 股辫群 $B_n$ 由生成元 $\sigma_1,\dots,\sigma_{n-1}$（第 $i$ 股与第 $i+1$ 股的一次半扭转）及关系给出： $$\sigma_i\sigma_j=\sigma_j\sigma_i\;(|i-j|\ge 2),\qquad \sigma_i\sigma_{i+1}\sigma_i=\sigma_{i+1}\sigma_i\sigma_{i+1}.$$ 拓扑上，$B_n$ 是 $n$ 个点的有序构型空间的基本群，有满射 $B_n\to S_n$（忘掉扭转只看置换），核为纯辫群。

意义：辫群是群论、半群论、低维拓扑、纽结理论的交汇点，今日在琼斯多项式（1984）、量子群、拓扑量子计算、生物 DNA 拓扑中无处不在。阿廷 1925 年的引入是这一整个领域的源头。

6. 阿廷环与韦德伯恩—阿廷定理（约 1928 / 1944）

背景：韦德伯恩 1908 年证明了有限维半单代数的结构定理（分解为除环上矩阵环的直积），但只对域上有限维代数成立。

结果：阿廷把有限维条件推广为右理想的极小条件（DCC）——满足该条件的环今称右阿廷环（right Artinian ring）。他证明：半单右阿廷环（即雅各布森根为零的右阿廷环）同构于有限个除环上矩阵环的直积： $$R\cong M_{n_1}(D_1)\times\cdots\times M_{n_k}(D_k).$$ 这就是韦德伯恩—阿廷定理，是环论与表示论的基本结构定理。1944 年他又给出半单代数的新洞见，1948 年与 Nesbitt、Thrall 合著的《极小条件环》成为经典。

意义：「阿廷的」（Artinian）与「诺特的」（Noetherian）并列，成为环与模论中最基本的有限性条件；它把韦德伯恩的代数结构论推广到一般非交换环，是非交换环论的基石。

7. 有限单群的「阶重合」与分类纲领的先声（1955）

结果：1955 年两篇论文中，阿廷证明：在 1955 年已知的有限单群中，不同单群具有相同阶的情形，恰好只有迪克森（Dickson）在《线性群》中列出的那些（例如 $A_8$ 与 $PSL_3(4)$ 同阶不同构等少数重合）。

意义：这一结果激发了对「有限单群由其阶决定吗」的系统性研究，是 20 世纪后半叶有限单群分类庞大工程的早期推动力之一。

8. 经典教材与代数的传播

阿廷的写作以清晰、优雅著称，影响了几代数学家： - 《伽罗瓦理论》（1942）：把伽罗瓦理论从多项式根的对称置换语言改写为域扩张与自同构群的现代语言，使伽罗瓦理论第一次被广泛理解； - 《极小条件环》（1948，与 Nesbitt、Thrall）； - 《几何代数》（1957）：用代数方法处理几何（辛几何、正交几何等），影响深远； - 《类域论》（1961，与泰特）：基于阿廷在普林斯顿 1951—52 年的讲义，由泰特整理，是现代类域论的标准入门。

他在 1953 年的一篇书评中写道：「我们都相信数学是一门艺术……数学的整体，那真正的艺术品，不是线性的；更糟的是，对它的领悟应当是瞬间的。」这是他教学与写作哲学的写照。

四、代表著作与文献

五、师承、学派与同时代交往

六、争议、公案与历史评价

七、身后影响与学术谱系

八、延伸阅读与权威来源