Tor関手

提供: miniwiki
2017/12/14/ (木) 11:24時点におけるja>ARAKI Satoruによる版 (w gl dim)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
移動先:案内検索

ホモロジー代数において、Tor 関手 (: Tor functor, torsion functor) はテンソル積の関手の導来関手である。それらは最初一般に代数トポロジーにおいてKünnethの定理English版普遍係数定理を表現するために定義された。

特に Rとし、R-Mod で左 R-加群を、Mod-R で右 R-加群の圏を表す[注釈 1]R-Mod の加群 B をひとつ選んで固定する。Mod-R の対象 A に対し、T(A) = ARB とおく。すると TMod-R からアーベル群の圏 Ab への右完全関手である[注釈 2]。そして、その左導来関手 LnT が定義される。

[math]\mathrm{Tor}_n^R(A,B)=(L_nT)(A)[/math]

とおく。すなわち、射影分解

[math]\cdots\longrightarrow P_2 \overset{d_2}{\longrightarrow} P_1 \overset{d_1}{\longrightarrow} P_0 \overset{\varepsilon}{\longrightarrow} A\rightarrow 0[/math]

をとり A の項を取り除き射影分解に B をテンソルして複体

[math]\cdots \longrightarrow P_2\otimes_R B \overset{d_2\otimes1}{\longrightarrow} P_1\otimes_R B \overset{d_1\otimes1}{\longrightarrow} P_0\otimes_R B \longrightarrow 0[/math]

を得る[注釈 3]。そしてこの複体のホモロジーをとる。

性質

  • すべての n ≥ 1 に対して、Torテンプレート:SuMod-R × R-Mod から Ab への加法的関手である。R が可換である場合には、Mod-R × Mod-R から Mod-R への加法的関手である。
  • 導来関手のすべての族に対して正しいように、すべての短完全列 0 → KLM → 0 は次の形の長完全列を誘導する。
[math]\cdots\rightarrow\mathrm{Tor}_2^R(M,B)\rightarrow\mathrm{Tor}_1^R(K,B)\rightarrow\mathrm{Tor}_1^R(L,B)\rightarrow\mathrm{Tor}_1^R(M,B)\rightarrow K\otimes_R B\rightarrow L\otimes_R B\rightarrow M\otimes_R B\rightarrow 0.[/math]
  • R が可換で rR零因子でなければ、
[math]\mathrm{Tor}_1^R(R/(r),B)=\{b\in B:rb=0\}[/math]

であり[1]、ここから用語 Tor (すなわち Torsion) が来ている。捩れ部分群参照。

  • さらに、すべての自由加群は長さ0の自由分解をもつので、上記の議論から、F が自由 R-加群であれば、すべての n ≥ 1 に対して Torテンプレート:Su(F, B) = 0。
[math]\mathrm{Tor}_n^R \left (\bigoplus_i A_i, \bigoplus_j B_j \right) \simeq \bigoplus_i \bigoplus_j \mathrm{Tor}_n^R(A_i,B_j).[/math]
  • 有限生成アーベル群の分類から、すべての有限生成アーベル群は ZZk のコピーの直和であることを知っている。このことと前の3つから、A が有限生成であるときにはいつでも Torテンプレート:Su(A, B) を計算することができる。

脚注

  1. R可換環であればふたつの圏は一致する。
  2. R が可換なときは、Mod-R から Mod-R への右完全関手でもある。
  3. ARB は現れず最後の射は単に0写像であることに注意せよ。
  4. 射影分解は自動的に平坦分解であるが逆は正しくないので平坦分解を許す方が柔軟であることに注意しよう。
  1. Weibel 1994, Example 3.1.8.
  2. Weibel 1994, Proposition 3.1.2(b).
  3. Weibel 1994, Exercise 3.2.1.

参考文献

関連項目