解法: 同変安定ホモトピー論によるHill–Hopkins–Ravenelの証明(2009年)
ざっくり言うと
一般的な問いに取り組む前に、数学者たちはまず最初の数個の場合について、手を動かして具体例を構成した。古典的なHopf写像が直ちに を解決する;(次元 と )については、ますます複雑になる明示的構成に何十年もかかった。
これらの手作りの例は二つの目的を果たした:その現象が空虚でないこと(Kervaire不変量 が実際に起こること)を証明し——そして決定的に重要なことに——後の一般理論に、非存在を証明してはならない場所を正確に教えた。どんな一般的議論も、これら5つの既知の例とうっかり矛盾してはならないからである。
詳しい解説
(次元 に対応)については、Kervaire不変量 の明示的な枠付き多様体が手で構成された(次元 はHopf不変量1の元を通じて古典的に、 はMichael Barratt、John Jones、Mark Mahowaldの研究により、複雑なToda括弧と二次コホモロジー作用素の計算を用いて1984年までに完成された)。
のいかなる場合にもそのような構成は知られておらず、より高い次元では問題は未解決のままであった——そして、この最後の二つの場合の困難さ(それぞれ何年もの専門的計算を要した)は、 全般について何かを言うには根本的に異なる、より構造的なアプローチが必要であることをすでに強く示唆していた。
- Toda括弧
- 対ごとの合成がすでにヌルホモトピックであるような写像の三つ組に対して定義される、安定ホモトピー論における高次の二次的演算。通常の合成では見えないより細かい関係を検出し、 の手作り構成における鍵となる道具であった。