普遍係数定理

普遍係数定理（ふへんけいすうていり、）とは、単項イデアル整域上定義されたホモロジーやコホモロジーから、-加群を係数とするホモロジーやコホモロジーを求める一連の定理の総称である。

定理は-加群として自由な任意のチェイン複体に対して成立し、したがって特に特異ホモロジー・コホモロジーのような位相幾何学的な背景を持つホモロジー・コホモロジーに対して成立する。

準備 
本節では普遍係数定理を述べる準備として、チェイン複体とそのホモロジー、コチェイン複体とそのコホモロジーを復習し、さらに普遍係数定理を定式化するのに必要な概念である関手、関手を定義する。

ホモロジー 

を可換環とするとき、整数を添え字として持つ-加群と写像の組で、

となるもの上のチェイン複体といい、

をの次のホモロジー加群という。

コホモロジー 
可換環に対し、でが上のチェイン複体になるものをコチェイン複体といい、

をの次のコホモロジー加群という。

関手 

を単項イデアル整域とし、、を-加群とする。さらに短完全系列
 
で、が自由-加群であるものを選び、
 
を考えると必ずしも完全系列にならない。そこで
 
と定義する。の定義は、の取り方に依存しているが、実は、を別のものに取り替えて定義したと自然に同型になる事が知られているのでwell-definedである。

の事を関手という。

なお、が単項イデアル整域とは限らない一般の環の場合にもが定義できるが本項では割愛する。またの事をと表記し、より一般に（）を定義する場合もあるが、これも本項では割愛する。これらに関する詳細はTor関手の項目を参照されたい。

関手は以下の性質を満たす。

が単項イデアル整域であるので、、が有限生成である場合、有限生成加群の基本定理から、はと複数のの直和で書け、も同様である。上述の1., 2.からは直和に関して分解できるので、上述の3., 5.を使うと、これらに対するを容易に計算できる。

関手 
のときと同様、を単項イデアル整域とし、、を-加群とし、さらに短完全系列
 
で、が自由-加群であるものを選ぶ。そして
 
を考えると必ずしも完全系列にはならない。そこで
 
と定義する。ここでは余核である。すなわち、に対し、である。

の定義は、の取り方に依存しているが、実は、を別のものに取り替えて定義したと自然に同型になる事が知られているのでwell-definedである。

の事を関手という。

またに関してもと同様、が一般の環の場合に対しても定義できるし、が定義できてであるが、本項では説明を割愛する。詳細はExt関手の項目を参照されたい。

関手は以下を満たす：

の場合と同様、が有限生成-加群であれば、これらの性質からを具体的に計算できる。

に関する普遍係数定理

ホモロジーの場合 
次の定理が成立することが知られている：

上記の定理ではと具体的に書ける。

なお、係数環 がでがの場合は、上記の定理はの特別な場合に相当する。

で各が有限生成加群である場合はホモロジーをより具体的に書ける。有限生成加群の基本的定理より、は自由加群部分と素数に対するの和で書ける。（有限個の素数を除いてである）。ここで前述したTorの性質を利用すると、以下がわかる：

コホモロジーの場合 
チェイン複体とコチェイン複体は添字の向きが違うだけなので、コチェイン複体に関しても同様の事実が従う：

この短完全系列が、に関して自然である事や分裂する事も前述の定理と同様である。

またで各が有限生成加群である場合は、ホモロジー場合と同様の形で具体的に書ける。

係数のホモロジー・コホモロジーに対する普遍係数定理

上述のコチェイン複体関する普遍係数定理をを係数に持つコホモロジー（例えばを係数にもつ特異コホモロジー）に適用する場合は注意が必要である。

定義
これまで同様が単項イデアル整域とし、を-加群する。上のチェイン複体に対し、

と定義すると

であるのではコチェイン複体である。をに関するの双対コチェイン複体（）という。

ホモロジーの場合
に係数を持つホモロジー加群の方はその定義により、
 
 
なので、前述のホモロジーに関する普遍係数定理の、を単純に置き換える事で、以下の系が従う：

コホモロジーの場合

一方、を係数を持つコホモロジー加群の場合は若干の注意が必要である。実際、としてやると、
 
であるが、の方は
 
であり、コホモロジーの普遍係数定理における
 
とは異なるので単純に置き換える事ができない。しかし適切な条件下ではこれら２つが等しくなり、を係数に持つコホモロジー加群の普遍係数定理を示す事ができる：

に関する普遍係数定理 
関手を使う事で、ホモロジーとコホモロジーの関係性を示す以下の普遍係数定理を示す事ができる。

前に述べたように、チェイン複体の双対コチェイン複体に対し、を係数に持つコホモロジー加群をにより定義する。

このとき以下の定理がしたがう：

上述の定理においてはに対し、というの元を対応させる写像である。

で各が有限生成加群である場合はコホモロジーをより具体的に書ける。有限生成加群の基本的定理より、は自由加群部分と捩れ部分群部分の和で書ける。この事実との性質を利用すると、以下がわかる：

上記により-係数コホモロジーさえ分かってしまえば、後はに関する普遍係数定理により他の係数のコホモロジーも求まる。

が有限生成であれば、上述の普遍係数定理でホモロジーとコホモロジーの役割を反転させた定理も成立する：

上述の定理において、はに対し、というの元を対応させる写像である。

関連項目

脚注

出典

注釈

参考文献 

引用文献
 
 
 
その他
Allen Hatcher, Algebraic Topology, Cambridge University Press, Cambridge, 2002. ISBN 0-521-79540-0. A modern, geometrically flavored introduction to algebraic topology. The book is available free in PDF and PostScript formats on the author's homepage.

外部リンク 
Universal coefficient theorem with ring coefficients Mathematics

ホモロジー代数
代数的位相幾何学の定理
数学に関する記事