[論文レビュー] On exactness of long sequences of homology semimodules

Alex Patchkoria|ArXiv.org|Oct 3, 2006

Commutative Algebra and Its Applications参考文献 2被引用数 16

ひとこと要約

本稿では、半モジュールの鎖複体のシュライヤー短完全系列に関連する長完全系列の完全性が成立する条件を確立する。群完備化関手と消去可能半モジュールの性質を活用することで、終域の複体が消去可能半モジュールから成る場合、あるいは準同型がモジュールを経由して因数分解できる場合には、ホモロジー系列における同型の正規性が保証され、完全性が成立することを証明する。

ABSTRACT

We investigate exactness of long sequences of homology semimodules associated to Schreier short exact sequences of chain complexes of semimodules.

研究の動機と目的

• 半モジュールの鎖複体のシュライヤー短完全系列から導かれる長ホモロジー系列の完全性を調査すること。
• 長ホモロジー系列における接続準同型および誘導された準同型が正規となる十分条件を特定すること。
• モジュールの文脈における古典的ホモロジー代数の結果を、特に消去可能およびモジュール型構造を想定した半モジュールの文脈へと拡張すること。
• 群完備化関手 $ K(-) $ が半モジュールのホモロジー系列において完全性をどのように保つのかを明確にすること。

提案手法

• 半モジュールの鎖複体の準同型に対して、マッピングコーンの構成を用いて長完全系列を関連付ける。
• 半モジュールを $ K(\Lambda) $-モジュールに変換するため、群完備化関手 $ K(-) $ を適用し、古典的ホモロジー代数的手法の適用を可能にする。
• 消去可能半モジュールの概念を用いて、標準的写像 $ k_A: A \to K(A) $ の単射性を保証し、完全性に不可欠な性質を確保する。
• 長ホモロジー系列における誘導された準同型 $ H_n(i_f) $, $ H_n(p_f) $, および $ \partial_n(E_f) $ の正規性を検証する。
• 等価性 $ H_n(X[-1]) = H_{n-1}(X) $ および $ \partial_n(E_f) = H_{n-1}(f) $ を用いて、長系列を元の準同型と関連付ける。
• 関手 $ K $ がマッピングコーンと可換であるという事実を用い、モジュールの場合の完全性を半モジュールの場合へと移行する。

実験結果

リサーチクエスチョン

• RQ1 半モジュールの鎖複体のシュライヤー短完全系列に関連する長ホモロジー系列が完全となる条件は何か？
• RQ2 ホモロジー系列における接続準同型 $ \partial_n(E_f) $ が $ \Lambda $-準同型として正規となるのはいつか？
• RQ3 群完備化関手 $ K(-) $ は半モジュールホモロジーの文脈で完全性をどのように保っているか？
• RQ4 半モジュールの消去可能性が長ホモロジー系列の完全性を保証するために果たす役割は何か？
• RQ5 半モジュール複体の準同型から導かれるホモロジー系列が、その $ K $-完備化のホモロジー系列と一致するのはどのような場合か？

主な発見

• 各 $ X'_n $ が $ \Lambda $-半モジュールであり、かつ $ X_n $ が $ \Lambda $-モジュールであるとき、長ホモロジー系列 $ H(E_f) $ はすべての場所で完全である。
• 同じ条件下で、誘導された準同型 $ H_n(i_f) $, $ H_n(p_f) $, および $ \partial_n(E_f) $ はすべて $ \Lambda $-準同型として正規である。
• 群完備化関手 $ K(-) $ によって完全性が保たれ、$ X'_n $ が消去可能であれば、$ H_n(p_f)(H_n(C_f)) = H_n(K(p_f))(H_n(K(C_f))) $ が成り立つ。
• $ X'_n $ が $ \Lambda $-モジュールであるとき、ホモロジー系列は完全のままであり、$ \partial_n(E_f) = H_{n-1}(f) $ は正規である。
• 接続準同型は $ \partial_n(E_f) = H_{n-1}(f) = \partial_n(K(E_f))H_n(k_{X[-1]}) $ を満たし、半モジュールとモジュールレベルのホモロジー系列を結びつける。
• 本結果は、特に消去可能性およびモジュール条件の下で、ホモロジー代数における古典的完全性を半モジュールの文脈へと一般化する。