[論文レビュー] Crossed squares and 2-crossed modules

Ali Mutlu, Timothy Porter|ArXiv.org|Oct 30, 2002

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

ひとこと要約

この論文は、Lodayのマッピングコーン構成を用いて、交差正方形と2交差モジュールの間の対応を確立し、関連する複体の微分の核が2交差モジュールをなすことを示している。主な貢献は、交差m立方体のm重ナーヴォの多重対角が長さmのムーア複体を定めるという一般化であり、これまでの双単体的群および単体的群に関する結果を高次元に拡張している。

ABSTRACT

Crossed squares and 2-crossed modules are both algebraic models for 3-types. This paper explores the interrelationships between these two models.

研究の動機と目的

• Lodayのマッピングコーン構成を用いて、交差正方形と2交差モジュールの間の構造的関係を確立すること。
• 交差m立方体から得られるm重単体的群の多重対角の構成をm次元に一般化すること。
• 交差m立方体のm重ナーヴォの多重対角のムーア複体が、次数≥m+1で消えることを示すこと。
• 反復的コダイアゴナル構成を用いて、交差複体およびハイパーコード複体の枠組みを高次元に拡張すること。

提案手法

• 単体的圏上の順序和関手を用いて、コエンダ構成を通じてm重単体的群の多重対角を定義する。
• 多重対角を反復的コダイアゴナルの合成として記述し、m重の場合を繰り返し適用する双単体的コダイアゴナルに還元する。
• 交差m立方体のナーヴォ構成を用いてm重単体的群を生成し、その後に多重対角を適用する。
• m重単体的群のムーア複体に特定の消える条件が満たされる場合、その結果得られる複体が高次元で消えることを証明する。
• コエンダおよび順序和の結合性を用いて、多重対角の反復的構造を導出する。
• 交差複体の概念をm立方体複体に一般化し、それらをハイパーコード複体およびDuskin-Nan Tie複体と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 交差正方形のマッピングコーンがどのように2交差モジュール構造をもつことを示せるか。
• RQ2 交差m立方体のm重ナーヴォの多重対角のムーア複体の性質は何か。
• RQ3 m重単体的群の反復的コダイアゴナル構成は、コエンダ式と順序和関手を用いて体系的に記述可能か。
• RQ4 m交差複体の構造写像はペファーパリングや高次ホモトピー作用とどのように関係するか。
• RQ5 多重対角構成と高次元における単体的群のホモトピー切断との関係は何か。

主な発見

• Lodayの方法による交差正方形のマッピングコーン複体は、自然に2交差モジュール構造をもつ。
• 任意の交差m立方体に対して、そのm重ナーヴォの多重対角は、次数n≥m+1で消える単体的群を生成する。
• m重単体的群の多重対角は、反復的コダイアゴナルの合成として記述可能であり、m重の場合を繰り返し適用する双単体的コダイアゴナルに還元できる。
• 多重対角のコエンダ式にはm重の順序和関手が含まれており、その結合性が反復的構成の一貫性を保証する。
• この結果は、双単体的群に関する以前の定理を高次元に一般化し、交差m立方体のm重ナーヴォの多重対角のムーア複体が長さmであることを示している。
• m交差複体およびハイパーコード複体の枠組みは、m重ナーヴォから体系的に構成可能であり、構造写像はh写像で表現可能であるが、その複雑さが実用的有用性を制限する。