[論文レビュー] Third Mac Lane cohomology via categorical rings

Mamuka Jibladze, Teimuraz Pirashvili|ArXiv.org|Aug 21, 2006

Rings, Modules, and Algebras参考文献 8被引用数 25

ひとこと要約

本稿は、環 $ R $ と $ R $-双加法的加群 $ B $ に対する第3 Mac Lane コホロロジー群 $ H^3(R;B) $ と、$ \pi_0(\mathscr{R}) = R $ および $ \pi_1(\mathscr{R}) = B $ を満たすカテゴリカル環 $ \mathscr{R} $ の同値類の間の自然な全単射を確立し、Mac Lane 3-cocycle がカテゴリカル環の同値類を、標準的な構成と逆写像を介して分類することを示している。

ABSTRACT

It is proved that the third Mac Lane cohomology group of a ring R with coefficients in a bimodule B classifies categorical rings having R as the ring of isomorphism classes of objects and B as the bimodule of automorphisms of the neutral object.

研究の動機と目的

• カテゴリカル環を用いて、第3 Mac Lane コホロロジー群 $ H^3(R;B) $ のカテゴリカルモデルを提供すること。
• Mac Lane コホロロジーと環スペクトルの2型の分類との関係を明確にすること。
• Mac Lane 3-cocycle が、指定された $ \pi_0 $ および $ \pi_1 $ を持つカテゴリカル環を自然に同値類ごとに分類することを示すこと。
• 明示的な構成を介して、コホロロジー類とカテゴリカル環の同値類の間の標準的対応を確立すること。
• カテゴリカル環の特徴類が元のコホロロジー類を回復できることを示し、全単射が成立することを証明すること。

提案手法

• 3-cocycle $ \varphi $ からカテゴリカル環 $ \mathscr{R}_\varphi $ を構成し、対象を $ B \times R $ の元 $ (b,r) $ として定義し、加法および乗法を $ \varphi $ に依存する同型で定義する。
• $ \varphi $ を用いて $ \mathscr{R}_\varphi $ のモノイダル構造および環構造を定義し、結合則、単位元則、分配則の制約を $ \varphi $ の成分で表現する。
• カテゴリカル環としての $ \mathscr{R}_\varphi $ の整合性条件が、$ \varphi $ における Mac Lane 3-cocycle 条件と同値であることを示す。
• コホロロジー的に同値な 3-cocycle $ \varphi, \varphi' $ の間の 2-ホモモーフィズムを 2-コチェーン $ \gamma $ を用いて定義し、その整合性条件がコバウンダリー条件と一致することを検証する。
• 代表元と射 $ \sigma_{\cdot}, \sigma_{+} $ を選ぶことにより、カテゴリカル環の同値類から $ H^3(R;B) $ への逆写像を構成する。
• 2つの写像（コホロロジーからカテゴリカル環、そしてそれらの合成）の合成が恒等写像であることを証明し、全単射が成立することを示す。

実験結果

リサーチクエスチョン

• RQ1 Mac Lane コホロロジーは、カテゴリカル環を用いてどのようにカテゴリカルに解釈できるか？
• RQ2 Mac Lane コホロロジーにおける 3-cocycle とカテゴリカル環の構造との間の正確な対応関係は何か？
• RQ3 第3 Mac Lane コホロロジー群は、与えられた $ \pi_0 $ および $ \pi_1 $ を持つカテゴリカル環の同値類を分類できるか？
• RQ4 整合性同型が、コホロロジー的データとカテゴリカル環の構造とを結ぶ役割を果たすか？
• RQ5 カテゴリカル環の特徴類は、その元のコチェーンから回復可能か？ これにより完全な分類が保証されるか？

主な発見

• 第3 Mac Lane コホロロジー群 $ H^3(R;B) $ と、$ \pi_0(\mathscr{R}) = R $ および $ \pi_1(\mathscr{R}) = B $ を満たすカテゴリカル環 $ \mathscr{R} $ の同値類の集合との間に、自然な全単射が存在する。
• 3-cocycle $ \varphi $ からカテゴリカル環を構成する際、すべての必要な整合性条件が満たされるための必要十分条件は、$ \varphi $ が Mac Lane 3-cocycle であることである。
• コホロロジー的に同値な 3-cocycle $ \varphi $ と $ \varphi' $ は、2-コチェーン $ \gamma $ によって誘導される 2-ホモモーフィズムを介して、同値なカテゴリカル環を生成し、その同値性はコホロロジー関係で保存される。
• 特徴類写像 $ \langle \mathscr{R} \rangle $ は、元の $ \varphi $ のコホロロジー類を回復でき、全単射が適切に定義されかつ可逆であることが保証される。
• カテゴリカル環からコホロロジーへの逆写像は、標準的代表元と射 $ \sigma_{\cdot}, \sigma_{+} $ を選ぶことにより構成され、これによりコチェーン $ \varphi $ が回復される。
• 2つの写像（コホロロジーからカテゴリカル環、およびその逆）の合成が恒等写像であることを示し、対応関係が全単射であることを証明した。