鎖複体のソースを表示

{{redirect|バウンダリ|[[競走馬]]|バウンダリー}}
{{出典の明記|date=2018年8月}}
数学において、'''鎖複体'''（さふくたい）あるいは'''チェイン複体''' ({{lang-en-short|chain complex}}) と'''双対鎖複体'''あるいは'''余鎖複体'''、'''コチェイン複体''' ({{lang-en-short|cochain complex}}) は、元来は[[代数トポロジー]]の分野で使われていた。（余）鎖複体は、[[位相空間]]の様々な次元の（コ）{{仮リンク|サイクル (代数トポロジー)|label=サイクル|en|cycle (algebraic topology)}}と（コ）[[バウンダリ (代数トポロジー)|バウンダリ]]の間の関係を表す代数的な手段である。より一般的に、[[ホモロジー代数]]では、空間との関係を立ち去った抽象的な鎖複体の研究がされる。ホモロジー代数としての研究では、（余）鎖複体を公理的に[[代数的構造]]として扱う。

（余）鎖複体の応用は、通常、[[ホモロジー群]]（余鎖複体では[[コホモロジー群]]）を定義し適用する。より抽象的な設定では、様々な同値関係（たとえば、{{仮リンク|チェインホモトピー|en|chain homotopy}}のアイデアで始まるもの）が複体へ適用される。鎖複体は、[[アーベル圏]]で定義することも容易にできる。

==定義==
'''鎖複体''' <math>(A_\bullet, d_\bullet)</math> は、[[アーベル群]]、あるいは[[環上の加群|加群]]の列 ..., ''A''<sub>2</sub>, ''A''<sub>1</sub>, ''A''<sub>0</sub>, ''A''<sub>&minus;1</sub>, ''A''<sub>&minus;2</sub>, ... であり、[[準同型]]（'''境界作用素''' (boundary operator) あるいは'''微分''' (differential) と呼ばれる) ''d<sub>n</sub>'': ''A<sub>n</sub>'' → ''A''<sub>''n''&minus;1</sub> で結ばれ、任意の2つの引き続いた境界作用素の合成は、すべての ''n'' について 0 となる (''d''<sub>''n''</sub> ∘ ''d''<sub>''n''+1</sub> = 0) ような作用素である。鎖複体は、普通は次のように書かれる。
:<math>\cdots \to
A_{n+1} \xrightarrow{d_{n+1}} A_n \xrightarrow{d_n} A_{n-1} \xrightarrow{d_{n-1}} A_{n-2} \to
 \cdots  \xrightarrow{d_2} A_1 \xrightarrow{d_1}
A_0 \xrightarrow{d_0} A_{-1} \xrightarrow{d_{-1}} A_{-2} \xrightarrow{d_{-2}}
\cdots
</math>

鎖複体の概念を少し変えたものが、'''双対鎖複体''' (cochain complex) の概念である。'''双対鎖複体''' <math>(A^\bullet, d^\bullet)</math> は[[アーベル群]]、もしくは[[環上の加群|加群]]の列 ..., ''A''<sup>&minus;2</sup>, ''A''<sup>&minus;1</sup>, ''A''<sup>0</sup>, ''A''<sup>1</sup>, ''A''<sup>2</sup>, ... であり、[[準同型]] <math>d^n\colon A^n \to A^{n + 1}</math> により結ばれ、2つの連続する写像は、すべての ''n'' についてゼロ写像 : <math>d^{n + 1} d^n = 0</math> である。

:<math>
\cdots \to
A^{-2} \xrightarrow{d^{-2}}
A^{-1} \xrightarrow{d^{-1}}
A^0 \xrightarrow{d^0}
A^1 \xrightarrow{d^1}
A^2 \to \cdots \to
A^{n-1} \xrightarrow{d^{n-1}}
A^n \xrightarrow{d^n}
A^{n+1} \to \cdots.</math>

各々の <math>A_n</math> あるいは、<math>A^n</math> の添え字 <math>n</math> は、'''次数''' (degree)、あるいは次元と呼ばれる。鎖複体と双対鎖複体の定義の唯一の違いは、鎖複体の場合は、境界作用素が次数を下げることに対し、双対複体の境界作用素は次数を上げることである。つまり、片側にのみ無限に続く複体でなければ、鎖複体と余鎖複体は、形式的には全く同じものである。

[[ほとんどすべての]] ''A<sub>i</sub>'' が 0 である、つまり、有限個を除き、左右に 0 になり延長されている場合を'''有界鎖複体''' (bounded chain complex) という。例として、（有限）[[単体複体]]の[[ホモロジー論]]を定義する複体がある。鎖複体は、ある固定した次数 ''N'' より上ですべて 0 であれば'''上に有界''' (bounded above) といい、ある固定した次数より小さいときにすべて 0 となる場合を'''下に有界''' (bounded below) という。明らかに、上にも下にも有界であることと、複体が有界であることとは同値である。

インデックスを省いて、''d'' についての基本的関係は、

:<math>d d = 0</math>

と考えることができる。鎖複体の個別の群の元を、'''チェイン''' (chain)、'''鎖'''（コチェイン複体では '''コチェイン''' (cochain)）と呼ぶ。鎖複体の場合の ''d'' の[[像 (数学)|像]]を'''バウンダリ''' (boundary)、'''境界輪体'''、双対鎖複体の場合は'''コバウンダリ''' (coboundary)、'''余境界輪体'''と呼び、その全体は群をなす。鎖複体の場合 ''d'' の[[核 (代数学)|核]]（つまり、''d'' により 0 へ写される元のなす部分群）の元は、'''サイクル''' (cycle) 、'''輪体'''、双対鎖複体の場合は'''コサイクル''' (cocycle)、'''余輪体'''と呼ばれる。基本的な関係から、（コ）バウンダリーは（コ）サイクルである。この現象は、（コ）ホモロジーを使い系統的に研究されている。

===チェイン写像とテンソル積===
チェイン写像（鎖写像）と呼ばれる、鎖複体の間の自然な[[射]]の概念がある。2つの複体 ''M<sub>*</sub>'' と ''N<sub>*</sub>'' が与えられると、2つの複体の間のチェイン写像は、''M<sub>i</sub>'' から ''N<sub>i</sub>'' への準同型の列であって、''M'' と ''N'' のバウンダリ写像に関する図式全体が可換となるものである。チェイン複体とチェイン写像は[[圏 (数学)|圏]]をなす。

''V'' = ''V''<sub>*</sub> と ''W'' = ''W''<sub>*</sub> を鎖複体とすると、それらの[[テンソル積]] <math> V \otimes W </math> は、次数 ''i'' の元たちが

:<math> (V \otimes W)_i = \bigoplus_{\{j,k|j+k=i\}} V_j \otimes W_k </math>

で与えられ、微分が

: <math> \partial (a \otimes b) = \partial a \otimes b + (-1)^{|a|} a \otimes \partial b </math>

で与えられる鎖複体である。ここに、''a'' と ''b'' はそれぞれ ''V'' と ''W'' の任意の斉次ベクトルであり、<math> |a| </math> は ''a'' の次数を表す。

このテンソル積により、（任意の可換環 ''K'' に対し）''K''-加群の鎖複体の圏 <math>\text{Ch}_K</math> は{{仮リンク|対称モノイダル圏|en|symmetric monoidal category}}となる。このモノイダル積についての単位対象は、次数 0 の鎖複体と見た基礎環 ''K'' である。{{仮リンク|ブレイドモノイダル圏|label=ブレイディング|en|braided monoidal category}}は、斉次元の単純なテンソル上
:<math> a \otimes b \mapsto (-1)^{|a||b|} b \otimes a </math>
により与えられる。符号はブレイディングがチェイン写像となるために必要である。さらに、''K''-加群の鎖複体の圏は、[[閉モノイダル圏|内部Hom]]も持つ。鎖複体 ''V'' と ''W'' が与えられると、''V'' と ''W'' の内部Hom, hom(V,W) は、次数 ''n'' の元が <math>\Pi_{i}\operatorname{Hom}_K (V_i,W_{i+n})</math> により与えられ、微分が
: <math> (\partial f)(v) = \partial(f(v)) - (-1)^{|f|} f(\partial(v)) </math>
により与えられる鎖複体である。すると、自然な同型
:<math>\text{Hom}(A\otimes B, C) \cong \text{Hom}(A,\text{Hom}(B,C))</math>
がある。

==例==

===特異ホモロジー===
{{main|特異ホモロジー}}
[[位相空間]] ''X'' が与えられたとする。

[[自然数]] ''n'' に対し、''C''<sub>''n''</sub>(''X'') を ''X'' の[[特異ホモロジー|特異 ''n''-単体]]により形式的に生成される[[自由アーベル群]]とし、バウンダリ写像を次で定義する：

:<math>\partial_n\colon C_n(X) \to C_{n-1}(X): \, (\sigma: [v_0,\ldots,v_n] \to X) \mapsto
(\partial_n \sigma = \sum_{i=0}^n (-1)^i \sigma([v_0,\ldots, \hat v_i, \ldots, v_n]).</math>

ここに、記号ハット（"^"）はその頂点を省くことを表す。すなわち、特異単体の境界は、その面への制限の交代和である。∂<sup>2</sup> = 0 を示すことができるので、<math>(C_\bullet, \partial_\bullet)</math> は鎖複体である。'''[[特異ホモロジー]]''' <math>H_\bullet(X)</math> はこの複体のホモロジーである。つまり、

:<math>H_n(X) = \ker \partial_n / \operatorname{im} \partial_{n+1}</math>

である。

===ド・ラームコホモロジー===
{{main|ド・ラームコホモロジー}}
[[滑らかな多様体]]上の {{mvar|k}} 次[[微分形式]]全体 Ω<sup>''k''</sup>(''M'') は、加法の下で[[アーベル群]]をなす（実は '''[[実数|R]]'''-[[ベクトル空間]]である）。

[[外微分]] ''d<sup>k</sup>'' は、Ω<sup>''k''</sup>(''M'') を Ω<sup>''k''+1</sup>(''M'') へ写像し、''d''∘''d'' = 0 であることが本質的に[[ヤングの定理|二次微分の対称性]]から従う。よって、''k'' 次微分形式のなすベクトル空間たちに外微分を考えたものは双対鎖複体である：

:<math> 0 \to \Omega^0(M)\ \stackrel{d^0}{\to}\ \Omega^1(M) \stackrel{d^1}{\to}\ \Omega^2(M) \stackrel{d^2}{\to}\ \Omega^3(M) \to \cdots.</math>

この複体のコホモロジーが、'''[[ド・ラームコホモロジー]]'''である：

:<math>H^0_{\mathrm{dR}}(M) = \ker d^0 =</math> { ''M'' 上の実数値[[局所定数関数]] } <math>\cong \mathbb{R}</math><sup>#{''M'' の連結成分}</sup>,

:<math>H^k_{\mathrm{dR}}(M) = \ker d^k / \operatorname{im} d^{k-1}.</math>

==チェイン写像==
2つの鎖複体 <math>(A_\bullet, d_{A,\bullet})</math> と <math>(B_\bullet, d_{B,\bullet})</math> の間の'''チェイン写像'''は、各 ''n'' に対する[[環上の加群|加群]]準同型 <math>f_n \colon A_n \rightarrow B_n</math> の列 <math>f_\bullet</math> であって、2つのチェイン複体上のバウンダリ作用素と可換なもの <math> d_{B,n} \circ f_n = f_{n-1} \circ d_{A,n}</math> である。そのような写像は、サイクルをサイクルに、バウンダリをバウンダリへ写すので、ホモロジーの射 <math>(f_\bullet)_*\colon H_\bullet(A_\bullet, d_{A,\bullet}) \rightarrow H_\bullet(B_\bullet, d_{B,\bullet})</math> が誘導される。

位相空間の間の連続写像は、上記の特異複体とド・ラーム複体の双方に対して（そして一般に、位相空間の任意のホモロジー論を定義する鎖複体に対して）チェイン写像を引き起こし、従って、連続写像はホモロジー上の写像を引き起こす。写像の合成によって引き起こされた写像は、引き起こされた写像の合成であるので、これらのホモロジー論は位相空間と連続写像の圏からアーベル群と群準同型の圏への[[函手]]である。

チェイン写像の概念は、チェイン写像の{{仮リンク|写像錐 (ホモロジー代数)|label=錐|en|Mapping cone (homological algebra)}}の構成を通してバウンダリの概念に帰着することは注目に値する。

==チェインホモトピー==
{{expand section|date=April 2012}}
チェインホモトピーはチェイン写像の間の重要な同値関係をもたらす。チェインホモトピックなチェイン写像は、ホモロジー群上の同じ写像を引き起こす。特別な場合として、2つの空間 ''X'' と ''Y'' の間のホモトピックな写像は ''X'' のホモロジーから ''Y'' のホモロジーへの同一の写像をもたらす。チェインホモトピーは幾何学的な解釈があり、たとえば、ボット (Bott) とトゥ (Tu) の本に記載がある。さらなる情報は、{{仮リンク|チェイン複体のホモトピー圏|en|Homotopy category of chain complexes}}を参照。

==関連項目==
* [[次数付き微分代数]]
* {{仮リンク|次数付き微分リー代数|en|Differential graded Lie algebra}}
* {{仮リンク|ドールド・カン対応|en|Dold–Kan correspondence}}は、鎖複体の圏と{{仮リンク|単体的アーベル群|en|simplicial abelian group}}の圏が同値であることを言っている。

==参考文献==
* {{Citation | last1=Bott | first1=Raoul | author1-link=Raoul Bott | last2=Tu | first2=Loring W. | title=Differential Forms in Algebraic Topology | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=978-0-387-90613-3 | year=1982}}

{{Normdaten}}
{{DEFAULTSORT:さふくたい}}
[[Category:ホモロジー代数]]
[[Category:微分位相幾何学]]
[[Category:代数的位相幾何学]]
[[Category:数学に関する記事]]