[論文レビュー] Whitehead products in moment-angle complexes

Kouyemon Iriye, Daisuke Kishimoto|arXiv (Cornell University)|Jun 29, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用数 4

ひとこと要約

本稿は、多面体的積とホモトピー余極限に基づく新しいアプローチにより、$\mathcal{Z}_K \to DJ_K \to (\mathbb{C}P^\infty)^m$ のホモトピーファイブレーションにおけるファイバー包含 $χ_K: \mathcal{Z}_K \to DJ_K$ が、双対シェルラブルで、完全に埋め込み可能な複体を含む広範なクラスの単体的複体に対して、繰り返し適用された高次ホイットニー積のワッジに同定されることを確立する。この結果は、Grbić と Theriault の先行研究を一般化・是正するものである。

ABSTRACT

In toric topology, to a simplicial complex $K$ with $m$ vertices, one associates two spaces, the moment-angle complex $\mathcal{Z}_K$ and the Davis-Januszkiewicz space $DJ_K$. These spaces are connected by a homotopy fibration $\mathcal{Z}_K o DJ_K o(\mathbb{C}P^\infty)^m$. In this paper, we show that the map $\mathcal{Z}_K o DJ_K$ is identified with a wedge of iterated (higher) Whitehead products for a certain class of simplicial complexes $K$ including dual shellable complexes. We will prove the result in a more general setting of polyhedral products.

研究の動機と目的

• Grbić と Theriault が示した、特定の単体的複体に対して $\widetilde{w}: \mathcal{Z}_K \to DJ_K$ が繰り返し適用された高次ホイットニー積のワッジに同値であるという結果を一般化・是正すること。
• この同定を、双対シェルラブル複体や完全に埋め込み可能な複体を含む、はるかに広いクラスの単体的複体へと拡張すること。
• 先行研究で指摘された、有理ホモトピー論に依存する推論の穴を回避する、より厳密かつ単純な証明を提供すること。
• 多面体的積のより広範な文脈においてこの結果を確立し、$\mathcal{Z}_K$ と $DJ_K$ のより体系的なホモトピー的解析を可能にすること。

提案手法

• 著者たちは、多面体的積の枠組みを用いて $\mathcal{Z}_K$ と $DJ_K$ の構成を一般化し、より柔軟かつ強力なホモトピー的解析を可能にする。
• 幾何的実現がコントラクトブルになるように最小非面の集合を追加できる単体的複体の概念「完全に埋め込み可能な」を導入する。
• 主な技術的道具は、適切な順序付き集合のナーヴォを介したホモトピー余極限と $\mathcal{Z}_K$ のホモトピー余極限分解を関係づけるホモトピー可換図式である。
• 部分集合の「収縮順序」に基づく頂点数に関する帰納法を用い、問題を繰り返し適用されたホイットニー積に還元する。
• 高次ホイットニー積の自然性と、ホモトピー余極限 $W_M(\underline{X})$ とモーメント・アングル複体 $\mathcal{Z}_M(\underline{X})$ の間のホモトピー同値 $\epsilon_M^{-1}$ を適用する。
• 点付き空間の圏におけるホモトピー同値の系列と図式の追跡により、$\widetilde{w}$ が繰り返し適用されたホイットニー積に同値であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 単体的複体 $K$ がどのような条件下にあっても、ファイバー包含 $\mathcal{Z}_K \to DJ_K$ が繰り返し適用された高次ホイットニー積のワッジにホモトープであるか？
• RQ2 Grbić と Theriault の結果（指向的 MF 複体に適用可能）を、より広いクラスの単体的複体へ一般化し、より単純かつ厳密な証明を可能にすることができるか？
• RQ3 境界が単体である場合を除き、$\mathcal{Z}_K$ と $DJ_K$ のホモトピー的特徴づけがホイットニー積の観点から可能になるか？
• RQ4 「埋め込み可能」または「完全に埋め込み可能」という概念は、$\mathcal{Z}_K$ のホモトピー型および写像 $\widetilde{w}$ の構造とどのように関係しているか？
• RQ5 $\widetilde{w}$ がホイットニー積に同値であるという同定は、一般の多面体的積の設定へ拡張可能か？

主な発見

• 任意の完全に埋め込み可能な単体的複体 $K$ に対して、ファイバー包含 $\widetilde{w}: \mathcal{Z}_K \to DJ_K$ が繰り返し適用された高次ホイットニー積のワッジに同定されることを示した。これは、先行研究を一般化するものである。
• 完全に埋め込み可能な複体 $K$ に対して、合成写像 $S^{|σ|+|I|-1} \to \mathcal{Z}_K \xrightarrow{\widetilde{w}} DJ_K$ は、符号を除いて、繰り返し適用されたホイットニー積 $[[\cdots[\widetilde{w}_{\sigma}, \widetilde{a}_{i_1}], \cdots], \widetilde{a}_{i_k}]$ にホモトープである。ここで $i_1 < \cdots < i_k$ は $I - \sigma$ の収縮順序である。
• 部分集合の順序付き集合のナーヴォを介したホモトピー余極限分解を用いた、$\mathcal{Z}_K$ の新しいホモトピー的分解が、帰納的還元の根拠を提供する。
• 繰り返し適用されたホイットニー積の構造を保つホモトピー同値 $\epsilon_M^{-1}: W_M(\underline{X}) \to \mathcal{Z}_M(\underline{X})$ を確立した。
• この結果は、多面体的積の一般的文脈において成り立つことから、$\widetilde{w}$ がホイットニー積に同値であるという同定は、モーメント・アングル複体のホモトピー型に内在するものであることが示された。
• Grbić と Theriault の先行研究における有理ホモトピー論に依存する推論の穴を、厳密なホモトピー同値と図式の追跡に置き換えることで是正した。