许埈珥 · 世界数学发展史

获奖原因

许埈珥（June Huh，1983– ）获 2022 年菲尔兹奖，表彰他创立组合霍奇理论（combinatorial Hodge theory），把代数几何中的霍奇理论与硬勒夫谢茨（hard Lefschetz）定理移植到**拟阵（matroid）**这一纯组合对象上。

他与阿迪普拉西托（Adiprasito）、卡茨（Katz）合作，构造了拟阵的周环（Chow ring of a matroid）——一个满足庞加莱对偶与硬勒夫谢茨定理的代数结构。由此他证明了若干数十年悬而未决的组合猜想：

Heron–Rota–Welsh 猜想：任意拟阵的特征多项式系数对数凹（log-concave）（即序列超对数凹）；
Dowling–Wilson”头重（top-heavy）“猜想：拟阵的 Whitney 数（ flats 计数）在中部最大、向两端递减；
以及关于色多项式零点分布的罗塔（Rota）猜想的相关结果。

许埈珥本硕读的是物理，转数学后才在拟阵理论上做出突破，其经历本身即是传奇。组合霍奇理论开启了”用几何拓扑工具攻克组合”的新方向。

问题来龙去脉

一、拟阵与组合猜想

拟阵（matroid）是”独立性”的抽象：它把图的森林、向量组的线性无关、矩阵的秩统一为一个公理化对象。每个拟阵 $M$ 有特征多项式 $\chi_M(t)=\sum_{F} \mu(\hat 0,F)\, t^{\mathrm{rk}(\hat 1)-\mathrm{rk}(F)}$ （对格点 flats 求和， $\mu$ 为 Möbius 函数），以及Whitney 数 $W_k$ （秩为 $k$ 的 flats 的个数）。

两个经典猜想长期未决：

Heron–Rota–Welsh（1970s）： $\chi_M(t)$ 的系数 $a_0,a_1,\dots,a_r$ 是对数凹的，即 $a_i^2\ge a_{i-1}a_{i+1}$ ——这蕴含”系数先增后减”。
Dowling–Wilson（1970s）：若把拟阵的 flats 按秩排列， $W_k$ 在中间秩处最大（“头重”），即 Whitney 数呈单峰且向中部倾斜。

这些都是纯组合的命题，但所有纯组合证明尝试都失败——因为对数凹性在”删/收缩”递推下不保持，缺一个”整体结构”来约束。

二、许的突破：拟阵的”周环”

许埈珥的洞见来自代数几何：对光滑射影簇 $X$ ，其上同调满足硬勒夫谢茨定理——存在一个”类”（如超平面类 $h$ ）使乘幂 $L^k: H^{d-k}(X)\to H^{d+k}(X)$ 是同构（对 $k\le d$ ）。这立刻推出上同调的庞加莱对偶与符号模式，而对数凹性可由”勒夫谢茨分解 + 霍奇黎曼双线性关系”推出。

问题是：拟阵没有几何，哪来的上同调？ 许与阿迪普拉西托、卡茨（2015–2018）构造了拟阵的 Chow 环 $A^*(M)$ ：用”flats 的旗”生成的代数，商掉由凸性/包含关系定义的关系。他们证明这个环满足：

庞加莱对偶： $A^k(M)\times A^{d-k}(M)\to A^d(M)\cong\mathbb{Z}$ 是非退化配对；
硬勒夫谢茨：存在一个元素 $L$ （对应”添加一个一般元素”）使 $L^{d-2k}$ 在中间上同调上给出同构——这依赖于把拟阵嵌入到合适的”趋零滤子”并证明其”弱勒夫谢茨”；
霍奇黎曼型正定性：在中间上同调上，由 $L$ 诱导的二次型满足符号条件。

一旦有了这套”拟阵上的霍奇理论”，对数凹性与头重猜想立即作为勒夫谢茨分解的推论成立——正如它们在代数几何中对簇上同调成立一样。

三、方法的根源

这套构造的灵感来自德卡塔尔多–米廖里尼（de Cataldo–Migliorini）对多变种上同调硬勒夫谢茨的证明：他们用”small resolution”与相交上同调，说明硬勒夫谢茨可在”仅满足某些组合条件”的空间上成立。许等人把这一思想”抽象”到拟阵——拟阵的 Chow 环正是流派（flag of flats）的相交代数，其勒夫谢茨性由拟阵的”删/收缩”递归保证。

四、意义与后续

组合的几何化：许的工作第一次把”霍奇理论”——原本是凯勒流形/代数簇的专属——应用到纯粹离散的组合对象，证明了一整类”看似只能用几何证”的不等式其实有组合对应物。
新工具箱：拟阵 Chow 环成为研究拟阵、排列（arrangements）、热带几何的标准工具；后续工作（如欧洲里–辛普森）把它推广到热带霍奇理论与Bergman fan，连接了代数几何与组合最优化。
猜想的连锁解决：除 Heron–Rota–Welsh 与头重猜想外，许还用类似方法推进了罗塔的色多项式零点猜想（证明在”无回路拟阵”情形零点有负实部），以及关于拟阵 h-向量的更深入结构。

许埈珥以”把代数几何的霍奇理论走私进组合”的天才移植，开启了组合学的新纪元；组合霍奇理论已成为 21 世纪 20 年代最活跃的交叉方向之一。