[论文解读] The Non-Existent Complex 6-Sphere

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

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

一句话总结

本文提出了一项证明，表明6-球面不具有复结构，使用的是KR-理论——一种为具有对合的流形而开发的实K-理论变体。通过证明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⁶上的标准几乎复结构不可积。
• 通过表明所有此类几乎复结构在KR-理论中在拓扑上被限制为“奇数”型，确立S⁶上不存在任何可积的替代几乎复结构。
• 应用KR-理论与阿蒂亚-辛格指标理论，检测S⁶上复结构存在的全局上同调障碍。

提出的方法

• 利用KR-理论（一种用于具有对合的空间的实K-理论）分析S⁶上几乎复结构的拓扑类型。
• 在实设置下应用阿蒂亚-辛格指标定理，特别关注通过KO-理论与KR-理论得到的模2指标。
• 将S⁶上八元数结构的符号型(7,1)识别为KR-理论中对应的“奇数”实几乎复结构。
• 基于相关Clifford模的拓扑类型，区分实几乎复结构的“奇数”与“偶数”类型。
• 利用可积复结构必须对应“偶数”型结构的事实，而此类结构在S⁶上在拓扑上被禁止。
• 依赖Bott周期性定理及KR-理论在实二次型结构下的分类，以确定可能的结构。

实验结果

研究问题

• RQ1 尽管其标准几乎复结构不可积，6-球面是否仍可能具有复结构？
• RQ2 是否存在一种拓扑障碍，阻止S⁶上的任何几乎复结构可积？
• RQ3 KR-理论能否检测S⁶上复结构的全局上同调障碍？
• RQ4 S⁶上由八元数构造的几乎复结构是否在KR-理论中导致拓扑上被禁止的类型？
• RQ5 实设置下的阿蒂亚-辛格指标定理能否用于排除S⁶等非凯勒流形上的复结构？

主要发现

• 6-球面不具有复结构，因为其上任何几乎复结构在KR-理论中在拓扑上均为‘奇数’型。
• 由八元数导出的S⁶上标准几乎复结构属于‘奇数’型，因此不可积。
• S⁶上的可积复结构需要KR-理论中的‘偶数’型拓扑结构，但由于其符号型(7,1)结构，这种类型在S⁶上不可能存在。
• 该障碍是全局且上同调性的，由KR-理论捕捉，且无法通过形变消除。
• 该结果与外尔对称性（triality）无法在S⁶上生成一致复结构的失败一致，因为三组中的某一个必须被提升至旋量群，从而引入拓扑障碍。
• 该证明依赖于实设置下的阿蒂亚-辛格指标定理，表明KR-理论中的模2指标排除了S⁶上复结构的存在。