2

具体例で見る随伴関手

682
0

 プロフィール画像を可換図式にしてる割りにはそれらしい記事を書いてないなあ、ということで、なんか書いてみます。
 可換図式と言えば圏論ですね。私が圏論を初めて学んだとき、特に面白いと思ったのが随伴関手です。というわけで、この記事では随伴関手について語ります。
 私自身そこまで圏論について詳しいわけではないので、基本的な内容のみとなります。何かおかしい点がありましたらご指摘頂けると幸いです。

 圏や関手の定義は既知として書いていますが、仮にそれらを知らなくても、具体例を見ることで「ああ、随伴関手って『これ』のことか」となんとなく分かるかもしれません。よければ見ていってください。

線形写像の話

 いきなり定義に入る前に、導入として線形写像の話をします。
 次のような文言を見たことがあるでしょうか。

線形写像は基底の行き先で決まる。

線形代数でよく出てくるやつですね。これは、厳密に言うと以下のようになります。

V1,V2を体K上のベクトル空間とする。EV1V1の基底とする。このとき、任意の写像f:EV2に対し、K上の線形写像f~:V1V2f~|E=fを満たすものが一意に存在する。

つまり、
EからV2への写像
から
V1からV2へのK上の線形写像
がただ1つ決まります。逆に、②が与えられたらEに制限することにより①が得られるので、①と②は等価な概念であると言えます。

 このように、ある写像を考えることと別のある写像を考えることが等価である、という状況は数学ではしばしば現れます。そして、そのような状況には多くの場合随伴関手が関わっています。

随伴関手とは

 圏、関手の定義は既知とします。

 C1,C2を圏、F:C1C2,G:C2C1を共変関手とする。任意の対象XC1,YC2に対して全単射
θX,Y:HomC1(X,G(Y))HomC2(F(X),Y)
が存在して、任意の対象X,XC1,Y,YC2と射f:XX,g:YYに対して
HomC1(X,G(Y))θX,YHomC2(F(X),Y)HomC1(X,G(Y))θX,YHomC2(F(X),Y)
が可換になるとき、FG左随伴関手GF右随伴関手であるという。

 ここで、図式の左の縦の写像はh:XG(Y)に対して
G(g)hf:XG(Y)
を対応させる写像です。右も同様。

 なかなかややこしい定義ですが、とりあえず「HomからHomへの全単射」というのを頭に入れておいて頂ければと思います。さっきの線形写像の話と何かしら関係がありそうですよね。

 「左」「右」については、Hom(,)の中身の左にかかるのが左随伴、右にかかるのが右随伴と覚えましょう。

 なお、同値な定義がいくつか知られています(参考: wikipedia )。ここでは、できるだけ基本的な用語、概念のみで完結するものを採用しました。

 ここからは、随伴関手の具体例をいくつか見ていきます。

例1: 線形写像

 冒頭に挙げた例からどのような随伴関手が出てくるのかを考えてみます。再掲すると、
EからV2への写像
V1からV2へのK上の線形写像
という2つの概念が等価である、というものでした。これを圏っぽく書くと、Setを集合の圏、K-VecK-ベクトル空間の圏として、全単射
HomSet(E,V2)HomK-Vec(V1,V2)
が定まる、と言えます。HomからHomへの全単射が出てきましたね。左側の
HomSet(E,V2)
ですが、ここではV2を単なる集合として考えています。なので、より厳密に言えば、関手 G:K-VecSetを「ベクトル空間を単に集合と見なす、線形写像を単に写像と見なす」という関手(いわゆる忘却関手)として、
HomSet(E,G(V2))
と書くのが正しいです。これで1つ関手ができました。
 逆向きの関手について、
HomSet(E,G(V2))HomK-Vec(V1,V2)
の部分に着目して考えます。EV1の基底でした。EからV1を作るということは、与えられた集合に対してそれを基底とするベクトル空間を作る、すなわち
F(X)=xXK
という関手を考えれば良さそうです (V1xEKは厳密には違うものですが、同型なのでヨシ!ということにします)。
 射の対応についても一応ちゃんと書いておきます。まず、各xXに対し、xXKの元でx成分が1,他の成分が0であるようなものをexとおきます。集合X,Yの間の写像f:XYが与えられたとき、対応する線形写像
F(f):xXKyYK
は、各exef(x)に移すものと定めます。これで関手F:SetK-Vecが定まりました。

 F,Gが互いに随伴関手であることを確かめるには、さらに定義中に述べた可換性を確かめる必要がありますが、まじめに書くとどうしてもごちゃごちゃして見づらくなってしまうので、割愛します。気になる方は確かめてみてください。
 経験上、命題1のような綺麗な事実から関手およびHomの間の全単射を自然に構成できた場合、大抵は可換性も成り立ちます。(ここで言う「自然に」は直感的な意味です)

 まとめると、
F:SetK-VecF(X)=xXKなる関手(射は自然に定める)、
G:K-VecSetを忘却関手
とすると、FGの左随伴関手、GFの右随伴関手となります。

左随伴関手と右随伴関手は特に逆関手というわけではありませんので、合成して元に戻るといったことはありません。

 こんな感じで、「○○を満たす写像が一意に存在する」といった状況を圏論的に整理すると、自然と随伴関手が現れたりします。

例2: 剰余群

 次は群論における例です。次の命題を考えます。

 G1G2を群、NG1の正規部分群とする。群準同型f:G1G2f(a)=1G2 (aN)を満たすとき、群準同型f~:G1/NG2

G1fG2G1/Nf~
を可換にするものが一意に存在する。

群論でよく使われる事実ですね。ここにも随伴関手が隠れています。分かるでしょうか?ちょっと分かりにくいかもしれません。

 Grpを群の圏とします。また、圏Grpを以下で定めます。なお、Grpという記号はこの記事独自のものです。

対象:任意の群Gとその任意の正規部分群Nの組(G,N),
射:(G1,N1)から(G2,N2)への射は、群準同型f:G1G2であってf(N1)N2を満たすもの。

実際に圏をなすかどうか気になる方は、確かめてみてください。

 命題3における「群準同型f:G1G2f(a)=1G2 (aN)を満たす」というのは、「f(G1,N)から(G2,{1G2})への射である」と言い換えられます。つまり、命題3は
HomGrp((G1,N),(G2,{1G2}))HomGrp(G1/N,G2)
なる単射を与えています。全射性もすぐに分かります (与えられたg:G1/NG2G1G1/Nと合成すれば良い)。これでHomの間の全単射が得られました。

 ここからどのような関手が得られるでしょうか。上で現れた2つのHomを見比べると見えてきます。1つは
F1:GrpGrp,F1((G,N))=G/N
で、もう1つは
F2:GrpGrp,F2(G)=(G,{1G})
ですね。それぞれ射の対応も自然に定まります。
 F1F2の左随伴関手、F2F1の右随伴関手となります。例によって、可換性の証明は省略します。

例3: 加群のテンソル積とHom

 3つめは、テンソル積に関する例です。テンソル積をよく知らないという方は、読み飛ばしても大丈夫です。
 Rを可換環とします。

L,M,NR加群とするとき、
HomR(LRM,N)HomR(L,HomR(M,N))

 この同型、ご存じでしょうか。 もうちょっと一般化した形 もありますが、この記事では簡単のため、上記の形で扱います。  

(概略)

fHomR(LRM,N)に対し、f~HomR(L,HomR(M,N))
f~(l)(m)=f(lm)
で定める。
gHomR(L,HomR(M,N))に対し、双線形写像g^:L×MN
g^(l,m)=g(l)(m)
で定める。g^は準同型g:LMN を誘導する。
ff~ggは共に準同型で、互いの逆写像となる。

 さて、随伴関手を頭に置いた状態でこの命題を見たらどうでしょうか。なんかもうあからさまに随伴関手の形してますよね。すなわち、R-ModR加群の圏として、R加群Mを固定し
F:R-ModR-Mod,F(L)=LRM
G:R-ModR-Mod,G(N)=HomR(M,N)
と定めれば、FGの左随伴関手、GFの右随伴関手となります。

 加群について学んだことのある方は、「テンソル積の右完全性」と「Homの左完全性」のように、テンソル積とHomがある種の双対的な性質を持っていることをご存じかと思います。それは偶然ではなく、実はこれらは随伴関手という概念によって繋がっていた、という訳です。

終わりに

 今回は、随伴関手のいくつかの例を見ました。数学の様々な場面に現れる似たような事実を統一的に表せる、というのはまさに圏論らしい話ですね。今回見たものはほんの一例であり、まだまだ数学の世界には随伴関手が溢れています。「○○を満たす写像が一意に存在する」という場面に出会ったら、「お、随伴か?」と思いましょう(例外もあるので悪しからず……)。
 ただ、今回の話はただ名前を与えただけです。「だから何?」と言われてしまえばぐうの音もでません。
 例えば「左随伴関手ならば○○である」といった性質があれば、それは数学における様々な概念に対して○○が示されたことになり、とても嬉しいですね。実際、代表的な性質で「右随伴関手は極限を保つ、左随伴関手は余極限を保つ」というのがあります。このあたりの記事も書ければ書きたいと思います(未定)。

投稿日:2024623
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

koumei
koumei
18
2693
(2023/11/30)別名義を使ってましたが、OMCでの名義に揃えました。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 線形写像の話
  2. 随伴関手とは
  3. 例1: 線形写像
  4. 例2: 剰余群
  5. 例3: 加群のテンソル積とHom
  6. 終わりに