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)と呼ぶ。
命題 を射影的加群とする。このとき短完全列は分裂する。
(証明)に対して射影的加群の性質を用いればよい。
では逆は成り立つだろうか。全射及びを考える。一般に加群は適当な自由加群の全射像となっている。従ってある自由加群及び全射が存在する。短完全列は分裂するから、が存在してを満たす。とすればとなるが存在する。ここに再び選択公理を仮定すればをより定めることが出来る。このときとなりは射影的であることが分かる。
命題 は有限生成とする。任意の短完全列が分裂するとき、は射影的である。
(証明)有限生成ならとできるのでを具体的に構成できる。
(証明)を射影的加群とする。ある自由加群及び全射が存在する。このときは分裂するのでと表せる。これはが直和成分であることを示す。
(証明)を射影(成分に制限する写像)とすれば、は分裂しが取れる。ここで全射及びに対して、を図式を可換にするように取れる。
(証明)射影加群は自由加群の直和成分であるが、特に有限生成なら有限自由加群の直和成分として書ける。その直和成分もまた有限自由加群の直和成分だから、射影的加群である。
上に見るように有限生成な射影的加群は、有限自由加群の直和成分という形で特徴付けられることが分かる。従って射影的加群の例を作るのは簡単である。この特徴付けは選択公理により強い主張に置き換えることができることを予告しておく。
(証明)より明らか。
命題 が有限生成な射影的加群とする。以下が成り立つ。
(証明)は有限自由加群の直和成分だから、と表せる。このときより、は射影的である。
またより、も射影的である。
所感
33.函手と自然変換
前回括弧付きで(コ)と書いたのに、本文では一言も触れてないという(笑)後で適当に加えておこう。
函手
二つの圏を対応付けるものとして函手を導入する。
定義 を圏とする。の対象に対しの対象が定まり、またの射に対しの射が定まるとする。恒等射に対してが成り立ち、射の合成に対してが成り立つとき、をからへの函手(functor)と呼び、などと表す。
例えば圏の対象に対して定まるは、から集合の圏への函手となる。
-加群に対しを単に集合と見なすことで函手が定まる。このように構造を持った集合から、その構造を忘れることで得られる函手を忘却函手(forgetful functor)と呼ぶ。
反転圏からの函手をからへの反変函手(contravariant functor)と呼ぶ。この意味で通常の函手を共変函手(covariant functor)とも呼ぶ。
切断や引込、イソといった射の性質は函手によって保たれる。つまり同型な対象の函手による「像」もまた同型になる。逆は一般に成り立たないが、次の条件が参考になる。
定義 函手に対して次を定める。
ただしここで言う単射とはに対しならとなることを意味し、全射とはに対してあるが存在してとなることを意味する。特にが局所的に小さい圏である場合は集合の意味での単射、全射になる。
命題 函手が忠実かつ充満なとき以下は同値となる。
- である。
- である。
(証明)下から上を示せば良い。がを満たすとする。忠実充満性より、対応するが一意的に存在する。一方で恒等射に対応するのも恒等射だから、函手の定義よりが従う。
自然変換
二つの函手が「自然な」対応関係にあるということを示すのが自然変換である。
定義 を函手とする。の対象に対し、射が与えられ、に対しが成り立つとする。このときをからへの自然変換(natural transformation)と呼び、などと表す。からへの自然変換全体をと表す。
函手に対し自然変換が定まる。また函手及び自然変換に対し、自然変換が定まる。すると函手を対象とし、自然変換を射とする圏を定めることができる。これを函手圏(functor category)と呼びやなどと書く。函手圏における同型を自然同値(naturally equivalent)と呼ぶ。
自然変換に対して、日本人の名前が入った重要な命題がある。
定理 (米田*1の補題) を圏とし、をその対象とする。は函手とする。このときからへの自然変換を集合の元に対応させると、これは全単射を与える。特には集合になる。
(証明)に対しをにより定める。するとは自然変換だから、
を得る。別の自然変換に対しても同様だから、ならが成り立つ。故にであるので単射であることが分かる。
次にに対応する自然変換を求めよう。に対しと定める。実際に対し、の函手性より
が成り立つ。故には自然変換であり、より全射であることも分かる。
系 圏の対象を集合に対応させる函手は忠実かつ充満である。
この系と前の命題により、二章で述べた「自然性」が正当化される。つまり二つの函手及びが函手圏において自然同値であれば加群の圏においてとは同型になる。
ところで射に対しそれ自身を対応させるような恒等函手を定めることができる。また函手及び函手に対し、その合成をにより定めることができる。ここで圏を対象のように扱うことで、函手は「圏の圏」における射のように思えてくる。「圏の圏」は一般には圏ではないが、圏の文脈を用いて圏の同型を定義することができるように思える。つまり函手及び函手が存在してが成り立つとき、圏と圏は圏同型(isomorphic as category)と呼ぶ。ところがこの定義は条件として強すぎて、あまり多くのことが言えないことが知られている。そこで条件を緩めてが恒等函手と、が恒等函手と、それぞれの函手圏において自然同値であるとき、とは圏同値(equivalent)であると呼ぶ。
完全函手と三種の加群
定義 を-前線型圏、を函手とする。が-加群の準同型となるとき、を-線型函手(linear functor)と呼ぶ。
-アーベル圏及び-線型函手に対して以下を定める。
- 完全列を完全列に写すとき-完全函手、あるいは単に完全函手(exact functor)と呼ぶ。
- が完全ならも完全であるとき左完全(left exact)であると呼ぶ。
- が完全ならも完全であるとき右完全(right exact)であると呼ぶ。
さて、加群の圏を考える。は完全な共変函手であった。更に次が成り立つのであった。
- は左完全な共変函手である。つまりが完全ならも完全である。
- は左完全な反変函手である。つまりが完全ならも完全である。
- は右完全な共変函手である。つまりが完全ならも完全である。
我々は、これらを完全にする加群に興味がある。
定義 以下を定める。
- が完全であるときは射影的(projective)であると呼ぶ。
- が完全であるときは入射的(injective)であると呼ぶ。
- が完全であるときは平坦(flat)であると呼ぶ。
*1:米田信夫(1930-1996)