[論文レビュー] Loops on polyhedral products and diagonal arrangements

Natalia Dobrinskaya|ArXiv.org|Jan 19, 2009

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

ひとこと要約

本稿は、単体的複体 $K$ に関連する対角的配置のホモロジーと、多面体的積のループ空間ホモロジーとの間のホモロジー的関係を確立する。$Ω(\mathbb{X}^K)$ の配置空間モデルを構成することで、$H_*(\Omega\mathbb{X}^K)$ の計算を、外的スターリング＝ライスナー代数の Ext-代数に還元し、非-$\Sigma$ なアソシエイティブ・オペラッド上でのテンソル積と二重化作用素を含む、次数付き代数同型を得る。

ABSTRACT

In this paper we establish a connection between the loop space homology of the generalization of wedge defined by a simplicial complex K (so called polyhedral product) and the homology of certain diagonal arrangements associated with K. We illustrate these results by finding the presentations of those loop homology algebras for certain K generalizing results of Panov-Ray, Papadima-Suciu, Lemaire. Finally, we show that in the case when the functor is applied to suspensions, this homology splitting comes from the stable homotopy splitting of the loop spaces.

研究の動機と目的

• 多面体的積のループ空間ホモロジーと単体的複体 $K$ に関連する対角的配置のホモロジーとの間のホモロジー的同値性を確立すること。
• 配置空間を用いた統一的枠組みを導入することで、フラッグ複体および単体的スケルトンのループホモロジーに関する既知の結果を一般化すること。
• $\Omega(\mathbb{X}^K)$ のために、部分的衝突を伴うラベル付き配置空間を用いた幾何的モデルを提供すること。
• $H_*(\Omega\mathbb{X}^K)$ の計算問題を、$K$ の外的スターリング＝ライスナー代数の Ext-代数の計算に還元すること。
• すべての $X_i$ がスパンスであるとき、ホモロジー分解が $\Omega(\mathbb{X}^K)$ の安定ホモトピー分解から生じることを示すこと。

提案手法

• $K$ の組合せ論的構造を符号化する、$\mathbb{R}^1$ 内の粒子のラベル付き部分的衝突を伴う配置空間 $\mathbb{C}_K = \sqcup_{I \in \mathbb{N}^m} \mathbb{C}_K(I)$ を構成する。
• $\Omega(\mathbb{X}^K) \simeq \sqcup \mathbb{C}_K(I) \times \Omega\mathbf{X}^I / \sim$ のモデルを用いて、ループ空間と配置空間を関連付ける。
• ホモロジーにおけるポンティリャーギン積構造を符号化する、$\mathbb{C}_K(I) \to \mathbb{C}_K(I + e_j)$ の二重化作用素 $\mu_{j,k}$ を定義する。
• コバール構成と特に非-$\Sigma$ なアソシエイティブ・オペラッド $\mathbb{Ass}$ を用いたオペラッド的構造を活用し、$H_*(\Omega\mathbb{X}^K)$ の代数的構造を記述する。
• $P_K^0(I) \to P_K(I)$ の複体のリトラクションを確立し、それらを対角的配置 $D_L$ の補集合に関連づけ、ホモロジーにおける全射性を示す。
• $D_{K'} \hookrightarrow D_{\tilde{K}}$ の包含写像がホモロジーに全射を誘導することを証明し、スペクトル系列と Ext-代数の計算に有用な条件を整える。

実験結果

リサーチクエスチョン

• RQ1 多面体的積のループ空間ホモロジーを、単体的複体 $K$ に関連する対角的配置のホモロジーとどのように関係付けることができるか？
• RQ2 ラベル付きで部分的衝突を伴う配置空間は、$\Omega(\mathbb{X}^K)$ のモデルとして果たす役割は何か？
• RQ3 $H_*(\Omega\mathbb{X}^K)$ が非-$\Sigma$ なアソシエイティブ・オペラッド上でのテンソル積として分解される条件は何か？
• RQ4 二重化作用素 $\mu_{j,k}$ は、$H_*(\Omega\mathbb{X}^K)$ のポンティリャーギン積構造をどのように符号化するか？
• RQ5 安定分解 $\Omega(\mathbb{X}^K)$ がホモロジー分解を誘導するのはどのような場合か、特にすべての $X_i$ がスパンスである場合に注目する。

主な発見

• 本稿は、二重化作用素 $\mu_{j,k}$ がポンティリャーギン積を符号化する同値関係を含む、次数付き代数同型 $H_*(\Omega\mathbb{X}^K) \cong \bigoplus_{I \in \mathbb{N}^m} H_*(\mathbb{C}_K(I)) \otimes \widetilde{H}_*(\Omega\mathbf{X})^{\otimes I} / \sim$ を確立する。
• フラッグ複体の場合、$\mathbb{C}_K$ のすべての連結成分は可縮であるため、$H_*(\Omega\mathbb{X}^K)$ は次数付き代数のコロイミットとして単純な形で記述できる。
• 配置空間 $\mathbb{C}_K$ のホモロジーは、非-$\Sigma$ なアソシエイティブ・オペラッド $\mathbb{Ass}$ 上での左加群および右マルチ加群構造を自然に持ち、$H_*(\Omega\mathbb{X}^K) \cong H_*(\mathbb{C}_K) \otimes_{\mathbb{Ass}} \widetilde{H}_*(\Omega\mathbf{X})$ というオペラッド的表現が可能になる。
• すべての $X_i$ がスパンスであるとき、安定分解 $\Omega(\Sigma Y_1, \dots, \Sigma Y_m)^K \simeq_s \bigvee_I \mathbb{C}_K(I)_+ \wedge Y_1^{\wedge i_1} \wedge \cdots \wedge Y_m^{\wedge i_m}$ がホモロジー分解を誘導する。
• $D_{K'} \hookrightarrow D_{\tilde{K}}$ の包含写像がホモロジーに全射を誘導する。これは、$H_*(P_K^0) \to H_*(P_K)$ の写像の全射性と、その結果得られるホモロジー同型を証明する上で不可欠である。
• $H_*(\Omega\mathbb{X}^K)$ の計算は、$K$ の外的スターリング＝ライスナー代数の Ext-代数の計算に還元され、問題に対する体系的な代数的アプローチを提供する。