[論文レビュー] Higher Extension Modules and the Yoneda Product

Mohamed Barakat, Barbara A. Bremer|ArXiv.org|Feb 21, 2008

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

ひとこと要約

本稿は、$c$ 個の部分加群からなる鎖 $E_0 \geq \cdots \geq E_{c+1} = 0$ を持つモジュール $E$ の再構成について、その連続する部分因子と関連する 1-コサイクルを用いて考察する。$c=2$ の場合、2-拡張モジュールが存在するための必要十分条件は、2 つの合成可能な 1-コサイクルのヤヌエド積が消えることである。非空の場合、このようなモジュールの集合は、特定の 1-コサイクルの拡張群に従うアフィン空間をなす。

ABSTRACT

A chain of c submodules E =: E_0 >= E_1 >= ... >= E_c >= E_{c+1} := 0 gives rise to c composable 1-cocycles in Ext^1(E_{i-1}/E_i,E_i/E_{i+1}), i=1,...,c. In this paper we follow the converse question: When are c composable 1-cocycles induced by a module E together with a chain of submodules as above? We call such modules c-extension modules. The case c=1 is the classical correspondence between 1-extensions and 1-cocycles. For c=2 we prove an existence theorem stating that a 2-extension module exists for two composable 1-cocycles eta^M_L in Ext^1(M,L) and eta^L_N in Ext^1(L,N), if and only if their Yoneda product eta^M_L o eta^L_N in Ext^2(M,N) vanishes. We further prove a modelling theorem for c=2: In case the set of all such 2-extension modules is non-empty it is an affine space modelled over the abelian group that we call the first extension group of 1-cocycles, Ext^1(eta^M_L,eta^L_N) := Ext^1(M,N)/(Hom(M,L) o eta^L_N + eta^M_L o Hom(L,N)).

研究の動機と目的

• 連続する部分因子 $L_i = E_i/E_{i+1}$ と関連する 1-コサイクルから、鎖 $E_0 \geq \cdots \geq E_{c+1} = 0$ を再構成できる条件を同定すること。
• 古典的なヤヌエド対応（1-拡張と 1-コサイクルの間の対応）を $c > 1$ の長さの鎖へ一般化すること。
• ヤヌエド積とコサイクルの拡張群を用いて、$c=2$ の $c$-拡張モジュールの存在とモジュライ空間を特徴づけること。
• 三角方程式系を用いた明示的計算フレームワークを、環上での再構成問題の解法に提供すること。

提案手法

• 著者らは、$E_0 \geq \cdots \geq E_{c+1} = 0$ という部分加群の鎖を持つモジュール $E$ を $c$-拡張モジュールとして定義する。
• 各連続する部分因子のペアに対して、$\operatorname{Ext}^1(L_i, L_{i+1})$ に値をとる 1-コサイクルを関連させ、合成可能な 1-コサイクルの $c$-重を構成する。
• $c=2$ の場合、2-拡張モジュールが存在するための必要十分条件は、ヤヌエド積 $\eta^M_L \circ \eta^L_N \in \operatorname{Ext}^2(M,N)$ が消えることであることを証明する。
• モジュライ空間のモデル化に用いる拡張群として、1-コサイクルの最初の拡張群 $\operatorname{Ext}^1(\eta^M_L, \eta^L_N) := \operatorname{Ext}^1(M,N)/ (\operatorname{Ext}^0(M,L)\circ \eta^L_N + \eta^M_L \circ \operatorname{Ext}^0(L,N))$ を導入する。
• 再構成問題を、環 $D$ 上の三角方程式系の解法として表現し、明示的なヤヌエドの上げ方を用いる。
• ヤヌエド同値とヤヌエド積を用いて、拡張類と射影的分解内の準同型を関連させ、明示的計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 合成可能な $c$ 個の 1-コサイクルが、$c$ 個の部分加群を持つ単一のモジュール $E$ から生じる条件は何か？
• RQ2 $c=2$ の場合、2 つの合成可能な 1-コサイクルが誘導する 2-拡張モジュールが存在するための必要十分条件は何か？
• RQ3 このようなモジュールが存在する場合、すべての 2-拡張モジュールの集合の構造は何か？
• RQ4 2-拡張モジュールのモジュライ空間を代数的にどのように記述できるか？
• RQ5 再構成問題は、環上の連立一次方程式系に還元可能か？その可解性を保証する条件は何か？

主な発見

• 2 つの合成可能な 1-コサイクル $\eta^M_L \in \operatorname{Ext}^1(M,L)$ と $\eta^L_N \in \operatorname{Ext}^1(L,N)$ に対して、2-拡張モジュールが存在するための必要十分条件は、それらのヤヌエド積 $\eta^M_L \circ \eta^L_N \in \operatorname{Ext}^2(M,N)$ が消えることである。
• 非空の場合、すべての 2-拡張モジュールの集合は、アーベル群 $\operatorname{Ext}^1(\eta^M_L, \eta^L_N) = \operatorname{Ext}^1(M,N)/ (\operatorname{Ext}^0(M,L)\circ \eta^L_N + \eta^M_L \circ \operatorname{Ext}^0(L,N))$ に従うアフィン空間をなす。
• 指定された $c$-重の 1-コサイクルに対するすべての $c$-拡張モジュールの集合は、環 $D$ 上の連立方程式系の解空間と同型であり、一般には環上では三角形でない。
• ヤヌエド積は重要な障害を提供する：$c>2$ の場合、すべての連続するヤヌエド積 $\eta^{L_i}_{L_{i+1}} \circ \eta^{L_{i+1}}_{L_{i+2}}$ が消えることは必要であるが、十分ではない。
• 本稿は、ヤヌエド同値とヤヌエド積が、古典的 $c=1$ の場合を越えて、存在性とモジュライ分類の両方において不可欠な道具であることを確立した。
• 射影的分解と恒等写像の上げ方を用いた明示的計算により、ヤヌエド逆写像が構成可能であり、拡張類が複体内の準同型として実現可能である。