[論文レビュー] The Non-Existent Complex 6-Sphere

Michael Atiyah|arXiv (Cornell University)|Oct 25, 2016

Homotopy and Cohomology in Algebraic Topology参考文献 7被引用数 6

ひとこと要約

この論文は、自己同型を備えた多様体に特化した実K理論の一種であるKR理論を用いて、6次元球面に複素構造が存在しないことを証明する。S⁶上の任意のほぼ複素構造はKR理論において「奇数型」として特徴づけられることを示し、可積分な複素構造は「偶数型」を要することから、そのような複素構造は存在しえないと結論づけ、微分幾何学における長年の未解決問題を解決する。

ABSTRACT

The possible existence of a complex structure on the 6-sphere has been a famous unsolved problem for over 60 years. In that time many "solutions" have been put forward, in both directions. Mistakes have always been found. In this paper I present a short proof of the non-existence, based on ideas developed, but not fully exploited, over 50 years ago. The only change in v2. is in section 3, where the notation has been clarified.

研究の動機と目的

• 6次元球面に複素構造が存在するかどうかという長年の未解決問題を解決すること。
• オクタニオンから導かれるS⁶上の標準的ほぼ複素構造が可積分でないことを示すこと。
• S⁶上の任意の代替的ほぼ複素構造が、KR理論における「奇数型」として位相的に制約を受けることから、可積分である可能性が全くないことの確立。
• KR理論とアティヤ＝シンガーの指数定理を用いて、S⁶上での複素構造に対するグローバルなコhomological障害を検出すること。

提案手法

• 自己同型を備えた空間のための実K理論の一種であるKR理論を用いて、S⁶上でのほぼ複素構造の位相的型を分析する。
• 特にKO理論およびKR理論を用いたmod 2指数に注目して、実設定におけるアティヤ＝シンガーの指数定理を適用する。
• S⁶上でのオクタニオン構造の符号型(7,1)が、KR理論における「奇数型」の実ほぼ複素構造に対応することを特定する。
• 関連するクライフ・モジュールの位相的型に基づいて、「奇数型」と「偶数型」の実ほぼ複素構造を区別する。
• 可積分な複素構造は「偶数型」構造に対応しなければならず、S⁶ではそれが位相的に不可能であることに着目する。
• ボット周期性定理および実二次形式のKR理論の構造を用いて、可能な構造を分類する。

実験結果

リサーチクエスチョン

• RQ1 標準的ほぼ複素構造が可積分でないにもかかわらず、6次元球面に複素構造が存在しうるか？
• RQ2 S⁶上の任意のほぼ複素構造が可積分でないという位相的障害は存在するか？
• RQ3 KR理論はS⁶上での複素構造に対するグローバルなコhomological障害を検出できるか？
• RQ4 S⁶上でのオクタニオンによるほぼ複素構造の構成は、KR理論において位相的に禁止された型に帰着するか？
• RQ5 実設定におけるアティヤ＝シンガーの指数定理は、S⁶のようなケーラーでない多様体上での複素構造の存在を排除するために用いられるか？

主な発見

• 6次元球面には複素構造が存在せず、それはS⁶上での任意のほぼ複素構造がKR理論において「奇数型」として位相的に特徴づけられるためである。
• オクタニオンから導かれるS⁶上の標準的ほぼ複素構造は「奇数型」であり、したがって可積分ではない。
• S⁶上での可積分な複素構造はKR理論において「偶数型」としての位相的要件を満たす必要があるが、S⁶の符号型(7,1)構造のためそれは不可能である。
• 障害はグローバルでコhomologicalなものであり、KR理論によって捉えられ、変形によって除去できない。
• 三重性（triad）がS⁶上で一貫した複素構造を生成できないことと整合的であり、三重性の三つの群のうちの一つがスピンに引き上げられる必要があり、その際に位相的障害が生じる。
• 証明は実設定におけるアティヤ＝シンガーの指数定理に依拠しており、KR理論におけるmod 2指数がS⁶上での複素構造の存在を排除することを示している。