[論文レビュー] On the high-dimensional geography problem

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

Geometric and Algebraic Topology被引用数 4

ひとこと要約

本稿は、n ≠ 63 に対して、滑らかで閉じており、向きつけ可能で、(n−1)-連結な 2n-多様体の分類を完了し、n-空間不変量を用いて高次元の地理問題を解消した。特徴類、シグニチャ、Kervaire不変量を含む実現条件を確立し、Ando–Hopkins–Rezkによる E∞-環スペクトルへの refinement を通じて Witten 生成関数と関連する 23 次元の反例を提示した。Galatius–Randal-Williams および Bowden–Crowley–Stipsicz の予想に対する反例が得られ、これは Kervaire 不変量問題と関連している。

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-多様体の分類を完了し、高次元地理問題を解消すること。
• ホモロジー、交差形式、法 bundle データを統合した代数的不変量である n-空間が、このような多様体によって実現可能である条件を特定すること。
• Galatius–Randal-Williams および Bowden–Crowley–Stipsicz の長年の予想を解消し、23 次元における反例を同定すること。
• 126 次元における Kervaire 不変量 1 問題の役割と、それによる実現可能性への影響を明確化すること。
• 結果を Stein 填充可能接触構造および高次元位相幾何学における写像類群の計算に応用すること。

提案手法

• Wall の n-空間フレームワークを用い、ホモロジー、交差形式、法 bundle データを用いて (n−1)-連結な 2n-多様体を代数的に分類する。
• コアーナル・オブ・J-ホモモルフィズムおよび安定ホモトピー群を含むホモトピー論的道具を用い、多様体の境界を分析する。
• Witten 生成関数およびその E∞-環スペクトルへの refinement を用い、23 次元における奇抜な構造を検出する。
• 障害論的議論および安定ホモトピー論における計算を用い、n-空間の実現可能性条件を検証する。
• Kervaire–Milnor の完全系列を用い、ホモトピー球面が平行化可能多様体を境界として持つことと関連づけ、(n−1)-連結な 2n-多様体を境界とするものかどうかを特定する。
• Hill–Hopkins–Ravenel、Stolz、Hahn–Burklund–Senger の結果を統合し、地理問題における残存するギャップを埋める。

実験結果

リサーチクエスチョン

• RQ1 すべての n ≠ 63 に対して、滑らかで閉じており、向きつけ可能で、(n−1)-連結な 2n-多様体によって実現可能な n-空間はどれか？
• RQ2 Galatius–Randal-Williams および Bowden–Crowley–Stipsicz の予想はすべての次元で成り立つか、それとも例外があるか？
• RQ3 Witten 生成関数およびその E∞-refinement は、23 次元における奇抜な構造を検出するために果たす役割は何か？
• RQ4 126 次元における Kervaire 不変量 1 問題は、126-多様体の分類にどのように影響を与えるか？
• RQ5 どのホモトピー球面が Stein 填充可能接触構造をもつのか？また、これは平行化可能多様体を境界とするという条件とどのように関係するか？

主な発見

• n-空間は、n mod 4 に依存するシグニチャ、Kervaire 不変量、特徴類の条件を満たす場合に限り、実現可能であり、n = 4, 8, 9, 12, 63 に対して明示的な例外がある。
• n = 63 の場合、実現可能性は 126 次元における Kervaire 不変量 1 多様体の存在に依存し、これは未解決のままである。
• 23 次元に、Galatius–Randal-Williams および Bowden–Crowley–Stipsicz の予想に対する反例が存在する。その反例は、[Σ] = η³κ を満たすホモトピー球面であり、Stein 填充可能接触構造をもつが、平行化可能多様体を境界としない。
• Witten 生成関数および Ando–Hopkins–Rezk による E∞-環スペクトルへの refinement は、23 次元における特異な振る舞いを説明する。
• n = 11（g ≥ 3）のとき、写像類群 Γⁿ_g のアーベル化は期待されるよりも小さく、H₁(Γ¹¹_g) ≅ (Z/4Z ⊕ Z/2Z) ⊕ Z/4Z である。これは 23 次元の反例に起因する。
• 奇数次元におけるホモトピー球面の Stein 填充可能性は完全に特徴づけられる：(2q+1)-球面が Stein 填充可能接触構造をもつのは、coker(J)₂q₊₁ 内で [Σ] = 0 のときであり、q = 11 のときは {0, η³κ} である。