解法:希尔–霍普金斯–拉维内尔利用等变稳定同伦论给出的证明(2009年)
通俗地说
在着手处理一般性问题之前,数学家们先是撸起袖子,为最初几个情形手工构造出例子。经典的 Hopf 映射立即解决了 ;而对于 (维数 与 ),则花了数十年、用上越来越复杂的显式构造才得以完成。
这些手工构造的例子服务于两个目的:它们证明了这一现象并非空洞的(Kervaire 不变量 确实会出现),并且——至关重要的是——它们精确地告诉后来的一般理论哪些地方绝不能证明不存在,因为任何一般性论证都不应该意外地与这五个已知例子相矛盾。
详细分析
对于 (对应维数 ),具有 Kervaire 不变量 的显式带框流形已被手工构造出来(维数 通过 Hopf 不变量为一的元素经典地给出;而 由 Michael Barratt、John Jones 与 Mark Mahowald 于1984年通过复杂的 Toda 括号与二次上同调运算计算完成)。
对于任何 ,都没有已知的这类构造,使得该问题在更高维数上完全悬而未决——而最后这两个情形的困难程度(各自代表着数年的专门计算)已经强烈暗示,要对一般的 说出些什么,需要一种根本不同的、更具结构性的方法。
- Toda 括号
- 稳定同伦论中一种更高阶的二次运算,定义在两两复合已经零伦的映射三元组上;它能检测出普通复合看不见的更精细关系,是 手工构造中的关键工具。