[論文レビュー] Polyhedral products for shifted complexes and higher Whitehead products

Kouyemon Iriye, Daisuke Kishimoto|arXiv (Cornell University)|May 19, 2015

Advanced Combinatorial Mathematics参考文献 11被引用数 9

ひとこと要約

この論文は、$K$ がシフトされた複体であるとき、多面体積 $Η_K(C\underline{X},\underline{X})$ のウェッジ分解を提供し、$\mathcal{Z}_K(Σ\underline{X},*)$ へのピンチ写像を、高次の積を高々一つ含む反復ホワイトヘッド積のウェッジとして明示的に記述可能である。主な結果として、ハードィの高次ホワイトヘッド積におけるヤコビ恒等式を一般化する。

ABSTRACT

This paper studies the map between polyhedral products $\mathcal{Z}_K(C\underline{X},\underline{X}) o\mathcal{Z}_K(Σ\underline{X},*)$ induced from the pinch maps $(CX_i,X_i) o(ΣX_i,*)$, which is the higher order Whitehead product if $K$ is the boundary of a simplex. When $K$ is a shifted complex, a wedge decomposition of $\mathcal{Z}_K(C\underline{X},\underline{X})$ is given by the authors. Based on this decomposition, when $K$ is shifted, the induced pinch map is explicitly described as a wedge of iterated Whitehead products each of which includes at most one higher product. As a corollary, the Jacobi identity of Whitehead products including higher products due to Hardie is generalized.

研究の動機と目的

• $K$ がシフトされた複体であるとき、多面体積 $\mathcal{Z}_K(C\underline{X},\underline{X})$ の構造を理解すること。
• ピンチ写像 $(CX_i, X_i) \to (ΣX_i, *)$ が多面体積のレベルで誘導する写像 $\mathcal{Z}_K(C\underline{X},\underline{X}) \to \mathcal{Z}_K(Σ\underline{X},*)$ を、特に高次ホワイトヘッド積の文脈で記述すること。
• 多面体積の分解を用いて、ハードィの高次ホワイトヘッド積におけるヤコビ恒等式を一般化すること。
• ピンチ写像を、複雑さが制御された反復ホワイトヘッド積のウェッジとして構造的に記述すること。

提案手法

• シフトされた複体の組合せ的構造を活用して、多面体積 $\mathcal{Z}_K(C\underline{X},\underline{X})$ のウェッジ分解を導出すること。
• ピンチ写像 $(CX_i, X_i) \to (ΣX_i, *)$ が多面体積のレベルで誘導する写像を分析すること。
• 得られた写像を、高々一つの高次積を含む反復ホワイトヘッド積のウェッジ和として表現すること。
• 分解を用いてホワイトヘッド積のヤコビ恒等式を一般化し、ハードィの先行結果を拡張すること。
• シフトされた複体の性質を活用して、分解が明示的かつ計算可能であることを保証すること。
• 単体的複体 $K$ の構造を活用して、得られるホワイトヘッド積の複雑さを制御すること。

実験結果

リサーチクエスチョン

• RQ1 $K$ がシフトされた複体であるとき、多面体積 $\mathcal{Z}_K(C\underline{X},\underline{X})$ はどのように分解できるか？
• RQ2 ピンチ写像 $\mathcal{Z}_K(C\underline{X},\underline{X}) \to \mathcal{Z}_K(Σ\underline{X},*)$ の明示的形態は、ホワイトヘッド積の観点からどのように記述できるか？
• RQ3 シフトされた複体の文脈において、高次ホワイトヘッド積のヤコビ恒等式を一般化できるか？
• RQ4 シフトされた複体が、誘導写像における反復ホワイトヘッド積の構造にどのような制約を課えるか？
• RQ5 各反復ホワイトヘッド積に高々一つの高次積が含まれるという制約が、写像の代数的構造にどのように影響するか？

主な発見

• $K$ がシフトされた複体であるとき、$\mathcal{Z}_K(C\underline{X},\underline{X})$ のウェッジ分解が明示的に構成された。
• 誘導されたピンチ写像 $\mathcal{Z}_K(C\underline{X},\underline{X}) \to \mathcal{Z}_K(Σ\underline{X},*)$ は、高々一つの高次積を含む反復ホワイトヘッド積のウェッジとして記述された。
• この分解により、既知のホモトピー作用素の観点から写像の正確な代数的記述が可能となった。
• ハードィによる元々のホワイトヘッド積のヤコビ恒等式が、この文脈において高次積を含む形に一般化された。
• シフトされた複体の構造のおかげで、得られるホワイトヘッド積は複雑さが最小限に抑えられ、反復構成が制御されたものとなった。
• 結果として、シフトされた複体における多面体積のホモトピー型が、計算的に取り扱いやすい分解をもつことが示された。