Ext函手

数学では、ホモロジー代数の Ext函手(Ext functors)は、Hom函手の導来函手である。Ext函手は、最初代数幾何学で使われ、その後は数学の多くの分野で共通して使われている。名称の "Ext" は、函手とアーベル圏での拡大(Extension)との関係からきている。

定義と計算

R を環とし、Mod_R を R の上の加群の圏とする。B を Mod_R の対象とし、Mod_R の固定した対象 A に対し T(B) = Hom_R(A,B) とする。これは左完全函手であるので、右導来函手 RⁿT を持っている。Ext函手は、

[math]\operatorname{Ext}_R^n(A,B)=(R^nT)(B)[/math]

により定義される。これは入射分解

[math]0 \rightarrow B \rightarrow I^0 \rightarrow I^1 \rightarrow \dots [/math]

を適当にとり、

[math]0 \rightarrow \operatorname{Hom}_R(A,I^0) \rightarrow \operatorname{Hom}_R(A,I^1) \rightarrow \dots.[/math]

を計算することにより得ることができる。従って、(RⁿT)(B) はこの複体のホモロジーである。Hom_R(A,B) は複体から除外されることに注意する。

もうひとつの別な定義は、函手 G(A)=Hom_R(A,B) を使って定義される。固定された加群 B に対し、これは反変(contravariant)左完全函手であり、よって、右導来函手 RⁿG を持ち、

[math]\operatorname{Ext}_R^n(A,B)=(R^nG)(A)[/math]

を定義することができる。

Ext函手は、適当な射影分解

[math]\dots \rightarrow P^1 \rightarrow P^0 \rightarrow A \rightarrow 0, [/math]

を選択し、双対な計算

[math]0\rightarrow\operatorname{Hom}_R(P^0,B)\rightarrow \operatorname{Hom}_R(P^1,B) \rightarrow \dots[/math]

を実行することによっても得られる。このとき、(RⁿG)(A) はこの複体のホモロジーである。再び、Hom_R(A,B) が複体から除外されることに注意する。

これらの 2つの構成は、同型となることが分かり、よって両方とも Ext函手の計算に使うことができる。

加群の拡大

拡大の同値性

Ext函手の命名は、加群の拡大(extension)との関係で命名された。R-加群 A と B が与えられると、A の B による拡大は、R-加群の短完全系列

[math]0\rightarrow B\rightarrow E\rightarrow A\rightarrow0[/math]

である。2つの拡大

[math]0\rightarrow B\rightarrow E\rightarrow A\rightarrow0[/math]

[math]0\rightarrow B\rightarrow E^\prime\rightarrow A\rightarrow0[/math]

は、次の可換図式が存在するときに、（A の B による拡大として）同値であるという。

ファイル:EquivalenceOfExtensions.png.

5項補題により、真ん中の縦の矢印は同型である。A の B による拡大が、自明な拡大

[math]0\rightarrow B\rightarrow A\oplus B\rightarrow A\rightarrow0[/math]

と同値であれば、分裂(split)といわれる。

A の B による拡大

[math]0\rightarrow B\rightarrow E\rightarrow A\rightarrow 0[/math]

の同値類と、

[math]\operatorname{Ext}_R^1(A,B)[/math]

の元との間には、全単射な対応がある。

拡大のベール和

2つの拡大

[math]0\rightarrow B\rightarrow E\rightarrow A\rightarrow 0[/math]

[math]0\rightarrow B\rightarrow E^\prime\rightarrow A\rightarrow 0[/math]

が与えられると、ベール和(Baer sum)と呼ばれる [math]A[/math] からの引き戻し(pullback)

[math]\Gamma = \left\{ (e, e') \in E \oplus E' \; | \; g(e) = g'(e')\right\}.[/math]

が得られる。

関係式 [math](f(b)+e, e') \sim (e, f'(b)+e')[/math] を与えることと同じであるが、商

[math]Y = \Gamma / \{(f(b), 0) - (0, f'(b))\;|\;b \in B\}[/math],

をとると、拡大

[math]0\rightarrow B\rightarrow Y\rightarrow A\rightarrow 0[/math]

が得られる。ここに第一の → は [math]b \mapsto [(f(b), 0)] = [(0, f'(b))][/math] で、第二の → は [math](e, e') \mapsto g(e) = g'(e')[/math] であるので、E と E' の拡大のベール和と呼ばれる和が得られる。

拡大による同値類を同一視すると、ベール和は可換であり、自明な拡大を恒等元として持っている。拡大 0 → B → E → A → 0 は、射 g を -g に置き換えること反対の eg であり、真ん中の矢の逆にした拡大と同じである。

拡大の同値類を同一視した集合はアーベル群であり、函手 [math]Ext^1_R(A, B)[/math] を実現している。

アーベル圏の中でのExtの構成

ベール和の見方は、Extテンプレート:Su(A, B) の定義を、射影加群や入射加群といった観点なしでも、アーベル圏（圏が射影加群や入射加群をもたない加群であっても）上で Ext函手を定義することが可能となる。単純に、Extテンプレート:Su(A, B) を B による A の拡大の同値類の集合とすると、ベール和の下のアーベル群が形成される。同様に、高次 Ext群 Extテンプレート:Su(A, B) も n-拡大の同値類として定義することができる。ここで n-拡大とは完全列

[math]0\rightarrow B\rightarrow X_n\rightarrow\cdots\rightarrow X_1\rightarrow A\rightarrow0[/math]

であり、同値関係は、すべての m ∈ {1, 2, ..., n} に対し写像 X_m → X'_m が存在して可換図式となるような、つまり鎖写像(chain map) [math]X:\xi\rightarrow\xi[/math]' が存在するような2本の完全列

[math]\xi: 0\rightarrow B\rightarrow X_n\rightarrow\cdots\rightarrow X_1\rightarrow A\rightarrow0[/math]

[math]\xi': 0\rightarrow B\rightarrow X'_n\rightarrow\cdots\rightarrow X'_1\rightarrow A\rightarrow0[/math]

の同一視から生成される。

上記の 2つの n-拡大のベール和は、Xテンプレート:Su を A 上のX₁ と Xテンプレート:Su の引き戻し(pullback)、'Xテンプレート:Su をX_n と Xテンプレート:Su の B の下の押し出し(pushout) として得られる。Weibel, §3.4 を参照。従って、拡大のベール和は、

[math]0\rightarrow B\rightarrow X''_n\rightarrow X_{n-1}\oplus X'_{n-1}\rightarrow\cdots\rightarrow X_2\oplus X'_2\rightarrow X''_1\rightarrow A\rightarrow0[/math]

として定義される。

Ext函手の性質（追加）

Ext函手は、計算に有益な便利な性質をいくつか持っている。

• B が入射加群であるか、または、A が射影加群であれば、i > 0 に対して、Extテンプレート:Su(A, B) = 0 である。

• 逆も成立する。すべての A に対して Extテンプレート:Su(A, B) = 0 であれば、すべての A に対し Extテンプレート:Su(A, B) = 0 で、かつ B は入射的である。すべての B に対し Extテンプレート:Su(A, B) = 0 であれば、すべての B に対し Extテンプレート:Su(A, B) = 0 でかつ A は射影的である。

• [math]\operatorname{Ext}^n_R \left (\bigoplus_\alpha A_\alpha,B \right )\cong\prod_\alpha\operatorname{Ext}^n_R(A_\alpha,B)[/math]

• [math]\operatorname{Ext}^n_R \left (A,\prod_\beta B_\beta \right )\cong\prod_\beta\operatorname{Ext}^n_R(A,B_\beta)[/math]

特別なExt上の環構造と加群構造

Ext函手を理解するもう一つの非常に有用な方法は以下の通りである: Extテンプレート:Su(A, B) = 0 の要素を、A の射影分解 P_* に対し、写像 f: P_n → B の同値類と考えると、B で終わる長完全系列 Q_* を得て、次数 -n の鎖写像 f_*: P_* → Q_* へ、加群 P_m の射影性を使い写像 f を持ち上げる(lift)ことができる。そのような鎖写像のホモトピー類は、正確に上記の Ext函手の定義の同値類に対応することが分かる。

たとえば環 R が体 k や、k-代数(algebra)の上の群環のような、十分に良い条件下では、Extテンプレート:Su(k, k) に環の構造を入れることができる。積は同値な非常に多くの解釈を持ち、この解釈は Extテンプレート:Su(k, k) の元の様々な解釈に対応している。

ひとつの解釈として、鎖写像のこれらのホモトピー類の項として解釈がある。従って、2つの元の積は、対応する表現の成分により表現される。すると、k の分解をひとつ選ぶだけで、すべての計算が Hom_R(P_*,P_*) の中でできるようになり、これがまさに Ext_R(k,k) をコホモロジーとしてもつ微分次数付き環である。

Ext群もまた、完全系列のことばで解釈することができる。このことは、射影加群や入射加群の存在に依存しないという優位性を持っている。従って、上記の観点では、Extテンプレート:Su(A, B) は、ある同値関係の下で、B で始まり、A で終わる長さ n + 2 の完全系列のクラスとなる。従って、これは ... → X₁ → A → 0 と 0 → A → Y_n → ... を

[math]\cdots \rightarrow X_1\rightarrow Y_n\rightarrow \cdots [/math]

で置き換えることにより、Extテンプレート:Su(C, A) の元とつなぎ合わされる。ここの中の矢印は、函数 X₁ → A と A → Y_n の合成である。積は米田接合積と呼ばれる。

これらの観点は、双方で意味を持つ場合は常に同値となる。

同様の解釈の下で、充分に良い条件下では、再び、Extテンプレート:Su(k, M) は Extテンプレート:Su(k, k) 上の加群である。

興味深い例

[math]\mathbb{Z}[G][/math] を群 G の群環とすると、[math]\text{Ext}_{\mathbb{Z}[G]}^*(\mathbb{Z}, M)[/math] は、M に係数を持つ群コホモロジー(group cohomology) [math]H^*(G, M)[/math] である。

p 個の元を持つ有限体 F_p に対し、[math]H^*(G, M) = \text{Ext}_{\mathbb{F}_p[G]}^*(\mathbb{F}_p, M)[/math] であり、群コホモロジーは選ばれた基礎となる環には依存しない。

A が k-代数とすると、[math]\text{Ext}^*_{A \otimes_k A^{op}}(A, M)[/math] は、A-双加群に係数を持つホッホシルトコホモロジー(Hochschild cohomology) [math]HH^*(A, M)[/math] である。

R が可換環 k 上のリー代数 [math]\mathfrak g[/math] の普遍包絡代数であれば、[math]\text{Ext}_R^*(k, M)[/math] は加群 M に係数を持つリー代数コホモロジー(Lie algebra cohomology) [math]\operatorname{H}^*(\mathfrak g,M)[/math] である。

参照項目

• Tor函手
• グロタンディーク群
• コホモロジーの普遍係数定理

参考文献

• Gelfand, Sergei I.; Manin, Yuri Ivanovich (1999), Homological algebra, Berlin: Springer, ISBN 978-3-540-65378-3 
• テンプレート:Weibel IHA