トーション関手の名前の由来

1425

はじめに

本記事では環といえば常に単位元を持つ可換環であるとします。

「ねじれ（torsion）」という語は大雑把にいうと代数的な集合の元が周期的な振る舞いをすることを指します。例えばアーベル群 $G$ の元 $g$ の位数が $n$ なら
$g + g + \dots + g = n g = 0$
となるので $(n + 1) g = g$ が得られます。すなわち $g$ は周期的なのでねじれていると言えるでしょう。しかし、ホモロジー代数で登場する torsion functor の定義からはねじれ的な雰囲気は一切感じられません。torsion という名前がついているのにも関わらずです。これは一体どういうことなのでしょうか。この謎を一緒に解き明かしていきましょう！！

基本事項の確認

ねじれ部分加群

$A$ を整域とし、 $M$ を $A$ -加群とする。
$T (M) = {x \in M | \exists a \in A, a \neq 0 \land a x = 0}$ を $M$ のねじれ部分加群という。

この定義によれば最初に紹介したアーベル群（すなわち $Z$ 加群）のねじれた元の集合はねじれ部分加群になっていますよね。ここでねじれ部分加群を取る操作が関手になっていることを確認しておきましょう。

$f : M ⟶ N$ を $A$ 加群の準同型とする。このとき $f (T (M)) \subset T (N)$ が成り立つ。したがって $f$ の $T (M)$ への制限を $T (f)$ とおくと $T (f)$ は $T (M)$ から $T (N)$ への加群の準同型になる。

したがって、この対応は関手的である。すなわち $f, g$ を準同型とすると
$T (g \circ f) = T (g) \circ T (f)$ が成り立つ。

$x \in T (M)$ とすると、ある $A$ の零でない元 $a$ について $a x = 0$ が成り立つ。したがって $f (a x) = a f (x) = 0$ だから $f (x) \in T (N)$ となり、 $f (T (M)) \subset T (N)$ が得られる。 $T (f)$ や $T (g)$ は制限なので関手的であることは明らかである。 $◻$

このことは $T$ が ${Mod}_{A} \in M ⟼ T (M) \in {Mod}_{A}$ によって関手となっていることを示しています。ここで ${Mod}_{A}$ とは $A$ -加群の圏のことを指します。　

次にトーション関手の定義を確認しましょう。

トーション関手

$A$ を環とし、 $M, N$ を $A$ -加群とする。
$⟶ P_{n} ⟶ P_{n - 1} ⟶ \dots ⟶ P_{0} ⟶ M ⟶ 0$ を $M$ の射影的分解、
$⟶ Q_{n} ⟶ Q_{n - 1} ⟶ \dots ⟶ Q_{0} ⟶ N ⟶ 0$ を $N$ の射影的分解とする。このとき $A$ -加群の複体
$⟶ N \otimes_{A} P_{n} ⟶ N \otimes_{A} P_{n - 1} ⟶ \dots ⟶ N \otimes_{A} P_{0} ⟶ 0$ $⟶ Q_{n} \otimes_{A} M ⟶ Q_{n - 1} \otimes_{A} M ⟶ \dots ⟶ Q_{0} \otimes_{A} M ⟶ 0$ のホモロジー群 $H_{n} (N \otimes_{A} P_{⋆})$ と $H_{n} (Q_{⋆} \otimes_{A} M)$ は同型であり、これを ${Tor}_{n}^{A} (M, N)$ と書いてトーションと呼ぶ。トーションは $M$ を固定したとき
$N ⟼ {Tor}_{n}^{A} (M, N)$ によって、 $A$ -加群の圏 ${Mod}_{A}$ から ${Mod}_{A}$ への共変関手となる。関手として扱うときは特にトーション関手 と呼ぶ。

最初に紹介したようにねじれ感は一切ありませんね。(笑) それではこれらの二つの概念がどのように結びついているのかを見ていきましょう。

トーション関手とねじれ部分加群の関係

$A$ を整域、 $M$ を $A$ -加群、 $a \in A$ を零でない元とすると ${Tor}_{1}^{A} (A / (a), M) ≅ {x \in M | a x = 0}$ が成り立つ。

$0 ⟶ A ⟶ A ⟶ A / (a) ⟶ 0$ は完全列である。ただし、 $f : A ⟶ A$ は $a$ 倍写像である。実際、 $A$ が整域であることから $f$ は単射であり、 $(a)$ の $A / (a)$ における像は ${0}$ であるから完全列となることがわかる。したがってトーション完全列
${Tor}_{1}^{A} (A, M) ⟶ {Tor}_{1}^{A} (A / (a), M) ⟶ A \otimes M ⟶ A \otimes M ⟶ A / (a) \otimes M ⟶ 0$ が得られる。 $A$ は平坦 $A$ -加群であるから ${Tor}_{1}^{A} (A, M) = {0}$ である. したがって　 ${Tor}_{1}^{A} (A / (a), M) ⟶ A \otimes M$ 　は単射である。よって
${Tor}_{1}^{A} (A / (a), M) ≅ Ker (f \otimes 1)$ が成り立つ。 $(a) \otimes M = 1 \otimes a M ≅ a M$ と $A \otimes M ≅ M$ が成り立つから $f \otimes 1$ は $M ∋ x ⟼ a x \in M$ と同一視できる。したがって
${x \in M | a x = 0} ≅ Ker (f \otimes 1)$ が得られ、証明が完了する。 $◻$ 　

この命題でトーション関手とねじれ部分加群が少し近づいた感じがしますね。ここからもう少し考察を進めると、実はねじれ部分加群をとる関手はトーション関手の特別な場合であることがわかります。以下ではそのことを見ていきましょう。

$(M_{i})_{i \in I}$ をある一つの $A$ -加群の部分加群の族とし、添字集合 $I$ の任意の $2$ 元 $i, j$ に対して $M_{i} + M_{j} \subseteq M_{k}$ を満たす $k \in I$ が存在するとする。 $i \leq j$ を $M_{i} \subset M_{j}$ によって定義し、 $i \leq j$ に対して $μ_{i j} : M_{i} ⟶ M_{j}$ は埋め込みとする。このとき $lim_{⟶} M_{i} = \sum M_{i} = ⋃ M_{i}$ が成り立つ.

$\sum M_{i} = M$ とおき、 $μ_{i}$ を $M_{i} ⟶ M$ の埋め込みとする。各 $i \in I$ について $A$ 加群の準同型 $p_{i} : M_{i} ⟶ N$ が定まっていて $i \leq j$ ならば $p_{i}$ は $p_{j}$ の制限になっているとする。 $μ_{i j}$ は埋め込みなので明らかに $p_{i} = p_{j} \circ μ_{i j}$ が成り立つ。 $M$ の任意の元 $x$ は $I$ の有限部分集合 $J$ を用いて $x = \sum_{j \in J} a_{j} x_{j} (a_{j} \in A, x_{j} \in M_{j})$ と表される。よって仮定よりある $k \in I$ が存在して $x \in M_{k}$ が成立するから、準同型 $p : M ⟶ N$ 　を
$x \in M_{i} ⟹ p (x) = p_{i} (x)$ として定義することができる。 $p$ は全ての $i \in I$ に対して $p_{i} = p \circ μ_{i}$ を満たす。もし $p^{'}$ が $p_{i} = p^{'} \circ μ_{i}$ を全ての $i$ について満たすなら明らかに $x \in M_{i} ⟹ p^{'} (x) = p_{i} (x)$ となるから $p_{i} = p \circ μ_{i}$ を満たす $p$ は一意に定まることがわかる。したがって順極限の普遍性から $lim_{⟶} M_{i} ≅ \sum M_{i}$ が成り立つ。

$\sum M_{i} \supset ⋃ M_{i}$ は明らかで、 $\sum M_{i}$ の元の表示から逆の包含もすぐにわかる。以上より $lim_{⟶} M_{i} = \sum M_{i} = ⋃ M_{i}$ が示された。 $◻$

以下、 $M (a) = {x \in M | a x = 0}$ とおきます。

$A$ を整域とする。 $T (M) ≅ lim_{⟶} {({Tor}_{1}^{A} (A / (a), M))}_{a \neq 0}$ が成り立つ。

まず $A$ の $0$ でない元の集合について射を $(b) \supseteq (a) ⟹ b ⟶ a$ と定める。 $(a) \subseteq (b)$ のとき $x \in M$ について $b x = 0$ ならば $a x = 0$ であるから埋め込み
${Tor}_{1}^{A} (A / (a), M) = M (a) ⟶ M (b) = {Tor}_{1}^{A} (A / (b), M)$ が定まる。これによって ${Tor}_{1}^{A} (A / (a), M)$ は添字圏を $A - {0}$ とする順系をなすことがわかり、したがってその順極限が定まる。

$T (M) = ⋃_{a \neq 0} M (a)$ である。 $a, b \neq 0$ について $M (a) + M (b) \subseteq M (a b)$ だから補題 $3$ より
$lim_{⟶} M (a) = ⋃_{a \neq 0} M (a)$ が成り立つ。したがって定理 $4$ を用いると $T (M) ≅ lim_{⟶} {({Tor}_{1}^{A} (A / (a), M))}_{a \neq 0}$ が得られた。 $◻$

さあ、もう一踏ん張りです。ここで、証明は省きますが次の命題が有効になります。（実はこの命題は https://ja.m.wikipedia.org/wiki/Tor関手を参照したのですが、証明がわからなかったものです。もし知っている方がいらっしゃったら教えていただけると助かります。）

トーション関手はフィルター余極限を保存する。すなわち $lim_{i} M_{i}$ を添字圏がフィルター圏であるような $A$ -加群の余極限であるとすると ${Tor}_{n}^{A} (lim_{i} M_{i}, N) ≅ lim_{i} ({Tor}_{n}^{A} (M_{i}, N))$ が成り立つ。

ここで $I$ がフィルター圏である、というのは $I$ が次の条件を満たすことを指します。

$I$ は空ではない。
任意の対象 $i, j$ について $k$ が存在して射 $i ⟶ k$ と $j ⟶ k$ が存在する。
$f, g$ が共に射 $i ⟶ j$ ならば $k$ と射 $h : j ⟶ k$ が存在して $h \circ f = h \circ g$ が成り立つ。

この定義によれば先程定義した添字圏 $A - {0}$ がフィルター圏であることは簡単にわかります。実際 $a, b \in A - {0}$ に対して $(a), (b) \supseteq (a b)$ となるので 2 が成り立ちますし、二つの対象間の射は常に一つであるので 3 も成り立ちます。したがって $(a) \subseteq (b)$ ならば埋め込み $A / (b) ⟶ A / (a)$ が存在することに注意して命題 5 を合わせると次の定理が示されました。