arXiv探訪

興味の赴くままに数学するだけ

35.抽象単体的複体

目次

少し例を見て、ホモロジーの計算に触れておこう。現時点で扱える例は少ない。今から述べる抽象単体的複体や群コホモロジー等だろうか。とは言え一般に定義されるチェインも大体似たような感じなので、雰囲気は掴むことができると思う。幾何との関わりを見ることの方がずっと重要なのかもしれないが、それはまたいずれどこかで。

抽象単体的複体のホモロジー

頂点の集合{ V }と、その有限分部集合の族{ K\subset 2^{V} }が次を満たすとする。

  • { v\in V }なら{ \lbrace v \rbrace\in K }である。
  • { s\in K }かつ{ t\subset s }なら{ t\in K }である。

このとき組{ (V, K) }、あるいは単に{ K }を抽象単体的複体(abstract simplicial complex)と呼ぶ。

抽象とは一体何なのか、複体なのに単体的であるとはどういう事か、といった素朴な疑問もあるだろうが深く考えない方が良い。

実はベクトル空間で定義した一次独立という概念はまさに抽象単体的複体の事を指す。つまり各ベクトルが頂点であり、一次独立な有限部分集合全体が{ K }を為す。

以下簡単の為、抽象単体的複体を単に複体と呼ぶことにする。

{ K }を複体とする。{ s\in K }に対して{ \sharp s=n+1 }のとき{ n }-単体(simplex)と呼ぶ。言い換えれば複体という言葉は「単体が複数集まったもの」から来ている。単体{ s }に対して{ t\subset s }{ \sharp t=m+1\lt n+1 }を満たすとする。このとき{ t }{ s }{ m }-面(face)と呼び{ t\prec s }と表す。適当に{ K }の部分集合を取り、その面を全て集めればそれに属する{ 0 }-面を頂点とする部分複体が構成できる。

さて、複体に対してチェインを構成したいのだが、そのためにはまず頂点達に向き(orientation)を定める必要がある。具体的には{ V }に全順序が与えられている状況を考え、{ n }-単体はその順序が小さい順に{ \langle v_{0}, \dotsc, v_{m}\rangle }と表せるとする。(つまり{ v_{0}\le\dotsb\le v_{m} }とする。)このとき{ K }に属する{ n }-単体により生成される自由{ R }-加群{ C_{n}(K; R) }と表す。

あるいは、全ての組み合わせから生成される自由加群を考え、その生成元に対して二つの頂点を入れ替えたら{ -1 }倍するような同値関係(例えば{ \langle v_{1}, v_{0} \rangle\sim-\langle v_{0}, v_{1} \rangle }など)を入れてもよい。

例えば{ V=\lbrace 0, 1, 2 \rbrace }として、{ K=\lbrace \langle 0 \rangle, \langle 1 \rangle, \langle 2 \rangle, \langle 01 \rangle, \langle 02 \rangle, \langle 12 \rangle, \langle 012 \rangle \rbrace }とする。このとき{ C_{1}(K; R)=R\langle 01 \rangle\oplus R\langle 02 \rangle\oplus R\langle 12\rangle }となる。

次に{ d_{n}:C_{n}(K; R)\rightarrow C_{n-1}(K; R) }

{ \displaystyle d_{n}\langle v_{0}, \dotsc, v_{n} \rangle:=\sum_{i=0}^{n}\langle v_{0}, \dotsc, v_{i-1}, v_{i+1}, \dotsc, v_{n} \rangle }

により定義する。(これを定める為に順序を入れた。)

演習 { d_{n-1}\circ d_{n}=0 }を満たすことを確認せよ。

上の例では

{ \begin{align*} d^{2}\langle 012 \rangle &= d( \langle 12 \rangle-\langle 02 \rangle+\langle 01\rangle ) \\ &= (\langle 2 \rangle - \langle 1 \rangle ) - ( \langle 2 \rangle - \langle 0 \rangle ) + ( \langle 1 \rangle - \langle 0 \rangle ) \\ &= 0 \end{align*} }

となり確かに成り立つ。

以上により鎖複体が構成でき、そのホモロジー{ H_{n}(K; R) }を定義することができる。このホモロジーは複体の図形的な性質、例えば穴がどの程度空いているか、などを反映しているのだが、この事実を少しだけ計算して確かめてみよう。まず上で定義した{ K }ホモロジーを求めると、次のようになる。まず{ B_{0}(K; R)=dC_{1}(K; R) }の元は一般に

{ \begin{align*} & a(\langle 1 \rangle - \langle 0 \rangle)+b(\langle 2 \rangle - \langle 0 \rangle)+c(\langle 2 \rangle - \langle 1 \rangle) \\ &=(-a-b)\langle 0 \rangle+(a-c)\langle 1 \rangle+(b+c)\langle 2 \rangle \end{align*} }

と書ける。{ u=-a-b, v=a-c, w=b+c }と置き換えれば{ u+v+w=0 }という関係が一つあるので、その自由度は{ 2 }となる。一方{ Z_{0}(K; R)=C_{0}(K; R) }の元は任意の{ u, v, w\in R }で良いので、{ 0 }次のホモロジー{ H_{0}(K; R)=R^{3}/R^{2}\cong R }となる。次に{ Z_{1}(K; R) }は上で{ (-a-b)\langle 0 \rangle+(a-c)\langle 1 \rangle+(b+c)\langle 2 \rangle=0 }となる元のことだから{ a=-b=c }となり自由度は{ 1 }である。一方{ d\langle 012 \rangle\neq 0 }は非自明な元を与えるので、{ B_{1}(K; R)=R }つまり{ 1 }次のホモロジー{ H_{1}(K; R)=R/R\cong 0 }となる。{ 2 }次のホモロジーがゼロとなることも良いだろう。纏めると次の表を得る。

{ C } { Z } { B } { H }
0次 { u\langle 0 \rangle+v\langle 1 \rangle+w\langle 2\rangle } { (u, v, w)\in R^{3} } { u+v+w=0 } { R }
1次 { a\langle 01 \rangle+b\langle 02 \rangle+c\langle 12\rangle } { a=-b=c } { x(\langle 01 \rangle-\langle 02 \rangle + \langle 12 \rangle) } { 0 }
2次 { x\langle 012 \rangle } { 0 } { 0 } { 0 }

更に{ K^{\prime}:=\lbrace \langle 0 \rangle, \langle 1 \rangle, \langle 2 \rangle, \langle 01 \rangle, \langle 02 \rangle, \langle 12 \rangle \rbrace }ホモロジーを計算してみよう。{ 2 }-単体が無いので、上の表で{ B_{1}=0 }となる。よって{ H_{1}(K^{\prime}; R)=R }を得る。このように「穴」が開いているとホモロジーが非自明になる。

演習 好きな複体を考えてホモロジーを計算せよ。手計算は割と大変なのでピラミッドとか、毛を生やしたり程度が丁度良い。もし挑戦したければドーナッツのような複体を作り、そのホモロジーを調べてみると良い。

写像ホモロジー

加群に対する準同型があるように、鎖複体に対しても射を考えることができる。

{ (C_{n}, d_{n}), (C^{\prime}_{n}, d^{\prime}_{n}) }を鎖複体とする。{ f=(f_{n}:C_{n}\rightarrow C^{\prime}_{n}) }が鎖写像(chain map)であるとは、{ d^{\prime}_{n}\circ f_{n}=f_{n-1}\circ d_{n} }を満たすことをいう。

{ R }-加群の圏において、鎖複体全体は鎖写像を射として圏を為す。これを{ \mathrm{ch}(R\mathrm{-mod}) }と書く。これもアーベル圏になる。

写像は自然にホモロジーにおける準同型を誘導する。実際{ x\in Z_{n}( C ) }に対し、{ d^{\prime}_{n}\circ f_{n}(x)=f_{n-1}(d_{n}( x ) )= 0 }より{ f_{n}(x)\in Z_{n}( C^{\prime} ) }である。よって{ Z_{n}( C )\rightarrow H_{n}( C^{\prime} ) }が定義できるが、更に{ f_{n}(d_{n+1}( y ) )=d_{n}( f_{n+1}( y ) )\in B{n}( C^{\prime} ) }より{ H_{n}( C )\rightarrow H_{n}( C^{\prime} ) }はwell-definedとなる。

抽象単体的複体に話を戻そう。

抽象単体的複体{ (V, K), (V^{\prime}, K^{\prime}) }に対し、{ f:V\rightarrow V^{\prime} }が単体写像(simplicial map)であるとは、{ s=\lbrace v_{0}, \dotsc, v_{n} \rbrace\in K }なら{ fs=\lbrace f(v_{0}), \dotsc, f(v_{n})\rbrace\in K^{\prime} }が成り立つことをいう。({ \lbrace \rbrace }であることに注意。まだ向きは付いていない。)

例えば{ 0, 1\mapsto 2 }のように、複数の頂点を一点に潰してしまうようなものも単体写像となる。

単体写像を射として抽象単体的複体が圏を為すことはもちろん言うまでもない。ただしこの圏には始対象が存在しないためアーベル圏とはならない。

さて、単体写像{ f }は鎖複体に対する鎖写像を定める。具体的には{ s=\langle v_{0}, \dotsc, v_{n} \rangle }に対し、{ fs }{ n }-単体であるとき(つまり{ f(v_{0}), \dotsc, f(v_{n}) }が全て異なるとき){ \langle f(v_{0}), \dotsc, f(v_{n}) \rangle }を対応させ、そうでないときは{ 0 }を対応させる。ただし前者は順序通りに並び替えるとき、その回数に応じた{ -1 }倍を施さなければならない。*1このようにして定めた鎖写像からホモロジーの準同型が誘導されることも注意しておく。

定理 抽象単体的複体{ (V, K) }に別々の向きを与えて鎖複体{ C(K; R), C^{\prime}(K; R) }を定めたとする。このとき両者のホモロジーは同型となる。つまり抽象単体的複体のホモロジーは向き付けに依らず決まる。

(証明)恒等写像{ v\mapsto v }が誘導するホモロジーの間の準同型が互いに逆を与える。{ \square }

プリズム作用素

複体をちょっと伸ばすと興味深い式が現れてくるので紹介しておこう。{ (V, K) }を複体とする。このとき{ PV:=V\times\lbrace 0, 1 \rbrace }とし、その元を{ v_{i}\in V }に対し{ p_{i}:=(v_{i}, 0), q_{i}:=(v_{i}, 1) }と表すことにする。順序は{ p\lt q }で定めておく。{ s=\langle v_{0}, \dotsc, v_{n} \rangle\in K }に対し、{ \langle p_{0}, \dotsc, p_{i}, q_{i}, \dotsc, q_{n} \rangle }と表せる{ n+1 }単体を考え、それらが生成する複体を{ PK }とする。さて、チェインに対する準同型{ P_{n}:C_{n}(K)\rightarrow C_{n+1}(PK) }を、

{ \displaystyle \langle v_{0}, \dotsc, v_{n} \rangle\mapsto\sum_{i=0}^{n}(-1)^{i}\langle p_{0}, \dotsc, p_{i}, q_{i}, \dotsc, q_{n} \rangle }

により定める。これをプリズム作用素(prismatic operator)と呼ぶ。ホモロジーの次数を上げる準同型であることに注目したい。

例えば

{ \langle 012 \rangle\mapsto \langle p_{0}q_{0}q_{1}q_{2} \rangle-\langle p_{0}p_{1}q_{1}q_{2} \rangle-\langle p_{0}p_{1}p_{2}q_{2} \rangle }

となる。

プリズム作用素は単体写像{ f:K\rightarrow K^{\prime} }に関して自然となる。つまり{ C_{n}( K )\xrightarrow{P_{n}}C_{n+1}(PK)\xrightarrow{f}C_{n+1}(PK^{\prime}) }{ C_{n}( K )\xrightarrow{f}C_{n}(K^{\prime})\xrightarrow{P_{n}}C_{n+1}(PK^{\prime}) }は可換になる。

ここで単体写像{ l, u:K\rightarrow PK }{ l(v_{i}):=p_{i}, u(v_{i}):=q_{i} }により定めることができる。次が本質的である。

定理 { d_{n+1}\circ P_{n}+P_{n-1}\circ d_{n}=u-l }が成り立つ。ただし右辺は単体写像から定まる鎖写像を表す。

演習 定理を(気合いで)証明せよ。

{ u, v }が誘導するホモロジーの準同型{ H_{n}( K )\rightarrow H_{n}(PK) }は等しい。

(証明){ d_{n}( x )=0 }とする。定理より{ u( x )-l( x )=d_{n+1}\circ P_{n}( x )\in B_{n}( PK ) }が従う。{ \square }

所感

少し駆け足気味だけどこれでホモトピー同値の定義に説明を付けられる。上の議論は特異ホモロジーで扱われるのが普通で、色々確認はしてないけど、まあ大体似たようなものだし大丈夫でしょう。

*1:置換を定義してたらもっと簡潔に述べられるのだけれど。

34.射影的加群(初等編)

目次

自由加群と射影的加群

函手{ \mathrm{Hom}_{R}(P, -) }を完全にする加群{ P }を射影的加群と呼んだ。ホム函手は常に左完全であるから、これは完全列{ Y\xrightarrow{p}Z\rightarrow 0 }が完全列{ \mathrm{Hom}_{R}(P, Y)\xrightarrow{p^{\ast}}\mathrm{Hom}_{R}(P, Z)\rightarrow 0 }を誘導することを意味する。つまり{ p:Y\rightarrow Z }全射のとき、任意の{ f:P\rightarrow Z }に対して{ p\circ g=f }となる{ g:P\rightarrow Y }が存在する。このような{ g }を一般に{ f }{ p }による持ち上げ(lifting)と呼ぶ。故に射影的加群{ P }とは、全射{ p:Y\rightarrow Z }に対し{ f:P\rightarrow Z }の持ち上げが常に存在するような加群のことを指す。

果たして上記のような加群(加えて興味深い性質を持つ例)は存在するのだろうかという疑問に対して、現時点において、ある程度の回答を与えることができる。

まずは{ R }-加群で最も基本的と述べた自由加群から始めよう。自由加群{ F }とは適当な添え字集合{ \Lambda }に対し、{ R^{\Lambda} }と同型となる加群のことであった。各{ \lambda\in\Lambda }に対し、{ \lambda }-成分においてイチ、それ以外の成分においてゼロを取るような元が{ R^{\Lambda} }に存在するが、これに対応する元{ e_{\lambda}\in F }達を自由基底(free basis)と呼ぶ。この意味するところは、ベクトル空間における基底のように、{ F }の元は{ \sum r_{\lambda}e_{\lambda} }と一意的に表せることを主張する。

ここで全射{ p:Y\rightarrow Z }及び{ f:F\rightarrow Z }に対し、{ f(e_{\lambda})=p(a_{\lambda}) }となるような{ a_{\lambda}\in Y }が常に存在する。そこで写像{ g:F\rightarrow Y }を、{ e_{\lambda}\mapsto a_{\lambda} }により定められる写像とする。あるいは同じことだが{ g_{\lambda}:R\rightarrow Y }{ r\mapsto ra_{\lambda} }で定めて、普遍性より{ g:F\rightarrow Y }を得る。このとき{ p\circ g=f }となるので{ F }は射影的である。

さて、上の議論に何か問題は無いだろうか。実は自分もよく見過ごすのだが、日本語に隠された大きなギャップが存在する。それを明らかにするには数学における「証明」についてきちんと考え直さなければならない。詳しくは基礎論に譲るとして、上の議論で問題となるところを端的に述べれば「証明は記号の有限列」である。上の議論では任意の{ \lambda }に対して{ a_{\lambda} }が存在することを主張する所まではよい。だが存在することしか分からないものを個別に指定して廻るのは、高々有限の範囲に収まらなければならない。人間は無限個の空でない箱の中から中身を一斉に取り出すことはできない。精々一つづつ取り出せるだけで、一斉に行うには何か巨大な機械が必要である。今の場合、始めから{ a_{\lambda} }が与えられている場合は問題ないが、そうでない場合は超越的な操作が必要になる。この操作こそが選択公理(Axiom of choice, AC)と呼ばれるものであるが、今はまだ敢えてこの公理を仮定せず、できる議論を続けたい。

命題 有限自由加群は射影的加群である。

(証明){ \Lambda=\lbrace 1, \dotsc, n \rbrace }なので、上記の操作は有限の範囲に収まる。{ \square }

短完全列の分裂

射影的加群

定義 { R }-加群{ M }及びその部分加群{ L, N }が以下を満たすとする。

  • { L+N=M }が成り立つ。
  • { L\cap N=\lbrace 0 \rbrace }が成り立つ。

このとき{ M }{ L }{ N }の内部直和(inner direct sum)であるといい、{ M=L\uplus N }と表す。{ L, N }のことを{ M }の直和成分(direct summand)と呼ぶ。

命題 { L\uplus N\cong L\oplus N }である。

(証明)普遍性より{ L\oplus N\rightarrow L\uplus N }が取れる。これが全単射であることは条件より従う。{ \square }

つまり{ M }の元は{ L }{ N }の元の和で一意的に表せる。

補題 短完全列{ 0\rightarrow X\xrightarrow{f}Y\xrightarrow{g}Z\rightarrow 0 }に対し、以下は同値である。

  • { \beta:Z\rightarrow Y }が存在して{ g\circ \beta=\mathrm{id}_{Z} }が成り立つ。
  • { \alpha:Y\rightarrow X }が存在して{ \alpha\circ f=\mathrm{id}_{X} }が成り立つ。

(証明)上から下を示す。{ y\in Y }に対し、{ g(y-\beta( g( y ) ) )=0 }であるから{ y\in\mathrm{Im}\beta+\mathrm{Ker}g }となる。また{ y\in\mathrm{Im}\beta\cap\mathrm{Ker}g }とすれば、{ z\in Z }が存在して{ \beta( z )=y }となるから、{ z=g\beta z=g( y )=0 }つまり{ y=\beta( 0 )=0 }となる。故に{ Y=\mathrm{Im}\beta\uplus\mathrm{Ker}g }が従う。つまり{ y=y_{1}+y_{2}, y_{1}\in\mathrm{Im}\beta, y_{2}\in\mathrm{Ker}g }と一意的に表せる。このとき{ \mathrm{Ker}g=\mathrm{Im}f }であり、{ f }単射なので{ f(x)=y_{2} }となる{ x }が唯一つ存在する。この{ x }を取り{ y\mapsto x }と定めればよい。

下から上も同様に{ Y=\mathrm{Im}f+\mathrm{Ker}\alpha }が示せるのでそれを利用すればよい。{ \square }

注意 上の写像の作り方に選択公理は必要ない。実際{ x }{ y }に対して一意的に決まっており、それを指定することで写像を具体的に構成できる。

定義 短完全列が上の条件を満たすとき、分裂している(split)と呼ぶ。

命題 { P }を射影的加群とする。このとき短完全列{ 0\rightarrow A\xrightarrow{f}B\xrightarrow{g}P\rightarrow 0 }は分裂する。

(証明){ \mathrm{id}:P\rightarrow P }に対して射影的加群の性質を用いればよい。{ \square }

では逆は成り立つだろうか。全射{ p:Y\rightarrow Z }及び{ f:P\rightarrow Z }を考える。一般に加群は適当な自由加群全射像となっている。従ってある自由加群{ F }及び全射{ F\xrightarrow{g}P }が存在する。短完全列{ 0\rightarrow\mathrm{Ker}g\rightarrow F\xrightarrow{g}P\rightarrow 0 }は分裂するから、{ h:P\rightarrow F }が存在して{ g\circ h=\mathrm{id}_{P} }を満たす。{ F\cong R^{\Lambda} }とすれば{ f\circ g(e_{\lambda})=p(y_{\lambda}) }となる{ y_{\lambda}\in Y }が存在する。ここに再び選択公理を仮定すれば{ g^{\prime}:F\rightarrow Y }{ e_{\lambda}\mapsto y_{\lambda} }より定めることが出来る。このとき{ p\circ g^{\prime}\circ h=f }となり{ P }は射影的であることが分かる。

命題 { P }は有限生成とする。任意の短完全列{ 0\rightarrow A\xrightarrow{f}B\xrightarrow{g}P\rightarrow 0 }が分裂するとき、{ P }は射影的である。

(証明)有限生成なら{ F\cong R^{n} }とできるので{ g^{\prime} }を具体的に構成できる。{ \square }

命題 射影的加群は、ある自由加群の直和成分である。

(証明){ P }を射影的加群とする。ある自由加群{ F }及び全射{ g:F\rightarrow P }が存在する。このとき{ 0\rightarrow\mathrm{Ker}g\rightarrow F\xrightarrow{g} P\rightarrow 0 }は分裂するので{ F\cong\mathrm{Ker}g\uplus P }と表せる。これは{ P }が直和成分であることを示す。{ \square }

命題 有限自由加群の直和成分は射影的加群である。

(証明){ R^{n}\rightarrow P }を射影({ P }成分に制限する写像)とすれば、{ 0\rightarrow\mathrm{Ker}\rightarrow R^{n}\rightarrow P\rightarrow 0 }は分裂し{ P\rightarrow R^{n} }が取れる。ここで全射{ Y\rightarrow Z }及び{ P\rightarrow Z }に対して、{ R^{n}\rightarrow B }を図式を可換にするように取れる。{ \square }

有限生成な射影的加群の直和成分も射影的加群である。

(証明)射影加群は自由加群の直和成分であるが、特に有限生成なら有限自由加群の直和成分として書ける。その直和成分もまた有限自由加群の直和成分だから、射影的加群である。{ \square }

上に見るように有限生成な射影的加群は、有限自由加群の直和成分という形で特徴付けられることが分かる。従って射影的加群の例を作るのは簡単である。この特徴付けは選択公理により強い主張に置き換えることができることを予告しておく。

補題 有限自由加群同士のテンソル積は有限自由加群である。

(証明){ \left( \bigoplus_{i=1}^{n}R \right)\otimes\left( \bigoplus_{j=1}^{m}R \right)\cong\bigoplus_{i, j}(R\otimes R)=\bigoplus_{i, j}R }より明らか。{ \square }

命題 { P, Q }が有限生成な射影的加群とする。以下が成り立つ。

  • { P\oplus Q }は(有限生成な)射影的加群である。
  • { P\otimes Q }は(有限生成な)射影的加群である。

(証明){ P, Q }は有限自由加群の直和成分だから、{ R^{n}=P\oplus M, R^{m}=Q\oplus N }と表せる。このとき{ P\oplus Q \oplus (M\oplus N)=R^{n+m} }より、{ P\oplus Q }は射影的である。

また{ R^{n}\otimes R^{m}=(P\oplus M)\otimes (Q\oplus N)=(P\otimes Q)\oplus(M\otimes Q\oplus P\otimes N\oplus M\otimes N) }より、{ P\otimes Q }も射影的である。{ \square }

所感

やっぱ選択公理は偉大だわ。単射加群殆ど何も言えなそうなんだけど……。

33.函手と自然変換

目次

前回括弧付きで(コ)と書いたのに、本文では一言も触れてないという(笑)後で適当に加えておこう。

函手

二つの圏を対応付けるものとして函手を導入する。

定義 { C, D }を圏とする。{ C }の対象{ X }に対し{ D }の対象{ FX }が定まり、また{ C }の射{ X\xrightarrow{f}Y }に対し{ D }の射{ FX\xrightarrow{Ff}FY }が定まるとする。恒等射に対して{ F(\mathrm{id}_{X})=\mathrm{id}_{FX} }が成り立ち、射の合成に対して{ F(g\circ f)=Fg\circ Ff }が成り立つとき、{ F }{ C }から{ D }への函手(functor)と呼び、{ F:C\rightarrow D }などと表す。

例えば圏{ C }の対象{ X }に対して定まる{ \mathrm{Mor}_{C}(X, -) }は、{ C }から集合の圏{ \mathrm{set} }への函手となる。

{ R }-加群{ M }に対し{ M }を単に集合と見なすことで函手{ R\mathrm{-mod}\rightarrow\mathrm{set} }が定まる。このように構造を持った集合から、その構造を忘れることで得られる函手を忘却函手(forgetful functor)と呼ぶ。

反転圏からの函手{ C^{\mathrm{op}}\rightarrow D }{ C }から{ D }への反変函手(contravariant functor)と呼ぶ。この意味で通常の函手を共変函手(covariant functor)とも呼ぶ。

切断や引込、イソといった射の性質は函手によって保たれる。つまり同型な対象の函手による「像」もまた同型になる。逆は一般に成り立たないが、次の条件が参考になる。

定義 函手{ F:C\rightarrow D }に対して次を定める。

  • { \mathrm{Mor}_{C}(X, Y)\rightarrow\mathrm{Mor}_{D}(FX, FY) }単射となるとき{ F }は忠実(faithful)であると呼ぶ。
  • { \mathrm{Mor}_{C}(X, Y)\rightarrow\mathrm{Mor}_{D}(FX, FY) }全射となるとき{ F }は充満(full)であると呼ぶ。

ただしここで言う単射とは{ f, g:X\rightarrow Y }に対し{ Ff=Fg }なら{ f=g }となることを意味し、全射とは{ \phi:FX\rightarrow FY }に対してある{ f:X\rightarrow Y }が存在して{ Ff=\phi }となることを意味する。特に{ C }が局所的に小さい圏である場合は集合の意味での単射全射になる。

命題 函手{ F:C\rightarrow D }が忠実かつ充満なとき以下は同値となる。

  • { X\cong Y }である。
  • { FX\cong FY }である。

(証明)下から上を示せば良い。{ FX\xrightarrow{\alpha}FY, FY\xrightarrow{\beta}FX }{ \beta\circ\alpha=\mathrm{id}_{FX}, \alpha\circ\beta=\mathrm{id}_{FY} }を満たすとする。忠実充満性より、対応する{ X\xrightarrow{\alpha^{\prime}}Y, Y\xrightarrow{\beta^{\prime}}X }が一意的に存在する。一方で恒等射に対応するのも恒等射だから、函手の定義より{ X\cong Y }が従う。{ \square }

自然変換

二つの函手が「自然な」対応関係にあるということを示すのが自然変換である。

定義 { F, G:C\rightarrow D }を函手とする。{ C }の対象{ X }に対し、射{ \tau_{X}:FX\rightarrow GX }が与えられ、{ X\xrightarrow{f}Y }に対し{ Gf\circ\tau_{X}=\tau_{Y}\circ Ff }が成り立つとする。このとき{ \tau=(\tau_{X}) }{ F }から{ G }への自然変換(natural transformation)と呼び、{ \tau:F\rightarrow G }などと表す。{ F }から{ G }への自然変換全体を{ \mathrm{Nat}(F, G) }と表す。

函手{ F }に対し自然変換{ \mathrm{id}_{F}:=(\mathrm{id}_{FX}):F\rightarrow F }が定まる。また函手{ F, G, H }及び自然変換{ \tau:F\rightarrow G, \sigma:G\rightarrow H }に対し、自然変換{ \sigma\circ\tau:=(\sigma_{X}\circ\tau_{X}:FX\rightarrow GX\rightarrow HX) }が定まる。すると函手を対象とし、自然変換を射とする圏を定めることができる。これを函手圏(functor category)と呼び{ \mathrm{Funct}(C, D) }{ D^{C} }などと書く。函手圏における同型を自然同値(naturally equivalent)と呼ぶ。

自然変換に対して、日本人の名前が入った重要な命題がある。

定理 (米田*1補題{ C }を圏とし、{ A }をその対象とする。{ F:C\rightarrow\mathrm{set} }は函手とする。このとき{ \mathrm{Mor}_{C}(A, -) }から{ F }への自然変換{ \tau=(\tau_{X}:\mathrm{Mor}_{C}(A, X)\rightarrow FX) }を集合{ FA }の元{ \tau_{A}(\mathrm{id}_{A}) }に対応させると、これは全単射を与える。特に{ \mathrm{Nat}(\mathrm{Mor}_{C}(A, -), F) }は集合になる。

(証明){ A\xrightarrow{\phi}B }に対し{ \phi_{\ast}:\mathrm{Mor}_{C}(A, A)\rightarrow\mathrm{Mor}_{C}(A, B) }{ f\mapsto \phi\circ f }により定める。すると{ \tau }は自然変換だから、

{ F\phi\circ\tau_{A}(\mathrm{id}_{A})=\tau_{B}\circ\phi_{\ast}(\mathrm{id}_{A})=\tau_{B}(\phi) }

を得る。別の自然変換{ \sigma=(\sigma_{X}) }に対しても同様だから、{ \tau_{A}(\mathrm{id}_{A})=\sigma_{A}(\mathrm{id}_{A}) }なら{ \tau_{B}(\phi)=\sigma_{B}(\phi) }が成り立つ。故に{ \tau=\sigma }であるので単射であることが分かる。

次に{ x\in FA }に対応する自然変換を求めよう。{ A\xrightarrow{\psi}B }に対し{ \tau_{B}(\psi):=(F\psi)(x) }と定める。実際{ X\xrightarrow{f}Y }に対し、{ F }の函手性より

{ Ff(\tau_{X}(\psi)=Ff(F\psi(x))=F(f\circ\psi)(x)=\tau_{Y}(f\circ\psi)=\tau_{Y}\circ f_{\ast}(\psi) }

が成り立つ。故に{ \tau }は自然変換であり、{ \tau_{A}(\mathrm{id}_{A})=F(\mathrm{id}_{A})(x)=\mathrm{id}_{FA}(x)=x }より全射であることも分かる。{ \square }

{ C }の対象{ A }を集合{ \mathrm{Mor}_{C}(A, -) }に対応させる函手{ C^{\mathrm{op}}\rightarrow \mathrm{Funct}(C, \mathrm{set}) }は忠実かつ充満である。

この系と前の命題により、二章で述べた「自然性」が正当化される。つまり二つの函手{ \mathrm{Hom}(M, -) }及び{ \mathrm{Hom}(N, -) }が函手圏において自然同値であれば加群の圏において{ M }{ N }は同型になる。

ところで射{ X\xrightarrow{f}Y }に対しそれ自身を対応させるような恒等函手{ \mathrm{id}_{C}:C\rightarrow C }を定めることができる。また函手{ F:C\rightarrow D }及び函手{ G:D\rightarrow E }に対し、その合成{ G\circ F:C\rightarrow E }{ X\mapsto FX\mapsto GFX }により定めることができる。ここで圏を対象のように扱うことで、函手は「圏の圏」における射のように思えてくる。「圏の圏」は一般には圏ではないが、圏の文脈を用いて圏の同型を定義することができるように思える。つまり函手{ F:C\rightarrow D }及び函手{ G:D\rightarrow C }が存在して{ G\circ F=\mathrm{id}_{C}, F\circ G=\mathrm{id}_{D} }が成り立つとき、圏{ C }と圏{ D }は圏同型(isomorphic as category)と呼ぶ。ところがこの定義は条件として強すぎて、あまり多くのことが言えないことが知られている。そこで条件を緩めて{ F\circ G:C\rightarrow C }が恒等函手{ \mathrm{id}_{C} }と、{ G\circ F:D\rightarrow D }が恒等函手{ \mathrm{id}_{D} }と、それぞれの函手圏において自然同値であるとき、{ C }{ D }は圏同値(equivalent)であると呼ぶ。

完全函手と三種の加群

定義 { C, D }{ R }-前線型圏、{ F:C\rightarrow D }を函手とする。{ \mathrm{Mor}_{C}(X, Y)\rightarrow\mathrm{Mor}_{D}(FX, FY) }{ R }-加群の準同型となるとき、{ F }{ R }-線型函手(linear functor)と呼ぶ。

{ R }-アーベル圏{ C, D }及び{ R }-線型函手{ F:C\rightarrow D }に対して以下を定める。

  • 完全列を完全列に写すとき{ R }-完全函手、あるいは単に完全函手(exact functor)と呼ぶ。
  • { 0\rightarrow X\rightarrow Y\rightarrow Z }が完全なら{ 0\rightarrow FX\rightarrow FY\rightarrow FZ }も完全であるとき左完全(left exact)であると呼ぶ。
  • { X\rightarrow Y\rightarrow Z\rightarrow 0 }が完全なら{ FX\rightarrow FY\rightarrow FZ\rightarrow 0 }も完全であるとき右完全(right exact)であると呼ぶ。

さて、加群の圏{ R\mathrm{-mod} }を考える。{ S^{-1}- }は完全な共変函手であった。更に次が成り立つのであった。

  • { \mathrm{Hom}_{R}(M, -) }は左完全な共変函手である。つまり{ 0\rightarrow X\rightarrow Y\rightarrow Z }が完全なら{ 0\rightarrow\mathrm{Hom}(M, X)\rightarrow\mathrm{Hom}(M, Y)\rightarrow\mathrm{Hom}(M,Z) }も完全である。
  • { \mathrm{Hom}_{R}(-, N) }は左完全な反変函手である。つまり{ 0\leftarrow X\leftarrow Y\leftarrow Z }が完全なら{ 0\rightarrow\mathrm{Hom}(M, X)\rightarrow\mathrm{Hom}(M, Y)\rightarrow\mathrm{Hom}(M,Z) }も完全である。
  • { -\otimes_{R}N }は右完全な共変函手である。つまり{ X\rightarrow X\rightarrow Y\rightarrow Z\rightarrow 0 }が完全なら{ X\otimes N\rightarrow Y\otimes N\rightarrow Z\otimes N\rightarrow 0 }も完全である。

我々は、これらを完全にする加群に興味がある。

定義 以下を定める。

  • { \mathrm{Hom}_{R}(P, -) }が完全であるとき{ P }は射影的(projective)であると呼ぶ。
  • { \mathrm{Hom}_{R}(-, I) }が完全であるとき{ I }は入射的(injective)であると呼ぶ。
  • { -\otimes_{R}T }が完全であるとき{ T }は平坦(flat)であると呼ぶ。

*1:米田信夫(1930-1996)