「ホモロジー代数学」の版間の差分

ホモロジー代数学の発展は[[圏論]]の出現と密接に結びついている。概して、ホモロジー代数はホモロジー的[[関手]]とそれから必然的に生じる複雑な代数的構造の研究である。<!-- 一般的な科学的意味での構造 (structure) であって、普遍代数の狭い意味での代数的構造ではない-->数学においてきわめて有用で遍在する概念の1つは'''[[鎖複体|チェイン複体]]''' (chain complex) の概念であり、これはそのホモロジーと[[コホモロジー]]の両方を通じて研究できる。ホモロジー代数は、これらの複体に含まれる情報を得、それを[[環 (数学)|環]]、加群、[[位相空間]]や、他の 'tangible' な数学的対象のホモロジー的[[不変量]]の形で描写する手段を提供してくれる。これをするための強力な手法は{{仮リンク|スペクトル系列|en|spectral sequence}}によって与えられる。

'''[[鎖複体|チェイン複体]]'''（chain complex）(chain complex) はホモロジー代数学の中心的な概念である。それは[[アーベル群]]と[[群準同型]]の列 <math> (C_\bullet, d_\bullet)</math> であって、任意の2つの連続した[[写像]]の合成が 0 になるという性質をもったものである。

アーベル群の[[部分群]]は自動的に[[正規部分群|正規]]である。したがって、''n'' 次 '''ホモロジー群''' (''n''th homology group) ''H''_''n''(''C'') を ''n''-サイクルの ''n''-バウンダリによる[[商群|因子群]]

チェイン複体は[[抽象代数学|代数学]]や[[代数トポロジー]]においてよく現れる。例えば、''X'' が[[位相空間]]であれば、その[[特異チェイン]] ''C''_''n''(''X'') は標準 ''n''-[[単体 (数学)|単体]]から ''X'' の中への[[連続写像]]の形式的な[[線型結合]]である。''K'' が[[単体的複体]]であれば{{仮リンク|鎖 (代数トポロジー)|label=単体的チェイン|en|Chain (algebraic topology)}} ''C''_''n''(''K'') は ''X'' の ''n''-単体の形式的な線型結合である。''A''&nbsp;=&nbsp;''F''/''R'' がアーベル群 ''A'' の{{仮リンク[[群の表示|生成元と関係式|en|Presentation of a group}} (generators and relations) ]]による表現、ただし ''F'' は生成元で張られた[[自由アーベル群]]で ''R'' は relations の部分群、であれば、''C''₁(''A'')&nbsp;=&nbsp;''R'', ''C''₀(''A'')&nbsp;=&nbsp;''F'', そしてすべての他の ''n'' に対して ''C''_''n''(''A'')&nbsp;=&nbsp;0 とすることによって、アーベル群の列が定義される。これらのケースではすべて、''C''_''n'' を複体にする自然な微分 ''d''_''n'' が存在する。その複体のホモロジーは位相空間 ''X''、単体的複体 ''K''、あるいはアーベル群 ''A'' の構造を反映している。位相空間のケースでは、[[特異ホモロジー]]の概念に到達する。これはそのような空間例えば[[多様体]]の性質を研究する際に基本的な役割を果たす。

[[数学]]において、'''アーベル圏''' (abelian category) は、[[射]]や対象を足すことができ、{{仮リンク|核 (圏論)|label=核|en|kernel (category theory)}}や[[余核]]が存在し望ましい性質をもった[[圏]]である。動機付けるプロトタイプのアーベル圏の例は{{仮リンク|アーベル群の圏|en|category of abelian groups}} '''Ab''' である。理論の起源は [[アレクサンドル・グロタンディーク|]] (Alexander Grothendieck]]) によるいくつかの[[コホモロジー論]]を統合しようとする試験的な試みである。アーベル圏はとても''安定''（stable） (stable) である。例えば、{{仮リンク|正則圏|label=正則|en|regular category}}であり、[[蛇の補題]]を満たす。アーベル圏のクラスはいくつかの圏論的構成で閉じている。例えば、アーベル圏の[[鎖複体|チェイン複体]]の圏や、{{仮リンク|小さい圏|en|small category}}からアーベル圏への[[関手]]の圏は、再びアーベル圏である。これらの安定性によってアーベル圏はホモロジー代数学やその先で必要不可欠なものである。理論は[[代数幾何学]]、[[コホモロジー]]、そして純粋に[[圏論]]において、主要な応用をもつ。アーベル圏は [[ニールス・アーベル|]] (Niels Henrik Abel]]) にちなんで名づけられている。

=== スペクトル系列 ===

{{Main|{{仮リンク|スペクトル系列|en|spectral sequence}}}}

環上の加群の圏のような[[アーベル圏]]を固定する。'''スペクトル（系）列''' (spectral sequence) は非負整数 ''r''₀ の選択と3つの列の集まりである。

* [[Henri Cartan|Cartan]]-–[[Samuel Eilenberg|Eilenberg]]： 彼らの 1956 年の本 "Homological Algebra" において、これらの著者は[[射影分解|射影]]および[[移入分解|移入加群分解]]を用いた。

* [[Grothendieck]] と {{仮リンク|ジャン・ルイ・ヴェルディエール|en|Jean-Louis Verdier}} (Jean-Louis Verdier) の[[導来圏]]。導来圏は Verdier の1967年の学位論文までさかのぼる。これは多くの現代理論で使われる{{仮リンク|三角圏|en|triangulated category}} の例である。

一段とすぐれた (''par excellence'') 計算のスレッジハンマーは{{仮リンク|スペクトル系列|en|spectral sequence}}である。これは例えば2つの関手の合成の導来関手を計算するのに必要である Cartan-EilenbergCartan–Eilenberg や Tohoku のアプローチにおいて必須である。スペクトル系列は導来圏のアプローチでは重要性は落ちるがそれでも具体的な計算が必要なときにはいつでも役割を果たす。