[論文レビュー] The polyhedral product functor: a method of computation for moment-angle complexes, arrangements and related spaces

Abbas Bahri, Martin Bendersky+2 more|ArXiv.org|Nov 29, 2007

Advanced Combinatorial Mathematics参考文献 16被引用数 49

ひとこと要約

本稿は、単体的複体によって添字づけられる一般化されたモーメント・アングル複体（多面体的積関手）の懸垂の幾何的分解を導入し、あらゆるコホモロジー理論にわたるホモロジー的分解を示す安定分解を可能にする。主な貢献は、スターリング＝ライスナー環の分解を拡張し、ポーターおよびガネアのホモトピー論的結果を一般化する自然な幾何的分解である。

ABSTRACT

This article gives a natural decomposition of the suspension of generalized moment-angle complexes or {\it partial product spaces} which arise as {\it polyhedral product functors} described below. In the special case of the complements of certain subspace arrangements, the geometrical decomposition implies the homological decomposition in Goresky-MacPherson \cite{goresky.macpherson}, Hochster\cite{hochster}, Baskakov \cite{baskakov}, Panov \cite{panov}, and Buchstaber-Panov \cite{buchstaber.panov}. Since the splitting is geometric, an analogous homological decomposition for a generalized moment-angle complex applies for any homology theory. This decomposition gives an additive decomposition for the Stanley-Reisner ring of a finite simplicial complex and generalizations of certain homotopy theoretic results of Porter \cite{porter} and Ganea \cite{ganea}. The spirit of the work here follows that of Denham-Suciu in \cite{denham.suciu}.

研究の動機と目的

• 一般化されたモーメント・アングル複体（単体的複体によって添字づけられる多面体的積関手）の懸垂の幾何的分解を確立すること。
• この幾何的分解が、ゴレスキー＝マクファーソン、ホッチャスター、および他の研究者たちの意味でのホモロジー的分解を示し、任意のホモロジー理論に有効であることを証明すること。
• 多面体的積関手を介してスターリング＝ライスナー環の加法的分解を、より広範な位相的および代数的設定へと拡張すること。
• ループ空間と結合のファイブレーションを通じて、古典的な群論的結果、特にクルシュの定理と関連付けること。
• ポーターおよびガネアのホモトピー論的結果を、モーメント・アングル複体および部分空間配置の設定へと一般化すること。

提案手法

• 各単体 $ \sigma \in K $ に対して、$ i \in \sigma $ ならば $ X_i $、それ以外ならば $ A_i $ をとる、$ D(\sigma) $ を定義し、一般化されたモーメント・アングル複体 $ Z(K; (∑X, ∑A)) $ を単体の列における余極限として定義する。
• 各単体 $ \sigma \in K $ に対して、$ Y_i = X_i $（$ i \in \sigma $ のとき）、$ A_i $（それ以外）であるような空間の積 $ \prod_{i=1}^m Y_i $ を割り当てる多面体的積関手 $ D: K \to CW_* $ を構成する。
• 結合 $ \Omega X * \Omega Y $ の構造とホワイトヘッド積写像を用いて、$ Z(K; (∑X, ∑A)) $ の懸垂が幾何的分解を介して安定に分解可能であることを証明する。
• 包含写像 $ X \vee Y \to X \times Y $ のホモトピー・ファイバーが $ \Omega X * \Omega Y $ にホモトピー同値であり、これは球面のワジューの懸垂であることを確立する。
• デンハム＝スィューツのファイブレーションとガネア型の構成を用いて、$ \pi_1(A \amalg B) \to \pi_1(A \times B) $ の写像の核が自由群であることを関連づけ、クルシュの定理に接続する。
• 図式に現れる $ Z(K; (∑X_*, ∑A_*)) $ における写像 $ h $ がホメオモルフィズムであることを示し、多面体的積関手の幾何的実現が、整合性のある包含写像を持つ余極限として成立することを証明する。

実験結果

リサーチクエスチョン

• RQ1 一般化されたモーメント・アングル複体の懸垂は、あらゆるホモロジー理論にわたるホモロジー的分解を誘導する幾何的分解を許容するか？
• RQ2 多面体的積関手の構造は、スターリング＝ライスナー環およびその加法的分解とどのように関係するか？
• RQ3 包含写像 $ X \vee Y \to X \times Y $ のホモトピー・ファイバーの位相的意義は何か？ そしてそれは群論的結果とどのように関連するか？
• RQ4 モーメント・アングル複体の幾何的分解は、ポーターおよびガネアのホモトピー論的結果をどのように一般化するか？
• RQ5 多面体的積関手から生じるファイブレーションは、自由群の直積に関するクラシカルな定理、たとえばクルシュの定理をどのように回復できるか？

主な発見

• 一般化されたモーメント・アングル複体 $ Z(K; (∑X, ∑A)) $ の懸垂は幾何的分解を許容し、任意のホモロジー理論に有効なホモロジー的分解を示す。
• この分解は、ゴレスキー＝マクファーソン、ホッチャスター、バスクォフ、パノフ、ブーツターバーグ＝パノフのホモロジー的分解結果を統一的な枠組みで回復・一般化する。
• 有限単体的複体のスターリング＝ライスナー環は、多面体的積関手によって誘導される加法的分解を備え、コホモロジーを超えて他の代数的不変量へと拡張される。
• 包含写像 $ X \vee Y \to X \times Y $ のホモトピー・ファイバーは $ \Omega X * \Omega Y $ にホモトピー同値であり、これは球面のワジューの懸垂である。この構造が分解の背後にある根拠である。
• 図式に現れる $ Z(K; (∑X_*, ∑A_*)) $ における写像 $ h $ はホメオモルフィズムである。これは、多面体的積関手が整合性のある包含写像を持つ余極限として幾何的に実現可能であることを確認する。
• 自然な写像 $ \pi_1(A \amalg B) \to \pi_1(A \times B) $ の核は自由群であり、ホワイトヘッド積写像がこの核を実現する。これにより、クルシュの定理の位相的証明が得られる。