MathLabs

解法:Dehn不变量:四面体与立方体不是剪拼全等的(1900年)

第 7/7 步:尾声:Sydler于1965年的定理完善了整个图景
通俗地说

Dehn证明了体积相等且Dehn不变量相等是两个立体剪拼全等的必要条件——但六十多年来没有人知道这是否也是充分条件。1965年,瑞士数学家让-皮埃尔·西德勒证明了它确实是充分的:只要体积匹配、Dehn不变量也匹配,连接这两个立体的剖分就一定存在,尽管西德勒的证明并没有给出实际找到这些切割方式的具体方法。

vol⁡(P)=vol⁡(Q) ∧ Dehn⁡(P)=Dehn⁡(Q)  ⟺  P∼Q(Sydler, 1965)\operatorname{vol}(P) = \operatorname{vol}(Q) \ \wedge\ \operatorname{Dehn}(P) = \operatorname{Dehn}(Q) \;\Longleftrightarrow\; P \sim Q \quad \text{(Sydler, 1965)}
详细分析

Dehn在1900年的工作只确立了“仅当”这一方向:剪拼全等的多面体体积相等,且 Dehn⁡\operatorname{Dehn} 不变量也相等。让-皮埃尔·西德勒于1965年证明了其逆命题(发表于《瑞士数学评论》):任意两个多面体 P,Q⊂R3P, Q \subset \mathbb{R}^3,只要 vol⁡(P)=vol⁡(Q)\operatorname{vol}(P) = \operatorname{vol}(Q) 且 Dehn⁡(P)=Dehn⁡(Q)\operatorname{Dehn}(P) = \operatorname{Dehn}(Q),它们实际上就是剪拼全等的。Dehn不变量与体积合在一起,构成了三维剪拼全等的一个完全不变量——这正是华莱士–波尔约–格尔文定理中面积单独就能对多边形分类这一事实在三维中的精确类比,只是多需要一个数。

西德勒的证明是一个高度技术性的存在性论证,与波尔约–格尔文的构造不同,它并没有给出明确的切割步骤;后续工作(1968年Børge Jessen把该框架推广到四维,以及Dupont、Sah等人后来通过代数K理论与群同调所作的重新诠释)重新推导并推广了西德勒定理,把希尔伯特第三问题与远比Dehn最初的初等构造更高深的现代代数领域联系了起来。

本步骤中的术语
完全不变量
对于一个分类问题而言,一组不变量是完全的,是指在所有这些不变量上取得一致不仅是必要的,而且足以保证两个对象等价(这里指剪拼全等);单独的体积在三维中并不完全,但体积连同Dehn不变量则是完全的。
本步骤用到的知识