[论文解读] On the high-dimensional geography problem

Robert Burklund, Andrew Senger|arXiv (Cornell University)|Jul 10, 2020

Geometric and Algebraic Topology被引用 4

一句话总结

该论文通过利用n维空间不变量解决了高维地理学问题，完成了对所有n ≠ 63的光滑、紧致、定向、(n−1)-连通2n-流形的分类。它建立了涉及亏格、Kervaire不变量和特征类的可实现性条件，并在23维中给出了Galatius–Randal-Williams与Bowden–Crowley–Stipsicz猜想的反例，该反例与Witten亏格及Ando–Hopkins–Rezk对E∞-环谱的提升有关。

ABSTRACT

In 1962, Wall showed that smooth, closed, oriented, $(n-1)$-connected $2n$-manifolds of dimension at least $6$ are classified up to connected sum with an exotic sphere by an algebraic refinement of the intersection form which he called an $n$-space. In this paper, we complete the determination of which $n$-spaces are realizable by smooth, closed, oriented, $(n-1)$-connected $2n$-manifolds for all $n eq 63$. In dimension $126$ the Kervaire invariant one problem remains open. Along the way, we completely resolve conjectures of Galatius-Randal-Williams and Bowden-Crowley-Stipsicz, showing that they are true outside of the exceptional dimension $23$, where we provide a counterexample. This counterexample is related to the Witten genus and its refinement to a map of $\mathbb{E}_\infty$-ring spectra by Ando-Hopkins-Rezk. By previous work of many authors, including Wall, Schultz, Stolz and Hill-Hopkins-Ravenel, as well as recent joint work of Hahn with the authors, these questions have been resolved for all but finitely many dimensions, and the contribution of this paper is to fill in these gaps.

研究动机与目标

• 完成对所有n ≠ 63的光滑、紧致、定向、(n−1)-连通2n-流形的分类，解决高维地理学问题。
• 确定哪些n-空间——结合同调、交形式和法丛数据的代数不变量——可由此类流形实现。
• 解决Galatius–Randal-Williams与Bowden–Crowley–Stipsicz的长期猜想，识别出23维中的反例。
• 阐明126维中Kervaire不变量一问题在实现性中的作用。
• 将结果应用于接触结构的Stein填充性以及高维拓扑中映射类群的计算。

提出的方法

• 使用Wall的n-空间框架，通过同调、交形式和法丛数据代数化分类(n−1)-连通2n-流形。
• 应用同伦论工具，包括J-同调的余核和稳定同伦群，分析流形边界的性质。
• 利用Witten亏格及其对E∞-环谱的提升，检测23维中的奇异结构。
• 采用障碍理论论证和稳定同伦论中的计算，验证n-空间的可实现性条件。
• 使用Kervaire–Milnor正合列将同伦球面与平行化流形联系起来，确定哪些流形可作为(n−1)-连通2n-流形的边界。
• 结合Hill–Hopkins–Ravenel、Stolz以及Hahn–Burklund–Senger的结果，填补地理学问题中的剩余空白。

实验结果

研究问题

• RQ1 对于所有n ≠ 63，哪些n-空间可由光滑、紧致、定向、(n−1)-连通2n-流形实现？
• RQ2 Galatius–Randal-Williams与Bowden–Crowley–Stipsicz的猜想在所有维数中是否成立，还是存在例外？
• RQ3 Witten亏格及其E∞-提升在检测23维奇异结构中起什么作用？
• RQ4 126维中Kervaire不变量一问题如何影响126-流形的分类？
• RQ5 哪些同伦球面具有Stein填充的接触结构，这与平行化流形的边界关系如何？

主要发现

• 当且仅当n模4满足特定的亏格、Kervaire不变量和特征类条件时，n-空间可实现，其中n = 4, 8, 9, 12, 63存在显式例外。
• 当n = 63时，可实现性取决于126维中是否存在Kervaire不变量一的流形，该问题仍悬而未决。
• 在23维中存在对Galatius–Randal-Williams与Bowden–Crowley–Stipsicz猜想的反例：一个同伦球面满足[Σ] = η³κ，具有Stein填充的接触结构，但不作为平行化流形的边界。
• Witten亏格及其由Ando–Hopkins–Rezk给出的E∞-提升解释了23维中的异常行为。
• 当n = 11（g ≥ 3）时，映射类群Γⁿ_g的阿贝尔化比预期更小，其H₁(Γ¹¹_g) ≅ (Z/4Z ⊕ Z/2Z) ⊕ Z/4Z，这是由于23维反例所致。
• 奇维同伦球面的Stein填充性被完全刻画：当且仅当[Σ] = 0在coker(J)₂q₊₁中时，(2q+1)-球面具有Stein填充的接触结构，但当q = 11时，其像为{0, η³κ}。