斯蒂芬·斯梅尔

因证明高维(≥5)庞加莱猜想(h-配边定理),以及微分拓扑、莫尔斯理论与动力系统(混沌)方面的工作

奖项
菲尔兹奖
年份
1966
国籍 / 出生
美国
出生
1930

获奖原因

斯蒂芬·斯梅尔(Stephen Smale,1930– )获 1966 年菲尔兹奖,核心成就是证明高维庞加莱猜想:当维数 n5n\ge 5 时,任何同伦等价于标准 nn 维球面 SnS^n 的闭单连通光滑流形,必同胚(甚至微分同胚)于 SnS^n

他发展出 h-配边定理(h-cobordism theorem):若 WW 是维数 6\ge 6 的带边流形,W=MN\partial W=M\sqcup N,且 M,NM,N 单连通、包含映射均诱导同构(即 WW 是 h-配边),则 WW 微分同胚于 M×[0,1]M\times[0,1],从而 MNM\cong N。把这一工具用于”同伦球面”即得到高维庞加莱猜想。方法的核心是手柄分解(handle decomposition)莫尔斯理论——通过消去单连通流形中的 1-手柄与 3-手柄完成”手术”。

斯梅尔还开创了微分动力系统的混沌理论:他构造的 斯梅尔马蹄(Smale horseshoe)是第一个严格的”混沌”数学模型,展示怎样由确定性的微分同胚产生对初值的指数敏感;并提出斯梅尔猜想(圆丛的双曲结构,后被瑟斯顿等推进)。他于 2007 年获沃尔夫奖,横跨拓扑、动力系统与计算复杂性(他晚年研究计算复杂性的代数模型)。

问题来龙去脉

一、庞加莱猜想与维数障碍

1904 年庞加莱问:一个单连通的闭 3 维流形是否必同胚于 S3S^3?这就是 3 维庞加莱猜想(后由佩雷尔曼 2003 解决)。自然地,人们考虑高维版本:若 nn 维闭流形 Σn\Sigma^nSnS^n 同伦等价( homotopy equivalent),是否同胚于 SnS^n

低维易于处理,但高维传统方法失效:同伦等价只保证”代数拓扑相同”,并不保证流形可”变形”回去。关键障碍是高维流形内部可能有复杂把手结构,需要一种能”逐步拆解”流形的技术。

二、斯梅尔的突破:手柄分解与手术

斯梅尔把流形用莫尔斯函数 f:MRf:M\to\mathbb{R} 切开。临界点的指标(index,即 Hessian 的负特征值个数)对应”手柄”的维数。一个 nn 维流形可分解为 0-手柄、1-手柄、…、nn-手柄的拼接。对单连通流形:

  • 由 Whitehead 定理与单连通性,可用手术消去所有 1-手柄与 (n1)(n-1)-手柄(这依赖于维数 5\ge 5 时”管子”有充足空间不打结);
  • 消去后,流形退化为 0-手柄与 nn-手柄的并,即同胚于球面。

更一般地,斯梅尔证明 h-配边定理:设有 h-配边 Wn+1W^{n+1}n5n\ge 5),其两端 M,NM,N 单连通且包含映射诱导同构。WW 可沿 MM 做手柄分解;因为 WW 是”同伦平凡”的(相对同调为 0),所有 1-手柄到 n1n-1 手柄都可通过**惠特尼技巧(Whitney trick)**配对消去——而 Whitney trick 需要维数 5\ge 5 才有足够的”法丛余维数”来解除交点的缠绕。消去完毕,WM×[0,1]W\cong M\times[0,1],故 MNM\cong N

MM 为同伦球面 Σn\Sigma^nN=SnN=S^nWW 为其上的平凡 h-配边,即得:ΣnSn\Sigma^n\cong S^n(对 n5n\ge 5)。这正是高维庞加莱猜想

三、为什么维数 ≥5 关键

Whitney trick 要求两个相交的圆盘能借助”额外维”互相绕过。在 4 维及以下,余维数不足,技巧失效——这正是 4 维与 3 维成为”硬骨头”的原因:弗里德曼(1982)用不同方法解决拓扑 4 维庞加莱猜想,而光滑 4 维至今仍有未解之谜(如平滑庞加莱猜想在 S4S^4 仍未知,且唐纳森证明存在怪异光滑 R4\mathbb{R}^4)。

四、意义与后续

  1. 微分拓扑的成熟:h-配边定理成为高维流形分类的主干,直接催生凯尔维尔–米尔诺的同伦球面群、诺维科夫的 Pontryagin 类刚性、以及 surgery 理论(Wall、Browder)。
  2. 庞加莱猜想的逐维攻克:斯梅尔解决 5\ge 5 维;弗里德曼(1982,拓扑 4 维);佩雷尔曼(2003,3 维,几何化纲领)。每一步都用全然不同的工具,凸显维数 3、4 的特殊性。
  3. 从拓扑到混沌:斯梅尔同时在动力系统开创新方向——斯梅尔马蹄用符号动力学严格构造”混沌吸引子”,影响整个非线性科学。

斯梅尔的标志是”跨界”:用微分拓扑攻克庞加莱猜想,又转身用混沌重塑动力系统,还以代数方法研究计算复杂性,是 20 世纪少有的全才型数学家。