35.抽象単体的複体
少し例を見て、ホモロジーの計算に触れておこう。現時点で扱える例は少ない。今から述べる抽象単体的複体や群コホモロジー等だろうか。とは言え一般に定義されるチェインも大体似たような感じなので、雰囲気は掴むことができると思う。幾何との関わりを見ることの方がずっと重要なのかもしれないが、それはまたいずれどこかで。
抽象単体的複体のホモロジー
頂点の集合と、その有限分部集合の族が次を満たすとする。
- ならである。
- かつならである。
このとき組、あるいは単にを抽象単体的複体(abstract simplicial complex)と呼ぶ。
抽象とは一体何なのか、複体なのに単体的であるとはどういう事か、といった素朴な疑問もあるだろうが深く考えない方が良い。
実はベクトル空間で定義した一次独立という概念はまさに抽象単体的複体の事を指す。つまり各ベクトルが頂点であり、一次独立な有限部分集合全体がを為す。
以下簡単の為、抽象単体的複体を単に複体と呼ぶことにする。
を複体とする。に対してのとき-単体(simplex)と呼ぶ。言い換えれば複体という言葉は「単体が複数集まったもの」から来ている。単体に対してがを満たすとする。このときをの-面(face)と呼びと表す。適当にの部分集合を取り、その面を全て集めればそれに属する-面を頂点とする部分複体が構成できる。
さて、複体に対してチェインを構成したいのだが、そのためにはまず頂点達に向き(orientation)を定める必要がある。具体的にはに全順序が与えられている状況を考え、-単体はその順序が小さい順にと表せるとする。(つまりとする。)このときに属する-単体により生成される自由-加群をと表す。
あるいは、全ての組み合わせから生成される自由加群を考え、その生成元に対して二つの頂点を入れ替えたら倍するような同値関係(例えばなど)を入れてもよい。
例えばとして、とする。このときとなる。
次にを
により定義する。(これを定める為に順序を入れた。)
演習 を満たすことを確認せよ。
上の例では
となり確かに成り立つ。
以上により鎖複体が構成でき、そのホモロジーを定義することができる。このホモロジーは複体の図形的な性質、例えば穴がどの程度空いているか、などを反映しているのだが、この事実を少しだけ計算して確かめてみよう。まず上で定義したのホモロジーを求めると、次のようになる。まずの元は一般に
と書ける。と置き換えればという関係が一つあるので、その自由度はとなる。一方の元は任意ので良いので、次のホモロジーはとなる。次には上でとなる元のことだからとなり自由度はである。一方は非自明な元を与えるので、つまり次のホモロジーはとなる。次のホモロジーがゼロとなることも良いだろう。纏めると次の表を得る。
0次 | ||||
1次 | ||||
2次 |
更にのホモロジーを計算してみよう。-単体が無いので、上の表でとなる。よってを得る。このように「穴」が開いているとホモロジーが非自明になる。
演習 好きな複体を考えてホモロジーを計算せよ。手計算は割と大変なのでピラミッドとか、毛を生やしたり程度が丁度良い。もし挑戦したければドーナッツのような複体を作り、そのホモロジーを調べてみると良い。
鎖写像とホモロジー
加群に対する準同型があるように、鎖複体に対しても射を考えることができる。
を鎖複体とする。が鎖写像(chain map)であるとは、を満たすことをいう。
-加群の圏において、鎖複体全体は鎖写像を射として圏を為す。これをと書く。これもアーベル圏になる。
鎖写像は自然にホモロジーにおける準同型を誘導する。実際に対し、よりである。よってが定義できるが、更によりはwell-definedとなる。
抽象単体的複体に話を戻そう。
抽象単体的複体に対し、が単体写像(simplicial map)であるとは、ならが成り立つことをいう。(であることに注意。まだ向きは付いていない。)
例えばのように、複数の頂点を一点に潰してしまうようなものも単体写像となる。
単体写像を射として抽象単体的複体が圏を為すことはもちろん言うまでもない。ただしこの圏には始対象が存在しないためアーベル圏とはならない。
さて、単体写像は鎖複体に対する鎖写像を定める。具体的にはに対し、が-単体であるとき(つまりが全て異なるとき)を対応させ、そうでないときはを対応させる。ただし前者は順序通りに並び替えるとき、その回数に応じた倍を施さなければならない。*1このようにして定めた鎖写像からホモロジーの準同型が誘導されることも注意しておく。
定理 抽象単体的複体に別々の向きを与えて鎖複体を定めたとする。このとき両者のホモロジーは同型となる。つまり抽象単体的複体のホモロジーは向き付けに依らず決まる。
(証明)恒等写像が誘導するホモロジーの間の準同型が互いに逆を与える。
プリズム作用素
複体をちょっと伸ばすと興味深い式が現れてくるので紹介しておこう。を複体とする。このときとし、その元をに対しと表すことにする。順序はで定めておく。に対し、と表せる単体を考え、それらが生成する複体をとする。さて、チェインに対する準同型を、
により定める。これをプリズム作用素(prismatic operator)と呼ぶ。ホモロジーの次数を上げる準同型であることに注目したい。
例えば
となる。
プリズム作用素は単体写像に関して自然となる。つまりとは可換になる。
ここで単体写像をにより定めることができる。次が本質的である。
定理 が成り立つ。ただし右辺は単体写像から定まる鎖写像を表す。
演習 定理を(気合いで)証明せよ。
系 が誘導するホモロジーの準同型は等しい。
(証明)とする。定理よりが従う。
所感
少し駆け足気味だけどこれでホモトピー同値の定義に説明を付けられる。上の議論は特異ホモロジーで扱われるのが普通で、色々確認はしてないけど、まあ大体似たようなものだし大丈夫でしょう。
*1:置換を定義してたらもっと簡潔に述べられるのだけれど。
34.射影的加群(初等編)
自由加群と射影的加群
函手を完全にする加群を射影的加群と呼んだ。ホム函手は常に左完全であるから、これは完全列が完全列を誘導することを意味する。つまりが全射のとき、任意のに対してとなるが存在する。このようなを一般にのによる持ち上げ(lifting)と呼ぶ。故に射影的加群とは、全射に対しの持ち上げが常に存在するような加群のことを指す。
果たして上記のような加群(加えて興味深い性質を持つ例)は存在するのだろうかという疑問に対して、現時点において、ある程度の回答を与えることができる。
まずは-加群で最も基本的と述べた自由加群から始めよう。自由加群とは適当な添え字集合に対し、と同型となる加群のことであった。各に対し、-成分においてイチ、それ以外の成分においてゼロを取るような元がに存在するが、これに対応する元達を自由基底(free basis)と呼ぶ。この意味するところは、ベクトル空間における基底のように、の元はと一意的に表せることを主張する。
ここで全射及びに対し、となるようなが常に存在する。そこで写像を、により定められる写像とする。あるいは同じことだがをで定めて、普遍性よりを得る。このときとなるのでは射影的である。
さて、上の議論に何か問題は無いだろうか。実は自分もよく見過ごすのだが、日本語に隠された大きなギャップが存在する。それを明らかにするには数学における「証明」についてきちんと考え直さなければならない。詳しくは基礎論に譲るとして、上の議論で問題となるところを端的に述べれば「証明は記号の有限列」である。上の議論では任意のに対してが存在することを主張する所まではよい。だが存在することしか分からないものを個別に指定して廻るのは、高々有限の範囲に収まらなければならない。人間は無限個の空でない箱の中から中身を一斉に取り出すことはできない。精々一つづつ取り出せるだけで、一斉に行うには何か巨大な機械が必要である。今の場合、始めからが与えられている場合は問題ないが、そうでない場合は超越的な操作が必要になる。この操作こそが選択公理(Axiom of choice, AC)と呼ばれるものであるが、今はまだ敢えてこの公理を仮定せず、できる議論を続けたい。
(証明)なので、上記の操作は有限の範囲に収まる。
短完全列の分裂
射影的加群の
- が成り立つ。
- が成り立つ。
このときはとの内部直和(inner direct sum)であるといい、と表す。のことをの直和成分(direct summand)と呼ぶ。
命題 である。
(証明)普遍性よりが取れる。これが全単射であることは条件より従う。
つまりの元はとの元の和で一意的に表せる。
補題 短完全列に対し、以下は同値である。
- が存在してが成り立つ。
- が存在してが成り立つ。
(証明)上から下を示す。に対し、であるからとなる。またとすれば、が存在してとなるから、つまりとなる。故にが従う。つまりと一意的に表せる。このときであり、は単射なのでとなるが唯一つ存在する。このを取りと定めればよい。
下から上も同様にが示せるのでそれを利用すればよい。
注意 上の写像の作り方に選択公理は必要ない。実際はに対して一意的に決まっており、それを指定することで写像を具体的に構成できる。
定義 短完全列が上の条件を満たすとき、分裂している(split)と呼ぶ。
命題 を射影的加群とする。このとき短完全列は分裂する。
(証明)に対して射影的加群の性質を用いればよい。
では逆は成り立つだろうか。全射及びを考える。一般に加群は適当な自由加群の全射像となっている。従ってある自由加群及び全射が存在する。短完全列は分裂するから、が存在してを満たす。とすればとなるが存在する。ここに再び選択公理を仮定すればをより定めることが出来る。このときとなりは射影的であることが分かる。
命題 は有限生成とする。任意の短完全列が分裂するとき、は射影的である。
(証明)有限生成ならとできるのでを具体的に構成できる。
(証明)を射影的加群とする。ある自由加群及び全射が存在する。このときは分裂するのでと表せる。これはが直和成分であることを示す。
(証明)を射影(成分に制限する写像)とすれば、は分裂しが取れる。ここで全射及びに対して、を図式を可換にするように取れる。
(証明)射影加群は自由加群の直和成分であるが、特に有限生成なら有限自由加群の直和成分として書ける。その直和成分もまた有限自由加群の直和成分だから、射影的加群である。
上に見るように有限生成な射影的加群は、有限自由加群の直和成分という形で特徴付けられることが分かる。従って射影的加群の例を作るのは簡単である。この特徴付けは選択公理により強い主張に置き換えることができることを予告しておく。
(証明)より明らか。
命題 が有限生成な射影的加群とする。以下が成り立つ。
(証明)は有限自由加群の直和成分だから、と表せる。このときより、は射影的である。
またより、も射影的である。