希尔伯特第15问题与代数几何学之起源-

1900年，希尔伯特 (David Hilbert) 在题为《数学问题》的讲演中，提出了23个公开问题[18]。其中的第15问题，专注于19世纪计数几何与相交理论，题目是“为舒伯特计数演算法建立严格基础”。

Springer数学百科全书[28]中回顾到：“澄清舒伯特演算是20世纪代数几何学的重要主题”。本文旨在寻根溯源，以几何学拓荒者们的故事为掠影，第15问题的解答为脉络，重现代数几何学诞生历程。

撰文 | 段海豹（中国科学院数学与系统科学研究院研究员）、赵学志（首都师范大学数学科学学院教授）

01 相交理论简史

公元前3世纪，希腊几何学家阿波罗尼斯 (Apollonius, 262-190 B.C.) 在“Tangencies”一文中，证明了下述结果。是计数几何学的第一个范例：

定理 1.1：对于平面中处于一般位置的3个圆，恰有8个圆与它们相切。

阿波罗尼斯定理的示意图

这个定理的最初证明已遗失在历史的尘埃中，后人仅能从帕普斯 (Pappus) 在公元4世纪的一篇记述中得知这个结果。在文艺复兴时期，众多几何学家致力于寻求该定理的证明，其中韦达 (Viete)，阿德里安 (Adriaan van Roomen)，热尔冈 (Joseph Diaz Gergonne) 和牛顿 (Newton) 取得了成功。上面的插图是剑桥大学2016年出版的代数几何教程《3264 及相关故事》[15]的封面故事，其中的数目3264，系指复射影平面中与5条处于一般位置的圆锥曲线相切的圆锥曲线的条数，由Chasles在1864年得到[2]。

笛卡尔 (Descartes, 1627) 空间坐标系的发现，使得几何学家们 (如Maclaurin (1720)，Euler(1748)，Bezout(1764)) 能够利用多项式方程组，来刻画满足特定几何条件的几何对象。于是，许多计数几何问题有了如下表述：

多项式问题：对于复数域上一个自变量的个数等于方程的个数的多项式方程组：

相交理论示意图

相交数问题的提出可归功于法国力学家、数学家庞斯列 (Jean-Victor Poncelet, 1788-1867)。他于1811年毕业于巴黎理工大学，作为工程兵上尉参加了拿破仑侵俄战争。在莫斯科附件的克拉斯诺耶战役中，被误认为阵亡而被遗弃在战场，被俘后囚禁在西伯利亚 Saratow战俘营。庞斯列通过研究几何学，度过战俘营中的艰难岁月。他仅靠大学期间蒙日 (Monge) 所教授的画法几何学的基础，在对17世纪射影几何一无所知的情形下，独立发现并建立了高维射影几何学的系统理论。他提出并研究了图形经过中心射影的不变性质；引入了“交比”的和“无穷远”元素的概念；建立了二次曲线和曲面的配极理论，并由此得到一般的对偶原理。此外，他还研究了图形在一定范围内连续变动时所保持的性质，提出了“连续性原理 (the principle of continuity) ”，这是今天拓扑学中的“相交数同伦不变性”以及代数几何中的“Chow's moving lemma” 的雏形。庞斯列将他在战俘营期间的工作整理为《论图形的射影性质, 1816》一文，这是近代射影几何以及相交理论奠基性工作。但柯西对庞斯列参加法国大革命的经历十分不满，以文章会导致“严重错误”为由，拒绝发表该文。

1900年，庞加莱在3维流形的分类工作中，创造性地引入了流形M的同调群H*(M)，使得人们能够应用群中的运算，来解析M的几何结构。在研究相交数问题的过程中，莱夫舍茨 (Lefschetze) 进一步建立了流形M的上同调理论H*(M)[21，1926]。从链复形的层次看，后者只是前者的对偶，但与同调论相比较，上同调具有一个突出优势：对角映射d:M→MxM诱导了上同调群中一个称为“杯积”的乘法运算

至此，我们回顾了历史上解答计数问题（或相交数问题）的三个设想，以及它们之间一脉相承的关系。一个自然地问题是，哪种方案具备有效可算性？这不仅是计数几何问题的核心要求，也是推动20世纪代数几何学发展的动力。

02 希尔伯特第15问题

舒伯特 (Hermann Schubert, 1848-1911) 于1870年在德国哈勒大学 (the University of Halle) 获得博士学位。他的博士论文《特征数理论》[22]的主题是计数几何学。此前，他已发表过相关文章，证明了空间中与4个处于一般位置的球面相切的球面有16个，是阿波罗尼斯定理在空间情形的直接推广。

1879 年，舒伯特发表了19世纪相交理论的巅峰之作《计数几何演算》[23]：

舒伯特与《计数几何演算》

在该书中，他发展了 Chasles 关于圆锥曲线的工作[2]，并通过一系列示例，展示了相交理论的几何魅力。例如：

例2.1: 给定空间中处于一般位置的8张二次曲面，恰有4,407,296条圆锥曲线与它们相切；

例2.2: 给定空间中处于一般位置的9张二次曲面，恰有666, 841, 088张二次曲面与它们相切；

例2.3: 给定空间中处于一般位置的12张二次曲面，恰有5,819,539,783,680条三次立体曲线与它们相切。

由于舒伯特的工作广泛应用了柯西所反对的“连续性原理”，广受非议。为了回避批评，他在1874年将该原理更名为“特殊位置原理 (the principle of special position) ”，两年后又更名为“数的守恒原理 (the principle of conservation of numbers) ”；仍然受到Study和Kohn的攻击[19]。最为中肯的评论来自范·德·瓦尔登 (van der Waerden)，他在文献[32]中回顾道，舒伯特的论证如此之概略，以至于“没有给出相交数的定义，没有办法找到它，也没有办法计算它”。

希尔伯特在第15问题中要求，“为舒伯特计数演算法建立严格基础”。同时，希尔伯特肯定了舒伯特的方法能够预见到多项式问题的解的优势：

“这个问题是：对于计数几何中的那些几何数目，在准确界定其适用范围的前提下，严格地证明其正确性。特别需要研究的是，舒伯特在他的书中，基于所谓特殊位置原理（或相交数的守恒原理）所建立的一套计数演算法，并据此算出的那些几何数目。

虽然今天的代数学在原则上保证了实施消元法可能性，但要证明计数几何中的那些定理，对于代数学提出了更高要求。因为，它要求在对那些特定的方程 (组) 实施消元法之前，事先就能预见到最终所得方程的次数及其解的重数。”

希尔伯特与第15问题

03 舒伯特演算的基本问题: 特征数问题

为深入到舒伯特演算的核心内容，我们引用原著**[23]**中一个计数表格：

表1. 空间圆锥截线的特征数方程

其中，符号ρ, μ, ν依次表示空间中通过一个定点、相交于一条定直线、相切与一张定平面的圆锥截线所构成的三个代数簇。舒伯特本人将表格中的等式称为“特征数方程”，而早期的研究者也称它们为“舒伯特符号方程”。舒伯特在他的工作[22-24]中多次强调，特征数问题是计数几何的主要理论问题[20]。然而，为了得到“特征数问题"的严格表述，数学家们用了60多年时间，本节回顾相关故事。

3.1意大利学派 (The Italian school)

首先研究第15问题的数学团体，是以恩里克斯 (Enriques) 和塞韦里 (Severi) 为代表的意大利学派。他们的代表性著作是塞韦里的文章《(特征)数的守恒原理》和《计数几何基础与特征数理论》[26, 27]。根据范·德·瓦尔登**[28]**的记述，“他们建立了令人钦佩的结构，但逻辑基础不稳定，概念定义不明确，证据也欠充分”。

意大利学派关于相交理论进行辩论的场景

3.2 哥廷根学派 (The Gottingen School)}

1930年，范·德·瓦尔登发表了“计数几何演算的拓扑基础”[29]一文，是代数几何发展史中的一个重要里程碑。他在文章中首次提出，在莱夫谢茨所建立的上同调理论的框架中，解答第15问题的设想。他在文章中敏锐指出：

a) 每个舒伯特符号方程应是某个射影类流形上同调群中的一个关系式；

b) 解答特征数问题的前提，是确定该射影流形上同调群的一个加法基底；

c) 所有计数问题的共同目标，是计算射影类流形中代数簇的相交数，成功地引领了第15问题的后续研究。

范·德·瓦尔登与《计数几何学的拓扑基础》

3.3 布尔巴基学派 (Bourbaki)

设G是一个紧致连通李群，P是G的一个抛物子群。通过G到它的李代数的伴随表示，齐性空间G/P得以实现为一个光滑复射影代数簇，称为李群G的一个旗流形。下面，我们依从文献[1]，用W(G)表示李群G的外尔群 (Weyl group)，并用W(G;P) 表示子群W(P) 的左陪集W(G)/W(P)。埃里斯曼 (C. Ehresmann ) 在1934年首度发现[14]

a) 舒伯特演算所关心的几何对象的参数空间，本质上是旗流形 G/P 的一些特例；

b) 对于复格拉斯曼类流形 Gn,k(C) 这个特殊情形，经典的舒伯特符号，恰好是其上同调群的一个加法基底。

随着研究的深入，早期文献中的含糊术语“舒伯特符号”，逐步被“舒伯特胞腔”或“舒伯特簇”此类严谨的几何对象所替代。尤其是，切瓦利 (Chevalley)[3, 1958]，盖尔芳德等人 (Bernstein - Gel'fand - Gel'fand) [1, 1973] 相继证明，每个旗流形G/P具有一个胞腔分解：

令人惊奇的是，在上同调理论正式诞生的前50年，舒伯特就已经在应用该理论，从事计数几何演算工作。作为例证，我们援引柯立芝[4]的一段记述：“舒伯特所面临的基本问题，是将这些符号的乘积用其他符号线性表出。他仅取得了部分成功。”

04 代数几何学的诞生

范·德·瓦尔登在文章[30]的开篇中指出：“第15问题的核心问题在于给出相交重数 (intersection multiplicities) 的定义 (或计算公式)，借助于该公式，我们能够有效计算出舒伯特的那些计数几何问题的解，同时使得相交数的守恒原理得以保持”。随之，他开始了构建代数几何学基础的规划。他在《Mathematische Annalen》上发表了系列文章《ZurAl- gebraische Geometrie(#1~#20)》，并在1939 年出版了名著《Introduction to Algeberaic Geometry》，首要任务是寻求“相交重数”的严谨定义。

安德烈·韦伊 (Weil.A) 是布尔巴基学派的灵魂。1946年，他发表了里程碑式的名著《代数几何基础》[31]，其中第一次系统且完整地对于代数闭域上的代数簇，给出了“相交重数”的定义。随后，他根据切瓦利所发现的舒伯特演算的基底定理 (定理3.1)，在该书的第二版中，将希尔伯特第15问题的解答，等价于“决定所有旗流形G/P的上同调环” 的问题[31, p.331]。下称为“韦伊问题”。

韦伊与《代数几何学基础》

在韦伊工作[31]的基础上，对于不可约代数簇W中两个维数互补子簇X, Y，塞尔 (Serre J.P.) 得到了相交重数的“优美公式” [25, 1965]：

其中A表示局部环O(X,W)，a和b依次是代数簇X和Y的理想，L是A模的长度。随后，富尔顿 (Fulton W) 和麦克弗森 (MacPherson R.D.) 一道，将公式推广到带奇点的代数簇[16]。遗憾的是，此类公式无法从事有效计算，尤其是第15问题所关切的特征数的计算。

第15问题是当代数学中一个影响深远的问题，它推动19世纪的计数几何与相交理论，成长为20世纪数学大师范·德·瓦尔登和安德烈·韦伊所建立的代数几何学[29-31]，使得舒伯特演算深度融入微分几何学、代数拓扑学、李群表示论等领域，深刻地影响着这些领域的发展轨迹。这一切，既是希尔伯特对于数学发展的宽阔视野和前瞻性的有力见证，也对探索舒伯特演算行之有效的演算法则，尤其是特征数问题和韦伊问题的解答，提出迫切要求。

1931年，周炜良 (Wei-Liang Chow, 1011-1995) 在芝加哥大学获博士学位。出于对范·德·瓦尔登《代数学》的欣赏，他在1933年赴德国莱比锡大学，跟随范·德·瓦尔登研究代数几何学。1958年，他在切瓦利 (C. Chevalley) 的讨论班上宣布了以他的姓氏所命名的周环 (Chow Ring) [4]，是当代相交理论的一个基础平台。

周炜良在构建周环的工作中，证明了所有旗流形周环A*(G/P)和上同调环H*(G/P)之间，存在一个典范同构。利用这个同构，段海豹、赵学志在他们的系列工作[6-11]中，发展了微分拓扑、代数拓扑、以及符号计算的技术，从理论到计算两个角度，解决了“特征数问题”和“韦伊问题”。据此，他们已在文章[12, 13]中阐明，第15问题已获解答。

参考文献

[1] Bernstein I N, Gel'fand I M, Gel'fand S I., Schubert cells and cohomology of the spaces G/P, Russian Math. Surveys, 28: 3 (1973), 1--26.

[2] Chasles M., Construction des coniques qui satisfont à cinque conditions, C. R. Acad. Sci. Paris, 58(1864), 297--308.

[3] Chevalley C., Sur les Decompositions Celluaires des Espaces G/B, Proc. Symp. in Pure Math. 56 (part 1) (1994), 1--26.

[4] Coolidge J.L., A history of geometrical methods, Oxford Univ. press,1940.

[5] Chow W. L., Anneaux de Chow et applications, Sem. Chevalley (1958).

[6] Duan H., The degree of a Schubert variety, Adv. in Math., 180(2003), 112--133.

[7] Duan H, Zhao X., Multiplicative rule of Schubert classes, Invent. Math. 159(2005), no. 2, 407--436; 177(2009), no.3, 683--684.

[8] Duan H., Multiplicative rule in the Grothendieck cohomology of a flag variety, J. Reine Angew. Math. 600 (2006), 157--176.

[9] Duan H., Zhao X., A unified formula for Steenrod operations in flag manifolds. Compos. Math. 143(1), (2007), 257--270.

[10] Duan H, Zhao X. The Chow rings of generalized Grassmannians, Found. Math. Comput. 10(2010), no.3, 245--274.

[11] Duan H, Zhao X., Schubert presentation of the cohomology ring of flag manifolds G/T, LMS J. Comput. Math. 18(2015), no.1, 489--506.

[12] Duan H, Zhao X., On Schubert's Problem of Characteristics, in Schubert calculus and its applications in Combinatorics and representation theory, Springer proceedings in Mathematics and Statistics, Vol. 332(2020), 43--71.

[13] Duan H, Zhao X., Schubert calculus and interesection theory of flag manifolds, Russian Math. Surveys (Uspekhi Matematicheskikh Nauk), 77(2022), 729--751.

[14] Ehresmann C. Sur la topologie de certains espaces homogenes, Ann. of Math. (2) 35 (1934), 396--443.

[15] Eisenbud D, Harries J., 3264 and all that: A Second Course in Algebraic Geometry, Cambridge University Press, 2016.

[16] Fulton W,. MacPherson R.D., "Defining algebraic intersections", LNM. 687, 1978.

[17] Fulton W., Intersection theory, Springer-Verlag, 1998.

[18] Hilbert D., Mathematische Probleme, Bull. AMS. 8(1902), 437--479.

[19] Kleiman S., Problem 15: Rigorous foundation of Schubert's enumerative calculus, Proc. Symp. Pure Math., 28, Amer. Math. Soc. (1976), 445--482.

[20] Kleiman S., Book review on ``Intersection Theory by W. Fulton'', Bull. AMS, 12(1985), no.1, 137--143.

[21] Lefschetz S., Intersections and transformations of complexes and manifolds, Trans. AMS, Vol.28, no.1 (1926), 1--49.

[22] Schubert H., Zur Theorie der Charakteristike, Celles Journ. 71(1870), 366--386.

[23] Schubert H., Kalkul der abzahlenden Geometrie, Berlin, Heidelberg, New York: Springer-Verlag (1979).

[24] Schubert H., A Losung des Characteristiken-Problems fur lineare Raume beliebiger Dimension, Mitteilungen der Mathematischen Gesellschaft in Hamburg, t. I (1886), pp. 134–155.

[25] Serre J.P., Algebre Locale, Multiplicites, LNM, 11, 1965.

[26] Severi F., Il Principio della Conservazione del Numero. Rendiconti Circolo Mat. Palermo 33, 313 (1912).

[27] Severi F., Sui fondamenti della geometria numerativa e sulla teoria delle caratteristiche,

Atti 1st. Veneto, 75 (1916), 1121-1162.

[28] Sottile, F., Schubert calculus, Springer Encyclopedia of Mathematics, 2001.

[29] van der Waerden B L., The foundation of algebraic geometry from Severi to Andre Weil, Archive for History of Exact Sciences, 1971.

[30] van der Waerden B L., Topologische Begrundung des Kalkuls der abzhlenden Geometrie, Math. Ann. 102(1930), no. 1, 337--362.

[31] Weil A., Foundations of algebraic geometry, American Mathematical Society, Providence, R. I. 1962.

[32] Yvonne, D. S., Interview with Bartel Leendert van der Aaerden, Notice of the AMS, Vol.44, No.3 (1997), 313--321.

出品：科普中国

特别提示

1. 进入『返朴』微信公众号底部菜单“精品专栏“，可查阅不同主题系列科普文章。

2. 『返朴』提供按月检索文章功能。关注公众号，回复四位数组成的年份+月份，如“1903”，可获取2019年3月的文章索引，以此类推。

版权说明：欢迎个人转发，任何形式的媒体或机构未经授权，不得转载和摘编。转载授权请在「返朴」微信公众号内联系后台。