[論文レビュー] Cohomology theory in 2-categories

Hiroyuki Nakaoka|ArXiv.org|Nov 17, 2008

Algebraic structures and combinatorial models参考文献 8被引用数 4

ひとこと要約

本稿は、対称的カテゴリカル群の2-category（SCG）を一般化する、アーベル圏の2カテゴリカルな類似物—相対的完全な2カテゴリ—を導入する。自己双対的で公理的な枠組みを確立することで、著者は、純粋に図式的技法に類似した方法を用いて、任意の短い相対的2完全な複体の系列から、長大なコホモロジー2完全列を構成する。主な貢献は、2カテゴリにおける統一的で双対に配慮されたコホモロジー理論の構築であり、SCGが中心的な例となる。

ABSTRACT

Recently, symmetric categorical groups are used for the study of the Brauer groups of symmetric monoidal categories. As a part of these efforts, some algebraic structures of the 2-category of symmetric categorical groups $\mathrm{SCG}$ are being investigated. In this paper, we consider a 2-categorical analogue of an abelian category, in such a way that it contains $\mathrm{SCG}$ as an example. As a main theorem, we construct a long cohomology 2-exact sequence from any extension of complexes in such a 2-category. Our axiomatic and self-dual definition will enable us to simplify the proofs, by analogy with abelian categories.

研究の動機と目的

• 対称的カテゴリカル群の2-category（SCG）を重要な例として含む、アーベル圏の2カテゴリカルな類似物を構築すること。
• 2カテゴリにおけるホモロジー代数の自己双対的で公理的な枠組みを提供し、双対性を活用して証明を簡略化すること。
• SCGにおける短い相対的2完全な複体の系列からコホモロジー2完全列を構成する手法を、より広いクラスの2カテゴリへ一般化すること。
• 高階カテゴリカルなホモロジー枠組みを通じて、対称的モノイダル圏におけるブロイラー群とピカード群の研究を統一すること。

提案手法

• 自己双対的な公理を備えた、アーベル圏の2次元的類似物としての相対的完全な2カテゴリを定義し、証明における対称性を保証する。
• 1-セルに対して2つの標準的因子分解系を確立する：1つは完全に共忠実かつ忠実な射からなるもので、もう1つは共忠実かつ完全に忠実な射からなるものである。
• 相対的完全な2カテゴリにおける複体の相対的2完全性の概念を導入し、SCGにおける既存の定義を一般化する。
• 図式的技法を用いて、任意の短い相対的2完全な複体の系列から長大なコホモロジー2完全列を構成する。
• フレームワーク全体に双対性を活用し、アーベル圏における古典的ホモロジー代数に類似した証明を簡略化する。
• 2次元の図式補題（例えば、スネイク補題の双対）を用いて、因子分解と完全列における2セルの整合性を処理する。

実験結果

リサーチクエスチョン

• RQ1 対称的カテゴリカル群（SCG）が自然な例となるような、アーベル圏の2カテゴリカルな類似物を定義できるか？
• RQ2 古典的ホモロジー代数における長大完全列は、2カテゴリの文脈にどのように一般化できるか？
• RQ3 2カテゴリがアーベル圏におけるそれと類似したコホモロジーティーリーをサポートするための必要十分条件は何か？
• RQ4 双対性は、証明を簡略化し、構成における対称性を保証するために、いかにフレームワークに組み込まれるべきか？
• RQ5 コホモロジー2完全列の構成は、群作用や双関手を備えたSCGから得られる他の2カテゴリに対しても適用可能か？

主な発見

• 本稿では、相対的完全な2カテゴリにおける任意の短い相対的2完全な複体の系列から、長大なコホモロジー2完全列を構成する。これはSCGにおける既存の結果を一般化する。
• フレームワークは自己双対的であり、証明の対称性を保証し、核や余核のような双対的構成の取り扱いを簡略化する。
• 任意の相対的完全な2カテゴリにおいて、適切な因子分解系が存在する：任意の1-セルは、完全に共忠実／忠実な射、または共忠実／完全に忠実な射を含む2通りの異なる因子分解を持つ。
• 長大なコホモロジー2完全列の構成は、すべて純粋に図式的推論に依存しており、下位の集合論的構造に依存しない。
• 2カテゴリSCGは、相対的完全な2カテゴリのモデル例として示され、フレームワークの適用可能性が裏付けられる。
• フレームワークは、$γ$-SMod、SCG × SCG、および双関手の2カテゴリなど、他の2カテゴリへの一般化をサポートしており、広範な適用可能性を示唆する。