マイヤー・ヴィートリス完全系列

数学の特に代数的位相幾何学およびホモロジー論におけるマイヤー・ヴィートリス完全系列は、位相空間が持つホモロジー群やコホモロジー群といった代数的位相不変量を計算するのに便利な道具の一つで、オーストリアの数学者ヴォルター・マイヤーとレオポルト・ヴィートリスによって示された。これは、位相空間をホモロジーの計算がより容易にできるような部分空間の小片に分解するとき、得られる部分空間のホモロジーの列ともとの空間のそれとの関係を述べたもので、それによりもとの空間のそれらを計算するという方法論を与える。マイヤー・ヴィートリス完全系列と呼ばれる完全系列は、全体空間のホモロジー群、部分空間のホモロジー群の直和、部分空間の交わりのホモロジー群の三者から構成される自然な長完全列である。

マイヤー・ヴィートリス完全系列は、特異ホモロジー・特異コホモロジーを含む様々なホモロジー論およびコホモロジー論において成立する。一般に、アイレンバーグ-スティーンロッド公理系を満足するホモロジー理論に対してマイヤー・ビートリスの完全系列が存在しており、それらに対する簡約版と相対版も考えることができる。大部分の位相空間は、そのホモロジーを定義から直接に計算することができないので、部分的な情報を得るためにマイヤー・ヴィートリス完全系列のような道具を利用する。位相幾何学に現れるような空間の多くは非常に簡単な小片の貼り合わせとして構成されるが、そういったものの中で、空間を被覆する二つの部分空間がもとの空間より単純なホモロジーを持つものを注意深く選べば、マイヤー・ヴィートリス完全系列によりもとの空間のホモロジーが完全に演繹できるというのである。この観点で言えば、マイヤー・ヴィートリス完全系列は、基本群に対するザイフェルト–ファン・カンペンの定理の類似であり、実際一次元ホモロジーに対しては明確な関係がある。

1. 背景・動機および歴史
-------------

位相空間の基本群や高次のホモトピー群と同様に、ホモロジー群は重要な位相不変量である。ホモロジー論の中には線型代数学の道具を用いてホモロジー群が計算できるものも存在するけれども、他の大部分の重要なホモロジー論では非自明な空間に対して定義から直接にホモロジー群を計算することはできない。特異ホモロジーの場合、特異チェイン群やサイクル群は直接扱うには大きすぎることが多いのである。従ってもう少し直接的でない方法論が必要になってくる。マイヤー・ヴィートリス完全系列はそのような方法論の一つで、任意の空間のホモロジー群の部分的な情報を、その空間の二つの部分空間およびそれらの交わりのホモロジー群と関連付けて与えるものである。この関連性を表すのに最も自然で便利な方法は完全系列という代数的な概念を用いることである。完全列というのは、ある対象と対象間の射で構成される系列であって、各射の像が次の射の核に一致するようなものをいう。一般には、マイヤー・ヴィートリス完全系列で空間のホモロジー群が完全に計算できるようになるわけではないのだけれども、しかし位相幾何学に現れる重要な空間の多くは、位相多様体や単体的複体あるいはCW複体のような、非常に簡単な素片の貼合せとして構成されるものになっているので、マイヤーとヴィートリスが示したような定理は潜在的に広く深い応用の可能性を持っているということができる。

マイヤーは、1926年と1927年のウィーン地方大学における講演会の際に、同僚ヴィートリスから位相幾何学を紹介され、ベッチ数に対する問題の予想される結果とその解法を伝えられて、1929年にその問題を解いている。マイヤーはその結果を、二つの円筒の和として見たときのトーラスに適用した。その後の1930年に、ヴィートリスはトーラスのホモロジー群についての完全な結果を示しているが、それは完全列として表されたものではなかった。完全系列の概念が出版物に現れるのは、1952年にアイレンバーグとスティーンロッドが著した書籍 //Foundations of Algebraic Topology//においてであり、それにはマイヤーとビートリスの結果が現代的な形で記されている。

2. 基本形
------

位相空間 //X// と、その部分空間 //A//, //B// はそれらの内部が //X// を被覆するものとするとき、三つ組  に対する特異ホモロジーのマイヤー・ヴィートリス完全系列は、空間 //X//, //A//, //B// および交わり //A//∩//B// に関する特異ホモロジー群からなる長完全系列で、簡約版と非簡約版がある。

2.1. 非簡約版
---------

非簡約ホモロジーに対するマイヤー・ヴィートリス完全系列は、以下の系列

が完全であることを主張するものである。ここで、写像 //i//: //A//∩//B// ↪ //A//, //j//: //A//∩//B// ↪ //B//, //k//: //A// ↪ //X//, //l//: //B// ↪ //X// は何れも包含写像で、⊕ はアーベル群の直和を表す。

2.2. 境界写像
---------

境界写像 ∂* が次元を下げることは、以下のように明示的に説明することができる。//H//n の各元は //n//-輪体 //x// の属するホモロジー類であり、各 //x// は像が完全にそれぞれ //A// および //B// に含まれる二つの //n//-鎖 //u// および //v// の和として書くことができて、∂//x// = ∂ = 0, 即ち ∂//u// = −∂//v// が成り立つ。このことは、各鎖の境界である -輪体の像が共に、交わり //A// ∩ //B// に含まれることを意味する。従って ∂* //H////n//−1 に属する ∂//u// のホモロジー類である。//x// とは別の代表元 //x//′ をとった場合でも∂//u// は変わらないし、別の分解 //x// = //u//′ + //v//′ をとった場合でも∂//u// = ∂//u//′ および ∂//v// = ∂//v//′ が言える。ただし、マイヤー・ビートリス完全系列における境界写像が //A// と //B// の順番には依存することには注意が必要である。特に、//A// と //B// の順番を入れ替えると境界写像の符号が反転する。

2.3. 簡約版
--------

簡約ホモロジーに対しても、//A//, //B// の交わりが空でないという仮定の下でマイヤー・ヴィートリス完全系列が存在する。これは正の次元のホモロジーのなす端点を持つ系列

と同一視される。

2.4. ザイフェルト–ファン・カンペンの定理との類似
---------------------------

マイヤー・ヴィートリス完全系列と、ザイフェルト–ファン・カンペンの定理との間には類似性がある。交わり //A// ∩ //B// が弧状連結である限りにおいて、簡約マイヤー・ヴィートリス完全系列は同型

を導く。ここで、完全性により Ker ≅ Im であることを用いた。これはちょうど、ザイフェルト–ファン・カンペンの定理の主張をアーベル化したものになっており、「//X// が弧状連結のとき一次元ホモロジー群 //H//1 は基本群π1 のアーベル化である」という事実に比肩する。

3. 簡単な応用例
---------

3.1. 超球面
--------

//k//-次元球面 //X// = //S////k// のホモロジーをきちんと計算するために、//A// および //B// をそれらの交わりが -次元赤道球面にホモトピー同値な //X// の二つの半球面とする。//k//-次元半球面は //k//-次元円板にホモトピックで、これは可縮だから、//A// および //B// のホモロジー群は自明である。簡約ホモロジー群に対するマイヤー・ビートリス完全系列からが得られる。完全性から直ちに、写像 ∂* が同型になることがわかるので、0次元球面の簡約ホモロジーから帰納的に、

が得られる。ただし、δ はクロネッカーのデルタである。

このように球面のホモロジー群は完全にわかっており、今のところ知られている球面のホモトピー群の場合とは対照的である。

3.2. クラインの壷
-----------

マイヤー・ヴィートリス完全系列のもう少しだけ難しい応用として、クラインの壷 //X// のホモロジー群の計算を挙げよう。二つのメビウスの帯 //A//, //B// をそれらの境界円にそって貼合せた和として //X// を分解すれば、//A//, //B// およびそれらの交わり //A// ∩ //B// は円にホモトピー同値であるから、マイヤー・ヴィートリス完全系列の非自明な部分はとなり、かつ自明な部分からは //X// の次元が 2 以上のホモロジーが消えることがわかる。実際、真ん中の写像 α は 1 を  へ写す。特に α は単射であり、故に 2 以上の次元のホモロジーが消えることが出る。結局、Z2 の基底として  および  をとればが得られる。

3.3. 一点和
--------

位相空間 //X// を二つの空間 //K// および //L// の一点和  とし、さらにそれらの同一視された基点は //U// ⊂ //K// および //V// ⊂ //L// なる開近傍の変位レトラクトであるものとする。 このとき //A// := //K// ∪ //V// および //B// = //U// ∪ //L// とおけば //A// ∪ //B// = //X// かつ //A// ∩ //B// = //U// ∪ //V// で、後者は作り方から可縮である。簡約版のマイヤー・ヴィートリス完全系列から各次元 //n// に対して が導かれる。図に示すように //X// が二つの二次元球面 //K// と //L// の和であるような場合、上掲の結果を代入して

と計算できる。

3.4. 懸垂空間
---------

位相空間 //X// が別の空間 //Y// の懸垂 //SY// のとき、//A// および //B// をそれぞれ二重錐の上点  および下点  の //X// における補集合ととれば、//X// は共に可縮な //A//, //B// の和 //A// ∪ //B// として書けて、交わり //A// ∩ //B// は //Y// にホモトピー同値であるから、マイヤー・ヴィートリス完全系列により、各 //n// に対してを得る。図は一次元球面 //X// を零次元球面 //Y// の懸垂と見たものだが、一般に //k//-次元球面は -次元球面の懸垂になっており、上掲の球面のホモロジー群を帰納法によって導くことも容易である。

4. 更に進んだ議論
----------

4.1. 相対版
--------

相対ホモロジー版のマイヤー・ヴィートリス完全系列も存在する。部分空間 //Y// ⊂ //X// が //C// ⊂ //A// および //D// ⊂ //B// の和であるとき、相対版マイヤー・ヴィートリス完全列は

で与えられる。

4.2. 自然性
--------

ホモロジー群は「//ƒ// が //X//1 から //X//2 への連続写像ならば、ホモロジー群の間の標準押し出し写像 //ƒ//∗:   //H////k//   →   //H////k// で押し出しの合成が合成の押し出しになるようなものが存在する」という意味で自然である。マイヤー・ヴィートリス完全系列も「//X//1 = //A//1 ∪ //B//1 から //X//2 = //A//2 ∪ //B//2 への連続写像 //ƒ// が //ƒ// ⊂ //A//2 かつ //ƒ// ⊂ //B//2 を満たすならば、マイヤー・ヴィートリス完全系列の連結準同型 ∂∗ は押し出し //ƒ//∗ の可換になる」という意味でやはり自然である。即ち、次の図式

は可換である。

4.3. コホモロジー版
------------

係数群 //G// を持つ特異コホモロジーに対するマイヤー・ヴィートリスの長完全系列は、ホモロジー版の双対であり、

で与えられる。ここで、次元を保つ写像は包含写像から誘導された制限写像であり、境界写像はホモロジー版のときと同様にして定義される。さらにこの相対版の定式化も同様にできる。重要な意味を持つ特別な場合としては、係数群 //G// が実数全体の成す加法群 R で、考える位相空間がさらに可微分多様体の構造を持つような場合であって、このときド・ラームコホモロジーに対するマイヤー・ヴィートリス完全系列は

と書ける。ただし {//U//, //V//} は //X// の開被覆、ρ は制限写像、Δ は差であり、また双対境界写像 //d//∗ は上で述べた境界写像 ∂∗ と同様に定められる。この完全系列は以下のように簡潔に述べることもできる。例えば交わり //U// ∩ //V// における閉微分形式 ω で表されるコホモロジー類 [ω] に対して、開被覆 {//U//, //V//} に従う 1 の分割を通じて ω を ω//U// - ω//V// の形の差に表せば、外微分 //d//ω//U// および //d//ω//V// は //U// ∩ //V// 上で一致し、それ故ともに //X// 上の或る -形式 σ を定めるが、このとき //d//∗ = [σ] が成り立つ。

4.4. 導出について
-----------

α = , β = //x// + //y// および //C////n// は //A// の鎖と //B// の鎖の和からなるものとして、鎖群の成す短完全列

に付随する長完全列を考える。事実として、//X// の特異 //n//-単体で像が //A// か //B// の何れかに含まれるようなもの全体はホモロジー群 //H////n// を生成する。即ち、//H////n// は //H////n// に同型である。この事実が特異ホモロジーに対するマイヤー・ヴィートリス完全系列を与えるのである。同じ計算を微分形式の成すベクトル空間の短完全列

に適用すれば、ド・ラームコホモロジーに対するマイヤー・ヴィートリス完全系列が得られる。形式的な観点で言えば、マイヤー・ヴィートリス完全系列は、ホモロジー論に対するアイレンバーグ・スティーンロッド公理系からホモロジーの長完全列を用いて導出できる。

4.5. 種々のホモロジー論
--------------

アイレンバーグ・スティーンロッド公理系からのマイヤー・ヴィートリス完全系列の導出には次元公理は必要でないので、常コホモロジー論において存在するばかりでなく、超常コホモロジー論においてもやはりマイヤー・ヴィートリス完全系列の存在が保証される。

4.6. 層係数コホモロジー
--------------

層係数コホモロジーの観点からは、マイヤー・ヴィートリス完全系列はチェックコホモロジーと関係する。特に、チェックコホモロジーを計算するために用いた開被覆が二つの開集合からなる場合において、スペクトル系列の退化から生じるものは、チェックコホモロジーを層係数コホモロジーに結び付ける。このスペクトル列は任意のトポスにおいて存在する。

5. 関連項目
-------

ジグザグ補題

6. 注記
-----

7. 参考文献
-------

last1=Bott.

first= Leo.

first= Jean.

last1=Eilenberg.

first= Allen.

title= The Heritage of Emmy Noether.

last1=Kōno/日本語原著和書/同単行本

first= William.

first= Walther.

first= Edwin.

first= Leopold.

8. 関連文献
-------

last1=Reitberger.

9. 外部リンク
--------