普遍係数定理

普遍係数定理

普遍係数定理（Universal Coefficient Theorems）は、整域において定義されるホモロジーおよびコホモロジーの理論において、特にR-加群を係数とする場合に関連する一連の定理を指します。この理論は、R上の自由なチェイン複体に対して機能し、特異ホモロジーおよびコホモロジーにおいても成立します。本稿では、普遍係数定理の特徴とその具体例について詳述します。

概要

普遍係数定理は、以下の4つの主要な定理としてまとめられます：
1. Torに関するホモロジーの普遍係数定理
2. Torに関するコホモロジーの普遍係数定理
3. Extに関するホモロジーの普遍係数定理
4. Extに関するコホモロジーの普遍係数定理

ここで、R上のチェイン複体をC、コチェイン複体をC、そしてR-加群をMと定義します。これにより、次のような計算が可能となります：

• - ホモロジー加群であるH(C)から、H(C ⊗ R M)を求める。
• - コホモロジー加群であるH(C)から、H(C ⊗ R M)を求める。
• - H(C)から、H(C; M)を求める。
• - H(C)から、H(C; M)を求める。

ここで、CのM係数のコホモロジー及びホモロジーの定義を理解することが重要です。特に、Mに対するホモロジーやコホモロジーは、Cの同型写像を用いて求められ、これにより普遍係数定理が適用されます。

準備

普遍係数定理を理解するためには、チェイン複体及びコチェイン複体の基本的な性質について復習しておくことが有用です。これらは、それぞれのホモロジーやコホモロジーとの関連において重要な役割を果たします。

ホモロジーとコホモロジーの復習

整域Rに対して、R加群Cは次のように定義されます。整数nに従った加群の列C_nと、前後の元を結ぶ写像∂_nがあり、これが連鎖していることが求められます。このような設定によって、加群のホモロジー加群H_n(C)が定義されます。

コホモロジーにおいても、類似の理論が成り立ちます。Cに対してコチェイン複体Dが設定され、Dのホモロジー加群H^n(C)が定義されます。これらの関係は、普遍係数定理の基盤となります。

M係数のホモロジー・コホモロジー

このセクションでは、Rが単項イデアル整域であると仮定し、MをR-加群とします。R上のチェイン複体であるCに対して、Mに関するホモロジー・コホモロジーの概念が適用されます。

Tor関手とExt関手の導入

Tor関手およびExt関手は、普遍係数定理の理論を構成する際の中心的な概念です。特に、これらの関手は自由R加群の短完全列を基に定義され、自然に重なり合った性質を持ちます。このことは、系統的な計算を簡単にし、関連が強固であることを保証します。

ホモロジーとコホモロジーの普遍係数定理

特にRが整数環であって、H_n(C)が有限生成加群の場合、ホモロジーとコホモロジーは互いに密接に関連していて、その関係性は上記の普遍係数定理によって強化されます。

まとめ

普遍係数定理は、ホモロジーとコホモロジーの多様な関係を明らかにし、特に加群が持つ様々な特性を考慮に入れることによって、代数的・幾何的な視点から非常に強力な理論を提供します。特に、これらの定理は、代数トポロジーの分野において研究と応用を促進するものとなっており、今後の研究における重要な基盤となるでしょう。

もう一度検索