小平邦彦 · 世界数学发展史

获奖原因

小平邦彦（Kunihiko Kodaira，1915–1997）是 1954 年菲尔兹奖得主，也是首位获此殊荣的东亚数学家。他以复流形（complex manifold）为核心舞台，把微分几何的”调和形式”方法与代数几何的”射影嵌入”问题深度融合，奠定了现代复几何的基础。

他的工作主要包括三块：（1）小平–斯宾塞（Kodaira–Spencer）形变理论，研究复结构在微小扰动下如何变化，引入了用凝聚层上同调刻画的”形变”语言；（2）小平消灭定理（Kodaira vanishing theorem），给出全纯线丛高次上同调群为零的曲率条件；（3）小平嵌入定理（Kodaira embedding theorem），给出凯勒流形可射影化的充要条件。这三者共同把”代数流形”与”凯勒流形”严格对应起来，并成为后来层上同调革命的源头之一。他还与斯宾塞合作，对紧复曲面的分类做出奠基性贡献（其后由恩里克斯–小平分类完善）。

问题来龙去脉

一、时代背景与前人工作

20 世纪上半叶，“代数几何”与”微分几何”几乎是两套语言。代数几何用多项式方程组定义簇（variety），关心交点、映射与除子；微分几何则在实/复流形上研究度量、曲率与调和形式（霍奇理论）。一个核心难题是：用分析（曲率、调和积分）能否判别一个复流形”本质上就是代数簇”？ 即所谓射影嵌入问题。

霍奇（W. V. D. Hodge）在 1930–40 年代建立了紧凯勒流形上的霍奇理论：用德拉姆上同调的调和形式代表上同调类，并有分解 $H^k(M,\mathbb{C}) = \bigoplus_{p+q=k} H^{p,q}(M).$ 但霍奇的结果当时缺乏完全严格的证明，且其”调和形式”如何用层（sheaf）的语言重新表述仍是空白。与此同时，塞尔（J.-P. Serre）1953–55 年的工作（FAC、GAGA）刚把代数几何翻译成凝聚层上同调，为后续融合铺路。

二、核心困难

要回答”何时可射影嵌入”，需要构造足够多的全纯截面（meromorphic/holomorphic sections）把流形映入射影空间。直接构造截面极难；难点在于：上同调群 $H^q(M,\mathcal{O}(L))$ （线丛 $L$ 的截面层上同调）何时为零？何时非零可用来嵌入？这要求一套把曲率条件翻译成上同调消没的定理，并保持严格的层论证明——而当时层上同调才刚刚被韦伊（A. Weil）与塞尔体系化。

三、小平的突破思路

小平把韦伊–霍奇理论与塞尔的凝聚层上同调结合，发展出在紧复流形上用曲率的 $L^2$ 估计控制上同调的方法：

消灭定理：若全纯线丛 $L$ 带有正曲率（即其第一陈类 $c_1(L)$ 为正的凯勒形式的倍数），则对所有 $q>0$ 有 $H^q(M, \mathcal{O}(K_M \otimes L)) = 0,$ 其中 $K_M$ 是典则丛。直观上，“正曲率带来足够多的调和截面”，使高次上同调”塌陷”。
嵌入定理：若 $L$ 正定（ ample 的解析判据），则 $L$ 的某次幂 $L^{\otimes m}$ 提供足够多的全局全纯截面，把 $M$ 嵌入 $\mathbb{CP}^N$ 。这给出了凯勒流形可射影化的充要条件，把微分几何的曲率与代数几何的射影性彻底打通。

在证明中，小平发展了调和积分的 $L^2$ 方法：在适当选取的埃尔米特度量下，对 $\bar\partial$ -方程做逐点估计，得到”存在性 + 正交分解”，从而把上同调类用调和代表元实现。这套技术在后来被 Hörmander 推广到更一般的 $\bar\partial$ -Neumann 问题，成为多复变与几何分析的标准工具。

四、意义与后续

小平的工作有三大影响：

代数几何与分析的联姻：射影嵌入定理 + 消灭定理成为代数几何的”默认装备”，后被格罗滕迪克（Grothendieck）的概型理论吸收为通用消没定理（Serre 对偶、Kodaira 型定理在概型上的推广）。
形变理论：小平–斯宾塞理论用切空间 $H^1(M, T_M)$ 参数化复结构的无穷小形变，开启了复结构与模空间研究的系统方向，直接影响后来丘成桐的卡拉比–丘流形、弦论中的紧化。
复曲面分类：小平对紧复曲面（Kodaira dimension）的划分为恩里克斯–小平分类奠基，与代数曲面的分类理论合流。

可以说，没有小平的调和积分与嵌入/消灭定理，现代复代数几何的”解析–代数”双重视角无从建立；他因此与塞尔一同被视为战后代数几何革命的桥梁人物。