[論文レビュー] Cohomological Classification of Ann-categories

Nguyễn Tiến Quang|arXiv (Cornell University)|May 26, 2011

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

ひとこと要約

本稿では、環のマックレーンコホモロジーを用いて、Ann-カテゴリーのコホモロジー的分類を確立し、同型類の集合と第3マックレーンコホモロジー群 $ H^3_{\text{MacL}}(R,M) $ の間の明確な全単射を示している。ここで $ R = \pi_0\mathcal{A} $ および $ M = \pi_1\mathcal{A} $ である。この結果は、従来のシュクラコホモロジーに基づく研究を一般化し、カテゴリカルな環の分類において誤りを是正している。特に、すべてのカテゴリカルな環がAnn-カテゴリーであるとは限らないことを示している。

ABSTRACT

The notion of Ann-categories is a categorification of the ring structure. Regular Ann-categories were classified by Shukla algebraic cohomology. In this article, we state and prove the precise theorem on classification for the general case due to Mac Lane cohomology for rings. And an application for classification problem of ring extensions is also introduced.

研究の動機と目的

• 一般の場合におけるAnn-カテゴリーの完全かつ正しいコホモロジー的分類を提供すること。これは、シュクラコホモロジーに基づく先行研究を拡張するものである。
• JibladzeとPirashviliによるカテゴリカルな環の分類定理の証明における欠落を解消すること。特に、テンソル積における単位の整合性を保証しないという問題を是正する。
• 双対数と非正規化3コホモロジーを用いた反例を構成することで、すべてのカテゴリカルな環がAnn-カテゴリーであるとは限らないことを示すこと。
• Ann-カテゴリーとマックレーンコホモロジーの関係を明確にし、Ann-カテゴリーの構造が $ H^3_{\text{MacL}}(R,M) $ の類に正確に対応することを示すこと。

提案手法

• 環 $ R $ と $ R $-双加群 $ M $ から、整合性条件を満たす構造制約 $ (\xi, \alpha, \lambda, \rho, \eta) $ を用いて型 $ (R,M) $ のAnn-カテゴリーを構成する。
• マックレーンコホモロジー群 $ H^3_{\text{MacL}}(R,M) $ を、結合則、可換則、分配則の制約を符号化する複体のコホモロジーとして定義する。
• 型 $ (R,M) $ のAnn-カテゴリーの同型類の集合と $ H^3_{\text{MacL}}(R,M) $ の間の全単射を確立し、各Ann-カテゴリーが一意なコホモロジー類に対応することを証明する。
• 障害理論を用いて、コホモロジー類の引き戻しと押し出しを用いてAnn-ファンクターの分類を行う。
• 整数環上の双対数環 $ \mathbb{Z}[\epsilon]/(\epsilon^2) $ を用いて、反例としてのカテゴリカルな環を構成し、単位整合性条件 (U) を満たさないためAnn-カテゴリーでないことを示す。
• 文献[2]の分類定理が誤りであることを証明する。これは $ A \otimes 0 \to 0 $ および $ 0 \otimes A \to 0 $ が同型でないことを理由に、$ \pi_0\mathcal{A} $-双加群構造が破綻するためである。

実験結果

リサーチクエスチョン

• RQ1 一般の場合におけるAnn-カテゴリーは、シュクラコホモロジーで分類された正規ケースを超えて、コホモロジー的不変量を用いて分類可能か？
• RQ2 Ann-カテゴリーの構造と基礎となる環および双加群のマックレーンコホモロジーとの間の明確な関係は何か？
• RQ3 文献[2]におけるカテゴリカルな環の分類定理が失敗する理由は何か？また、カテゴリカルな環がAnn-カテゴリーであるための条件として欠落しているものは何か？
• RQ4 Ann-カテゴリーでないカテゴリカルな環は存在するか？その場合、それがAnn-カテゴリーでない理由となるコホモロジー的障害は何か？
• RQ5 コホモロジー複体に非正規化3コホモロジーが存在することは、文献[2]の分類が誤りであることを示唆するか？

主な発見

• 型 $ (R,M) $ のAnn-カテゴリーの同型類の集合と第3マックレーンコホモロジー群 $ H^3_{\text{MacL}}(R,M) $ の間に自然な全単射が存在し、明確な分類が確立された。
• 文献[2]の分類定理は誤りである。これは $ A \otimes 0 \to 0 $ および $ 0 \otimes A \to 0 $ が同型でないことを理由に、$ \pi_0\mathcal{A} $-双加群構造が破綻するためである。
• 双対数環 $ \mathbb{Z}[\epsilon]/(\epsilon^2) $ 上に、非正規化3コホモロジー $ \lambda $ を用いた反例カテゴリカルな環を構成した。この環はすべてのカテゴリカルな環の公理を満たすが、単位整合性条件 (U) を満たさないためAnn-カテゴリーではない。
• 関数 $ \lambda $ を $ \lambda(a_r + b_r\epsilon, a_s + b_s\epsilon, a_t + b_t\epsilon) = b_r(a_s + a_t) $ で定義すると、$ R_1 $ から $ R_5 $ の5つの式をすべて満たすことが確認され、これはカテゴリカルな環を定義する。
• $ H^3_{\text{Sh}}(R,M) \hookrightarrow H^3_{\text{MacL}}(R,M) $ の包含写像は厳密である。これはシュクラコホモロジーがマックレーンコホモロジーの真の部分群であることを示し、一般の分類にはより大きな群が必要であることを示している。
• 条件 (U) — すなわち $ (L^A, \hat{L}^A) $ および $ (R^A, \hat{R}^A) $ が単位制約と可換な $ \oplus $-ファンクターであること — は、カテゴリカルな環がAnn-カテゴリーであるための必要十分条件である。