[論文レビュー] Configuration spaces in algebraic topology

Ben Knudsen|arXiv (Cornell University)|Mar 29, 2018

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

ひとこと要約

この論文は多様体の配置空間の位相について包括的な解説を提供し、ℝ²の基本群、ℝⁿの整数係数およびmod p係数コホモロジー、奇数次元多様体の有理コホモロジーといった基本的不変量を計算している。ハイパーカバー技術を用いた現代的証明を導入し、写像空間の安定分解モデルを確立することで、代数的位相における配置空間不変量の理解を著しく進展させた。

ABSTRACT

These expository notes are dedicated to the study of the topology of configuration spaces of manifolds. We give detailed computations of many invariants, including the fundamental group of the configuration spaces of $\mathbb{R}^2$, the integral cohomology of the ordered---and the mod $p$ cohomology of the unordered---configuration spaces of $\mathbb{R}^n$, and the rational cohomology of the unordered configuration spaces of an arbitrary manifold of odd dimension. We also discuss models for mapping spaces in terms of labeled configuration spaces, and we show that these models split stably. Some classical results are given modern proofs premised on hypercover techniques, which we discuss in detail.

研究の動機と目的

• 多様体の配置空間の基本的不変量、特に基本群とコホモロジールーブの計算を目的とする。
• ハイパーカバー技術を用いた現代的ホモトピー論的証明により、古典的結果を再考すること。
• ラベル付き配置空間を用いて写像空間の安定分解モデルを確立すること。
• 単純ホモトピー型のような微妙な位相的不変量に配置空間が敏感であることを示すこと。
• 配置空間、因子化ホモロジー、埋め込み計算の間の関係を探索すること。

提案手法

• Fadell–Neuwirthのファイブレーションとスペクトル系列技術を用いて、ℝⁿの順序付き配置空間のコホモロジーを計算する。
• Leray–Hirschの定理とReidemeister–Schreier法を適用し、ファイブレーションと群の表示を分析する。
• ハイパーカバー技術を用いて、特にČech被覆および完全被覆の文脈において古典的結果の現代的証明を与える。
• ラベル付き配置空間を写像空間のモデルとして導入し、Spanier–Whiteheadカテゴリの道具を用いてその安定分解を証明する。
• TateコホモロジーとSwanの定理を用いて、群コホモロジーのp周期を計算し、特に対称群およびp-シローファイバーに焦点を当てる。
• Lie代数コホモロジーとホモロジー安定性技術を用いて、奇数次元多様体の非順序配置空間の有理コホモロジーを計算する。

実験結果

リサーチクエスチョン

• RQ1 ℝ²にk個の点の非順序配置空間の基本群は何か。また、ブレード群とはどのように関係するか。
• RQ2 ℝⁿの順序付き配置空間の整数係数コホモロジーはどのように計算できるか。また、アーノルド関係などの代数的関係は、その構造をどのように規定するか。
• RQ3 奇数次元多様体の非順序配置空間の有理コホモロジーは何か。また、ホモロジー安定性とはどのように関係するか。
• RQ4 ラベル付き配置空間は写像空間をどのようにモデル化するか。また、それらはどのような安定分解性質を示すか。
• RQ5 ℝⁿの非順序配置空間のmod pコホモロジーは何か。また、その構造を支配する消滅定理は何か。

主な発見

• Bₖ(ℝ²)の基本群は、k本のストランドのブレード群に同型であり、標準的なArtin表示（生成子σ₁,…,σₖ₋₁とブレード関係）を持つ。
• Confₖ(ℝⁿ)の整数係数コホモロジールーブは、特定の次数(n−1)のクラスによって生成される自由な可換なgraded代数に同型であり、アーノルド関係がその構造を規定する。
• 非順序配置空間Bₖ(ℝⁿ)のmod pコホモロジーは、特定の次数で消える。その消滅パターンは対称群の作用とp-シローファイバーの構造によって支配される。
• 奇数次元多様体の非順序配置空間の有理コホモロジーは、多様体のホモロジーに付随するLie代数のホモロジーに同型である。
• 写像空間の安定分解定理により、ラベル付き配置空間は安定的に分解可能であることが示され、安定ホモトピー論を用いたホモロジー計算が可能になる。
• 対称群Σₚのp周期は2(p−1)に等しく、Swanの定理とTateコホモロジーを用いて計算され、群コホモロジーの周期性に影響を及ぼす。