鎖複体
数学において、鎖複体あるいはチェイン複体 () と双対鎖複体あるいは余鎖複体、コチェイン複体 () は、元来は代数トポロジーの分野で使われていた。（余）鎖複体は、位相空間の様々な次元の（コ）と（コ）バウンダリの間の関係を表す代数的な手段である。より一般的に、ホモロジー代数では、空間との関係を立ち去った抽象的な鎖複体の研究がされる。ホモロジー代数としての研究では、（余）鎖複体を公理的に代数的構造として扱う。
（余）鎖複体の応用は、通常、ホモロジー群（余鎖複体ではコホモロジー群）を定義し適用する。より抽象的な設定では、様々な同値関係（たとえば、のアイデアで始まるもの）が複体へ適用される。鎖複体は、アーベル圏で定義することも容易にできる。
鎖複体 formula_1 は、アーベル群、あるいは加群の列 ..., "A", "A", "A", "A", "A", ... であり、準同型（境界作用素 (boundary operator) あるいは微分 (differential) と呼ばれる) "d": "A" → "A" で結ばれ、任意の2つの引き続いた境界作用素の合成は、すべての "n" について 0 となる ("d" ∘ "d" = 0) ような作用素である。鎖複体は、普通は次のように書かれる。
鎖複体の概念を少し変えたものが、双対鎖複体 (cochain complex) の概念である。双対鎖複体 formula_3 はアーベル群、もしくは加群の列 ..., "A", "A", "A", "A", "A", ... であり、準同型 formula_4 により結ばれ、2つの連続する写像は、すべての "n" についてゼロ写像 : formula_5 である。
各々の formula_7 あるいは、formula_8 の添え字 formula_9 は、次数 (degree)、あるいは次元と呼ばれる。鎖複体と双対鎖複体の定義の唯一の違いは、鎖複体の場合は、境界作用素が次数を下げることに対し、双対複体の境界作用素は次数を上げることである。つまり、片側にのみ無限に続く複体でなければ、鎖複体と余鎖複体は、形式的には全く同じものである。
ほとんどすべての "A" が 0 である、つまり、有限個を除き、左右に 0 になり延長されている場合を有界鎖複体 (bounded chain complex) という。例として、（有限）単体複体のホモロジー論を定義する複体がある。鎖複体は、ある固定した次数 "N" より上ですべて 0 であれば上に有界 (bounded above) といい、ある固定した次数より小さいときにすべて 0 となる場合を下に有界 (bounded below) という。明らかに、上にも下にも有界であることと、複体が有界であることとは同値である。
インデックスを省いて、"d" についての基本的関係は、
と考えることができる。鎖複体の個別の群の元を、チェイン (chain)、鎖（コチェイン複体では コチェイン (cochain)）と呼ぶ。鎖複体の場合の "d" の像をバウンダリ (boundary)、境界輪体、双対鎖複体の場合はコバウンダリ (coboundary)、余境界輪体と呼び、その全体は群をなす。鎖複体の場合 "d" の核（つまり、"d" により 0 へ写される元のなす部分群）の元は、サイクル (cycle) 、輪体、双対鎖複体の場合はコサイクル (cocycle)、余輪体と呼ばれる。基本的な関係から、（コ）バウンダリーは（コ）サイクルである。この現象は、（コ）ホモロジーを使い系統的に研究されている。
チェイン写像（鎖写像）と呼ばれる、鎖複体の間の自然な射の概念がある。2つの複体 "M" と "N" が与えられると、2つの複体の間のチェイン写像は、"M" から "N" への準同型の列であって、"M" と "N" のバウンダリ写像に関する図式全体が可換となるものである。チェイン複体とチェイン写像は圏をなす。
"V" = "V" と "W" = "W" を鎖複体とすると、それらのテンソル積 formula_11 は、次数 "i" の元たちが
で与えられ、微分が
で与えられる鎖複体である。ここに、"a" と "b" はそれぞれ "V" と "W" の任意の斉次ベクトルであり、formula_14 は "a" の次数を表す。
このテンソル積により、（任意の可換環 "K" に対し）"K"-加群の鎖複体の圏 formula_15 はとなる。このモノイダル積についての単位対象は、次数 0 の鎖複体と見た基礎環 "K" である。は、斉次元の単純なテンソル上
により与えられる。符号はブレイディングがチェイン写像となるために必要である。さらに、"K"-加群の鎖複体の圏は、内部Homも持つ。鎖複体 "V" と "W" が与えられると、"V" と "W" の内部Hom, hom(V,W) は、次数 "n" の元が formula_17 により与えられ、微分が
により与えられる鎖複体である。すると、自然な同型
がある。
位相空間 "X" が与えられたとする。
自然数 "n" に対し、"C"("X") を "X" の特異 "n"-単体により形式的に生成される自由アーベル群とし、バウンダリ写像を次で定義する：
ここに、記号ハット（"^"）はその頂点を省くことを表す。すなわち、特異単体の境界は、その面への制限の交代和である。∂ = 0 を示すことができるので、formula_21 は鎖複体である。特異ホモロジー formula_22 はこの複体のホモロジーである。つまり、
滑らかな多様体上の 次微分形式全体 Ω("M") は、加法の下でアーベル群をなす（実は R-ベクトル空間である）。
外微分 "d" は、Ω("M") を Ω("M") へ写像し、"d"∘"d" = 0 であることが本質的に二次微分の対称性から従う。よって、"k" 次微分形式のなすベクトル空間たちに外微分を考えたものは双対鎖複体である：
この複体のコホモロジーが、ド・ラームコホモロジーである：
2つの鎖複体 formula_28 と formula_29 の間のチェイン写像は、各 "n" に対する加群準同型 formula_30 の列 formula_31 であって、2つのチェイン複体上のバウンダリ作用素と可換なもの formula_32 である。そのような写像は、サイクルをサイクルに、バウンダリをバウンダリへ写すので、ホモロジーの射 formula_33 が誘導される。
位相空間の間の連続写像は、上記の特異複体とド・ラーム複体の双方に対して（そして一般に、位相空間の任意のホモロジー論を定義する鎖複体に対して）チェイン写像を引き起こし、従って、連続写像はホモロジー上の写像を引き起こす。写像の合成によって引き起こされた写像は、引き起こされた写像の合成であるので、これらのホモロジー論は位相空間と連続写像の圏からアーベル群と群準同型の圏への函手である。
チェイン写像の概念は、チェイン写像のの構成を通してバウンダリの概念に帰着することは注目に値する。
チェインホモトピーはチェイン写像の間の重要な同値関係をもたらす。チェインホモトピックなチェイン写像は、ホモロジー群上の同じ写像を引き起こす。特別な場合として、2つの空間 "X" と "Y" の間のホモトピックな写像は "X" のホモロジーから "Y" のホモロジーへの同一の写像をもたらす。チェインホモトピーは幾何学的な解釈があり、たとえば、ボット (Bott) とトゥ (Tu) の本に記載がある。さらなる情報は、を参照。