少し例を見て、ホモロジーの計算に触れておこう。現時点で扱える例は少ない。今から述べる抽象単体的複体や群コホモロジー等だろうか。とは言え一般に定義されるチェインも大体似たような感じなので、雰囲気は掴むことができると思う。幾何との関わりを見ることの方がずっと重要なのかもしれないが、それはまたいずれどこかで。

抽象単体的複体のホモロジー

頂点の集合 ${ V }$ と、その有限分部集合の族 ${ K\subset 2^{V} }$ が次を満たすとする。

${ v\in V }$ なら ${ \lbrace v \rbrace\in K }$ である。
${ s\in K }$ かつ ${ t\subset s }$ なら ${ t\in K }$ である。

このとき組 ${ (V, K) }$ 、あるいは単に ${ K }$ を抽象単体的複体（abstract simplicial complex）と呼ぶ。

抽象とは一体何なのか、複体なのに単体的であるとはどういう事か、といった素朴な疑問もあるだろうが深く考えない方が良い。

実はベクトル空間で定義した一次独立という概念はまさに抽象単体的複体の事を指す。つまり各ベクトルが頂点であり、一次独立な有限部分集合全体が ${ K }$ を為す。

以下簡単の為、抽象単体的複体を単に複体と呼ぶことにする。

${ K }$ を複体とする。 ${ s\in K }$ に対して ${ \sharp s=n+1 }$ のとき ${ n }$ -単体（simplex）と呼ぶ。言い換えれば複体という言葉は「単体が複数集まったもの」から来ている。単体 ${ s }$ に対して ${ t\subset s }$ が ${ \sharp t=m+1\lt n+1 }$ を満たすとする。このとき ${ t }$ を ${ s }$ の ${ m }$ -面（face）と呼び ${ t\prec s }$ と表す。適当に ${ K }$ の部分集合を取り、その面を全て集めればそれに属する ${ 0 }$ -面を頂点とする部分複体が構成できる。

さて、複体に対してチェインを構成したいのだが、そのためにはまず頂点達に向き（orientation）を定める必要がある。具体的には ${ V }$ に全順序が与えられている状況を考え、 ${ n }$ -単体はその順序が小さい順に ${ \langle v_{0}, \dotsc, v_{m}\rangle }$ と表せるとする。（つまり ${ v_{0}\le\dotsb\le v_{m} }$ とする。）このとき ${ K }$ に属する ${ n }$ -単体により生成される自由 ${ R }$ -加群を ${ C_{n}(K; R) }$ と表す。

あるいは、全ての組み合わせから生成される自由加群を考え、その生成元に対して二つの頂点を入れ替えたら ${ -1 }$ 倍するような同値関係（例えば ${ \langle v_{1}, v_{0} \rangle\sim-\langle v_{0}, v_{1} \rangle }$ など）を入れてもよい。

例えば ${ V=\lbrace 0, 1, 2 \rbrace }$ として、 ${ K=\lbrace \langle 0 \rangle, \langle 1 \rangle, \langle 2 \rangle, \langle 01 \rangle, \langle 02 \rangle, \langle 12 \rangle, \langle 012 \rangle \rbrace }$ とする。このとき ${ C_{1}(K; R)=R\langle 01 \rangle\oplus R\langle 02 \rangle\oplus R\langle 12\rangle }$ となる。

次に ${ d_{n}:C_{n}(K; R)\rightarrow C_{n-1}(K; R) }$ を

$d_{n}\langle v_{0}, \dotsc, v_{n} \rangle:=\sum_{i=0}^{n}\langle v_{0}, \dotsc, v_{i-1}, v_{i+1}, \dotsc, v_{n} \rangle$

により定義する。（これを定める為に順序を入れた。）

演習 ${ d_{n-1}\circ d_{n}=0 }$ を満たすことを確認せよ。

上の例では

${ \begin{align*} d^{2}\langle 012 \rangle &= d( \langle 12 \rangle-\langle 02 \rangle+\langle 01\rangle ) \\ &= (\langle 2 \rangle - \langle 1 \rangle ) - ( \langle 2 \rangle - \langle 0 \rangle ) + ( \langle 1 \rangle - \langle 0 \rangle ) \\ &= 0 \end{align*} }$

となり確かに成り立つ。

以上により鎖複体が構成でき、そのホモロジー ${ H_{n}(K; R) }$ を定義することができる。このホモロジーは複体の図形的な性質、例えば穴がどの程度空いているか、などを反映しているのだが、この事実を少しだけ計算して確かめてみよう。まず上で定義した ${ K }$ のホモロジーを求めると、次のようになる。まず ${ B_{0}(K; R)=dC_{1}(K; R) }$ の元は一般に

${ \begin{align*} & a(\langle 1 \rangle - \langle 0 \rangle)+b(\langle 2 \rangle - \langle 0 \rangle)+c(\langle 2 \rangle - \langle 1 \rangle) \\ &=(-a-b)\langle 0 \rangle+(a-c)\langle 1 \rangle+(b+c)\langle 2 \rangle \end{align*} }$

と書ける。 ${ u=-a-b, v=a-c, w=b+c }$ と置き換えれば ${ u+v+w=0 }$ という関係が一つあるので、その自由度は ${ 2 }$ となる。一方 ${ Z_{0}(K; R)=C_{0}(K; R) }$ の元は任意の ${ u, v, w\in R }$ で良いので、 ${ 0 }$ 次のホモロジーは ${ H_{0}(K; R)=R^{3}/R^{2}\cong R }$ となる。次に ${ Z_{1}(K; R) }$ は上で ${ (-a-b)\langle 0 \rangle+(a-c)\langle 1 \rangle+(b+c)\langle 2 \rangle=0 }$ となる元のことだから ${ a=-b=c }$ となり自由度は ${ 1 }$ である。一方 ${ d\langle 012 \rangle\neq 0 }$ は非自明な元を与えるので、 ${ B_{1}(K; R)=R }$ つまり ${ 1 }$ 次のホモロジーは ${ H_{1}(K; R)=R/R\cong 0 }$ となる。 ${ 2 }$ 次のホモロジーがゼロとなることも良いだろう。纏めると次の表を得る。

	${ C }$	${ Z }$	${ B }$	${ H }$
0次	${ u\langle 0 \rangle+v\langle 1 \rangle+w\langle 2\rangle }$	${ (u, v, w)\in R^{3} }$	${ u+v+w=0 }$	${ R }$
1次	${ a\langle 01 \rangle+b\langle 02 \rangle+c\langle 12\rangle }$	${ a=-b=c }$	${ x(\langle 01 \rangle-\langle 02 \rangle + \langle 12 \rangle) }$	${ 0 }$
2次	${ x\langle 012 \rangle }$	${ 0 }$	${ 0 }$	${ 0 }$

更に ${ K^{\prime}:=\lbrace \langle 0 \rangle, \langle 1 \rangle, \langle 2 \rangle, \langle 01 \rangle, \langle 02 \rangle, \langle 12 \rangle \rbrace }$ のホモロジーを計算してみよう。 ${ 2 }$ -単体が無いので、上の表で ${ B_{1}=0 }$ となる。よって ${ H_{1}(K^{\prime}; R)=R }$ を得る。このように「穴」が開いているとホモロジーが非自明になる。

演習好きな複体を考えてホモロジーを計算せよ。手計算は割と大変なのでピラミッドとか、毛を生やしたり程度が丁度良い。もし挑戦したければドーナッツのような複体を作り、そのホモロジーを調べてみると良い。

鎖写像とホモロジー

加群に対する準同型があるように、鎖複体に対しても射を考えることができる。

${ (C_{n}, d_{n}), (C^{\prime}_{n}, d^{\prime}_{n}) }$ を鎖複体とする。 ${ f=(f_{n}:C_{n}\rightarrow C^{\prime}_{n}) }$ が鎖写像（chain map）であるとは、 ${ d^{\prime}_{n}\circ f_{n}=f_{n-1}\circ d_{n} }$ を満たすことをいう。

${ R }$ -加群の圏において、鎖複体全体は鎖写像を射として圏を為す。これを ${ \mathrm{ch}(R\mathrm{-mod}) }$ と書く。これもアーベル圏になる。

鎖写像は自然にホモロジーにおける準同型を誘導する。実際 ${ x\in Z_{n}( C ) }$ に対し、 ${ d^{\prime}_{n}\circ f_{n}(x)=f_{n-1}(d_{n}( x ) )= 0 }$ より ${ f_{n}(x)\in Z_{n}( C^{\prime} ) }$ である。よって ${ Z_{n}( C )\rightarrow H_{n}( C^{\prime} ) }$ が定義できるが、更に ${ f_{n}(d_{n+1}( y ) )=d_{n}( f_{n+1}( y ) )\in B{n}( C^{\prime} ) }$ より ${ H_{n}( C )\rightarrow H_{n}( C^{\prime} ) }$ はwell-definedとなる。

抽象単体的複体に話を戻そう。

抽象単体的複体 ${ (V, K), (V^{\prime}, K^{\prime}) }$ に対し、 ${ f:V\rightarrow V^{\prime} }$ が単体写像（simplicial map）であるとは、 ${ s=\lbrace v_{0}, \dotsc, v_{n} \rbrace\in K }$ なら ${ fs=\lbrace f(v_{0}), \dotsc, f(v_{n})\rbrace\in K^{\prime} }$ が成り立つことをいう。（ ${ \lbrace \rbrace }$ であることに注意。まだ向きは付いていない。）

例えば ${ 0, 1\mapsto 2 }$ のように、複数の頂点を一点に潰してしまうようなものも単体写像となる。

単体写像を射として抽象単体的複体が圏を為すことはもちろん言うまでもない。ただしこの圏には始対象が存在しないためアーベル圏とはならない。

さて、単体写像 ${ f }$ は鎖複体に対する鎖写像を定める。具体的には ${ s=\langle v_{0}, \dotsc, v_{n} \rangle }$ に対し、 ${ fs }$ が ${ n }$ -単体であるとき（つまり ${ f(v_{0}), \dotsc, f(v_{n}) }$ が全て異なるとき） ${ \langle f(v_{0}), \dotsc, f(v_{n}) \rangle }$ を対応させ、そうでないときは ${ 0 }$ を対応させる。ただし前者は順序通りに並び替えるとき、その回数に応じた ${ -1 }$ 倍を施さなければならない。*1このようにして定めた鎖写像からホモロジーの準同型が誘導されることも注意しておく。

定理抽象単体的複体 ${ (V, K) }$ に別々の向きを与えて鎖複体 ${ C(K; R), C^{\prime}(K; R) }$ を定めたとする。このとき両者のホモロジーは同型となる。つまり抽象単体的複体のホモロジーは向き付けに依らず決まる。

（証明）恒等写像 ${ v\mapsto v }$ が誘導するホモロジーの間の準同型が互いに逆を与える。 ${ \square }$

プリズム作用素

複体をちょっと伸ばすと興味深い式が現れてくるので紹介しておこう。 ${ (V, K) }$ を複体とする。このとき ${ PV:=V\times\lbrace 0, 1 \rbrace }$ とし、その元を ${ v_{i}\in V }$ に対し ${ p_{i}:=(v_{i}, 0), q_{i}:=(v_{i}, 1) }$ と表すことにする。順序は ${ p\lt q }$ で定めておく。 ${ s=\langle v_{0}, \dotsc, v_{n} \rangle\in K }$ に対し、 ${ \langle p_{0}, \dotsc, p_{i}, q_{i}, \dotsc, q_{n} \rangle }$ と表せる ${ n+1 }$ 単体を考え、それらが生成する複体を ${ PK }$ とする。さて、チェインに対する準同型 ${ P_{n}:C_{n}(K)\rightarrow C_{n+1}(PK) }$ を、

$\langle v_{0}, \dotsc, v_{n} \rangle\mapsto\sum_{i=0}^{n}(-1)^{i}\langle p_{0}, \dotsc, p_{i}, q_{i}, \dotsc, q_{n} \rangle$

により定める。これをプリズム作用素（prismatic operator）と呼ぶ。ホモロジーの次数を上げる準同型であることに注目したい。

例えば

${ \langle 012 \rangle\mapsto \langle p_{0}q_{0}q_{1}q_{2} \rangle-\langle p_{0}p_{1}q_{1}q_{2} \rangle-\langle p_{0}p_{1}p_{2}q_{2} \rangle }$

となる。

プリズム作用素は単体写像 ${ f:K\rightarrow K^{\prime} }$ に関して自然となる。つまり ${ C_{n}( K )\xrightarrow{P_{n}}C_{n+1}(PK)\xrightarrow{f}C_{n+1}(PK^{\prime}) }$ と ${ C_{n}( K )\xrightarrow{f}C_{n}(K^{\prime})\xrightarrow{P_{n}}C_{n+1}(PK^{\prime}) }$ は可換になる。