[論文レビュー] The homotopy type of the complement of the codimension-two coordinate subspace arrangement

Jelena Grbić, Stephen Theriault|ArXiv.org|Dec 13, 2005

Advanced Combinatorial Mathematics参考文献 5被引用数 3

ひとこと要約

この論文は、ℂⁿにおけるcodimension-two座標部分空間配置の補集合のホモトピー型を特定し、k = 2 から n までの各次元で、k+1次元の球面のホモトピー型が (k−1) × binom(n,k) 個存在することを示している。この結果は、ホモトピー群の包含写像 ∨ₙ ℂP∞ → ∏ₙ ℂP∞ のホモトピーファイバーのホモトピー分解を用いて得られ、キューブ補題と繰り返しホモトピー被覆を用いて、従来のサスペンション依存型の分解を非サスペンション型に改善した。

ABSTRACT

The complement of the codimension 2 complex coordinate subspace arrangement is shown to be homotopy equivalent to a wedge of spheres.

研究の動機と目的

• ℂⁿにおけるcodimension-two座標部分空間配置の補集合の正確なホモトピー型を特定すること。
• 従来のサスペンションに依存するホモトピー分解を、非サスペンション型に改善すること。
• 包含写像 ∨ₙ ℂP∞ → ∏ₙ ℂP∞ のホモトピーファイバーが球面のホモトピー型に分解されることを証明すること。
• キューブ補題と繰り返しホモトピー被覆を用いて、キーホモトピー分解の高速化された新しい証明を提供すること。

提案手法

• 著者たちは、Davis-Januszkiewicz空間 DJ(K) 及びその関連ホモトピーファイバー 𝒵_K を用い、補集合 U(K) がホモトピーファイバー列と関連することを示した。
• 彼らは、n 個の ℂP∞ の直積への直和の包含写像を通じたホモトピーファイバー分解を適用した。
• 主な技術的手段として、空間の図式におけるホモトピー被覆性を確立するためのキューブ補題を用いた。
• 繰り返しホモトピー被覆と、Σ(X×Y) ≃ ΣX ∨ ΣY ∨ (ΣX ∧ ΣY) の分解を用いて、積のサスペンションを分析した。
• ファイバー分解の簡略化を可能にするために、ファイバー列における接続写像が零ホモトープであることを同定した。
• n に関する帰納法とホモトピー被覆構造を組み合わせることで、ファイバーの最終的なホモトピー型が球面の直和に分解されることを導いた。

実験結果

リサーチクエスチョン

• RQ1 ℂⁿにおけるcodimension-two座標部分空間配置の補集合のホモトピー型は何か？
• RQ2 包含写像 ∨ₙ ℂP∞ → ∏ₙ ℂP∞ のホモトピーファイバーはサスペンションなしに分解可能か？
• RQ3 補集合のホモトピー型は、Davis-Januszkiewicz空間およびその関連ファイバーとどのように関係するか？
• RQ4 キューブ補題は、ファイバーのホモトピー被覆構造の簡略化にどのように寄与するか？
• RQ5 既知のサスペンションレベルの結果と一致する非サスペンション型のファイバー分解は存在するか？

主な発見

• ℂⁿにおけるcodimension-two座標部分空間配置の補集合は、⋁_{k=2}^n (k−1) binom(n,k) S^{k+1} とホモトピー同値である。
• 包含写像 ∨ₙ ℂP∞ → ∏ₙ ℂP∞ のホモトピーファイバーは、Fₙ ≃ ⋁_{k=2}^n ⋁_{1≤i₁<⋯<iₖ≤n} (k−1)(ΣΩX_{i₁} ∧ ⋯ ∧ ΩX_{iₖ}) と球面の直和に分解される。
• この分解はサスペンションなしに成立し、従来の少なくとも1つのサスペンションを必要としていた結果を改善した。
• ファイバー列における接続写像は零ホモトープであり、ホモトピー被覆構造の簡略化を可能にした。
• キューブ補題を用いて、図式の上側の面がホモトピー被覆であることが、下側の面と側面がホモトピー被覆であれば保証された。
• この結果は、トーリックトポロジー分野における長年の問題を解決する、非サスペンション型で明示的なファイバーのホモトピー分解を提供する。