光滑性改变四维空间的可能

01 · 核心想法

用日常语言理解

在定向四维流形中，二维曲面通常交于孤立点；带符号的相交数构成交叉形式这一代数对象。某些形式可以由拓扑四维流形实现，却不能由光滑流形实现。唐纳森研究反自对偶杨—米尔斯方程的解空间，从中提取光滑流形必须满足的条件。他的对角化定理指出，闭、光滑、单连通四维流形的定号交叉形式，在整数上必须可对角化。与拓扑存在定理比较，就能看出某些空间根本无法赋予光滑结构。要求能够一致地做微积分，竟会改变空间存在的可能。

为什么重要

这些成果重塑了四维几何，揭示光滑分类与拓扑分类的显著差异，并使规范场论成为几何不变量与障碍的重要来源。