スペクトル系列

スペクトル系列とは、ホモロジー代数学や代数的位相幾何学で用いられる、ホモロジー群を逐次近似により計算する方法のことである。スペクトル系列は完全系列の一般化であり、ジャン・ルレイによって初めて用いられたときから、特に代数的位相幾何学、代数幾何学、ホモロジー代数学といった分野において重要な計算ツールとなっている。

1. 発見と歴史
--------

ジャン・ルレイは代数的位相幾何学の研究の過程で層の概念を導入し、そして層係数コホモロジーを計算する問題に向き合うことになった。層係数コホモロジーを計算するために、ルレイは現在ルレイ・スペクトル系列と呼ばれている計算手法を編み出した。これは、層のコホモロジー群と、その層の順像のコホモロジー群とを、無限回の計算過程を通じて関係付けるものである。ルレイは、順像のコホモロジー群は自然に鎖複体となることに気づき、したがってコホモロジーのコホモロジーを取れることに気付いた。これは元の層のコホモロジーにはなっていないが、ある意味ではそれに一歩近づいたものになっている。そして、コホモロジーのコホモロジーがまた鎖複体になるので、これのコホモロジーをまた取ることができ、この計算をずっと繰り返すことができる。この計算ステップを無限回繰り返した後の極限が、元の層のコホモロジー群と本質的に同じものとなっている。

ルレイの計算手法が幅広い状況に適用できることはすぐに明らかとなった。ファイブレーションのような幾何学的な状況や、導来関手が関係する代数学的な状況で、複数のホモロジー群を婉曲的にではあるが関係付けてくれるスペクトル系列が数多く発見された。導来圏の導入によりその理論的な重要性は減ったが、今でもスペクトル系列はもっとも有効な計算ツールであり続けている。たとえスペクトル系列に計算不可能な項が多く含まれている状況であったとしても、スペクトル系列は有効に使うことのできる計算ツールである。

その反面、スペクトル系列は膨大な情報を持っているがゆえに会得や使用に困難が伴う。スペクトル系列が持っている情報は、3次元の格子状にアーベル群もしくは環上の加群を配置したものとなっていることが多い。最も取り扱いが簡単なスペクトル系列は、最終的には潰れる、つまり列を進めてみてもそれ以上なんの情報も得られなくなるものである。このような場合でなくとも、種々のトリックを用いてスペクトル系列から有用な情報を引き出せることが多い。

2. 形式的定義
--------

2.1. 定義
-------

環上の加群のようなアーベル圏を一つ固定する。コホモロジー的なスペクトル系列とは、一つの非負整数 と、全ての整数 に対して定義されている次の3つのものの集まりである:

//シート// 、//ページ//、もしくは//項//と呼ばれる対象
//境界写像//、もしくは//微分//と呼ばれる、自己準同型 であって を満たすもの
と、 の についてのホモロジー との間の同型写像通常、 と との間の同型写像への記号の割り当ては省略され、これらの間の関係は等式で表される。 を の 導来対象 と呼ぶこともあるdate=June 2015}}。

2.2. 鎖複体のスペクトル系列
----------------

最も簡単な例は鎖複体 //C•// である。鎖複体のなすアーベル圏の対象である //C•// は微分 //d// を備えている。//r//0 = 0 と置き、//E//0 を //C•// とする。スペクトル系列を構成するためには //E//1 は複体 //H// としなけらればならず、//i// 番目の位置にあるものは //C•// の //i// 番目のホモロジー群となる。この新しい複体における唯一の自然な微分は零写像のみなので、//d//1 = 0 と置く。 は と等しいものとして取らねばならず、ここでもやはり唯一の自然な微分は零写像のみである。後続のシートでも微分を零写像として取る。以上から、項が

//E//0 = //C•//
//Er// = //H// であるスペクトル系列を得られた。非自明な微分は0番目のシートにしか無いので、このスペクトル系列の項は1番目のシートで安定する。そのため、あとのステップには何の有益な情報も含まれていない。通常は、後のシートから有益な情報を得るためには、 における追加的な構造が必要になる。

2.3. スペクトル系列の種類
---------------

今の次数のない簡単な例では //r//0 に重要性は無かったが、実際には、ほとんどのスペクトル系列は環 //R// 上の2重次数つきの加群の圏から生じる。このような場合は、シート1枚は2重次数つき加群であり、したがって2重次数1つにつき項が1つあり、シートはその直和に分解する。シートの各項の境界写像の直和として、シートの境界写像が定義される。その次数は //r// に応じて慣習的に固定されている。ホモロジー的なスペクトル系列の場合は、項は と書かれ、微分の 2重次数は  である。コホモロジー的なスペクトル系列の場合は、項は と書かれ、微分の 2重次数 は  である。スペクトル系列によって、最初のシートの境界写像は //r// = 0、 //r// = 1、もしくは //r// = 2 に対応する次数を持つ。例えば、後で説明するフィルターつき複体のスペクトル系列では //r//0 = 0、グロタンディーク・スペクトル系列の場合は //r//0 = 2 である。//r//0 は 0, 1, 2のいずれかであることが多い。

2.4. 圏論的性質
----------

スペクトル系列の射 //E// → //E' // とは、定義により、写像 //fr// : //Er// → //E'r// の集まりであって、微分及び //E// 及び //E' // の //r// 番目と //// 番目のシートのコホモロジーの間に与えられた同型写像と整合的であるものである。

2.5. サイクルと境界輪体が定めるフィルトレーション
---------------------------

//E////r// をスペクトル系列で、例えば //r// = 1 から始まるものとする。このとき、部分対象の列

が存在し、 が成り立つ。実際、 と定義し、 を の核と像が となるように再帰的に定めればよい。

次に と置き、

と置く。これは極限項と呼ばれている。

3. 視覚化
------

2重次数つきのスペクトル系列は膨大な量の把握すべきデータを持つが、これを視覚的に捉えるために広く使われている表示方法がある。//r//、//p//、//q// を2重次数つきスペクトル系列の3つの添字とする。//r// ごとに、方眼紙が1枚あると想像しよう。このシートの上で、//p// は水平方向、//q// は垂直方向の位置を表しているとしよう。そして、各マス目に対象 が置いてあると考えるのである。//n// = //p// + //q// と置いて、これをスペクトル系列のもう一つの別の自然な添字とすることもよく行われる。//n// は各シートにおいて北西から南東に対角的に走る。ホモロジー的な場合には、微分は2重次数  を持つので、//n// は1減る。コホモロジー的な場合には //n// は1増える。//r// が0の場合は、微分は下もしくは上に1マス先にいる対象へ向かい、鎖複体の微分と同様になっている。//r// が1の場合は、微分は左もしくは右に1マス先にいる対象に向かう。//r// が2の場合は、微分はチェスのナイトが移動する位置にいる対象へ向かう。より大きな //r// の場合は、微分は一般化されたナイトが移動する位置にいる対象へ向かう。

4. 具体例
------

スペクトル系列を初めて学習するときには、簡単な具体例で実際に計算を行ってみることが理解の助けになる。収束についてのより理論的で厳密な議論は後の節で行うが、この節については、スペクトル系列が増加フィルトレーション //F// を持つ //H// に収束するとは、 が成り立つことと定義する。以下では、いかにそのフィルトレーションと 項を完全系列の形で関係付けることができるか、例示する。応用上の多くの完全系列がこのような形であらわれる。

4.1. 隣接する2列だけが非零となる例
--------------------

をホモロジー的なスペクトル系列で、0, 1以外の //p// に対しては であるものとする。視覚的には、このスペクトル系列の ページは

となっている。この2番目のページの微分の次数は  なので、微分は

という形をしていて、

, なので、微分は全て零写像となっている。したがって、 が成り立ち、このスペクトル系列は"退化"している。さて、このスペクトル系列が に収束し、そのフィルトレーションが

で与えられていて、 が成り立っていたとする。このとき、 , , , などが成り立つ。これから、完全系列

が得られる。次に、スペクトル系列 で2番目のページで //q// = 0, 1 の2行以外ゼロであるものを考える。このスペクトル系列は2番目のページで退化するとは限らないが、3番目のページでは微分の次数が  なのでそのページで退化する。分母がゼロであることに注意すると、 が分かる。同様に、 が分かる。したがって、

が成り立つ。先程の例と同様に、スペクトル系列がフィルトレーション //F// を持つ //H// に収束したとする。, などが成り立つので、 が成り立つ。これらを全てあわせると、完全系列

が得られる。

4.2. ワン列
--------

前節での計算は簡単に一般化できる。//n// を2以上の整数とし、球面上の

を考える。このとき、

がある。つまり、あるフィルトレーション があって、 となっている。 がゼロではないのは //p// が0もしくは //n// の場合だけで、その場合は Z に等しいから、 は のところだけからなる2つの直線になっている。したがって ページは

という形をしている。さらに、 に対して、普遍係数定理により

であるから、 ページは

と書ける。ゼロではない微分は ページの

だけであり、これは

であるから、このスペクトル系列は で収束する。 を計算して、完全系列

を得る。これをホモロジー群で書き直すと

となる。これに出てくる2つの 項が何かを考える。 と置くと、 などが成り立っているので、 がわかる。これから、 であるから、

となる。これは完全系列

である。以上の計算を全てまとめると、

がわかった。

4.3. 低次数の項
----------

今の例で行ったような計算は、コホモロジー的なスペクトル系列に対しても簡単に適用できる。 を第1象限スペクトル系列とし、減少フィルトレーション

を持つ //H// に収束、つまり が成り立っているとしよう。//p// か //q// が負であれば はゼロであるので、

が成り立つ。同じ理由で であり、また であるから、

となる。 であるから、 である。列をつなげて、いわゆる

を得る。

5. エッジ写像と転入
-----------

5.1. ホモロジー的なスペクトル系列
-------------------

をスペクトル系列とする。もし全ての //q// < 0 に対して ならば、//r// ≥ 2 に対して

でなければならない。したがって、単射準同型の列

が存在する。これはエッジ写像と呼ばれている。同様に、全ての //p// < 0 に対して ならば、 全射準同形の列

.が存在する。これもエッジ写像と呼ばれている。

転入写像とは、一部分だけで定義されている写像

で、合成 によって定義されるものである。ここで、最初と最後の写像はエッジ写像の逆写像であるMay。

5.2. コホモロジー的なスペクトル系列
--------------------

コホモロジー的なスペクトル系列 についても同様のことが成り立つ。全ての //q// < 0 に対して ならば、全射準同形の列

が存在する。また、全ての //p// < 0 に対して ならば、単射準同型の列

が存在する。 から誘導される転入写像

は必ずしも well-defined な写像ではない。

5.3. 応用
-------

これらの写像の決定を基礎として、セール・スペクトル系列における多くの微分を計算できる。例えば、転入写像は微分

をホモロジー的なスペクトル系列に対して決定し、これをファイブレーション についてのセール・スペクトル系列に適用すると

が得られる。

6. 乗法構造
-------

コホモロジー群にはカップ積により環の構造が入り、コホモロジー環となる。したがって、スペクトル系列を同様に環の構造つきで考えることは自然なことである。 をコホモロジー的なスペクトル系列とする。これが乗法構造を持つとは、 が次数付き微分代数であって、 での乗法は での乗法からコホモロジーを通じて誘導されている ことを言う。

典型的な例は、係数群が環 //R// であるときのファイブレーション に対するコホモロジー的なセール・スペクトル系列である。これは ページにおけるファイバーと底のカップ積から誘導された乗法構造を持つMcCleary。しかし、一般には極限の項 は次数つき多元環として H と同型にはならないHatcher。乗法構造はスペクトル系列における微分の計算に非常に役に立つHatcher。

7. スペクトル系列の作成
-------------

スペクトル系列は様々な方法で作ることができる。代数的位相幾何学では、おそらく完全対による方法が最も一般的なものである。代数幾何学では、スペクトル系列は双対鎖複体のフィルトレーションから作られることが多い。

7.1. 完全対
--------

スペクトル系列を作るための最も強力な方法は、ウィリアム・シューマッハー・マッセイによる完全対を使う方法である。完全対は特に代数的位相幾何学の分野でよく使われ、他の作り方が知られていないスペクトル系列が多く存在する。実際、全ての知られているスペクトル系列は完全対から作ることができるdate=February 2014}}。にもかかわらず、抽象代数学ではあまり人気がなく、その分野ではほとんどのスペクトル系列はフィルターつき複体から得られている。完全対を定義するために、アーベル圏を1つとる。先程と同じく、応用上は大抵の場合環上の2重次数つき加群の圏である。完全対 とは、対象 //A// と //C// の対と、この対象間の3つの準同型: //f// : //A// → //A//, //g// : //A// → //C// and //h// : //C// → //A// であって、次の完全性の条件を満たすものを言う:
Image //f// = Kernel //g//
Image //g// = Kernel //h//
Image //h// = Kernel //f//このデータを単に  と表す。完全対は三角形の絵で表現することが多い。//A// を補助的なデータとして使い、//E//0 項が //C// であるようなスペクトル系列を作ろう。

スペクトル系列の次のシートに行くために、導来対をまず作る。次の記号を準備する:

//d// = //g// o //h//
//A// = //f//
//C// = Ker //d// / Im //d//
//f// = //f//|//A//、//f// の //A// への制限
//h// : //C// → //A//、//h// から誘導されるもの。//h// がこのような写像を誘導することは簡単に分かる。
//g// : //A// → //C// は次のように定義する。//A// の元 //a// に対して、//A// の元 //b// が存在して //a// は //f// と書ける。//g// を、//C// における //g// の像として定義する。一般の状況では、//g// はアーベル圏に対する埋込み定理の一つを使って作られる。定義からすぐに  が完全対となることが分かる。//C// をスペクトル系列の //E1// 項とする。この操作を繰り返して完全対の列 , //C//, //f//, //g//, //h//) が得られ、//C// を //En// 項とし、//dn// を //g// o //h// と置くことで、求めるスペクトル系列になる。

7.1.1. この方法で作られるスペクトル系列
-----------------------

ファイブレーションのホモロジーの計算に使われるセール・スペクトル系列
K理論などの超常コホモロジー論でホモロジーの計算に使われる
フィルターつき複体のスペクトル系列

7.2. フィルターつき複体のスペクトル系列
----------------------

スペクトル系列の極めて典型的な例はフィルトレーション_双対鎖複体から得られる。これは、双対鎖複体 //C•// であって、全ての整数 //p// に対して部分複体 //FpC•// が定義されており、境界写像はフィルトレーションと両立している、つまり //d// ⊆ //FpC////n//+1 が成り立つものである。フィルトレーションは//減少//している、つまり //FpC•// ⊇ //F////p//+1//C//• と仮定する。双対鎖複体の項に対応する数字は //n// で表すことにする。あとではさらに、フィルトレーションは//ハウスドルフ//、つまり //FpC•// の全ての共通部分をとるとゼロであり、フィルトレーションは//覆い尽くしている//、つまり //FpC•// の全ての和集合をとると鎖複体 //C//• 全体となることを仮定する。

フィルトレーションは0への近さを測るものとして便利である。//p// が大きくなるにつれて、//FpC•// はゼロに近づいていく。このフィルトレーションから、あとのシートに行けば行くほどコバウンダリとコサイクルが元の複体のコバウンダリとコサイクルに近づいていくスペクトル系列が作れる。このスペクトル系列は、フィルター次数 //p// と//補充次数//1=//q// = //n// − //p//}} で2重に次数づけられたものである。

このスペクトル系列を手作業で作ってみよう。//C//• は単一の次数づけとフィルトレーションしか持たないので、まず2重次数つき対象を //C//• から作る。第2の次数を得るために、フィルトレーションに随伴する次数つき対象を次のようにとる。

やや奇妙な書き方をしたが、こう書いた理由はあとで //E//1 を作るときに分かる。境界写像はフィルトレーションと両立すると仮定しているので、//E//0 は2重次数つき対象になっており、//E//0 上に自然な2重次数つき境界写像 //d//0 が存在する。//E//1 を得るために //E//0 のホモロジーをとる。

と は、以下の写像

の における像としてかけることに注意する。これを使うと

となる。 は微分するとフィルトレーションのレベルが1つ上がるような要素全体になっており、 は微分するとフィルトレーションのレベルが0だけ上がるような要素全体の像になっている。これから、 は微分するとフィルトレーションのレベルが //r// 上がるような要素全体、 は微分するとフィルトレーションのレベルが //r-1// だけ上がるような要素全体の像となることが推測できる。言い換えると、作ろうとしているスペクトル系列の項は

と書けるはずで、さらに関係式

を満たすはずである。このようになるためには、各 //Er// 上の微分 //dr// であって、それによるホモロジーが上記の //E////r//+1 と同型になるものを見つけなければならない。その微分

は、 で定義されている元々の微分 //d// を部分対象 に制限することで得られる。

この微分が先程の性質を持つこと、すなわち //Er// のこの微分によるホモロジーが //E////r//+1 となることは簡単に確かめられる。これで求めるスペクトル系列が得られた。残念なことに、この微分は明示的とは言い難い。この微分を決定するか、何かそれに代わる方法を見つけることが、スペクトル系列の適用を成功させるために必要なことの1つである。

7.2.1. 応用
---------

混合ホッジ構造の構築に使うことができる

7.2.2. フィルターつき複体から作られるスペクトル系列
-----------------------------

2重複体のスペクトル系列

7.3. 2重複体のスペクトル系列
-----------------

もう一つの典型的なスペクトル系列は2重複体のスペクトル系列である。//2重複体//とは、全ての整数 //i// と //j// を添え字に持つ対象 //Ci,j// の集まりと、2つの微分 //d I// と //d II// の組を合わせたものである。//d I// は //i// を減少させ、//d II// は //j// を減少させるものとする。さらに、 微分は//反可換//、つまり //d I d II// + //d II d I// = 0 とする。目標は、2つのホモロジーのホモロジー、 と を比較することである。このために、2重複体に2つの異なる方法でフィルトレーションをいれる。次がそのフィルトレーションである:

これを前節の例にあてはめスペクトル系列を作ってみよう。まず、//全複体'T// を、//n// 次の項が であり、微分は //d I// + //d II// で定義された複体とする。//d I// と //d II// は反可換な微分であることから、これは複体になっている。//Ci,j// の2つのフィルトレーションから、この全複体の2つのフィルトレーション

が得られる。このフィルトレーションのスペクトル系列からホモロジーのホモロジーについての情報が得られることを示すために、//T// のフィルトレーション //I// についてのスペクトル系列の //E//0、//E//1、//E//2 項を調べる。//E//0 項は簡単で、

となっている。ここで、//n// =}} //p// + //q//}} である。

//E//1 項を明らかにするためには、//E//0 での //d I// + //d II// を決定する必要がある。微分の次数は //n// に関して −1 であるから、次の写像

がある。 これから、//E0// の微分は //d I// + //d II// から誘導される写像 //C////p//,//q// → //C////p//,//q//−1 であることがわかる。しかし、この写像と //d I// の次数は異なっているので、//d I// は //E//0 上でゼロでなければならない。これは、微分が //d II// と一致していることを意味しているので、

となる。//E2// を明らかにするためには、

を決定する必要がある。//E//1 はちょうど //d II// についてのホモロジーだったので、//d II// は //E//1 上でゼロになっている。したがって、

である。もう一方のフィルトレーションを使うと、同様の //E//2 項を持つ異なるスペクトル系列

が得られる。あとはこの2つのスペクトル系列の関係がわかればよい。//r// が大きくなると、この2つのスペクトル系列は有用な比較ができるほど十分に似てくることがわかる。

8. 収束・退化・収束先
------------

一番はじめに議論した最も簡単な例では、1以上の //r// に対してスペクトル系列は停止した。このような状況ではシートの列の極限というものを合理的に考えることができる。0番目のシートの後には何も起こらないので、極限のシート //E//∞ とは //E//1 と思えば良い。

一般的な状況でも、シートの極限が存在することが多く、そして常に興味深いものになっている。この点が、スペクトル系列が強力な計算手法である理由の1つである。スペクトル系列 が に収束する、あるいは近づいていくとは、ある //r// が存在して、全ての //r// ≥ //r// に対し微分 と が零写像になっていることを言う。このとき、大きな //r// に対して必然的に は と同型である。このような状況を

という記号で表す。この //p// はフィルトレーションの添字を表現している。この表記法を使うとき、矢印の左側には、ほとんどのスペクトル系列で最も意味のある項 を書くことが多く、また右側は収束先と呼ばれる。

ほとんどのスペクトル系列において、 項は自然には2重次数つきの対象にはなっていない。その代わり、 項には自然なフィルトレーション があることが多い。この状況では、 とセットする。この場合でも収束を先ほどと同様に定義するが、この場合には

と表記し、これで //p// + //q// = //n// の場合には が に収束していることを意味するものとする。

収束を決定できる最も簡単な状況は、スペクトル系列が退化するときである。スペクトル系列がシート r で退化するとは、任意の //s// ≥ //r// に対して微分 //ds// が零写像であることを言う。これは //Er// ≅ //E////r//+1 ≅ //E////r//+2 ≅ ... であることを意味する。特に、//Er// は //E∞// と同型になる。これは、最初にあげたフィルター無しの鎖複体の自明な例で起きてたことである。あのスペクトル系列は1番目のシートで退化した。一般に、2重次数つきのスペクトル系列は、水平もしくは垂直な帯状領城の外でゼロならば退化する。先の方のシートでは、微分はその帯状領域の外の対象に対しての射か、もしくは外の対象からの射になるからである。

また、ある //p//0 未満の全ての //p// と、ある //q//0 未満の全ての //q// に対して が消えているなら、スペクトル系列は収束する。//p//0 と //q//0 を0で取ることができるとき、第1象限スペクトル系列と呼ばれる。対象の、ゼロでない領域の境界からの距離は一定であることから、このようなスペクトル系列が収束することが分かる。結果的に、//p// と //q// を固定すると、後の方のシートでは微分は常に からゼロ対象への写像であるか、もしくはゼロ対象から来る写像になる。より視覚的に、微分は項がゼロではない象限を去っていく、と言ってもいい。ただし、微分が全て同時にゼロにならないこともあるので、このスペクトル系列は必ずしも退化しない。同様に、ある //p//0 より大きい全ての //p// と、ある //q//0 より大きい全ての //q// に対して が消えているなら、そのスペクトル系列は収束する。

スペクトル系列の5項完全系列は、ある低次数の項と //E//∞ の項を関係付ける。

次の文献も参照のこと: ボードマン、[1]

9. 退化の例
-------

9.1. フィルターつき複体のスペクトル系列
----------------------

包含関係の鎖

を考える。下記のように置くと、何が起きるか考える。

がこのスペクトル系列の収束先の自然な候補である。収束は自動的には従わないが、それでも多くの場合に収束する。特に、フィルトレーションが有限で、ちょうど //r// 個の非自明なステップからなる場合には、スペクトル系列は //r// 番目のシートの後で退化する。また、複体とフィルトレーションがともに下、もしくは上に有界ならば、収束する。

考えているスペクトル系列の収束先をより詳細に記述するために、次の表示

を考える。この表示から について何が言えるか考えるために、フィルトレーションは分離的と仮定していたことを思い出そう。この仮定から、//r// が大きくなると、核は縮小していき となる。 に対しては、フィルトレーションは覆い尽くしていると仮定していたことを思い出そう。この仮定から、//r// が大きくなると、像は大きくなっていき に到達する。以上をまとめて

が分かり、これからスペクトル系列の収束先は //C// の //// 番目のホモロジーの次数が //p// の部分になっていることが分かる。このスペクトル系列が収束するなら、

となることがわかった。

9.1.1. 長完全系列
------------

フィルターつき複体のスペクトル系列を使って、長完全系列の存在を導くことができる。双対鎖複体の短完全系列 0 → //A•// → //B•// → //C•// → 0 を一つとり、最初の写像を //f•// : //A•// → //B•// とする。この系列のホモロジーを取って、自然な写像 //Hn// → //Hn// → //Hn// が得られ、これは真ん中の部分で完全であることは知っている。フィルターつき複体のスペクトル系列を使ってこれの連結準同型を見つけ、そうやってできる列が完全であることを証明しよう。まず、//B•// のフィルターを

で定義する。定義から、

となる。微分は2重次数  を持つので、//d0,q// : //Hq// → //H////q//+1 である。この写像は蛇の補題による連結準同型で、写像 //A•// → //B•// → //C•// とあわせて列

を得る。あとはこの列が //A// と //C// のところで完全であることを示せばよい。さきのスペクトル系列は、微分の2重次数は  であるから、//E//2 項で退化することに注意する。したがって、//E//2 項は //E//∞ 項と一致するので、

が成り立つ。//E//2 項は、これに加えて //E//1 項のホモロジーとしての直接的な記述を持つ。この2つの記述の記述を比べて、同型

を得る。1番目の式から //C// のところでの完全性が従い、2番目の式から //A// のところでの完全性が従う。

9.2. 2重複体のスペクトル系列
-----------------

フィルターつき複体についての収束先を使うと、

が分かる。一般には、//Hp+q) 上の2つの次数付けは異なる//。にもかかわらず、この2つのスペクトル系列から有益な情報を得ることが可能である。

9.2.1. Tor の可換性
---------------

//R// を環、//M// を右 //R// 加群、//N// を左 //R// 加群とする。テンソル積の導来関手を Tor と表していたことを思い出そう。これは最初の引数の射影分解を使って定義されていたが、実は が成り立つ。スペクトル系列を使わずにこのことを確かめることもできるが、スペクトル系列を使うと非常に簡単に確かめられる。

//M// と //N// の射影分解を一つとり、それぞれ と と表す。これらを負の次数で消えている複体と捉え、微分はそれぞれ //d// と //e// とする。2重複体を、項は 、微分は と と定義して作る。射影加群は平坦なので、射影加群をテンソルする操作とホモロジーを取る操作は交換可能である。したがって、

が成り立つ。2つの複体は分解になっているので、そのホモロジーは次数0部分を除き消える。次数0部分には

が残っている。特に、 項は、//I// スペクトル系列については //q// = 0 の直線部分を除き消え、//II// スペクトル系列については //p// = 0 の直線部分を除き消える。これから2番目シートでスペクトル系列は退化していることが分かり、したがって //E//∞ 項は //E//2 項と同型である:

//p// と //q// が等しければ両式の右辺は等しいので、これで Tor の可換性が示せた。

10. その他の例
---------

有名なスペクトル系列を以下に列挙する。

10.1. 位相幾何学と幾何学
---------------

超常コホモロジー論の
群の分類空間のホモロジーに対する
mod //p// 係数ホモロジーと mod //p// 還元したホモロジーを関係付ける
商空間のホモロジーに収束する
ファイブレーションの引き戻し の特異コホモロジーに対する
ファイブレーションの

10.2. ホモトピー論
------------

安定ホモトピー理論の
超常コホモロジー論の一般化の
コファイブレーションの初期空間のホモトピーに収束する
関手のホモトピー余極限に収束する
アダムズ・ノヴィコフ・スペクトル系列の初項を計算する
球面の安定ホモトピー群に収束する
関数空間のホモトピー群に収束する
ホモトピー固定点スペクトル系列
空間のホモロジーをホモトピーから計算する
空間の mod //p// 安定ホモロジーに収束する
バー・スペクトル系列の別名である
バー・スペクトル系列の別名である
単体的群のホモトピー計算のための
バー・スペクトル系列の別名である
ウェッジ空間のホモトピー計算のための

10.3. 代数学
---------

チェック・コホモロジーから層係数コホモロジーへ向かう
加群の Tor 群や Ext 群を計算するための
代数の巡回ホモロジーに収束する
コズュール・コホモロジーに対する
導来関手の合成に対する
超ホモロジー計算のための
微分環のテンソル積のホモロジーを計算するための
層のコホモロジーに収束する
群のホモロジーの
代数の Tor 群や Ext 群を計算するための
微分フィルターつき群のスペクトル系列
2重複体のスペクトル系列
完全対のスペクトル系列
相対リー環コホモロジーへ収束する

10.4. 複素幾何学と代数幾何学
-----------------

特異点論の
体の代数的K理論に収束する
多様体のドルボーコホモロジーから始まり代数的ド・ラーム・コホモロジーへ収束する
多様体の代数的ド・ラーム・コホモロジーに収束する

11. 脚注
------

12. 参考文献
--------

12.1. 入門書
---------

12.2. 参考文献
----------

13. 発展資料
--------

14. 外部リンク
---------