Ext関手とは? わかりやすく解説

Ext関手

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/07/04 15:36 UTC 版)

ナビゲーションに移動 検索に移動

数学では、ホモロジー代数Ext関手(Ext functors)は、Hom関手導来関手であり、Tor関手と同様、ホモロジー代数学の中心概念である。ホモロジー代数学では、代数的トポロジーのアイデアが代数的構造不変量を定義するのに使われている。群のコホモロジーリー環結合多元環はすべてExtの言葉で定義できる。Extという名称は、最初のExt群Ext1により加群拡大が分類できることから来ている。 Ext関手は、最初代数幾何学で使われ、その後は数学の多くの分野で共通して使われている。名称の "Ext" は、関手アーベル圏での拡大(Extension)との関係からきている。

定義と計算

Rとし、ModRR の上の加群とする。B を ModR の対象とし、ModR の固定した対象 A に対し T(B) = HomR(A,B) とする。これは左完全関手であるので、右導来関手 RnT を持っている。Ext関手は、

.

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

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

AB による拡大

同値類と、

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

拡大のベール和

2つの拡大

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

が得られる。

関係式 を与えることと同じであるが、商

,

をとると、拡大

が得られる。ここに第一の → は で、第二の → は であるので、E と E' の拡大のベール和と呼ばれる和が得られる。

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

拡大の同値類を同一視した集合はアーベル群であり、関手 を実現している。

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

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

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

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

上記の 2つの n-拡大のベール和は、X′′
1
を A 上のX1 と X
1
引き戻し(pullback)、'X′′
n
をXn と X
n
の B の下の押し出し英語版(pushout) として得られる。Weibel, §3.4 を参照。従って、拡大のベール和は、

として定義される。

Ext関手の性質(追加)

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

  • B が入射加群であるか、または、A が射影加群であれば、i > 0 に対して、Exti
    R
    (A, B) = 0 である。
  • 逆も成立する。すべての A に対して Ext1
    R
    (A, B) = 0 であれば、すべての A に対し Exti
    R
    (A, B) = 0 で、かつ B は入射的である。すべての B に対し Ext1
    R
    (A, B) = 0 であれば、すべての B に対し Exti
    R
    (A, B) = 0 でかつ A は射影的である。

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

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

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

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

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

で置き換えることにより、Extm
R
(C, A) の元とつなぎ合わされる。ここの中の矢印は、函数 X1 → A と A → Yn の合成である。積は米田接合積と呼ばれる。

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

同様の解釈の下で、充分に良い条件下では、再び、Ext*
R
(k, M) は Ext*
R
(k, k) 上の加群である。

興味深い例

G の群環とすると、 は、M に係数を持つ群コホモロジー である。

p 個の元を持つ有限体 Fp に対し、 であり、群コホモロジーは選ばれた基礎となる環には依存しない。

A が k-代数とすると、 は、A-双加群に係数を持つホッホシルトコホモロジー英語版 である。

R が可換環 k 上のリー代数 普遍包絡代数であれば、 は加群 M に係数を持つリー代数コホモロジー英語版 である。

脚注

  1. ^ injectiveは、「単射的」「移入的」とも呼ばれる。

参照項目

参考文献


Ext 関手

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/04/30 06:56 UTC 版)

ホモロジー代数学」の記事における「Ext 関手」の解説

詳細は「Ext関手」を参照 R を環とし、ModR を R 上の加群の圏とする。B in ModR とし、固定されA in ModR に対し T(B) = HomR(A,B) とおく。これは左完全関手でありしたがって右導来関手 RnT をもつ。Ext 関手は Ext R n ⁡ ( A , B ) = ( R n T ) ( B ) {\displaystyle \operatorname {Ext} _{R}^{n}(A,B)=(R^{n}T)(B)} で定義される。これは任意の移入分解 0 → B → I 0 → I 1 → … {\displaystyle 0\rightarrow B\rightarrow I^{0}\rightarrow I^{1}\rightarrow \dots } をとり 0 → Hom R ⁡ ( A , I 0 ) → Hom R ⁡ ( A , I 1 ) → … {\displaystyle 0\rightarrow \operatorname {Hom} _{R}(A,I^{0})\rightarrow \operatorname {Hom} _{R}(A,I^{1})\rightarrow \dots } を計算することによって計算できる。すると (RnT)(B) はこの複体ホモロジーである。HomR(A,B) は複体から除かれていることに注意せよ関手 G(A)=HomR(A,B) を使って別の定義与えられる固定され加群 B に対し、これは反変左完全関手であり、したがって右導来関手 RnG ももっており、 Ext R n ⁡ ( A , B ) = ( R n G ) ( A ) {\displaystyle \operatorname {Ext} _{R}^{n}(A,B)=(R^{n}G)(A)} と定義できる。これは任意の射影分解 ⋯ → P 1 → P 0 → A → 0 , {\displaystyle \dots \rightarrow P^{1}\rightarrow P^{0}\rightarrow A\rightarrow 0,} を選び、 0 → Hom R ⁡ ( P 0 , B ) → Hom R ⁡ ( P 1 , B ) → … {\displaystyle 0\rightarrow \operatorname {Hom} _{R}(P^{0},B)\rightarrow \operatorname {Hom} _{R}(P^{1},B)\rightarrow \dots } を計算して双対的に続けることによって計算できる。すると (RnG)(A) はこの複体ホモロジーである。HomR(A,B) が除かれていることに再び注意する。 これらの2つ構成同型結果もたらすことがわかり、したがって Ext 関手を計算するのにどちらを使ってもよい。

※この「Ext 関手」の解説は、「ホモロジー代数学」の解説の一部です。
「Ext 関手」を含む「ホモロジー代数学」の記事については、「ホモロジー代数学」の概要を参照ください。

ウィキペディア小見出し辞書の「Ext関手」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「Ext関手」の関連用語

Ext関手のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



Ext関手のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのExt関手 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのホモロジー代数学 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS