[論文レビュー] Crossed Bimodules over Rings and Shukla Cohomology

Nguyễn Tiến Quang, Pham Thi Cuc|arXiv (Cornell University)|Jan 4, 2013

Algebraic structures and combinatorial models参考文献 11被引用数 3

ひとこと要約

この論文は、Shuklaコホモロジーを用いて、環の交叉双モジュール型の環拡大の分類を確立し、Annカテゴリー理論を活用してEシステムと交叉双モジュールを結びつける。同型類の拡大と第二Shuklaコホモロジー群 $ H^2_{\text{Shu}}(Q, \text{Ker}\thinspace d) $ の間の自然な全単射を証明し、Hochschildおよび群コホモロジーに関する先行研究を一般化する。

ABSTRACT

In this paper we present some applications of Ann-category theory to classification of crossed bimodules over rings, classification of ring extensions of the type of a crossed bimodule.

研究の動機と目的

• 環の交叉双モジュール型の拡大をコホモロジー的手段を用いて分類すること。
• Annカテゴリー理論を用いて、Eシステムと環上の交叉双モジュールの間のカテゴリカル同値を確立すること。
• 群およびHochschildコホモロジーに関する先行結果を、環拡大の文脈に一般化すること。
• このような拡大の同型類が、第二Shuklaコホモロジー群 $ H^2_{\text{Shu}}(Q, \text{Ker}\thinspace d) $ の元と自然に全単射であることを示すこと。

提案手法

• Eシステムの概念を導入し、環上の交叉双モジュールの圏と同型であることを証明する。
• 厳密なAnnカテゴリーを用いてEシステムをモデル化し、Eシステムと厳密なAnnカテゴリーの部分圏との間のカテゴリカル同値を確立する。
• Annファンクター理論を適用して、離散圏 $ \text{Dis}Q $ からAnnカテゴリー $ \mathcal{A} $ への環拡大とAnnファンクターの間の対応を構成する。
• Eシステムのデータを用いて、交叉積拡大 $ E_0 = [B, \varphi, g', h', Q] $ を構成する。
• 代表元 $ e_u \in E $ を用いて写像 $ \eta: E_0 \to E $ を定義し、与えられた制約のもとでそれが環同型であることを示す。
• 写像 $ \eta $ を通じて拡大 $ \mathcal{E} $ が $ \mathcal{E}_F $ と同値であることを証明し、$ \varepsilon \circ \eta = \varepsilon_0 $ が成り立つことを示す。これにより、コホモロジーを用いた分類が確立される。

実験結果

リサーチクエスチョン

• RQ1 環の交叉双モジュール型の拡大は、どのようにコホモロジー不変量を用いて分類できるか？
• RQ2 Eシステム、環上の交叉双モジュール、およびAnnカテゴリーの間の関係は何か？
• RQ3 Shuklaコホモロジーは、このような環拡大をどのように分類するのか。また、この文脈においてHochschildコホモロジーをどのように一般化するのか？
• RQ4 Annファンクターは、これらの拡大の構成と分類において果たす役割は何か？
• RQ5 このような拡大の同型類とコホモロジー群の元との間に、自然な全単射が存在するか？

主な発見

• 拡大 $ (B, D, d, \theta) $ の同型類の集合と第二Shuklaコホモロジー群 $ H^2_{\text{Shu}}(Q, \text{Ker}\thinspace d) $ の間には自然な全単射が存在する。ここで $ \psi: Q \to \text{Coker}\thinspace d $ は拡大によって誘導される。
• 正則なEシステムの圏は、環上の交叉双モジュールの圏と同型であり、カテゴリカル同値が確立される。
• Annファンクター $ F: \text{Dis}Q \to \mathcal{A} $ から拡大 $ \mathcal{E}_F $ を構成する方法が、元の拡大 $ \mathcal{E} $ と、環同型 $ \eta $ を通じて同値であることが示された。
• 写像 $ \eta $ が加法および乗法を保存することを証明する。関係式 $ e_u + e_v = g'(u,v) + e_{u+v} $ および $ e_u e_v = h'(u,v) + e_{uv} $ は、Eシステム構造から導出される。
• 拡大の同値性は、$ \varepsilon \circ \eta = \varepsilon_0 $ を示すことによって検証され、コホモロジー不変量が拡大の同型類を同値関係で分類することを確認する。
• BauesおよびPirashviliによる $ \partial $-拡大およびHochschildコホモロジーに関する先行研究が、Shuklaコホモロジーを用いて環の文脈に一般化された。