马克西姆·孔采维奇（Maxim Lvovich Kontsevich）

把量子场论的费曼图与弦论直觉变成严格数学的数学家：威滕猜想、纽结不变量、形化定理、同调镜像对称与动机积分的提出者，1998 年菲尔兹奖得主。

一、生平与时代背景

马克西姆·利沃维奇·孔采维奇（Maxim Lvovich Kontsevich）1964 年 8 月 25 日生于莫斯科西北约 17 公里的希姆基（Khimki，一译 Chimki）。父亲列夫·拉法伊洛维奇·孔采维奇（Lev Rafailovich Kontsevich）是朝鲜语言与历史专家，任俄罗斯科学院东方学研究所首席研究员，发明了今日仍在使用的朝鲜语西里尔转写系统（Kontsevich 系统）；母亲是工程师；兄长列昂尼德（Lenny）后来从事计算机成像研究，定居旧金山。孔采维奇自幼在兄长与一批"好书"的引导下迷上数学与物理，中学最后三年通过竞争进入数理强化班；16 岁获全苏数学奥林匹克第二名，由此免试进入莫斯科大学，在校期间受教于伊斯雷尔·盖尔范德（I. M. Gelfand）等一批杰出教授。

1983 年，19 岁的孔采维奇已与 A. A. 基里洛夫（A. A. Kirillov）合作发表论文《直线上两个一般向量场生成的李代数的增长》与《中间增长的代数》。1985 年他离开大学，到俄罗斯科学院信息传输问题研究所（IPIT）任初级研究员，1988 年发表《Virasoro 代数与 Teichmüller 空间》《可数图上的 Jackson 网络》等文。

对其学术方向影响最深远的事件是 1990 年赴波恩马克斯·普朗克数学研究所为期三个月的访问。访学接近尾声时，所内举办国际会议，迈克尔·阿蒂亚（Michael Atiyah）作主要报告，重点介绍了爱德华·威滕（Edward Witten）关于曲线模空间交理论的一个猜想。孔采维奇深受启发，次日在会议组织的莱茵河游船上即向同事说明自己打算如何证明该猜想，当场获邀以访问学者身份回波恩工作一整年。1991 年他回到波恩，注册为波恩莱茵腓特烈-威廉大学博士研究生，导师是唐·扎吉尔（Don Zagier）；1992 年以博士论文《曲线模空间的交理论与矩阵 Airy 函数》获学位，论文中实现了证明威滕猜想的目标，同名论文同年发表。

这一突破使他同时获邀访问哈佛、普林斯顿高等研究院与波恩大学（1992—1995 年间往返三地）。1993 年他受聘为加州大学伯克利分校教授；1995 年法国高等科学研究院（IHÉS）邀请他任终身教授，他于 1996—1997 年间完全迁居法国（伯克利校方页面记其任职至 1997 年，与 MacTutor 所记"1996 年离美"略有出入，存疑）。此后他长期任 IHÉS 终身教授、AXA-IHÉS 数学讲席教授，并入籍法国。

他是继格罗滕迪克、阿蒂亚之后，又一位把理论物理的直觉（尤其是弦论与拓扑场论）系统化、严格化为几何与代数数学的代表人物。2008 年他与威滕共获瑞典皇家科学院克拉福德数学奖，评语称二人"用物理学方法论发展出革命性的新数学"。

二、学术生涯年表

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

1. 威滕猜想的证明（曲线模空间交理论）

问题背景：威滕于 1990 年猜想，亏格 $g$、带 $n$ 个标记点的稳定曲线模空间 $\overline{\mathcal M}_{g,n}$ 上 tautological 类（$\psi$ 类、$\kappa$ 类，由 Mumford、Morita、Miller 引入）的交数之生成函数，满足 Korteweg–de Vries（KdV）可积层级，并等同于二维量子引力中矩阵积分（矩阵 Airy 函数）的渐近展开。

关键思想：孔采维奇在博士论文中引入了一个新的矩阵模型——含外场的矩阵 Airy 积分，并借助 Strebel 微分（Harer–Mumford–Thurston–Penner 的胖图/ribbon graph 胞腔分解）把曲线模空间的交数归约为组合计数，证明其生成函数正是该矩阵积分的 $\hbar$ 展开，从而满足 KdV 层级与弦方程。

精确表述：令 $F(t_0,t_1,\dots)=\exp\bigl(\sum_{g\ge 0}\hbar^{2g-2}\sum_n \frac{1}{n!}\int_{\overline{\mathcal M}{g,n}}\prod$ 为交数生成函数，则威滕猜想断言 $F$ 是 KdV 层级的一个 $\tau$ 函数；孔采维奇证明此猜想等价于矩阵 Airy 积分的渐近展开，故成立。}^n\psi_i^{d_i}\bigr)\prod t_{d_i

与前人关系：把 Thurston/Mumford/Harer/Penner 的组合胞腔模型与物理学家的二维引力矩阵模型统一起来。

局限性：限于曲线模空间；高维类似猜想（如 Witten 关于高自旋曲线、Gow 关于更高亏格）的推广由后人陆续完成。

2. 孔采维奇积分与瓦西里耶夫（Vassiliev）不变量

问题背景：V. A. 瓦西里耶夫 1990 年通过判别式补空间的上同调引入纽结的一族数值不变量（有限型不变量），其构造高度组合化，且包含琼斯多项式及其推广。

关键思想：孔采维奇 1993 年的研究公告中给出一个泛型的瓦西里耶夫不变量——孔采维奇积分，用对纽结上点的迭代积分（受陈省身迭代积分启发）与配置空间上的微分形式，把每个纽结映到弦图代数（模 4T 关系）中。其核心是一个万有积分：每一个有限型不变量都经由它分解。

精确表述（直觉形式）：对纽结 $K\subset \mathbb R^3$， $$Z(K)=!!\sum_{n\ge 0}\frac{1}{(2\pi i)^n}!!\int_{t_1<\cdots<t_n}!!\bigwedge_{k=1}^n\sum_{i<j}(-1)^{j-i+1}d\log(z_i(t_k)-z_j(t_k)),$$ 取值于由弦图生成、模 4T 关系的代数 $\mathcal A$。它是泛型的：任何有限型纽结不变量都等于 $Z(K)$ 与 $\mathcal A$ 上一个权函数的复合。平坦情形下它给出高斯链环数的高次推广。

与前人关系：统一并刻画了琼斯、HOMFLY、Kauffman 等多项式不变量的"微扰"部分；完整证明细节由 Dror Bar-Natan 整理发表。

局限性：孔采维奇积分是否能区分所有纽结（是否完备）仍为开放问题。

3. 形化定理与形变量子化

问题背景：1978 年 Bayen、Flato、Frønsdal、Lichnerowicz、Sternheimer 提出形变量子化纲领：把泊松流形 $(M,\pi)$ 量子化为一个非交换结合代数，即 $C^\infty(M)$ 上的形式星积 $f\star g=fg+\hbar{f,g}+\cdots$。对辛流形已有 De Wilde–Lecomte、Fedosov 的存在性证明，但一般泊松流形的存在性是长期悬案。

关键思想：孔采维奇证明了一个更基本的形化定理：对任意光滑流形 $M$，其 Hochschild 上链复形 $C^\bullet(C^\infty(M),C^\infty(M))$（作为 $L_\infty$ 代数，带 Hochschild 微分与 Gerstenhaber 括号）与其上同调——多重向量场的分次代数 $\mathfrak X^\bullet(M)$（带零微分、Schouten–Nijenhuis 括号）——是 $L_\infty$ 拟同构的。泊松结构 $\pi\in \mathfrak X^2(M)$ 满足 $[\pi,\pi]=0$，是 $\mathfrak X^\bullet(M)$ 中的一个 Maurer–Cartan 元；通过形化拟同构把它平移到 $C^\bullet$ 中，即得到一个星积。

精确表述（平坦情形的显式公式）：在 $\mathbb R^n$ 上，对任意泊松双向量 $\pi^{ij}$， $$f\star g=\sum_{n\ge 0}\frac{\hbar^n}{n!}\sum_{\Gamma\in \mathcal G_n}w_\Gamma\,B_\Gamma(f,g),$$ 其中 $\Gamma$ 取遍 $n$ 个顶点的可允许平面图（Kontsevich 图），$w_\Gamma$ 是由单位上半平面角配置积分确定的普适权重，$B_\Gamma$ 是用 $\pi$ 构造的双微分算子。常泊松情形（$\pi$ 为常系数）退化回 Moyal 积。

与前人关系：解决了 BFKS 纲领的核心存在性问题；平坦公式后来由 Tamarkin 用配边（operadic）方法重新推导。

局限性：给出的是形式（$\hbar$ 的形式幂级数）量子化；收敛性问题（严格形变量子化）需额外条件。

4. 同调镜像对称（HMS）猜想

问题背景：弦论物理学家发现镜像对称：互为镜像的 Calabi–Yau 三维流形 $X$ 与 $W$ 满足 Hodge 数镜像 $h^{p,q}(X)=h^{n-p,q}(W)$，且量子上同调环同构。这种对应缺乏数学上的精确表述。

关键思想：孔采维奇在 1994 年苏黎世国际数学家大会报告《Homological algebra of mirror symmetry》中提出，镜像对称应被表述为三角范畴的等价： $$D^b\mathrm{Fuk}(X)\simeq D^b\mathrm{Coh}(W),$$ 其中 $D^b\mathrm{Fuk}(X)$ 是 $X$ 作为辛流形的导出 Fukaya 范畴（对象是拉格朗日子流形，态射是 Floer 上同调，A-模型），$D^b\mathrm{Coh}(W)$ 是 $W$ 上凝聚层的导出范畴（B-模型）。这把物理学家的"镜像"从数值等式升级为范畴等价，使镜像对称可被严格证明与计算。

与前人关系：把 Witten 的拓扑弦 A-模型/B-模型对应数学化；椭圆曲线情形由孔采维奇本人及 Polishchuk–Zaslow 证明，Abel 簇、环面与若干 toric/Calabi–Yau 情形由后人陆续证明。

局限性：对高维一般 Calabi–Yau 流形的完整证明仍是纲领性猜想；Fukaya 范畴本身的严格构造（transversality、虚拟基本类）历经多年才由 FOOO（Fukaya–Oh–Ohta–Ono）、Seidel 等人奠定。

5. 动机积分（Motivic Integration）

问题背景：Batyrev 用 $p$ 进积分证明了双有理等价的 Calabi–Yau 流形有相同的 Hodge 数，但证明依赖素数选择。

关键思想：孔采维奇 1995 年在巴黎-萨克雷（Orsay）的一次讲座中引入动机积分：在代数簇 $X$ 的弧空间 $X[[t]]$ 上构造一个测度，取值在簇的 Grothendieck 环（局部化）中，满足双有理不变的变量替换公式。由于测度取值在"簇类"而非 $\mathbb Q_p$，结果与素数无关。

精确表述（变量替换公式，直觉）：若 $h:Y\to X$ 是双有理真映射，则对弧空间上的可测集 $A$，$\int_{A}\mathbb L^{-\ell}\,d\mu_Y=\int_{h(A)}\mathbb L^{-\ell'}\,d\mu_X$，其中 $\mathbb L=[\mathbb A^1]$ 是仿直线的类，$\ell$ 是阶理想函数。Batyrev 定理作为直接推论成立。

与前人关系：由 Denef–Loeser、Looijenga、Nicaise–Sebag 等人系统发展；与 Soibelman 合作进一步把动机积分用于导出 Donaldson–Thomas 不变量（动机 DT 不变量）。

局限性：Grothendieck 环上的等价性（如 Larsen–Lunts 猜想）的微妙性使某些应用需要谨慎处理。

6. 格罗莫夫-威滕类与量子上同调（与曼宁合作）

问题背景：物理学家预言了 Gromov–Witten 不变量（全纯曲线的"计数"）与量子上同调，但严格定义缺失。

关键思想：1994 年孔采维奇与尤里·曼宁（Yuri Manin）用稳定映射的模空间（Kontsevich 紧化）严格定义了 Gromov–Witten 类，并把量子上同调构造为普通上同调以 GW 不变量为参数的形变，证明其满足 WDVV 结合性方程，从而是带积的 Frobenius 流形。这使得由镜像对称导出的计数预测可被严格验证（如五次三维流形上有理曲线数的 Candelas 公式）。

与前人关系：基于 Witten、Ruan–Tian 的工作；开启了计数几何的现代复兴。

四、代表著作与文献

• 《曲线模空间的交理论与矩阵 Airy 函数》（Intersection theory on the moduli space of curves and the matrix Airy function），Comm. Math. Phys. 147 (1992), 1–23。证明威滕猜想。
• 《瓦西里耶夫纽结不变量》（Vassiliev's knot invariants），Adv. Soviet Math. 16 (1993), 137–150。提出孔采维奇积分。
• 《费曼图与低维拓扑》（Feynman diagrams and low-dimensional topology），First European Congress of Mathematics, Progr. Math. 120 (1994)。
• （与 Y. Manin）《格罗莫夫-威滕类、量子上同调与计数几何》（Gromov-Witten classes, quantum cohomology, and enumerative geometry），Comm. Math. Phys. 164 (1994), 525–562。
• 《镜像对称的同调代数》（Homological algebra of mirror symmetry），ICM 1994 论文集, Birkhäuser (1995), 120–139；arXiv:alg-geom/9411018。
• 《泊松流形的形变量子化》（Deformation quantization of Poisson manifolds），Lett. Math. Phys. 66 (2003), 157–216；预印本 q-alg/9709040 (1997)。形化定理。
• 《动机积分》（Motivic integration），1995 年 Orsay 讲座（未正式发表；参见 Denef–Loeser、Looijenga 的整理）。
• （与 Y. Soibelman）《动机 Donaldson-Thomas 不变量：结果综述》（Motivic Donaldson-Thomas invariants: summary of results），2009。

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

• 老师：莫斯科大学受盖尔范德（I. Gelfand）影响深刻；博士导师为唐·扎吉尔（Don Zagier，波恩）。常见误传称其导师为格罗滕迪克——不实，格罗滕迪克是其思想上的精神先驱而非正式导师（见第六节）。
• 重要合作者：尤里·曼宁（Gromov–Witten 理论）、Yan Soibelman（动机 DT 不变量、非交换几何）、A. Belov-Kanel（雅可比猜想与 Dixmier 猜想的稳定等价）、M. Kapranov 等。
• 同时代互动：受阿蒂亚 1990 年报告启发而证明威滕猜想；其镜像对称纲领与威滕的物理洞见深度互补（二人共获 2008 年克拉福德奖）；与 Seidel、Fukaya、田刚等镜像对称与辛拓扑学者的工作互引。
• 学派归属：数学物理与辛/代数几何的交叉，兼具格罗滕迪克式的范畴化精神与威滕式的物理直觉，是 IHÉS 数学物理传统的当代代表。

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

• 菲尔兹奖定位：1998 年柏林 ICM 授奖词列出其四项工作——曲线模空间交理论（威滕猜想）、费曼图方法的纽结不变量、形变量子化（形化定理）、有理曲线计数。
• "只给公告不给证明"的讨论：孔采维奇习惯以研究公告或讲座宣布深层结果而不发表完整细节（瓦西里耶夫不变量的完整证明由 Bar-Natan 整理；动机积分由 Denef–Loeser 等整理）。这引发过"完整证明由谁完成"的讨论，但成果归属无争议，学界普遍理解为其独特的工作风格。
• 同调镜像对称的地位：猜想对高维一般 Calabi–Yau 情形尚未完全证明，但作为"正确表述"的地位已获公认，并衍生出大量数学（Bridgeland 稳定性条件、Fukaya–Seidel 范畴等）。
• 常见误传：部分网络资料（含某些百科镜像）误称其博士导师为格罗滕迪克或在莫斯科大学随格罗滕迪克获学位——格罗滕迪克从未在莫斯科大学任教，此说不确，其正式导师是扎吉尔。
• 与威滕的关系：物理直觉源自威滕，数学严格化由孔采维奇完成，二者互补，无优先权之争。

七、身后影响与学术谱系

• 形变量子化：催生形变量子化代数、Duflo 同构的新证明、量子化函子化，广泛渗入表示论、非交换几何与量子群。
• 同调镜像对称：成为现代辛拓扑（Fukaya 范畴）与代数几何（导出范畴）的统一框架，衍生 Bridgeland 稳定性、壁穿（wall-crossing）理论、Fukaya–Seidel 范畴等。
• 动机积分：形成动机积分学派（Denef–Loeser、Looijenga、Nicaise–Sebag），用于奇点不变量、算术几何与动机 DT 不变量。
• Gromov–Witten / 量子上同调：推动计数几何复兴，GW 理论成为辛拓扑核心工具，并与镜像对称互相验证。
• 对物理学的影响：为弦论、拓扑弦与量子场论提供数学基础；瑞典皇家科学院评语称其与威滕"用物理方法革新数学"。
• 学术谱系：IHÉS 数学物理传统的当代核心；学生与合作者遍布几何、拓扑与物理方向。

八、延伸阅读与权威来源

• Maxim Kontsevich (1964 – ) — MacTutor History of Mathematics：权威传记，本档案主要生平依据。
• The work of Maxim Kontsevich — C. H. Taubes, ICM 1998：菲尔兹奖工作介绍。
• The Mathematical Work of the 1998 Fields Medalists — Notices of the AMS 46(1), 1999：Lepowsky 等对获奖工作的综合评述。
• IHÉS — Maxim Kontsevich：官方介绍。
• Maxim Kontsevich — Publications (IHÉS)：论文列表。
• Kontsevich and Witten Receive 2008 Crafoord Prize — Notices of the AMS, 2008：克拉福德奖新闻与工作评述。
• Mathematical Genealogy Project — Kontsevich 条目：导师为扎吉尔。