[論文レビュー] On Parity Complexes and Non-abelian Cohomology

Lucian M. Ionescu|ArXiv.org|Aug 15, 1998

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

ひとこと要約

本稿は、非可換コホモロジーとモノイダル圏構造の統一的枠組みを提供するため、準モノイダル圏における結合則、可換則、モノイダル性といったカテゴリカル制約を特徴付けるために、パリティ（準）複体を導入する。非可換コホモロジーとモノイダル圏構造の間の対応関係を確立し、1-コサイクルを関手、2-コサイクルをモノイダル構造、3-コサイクルを結合則同型として解釈する。H3からH0までのコホモロジーグループは、準拡張、拡張、分解拡張、不変量を分類する。

ABSTRACT

To characterize categorical constraints - associativity, commutativity and monoidality - in the context of quasimonoidal categories, from a cohomological point of view, we define the notion of a parity (quasi)complex. Applied to groups gives non-abelian cohomology. The categorification - functor from groups to monoidal categories - provides the correspondence between the respective parity (quasi)complexes and allows to interpret 1-cochains as functors, 2-cocycles - monoidal structures, 3-cocycles - associators. The cohomology spaces H3, H2, H1, H0 correspond as usual to quasi-extensions, extensions, split extensions and invariants, as in the abelian case. A larger class of commutativity constraints for monoidal categories is identified. It is naturally associated with coboundary Hopf algebras.

研究の動機と目的

• 準モノイダル圏における結合則、可換則、モノイダル性といったカテゴリカル制約を特徴付けるためのコホモロジカルフレームワークを構築すること。
• パリティ（準）複体の概念を通じて、非可換コホモロジーをモノイダル圏へ一般化すること。
• コホモロジーグループと関手、モノイダル構造、結合則といった構造的特徴の間のカテゴリカルな対応関係を確立すること。
• コバウンダリーホップ代数に関連する自然なクラスの可換則制約を特定すること。
• 古典的なコホモロジカル解釈（H3からH0まで）を非可換設定へ拡張し、拡張と不変量を分類すること。

提案手法

• 準モノイダル圏におけるコホモロジカルツールとして、パリティ（準）複体の概念を導入する。
• 群にこのフレームワークを適用し、非可換コホモロジーを回復し、1-コサイクルと関手を結びつける。
• 群からモノイダル圏へのカテゴリフィケーションを通じて、2-コサイクルをモノイダル構造、3-コサイクルを結合則にマッピングする。
• コホモロジーグループH3、H2、H1、H0を用いて、準拡張、拡張、分解拡張、不変量を分類する。
• コバウンダリーホップ代数に関連する、モノイダル圏におけるより広いクラスの可換則制約を特定する。
• カテゴリフィケーションを通じて、群コホモロジーとモノイダル圏構造との間のファンクター的対応関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、準モノイダル圏における結合則や可換則といったカテゴリカル制約を、コホモロジカルツールを用いて体系的に特徴付けることができるか？
• RQ2 パリティ（準）複体は、非可換コホモロジーとモノイダル圏構造を統一する上で果たす役割は何か？
• RQ3 カテゴリフィケーションされた設定において、1-コサイクル、2-コサイクル、3-コサイクルは、それぞれ関手、モノイダル構造、結合則とどのように対応するか？
• RQ4 H3、H2、H1、H0のコホモロジーグループは、非可換設定における拡張と不変量の分類において、どのような意味を持つのか？
• RQ5 コバウンダリーホップ代数は、モノイダル圏におけるより広いクラスの可換則制約とどのように関係しているか？

主な発見

• 本稿は、パリティ複体における1-コサイクルがモノイダル圏間の関手に対応することを確立している。
• 2-コサイクルはモノイダル構造に対応し、テンソル積のコホモロジカル特徴付けを提供する。
• 3-コサイクルは結合則に対応し、結合則同型のコホモロジカル解釈を提供する。
• コホモロジーグループH3は準拡張を分類し、H2は拡張を分類し、H1は分解拡張を分類し、H0は不変量を分類する。
• モノイダル圏における、コバウンダリーホップ代数に関連する自然なクラスの可換則制約が新たに同定された。
• 群コホモロジーのカテゴリフィケーションにより、群レベルのコホモロジカルデータとモノイダル圏構造との間の明確な対応関係が得られた。