MathLabs

解法:希尔–霍普金斯–拉维内尔利用等变稳定同伦论给出的证明(2009年)

第 2/9 步:小情形:直到维数 6262 的显式构造
通俗地说

在着手处理一般性问题之前,数学家们先是撸起袖子,为最初几个情形手工构造出例子。经典的 Hopf 映射立即解决了 j=1,2,3j=1,2,3;而对于 j=4,5j=4,5(维数 3030 与 6262),则花了数十年、用上越来越复杂的显式构造才得以完成。

这些手工构造的例子服务于两个目的:它们证明了这一现象并非空洞的(Kervaire 不变量 11 确实会出现),并且——至关重要的是——它们精确地告诉后来的一般理论哪些地方绝不能证明不存在,因为任何一般性论证都不应该意外地与这五个已知例子相矛盾。

j=1,…,5 (n=2,6,14,30,62): θj constructedj = 1, \ldots, 5 \ (n = 2, 6, 14, 30, 62): \ \theta_j \ \text{constructed}
详细分析

对于 j=1,…,5j = 1, \ldots, 5(对应维数 n=2,6,14,30,62n = 2, 6, 14, 30, 62),具有 Kervaire 不变量 11 的显式带框流形已被手工构造出来(维数 2,6,142, 6, 14 通过 Hopf 不变量为一的元素经典地给出;而 30,6230, 62 由 Michael Barratt、John Jones 与 Mark Mahowald 于1984年通过复杂的 Toda 括号与二次上同调运算计算完成)。

对于任何 j≥6j \ge 6,都没有已知的这类构造,使得该问题在更高维数上完全悬而未决——而最后这两个情形的困难程度(各自代表着数年的专门计算)已经强烈暗示,要对一般的 j≥6j\ge 6 说出些什么,需要一种根本不同的、更具结构性的方法。

本步骤中的术语
Toda 括号
稳定同伦论中一种更高阶的二次运算,定义在两两复合已经零伦的映射三元组上;它能检测出普通复合看不见的更精细关系,是 j=4,5j=4,5 手工构造中的关键工具。
本步骤用到的知识