はじめに
前回
は, quiverやその表現などの定義を考えました. 表現の射が与えられたとき, 線形写像に核・余核があることと自明なquiver表現として零表現があるので, 表現の射にも核・余核を定義したいという気持ちになります. 今回は表現の射の核・余核について定義し, 圏論的な観点からも見てみようと思います.
前回と同様, 特に断りの無い限り, 有限quiverおよび有限表現について考えます.
核・余核
核
核
をquiverとし, をの表現, を表現の射とする.
の表現を次のように定める:
このをと表し, の核という.
ここで, このはちゃんとの表現になっているのかということが問題になります. これをちゃんと確かめておきましょう.
各に対し, がwell-definedであることを示せばよい.
に対し, であることと(:表現の射)よりとなるので, を得る.
したがって, はwell-definedである.
を包含写像とすると, はからへの包含写像とみることができます. これをと表すことにします.
余核
余核
をquiverとし, をの表現, を表現の射とする.
の表現を次のように定める:
このNをと表し, の余核という.
核のときと同様に, このはちゃんとの表現になっているのかをちゃんと確かめておきましょう.
がwell-definedであることを示す.
とすると, と表せる.
このとき,
これより, となる.
を自然な全射とすると, はからへの自然な全射とみることができます. これをと表すことにします.
部分表現と商表現
包含写像により得られる表現の射によって, はの表現の一部とみなすことができます.
部分表現と商表現
をquiverの表現とする.
がの部分表現であるとは, が存在することである.
また, このときのによる商表現をにより定める.
第一同型定理
をquiverの表現とし, を表現の射とする.
このとき, が成り立つ.
ここで, においてはを上に制限したもの, すなわち次の図式が可換になるようなものである:
具体的には, と定めることとする.
各は線形写像なので, 同型写像を誘導する.
ここで, とおくと,
となるので, 次の図式が可換になる:
したがって, は表現の間の同型射となる.
圏論的に見てみよう
Quiverは圏をなす
表現と表現の間の射があるということは, そこから圏を作ることができます.
(有限)表現の圏
を有限quiverとする.
という圏を次のように定める:
- 対象:の有限表現
- 射:表現の間の射 (合成・恒等射については前回参照)
核・余核の圏論的定義
核・余核は圏論的な定義をすることが可能です. これを利用して, 先ほど考えた表現の射の核・余核が圏論的な意味でのにおける核・余核を与えることを確認したいと思います.
核・余核
を零射を持つ圏とし, とする.
- の核とは, の対象と射の組であって次を満たすものである:
(K1)
(K2) を満たす任意の射に対し, 次の図式を可換にする射が一意に存在する:
- の余核とは, の対象Cと射の組であって次を満たすものである:
(CK1)
(CK2) を満たす任意の射に対し, 次の図式を可換にする射が一意に存在する:
モノ射・エピ射
を圏とし, とする.
- がモノ射であるとは,
が成り立つことである.
- がエピ射であるとは,
が成り立つことである.
線形空間においては, 線形写像がモノ射(resp. エピ射)であることと単射(resp. 全射)であることは同値であることが分かります.
は(代数的閉体とは限らない)体とする.
を-線形空間のなす圏とし, を-線形写像とする.
このとき, 次が成り立つ:
(1) におけるモノ射単射
(2) におけるエピ射全射
次の補題は上の命題から示すことができます.
- が核の普遍性(K1), (K2)を満たすことを示す.
(K1) 各に対し, が成り立つので, となる.
(K2) を満たす表現の射を考えると, 各に対し, となるので, となる.
これにより, をと定めると, の定義よりであり, が表現の射であることが分かる.
の一意性については, がモノ射であることから分かる. - が余核の普遍性(CK1),(CK2)を満たすことも上と同様に示すことができる.
これまでに見てきたことから次が分かります. アーベル圏についてはおそらく深掘りはしないと思います
において, 次が成り立つ:
(1) 任意のに対し, は-ベクトル空間
(2) 任意のに対し, 合成は-双線形写像
(3) 任意のに対し, 直和が存在する
(4) 零対象が存在する
(5) 任意のは核および余核をもち,
特に, はアーベル圏となる.
おしまい
今回は表現の間の射の核・余核に関する性質について確かめました.
次回は, 表現の間の射による完全列について見ていこうと思います.