克里斯托弗·哈肯

获奖原因

克里斯托弗·哈肯是双有理几何的领军人物。他与詹姆斯·麦凯南、考萨尔·比尔卡（Caucher Birkar）、保罗·卡希尼（Paolo Cascini）合作，证明了高维光滑射影簇的”典范环”（canonical ring）有限生成，并给出极小模型纲领（MMP）中”有界性”的完全结果。这完成了代数几何中自佐藤、广中平祐以来数十年的核心计划。2018 年数学突破奖授予他（与麦凯南共获）。

问题来龙去脉

极小模型纲领（Minimal Model Program, MMP）的目标是把任意光滑射影簇 $X$ 通过”收缩奇点”（morphisms that contract subvarieties) 化为”极小模型”或”莫里亚（Mori）纤维空间”。关键工具是”典范除子” $K_X$ 与”叉乘（blow-up）“操作。

经典的”奇点分类”要求处理”终端（terminal）/ 典范（canonical）奇点”。一个核心难题是：典范环

$R(X, K_X) = \bigoplus_{m\ge 0} H^0(X, \mathcal{O}_X(mK_X))$

是否有限生成？对曲面（维数 2）由扎里斯基（Zariski）于 1950 年代证明；高维情形长期未知。比尔斯–豪康–卡希尼–麦凯南（BCHM，2010）定理证明：对任何维数 $n$ 的平滑射影簇，典范环有限生成，从而该簇存在唯一的（在双有理等价意义下）“极小模型”——这把 MMP 从”纲领”变为”定理”。

哈肯与麦凯南（2006, 2010）的更惊人结果是”有界性”：设 $X$ 是维数 $n$ 的平滑射影簇，其典范除子 $K_X$ 半 ample（即某倍数给出有限映射），且体积 $\mathrm{Vol}(X) = (K_X)^n$ 有界，则这类簇的”族”是有界的——即它们都属于有限多个希尔伯特概型（Hilbert scheme）的分支。这被称为”哈肯–麦凯南有界性定理”，解答了代数几何中著名的”有界性猜想”。

技术核心是”乘子理想层（multiplier ideal sheaves）“与”翻转（flips）“的控制。他们用”亚历山德罗夫（Alexandrov）的带边 MMP”在”对数是概型”上迭代，并借助”ACC 猜想”（ascending chain condition on lc thresholds）由 Hacon–McKernan–Xu 证明的版本，把无限过程截断为有限步骤。另一关键是”有效 Iitaka 纤维”与”典范簇的体积”的精确估计，使得”体积 ≤ v”的簇能被有限参数描述。

这些结果让”分类代数簇”从二维推广到任意维，并为”模空间 $\overline{\mathcal{M}}_g$ 的紧化""霍奇猜想的特殊情形""以及算术几何中的’高度有界性‘“提供了基础。哈肯的工作是代数几何在现代最坚实的成就之一。

相关链接

突破奖 代数几何