本質部分加群の圏論的特徴づけ Part1
今シリーズについて
どうも、あおです。
Mathlogとか、PDFとかを人生で一度も書いたことなかったので、何かしら書いてみたいなと思っていたところに、いい感じのお話があり、先輩にかいてみたら？と言われたので書いてみます。
Texそのものに不慣れなので、とても拙い書き方になってしまってると思うのですが、温かい目で見ていただけると嬉しいです。
さて、このシリーズでお話していく内容なんですが、おおざっぱに言うと本質部分加群についてです。本質部分加群には圏論的な特徴づけを与えることができるのですが、基本的にどの本も元を取ることでその諸性質を示しています。元を取る議論は少し苦手なので、圏論的証明を与えようじゃないか、というごく自然な発想で、いろいろ考えていたら意外と簡潔に証明できたので、それを書いていきます。
今回のPart1では、とりあえず圏論的特徴づけを与えるところまでやります、実際にそれで証明を与えていくのはPart2以降となるので、ご注意を！
今回の目標と約束
加群論において重大な役割がある本質部分加群と余剰部分加群ですが、実はよく知られた圏論的な良い特徴づけがあるのでそれを実際に与えて示そうというのが今回の目標です。
この記事を通して次の約束をしておきます。
・$R$:可換とは限らない単位的環
・$\Mod{R}$:右$R$加群全体がなす圏
・$N\le M$と書いたときは$N$は$M$の部分加群
・射は全部$\Mod{R}$での射（つまり加群準同型）
・$\mono$は単射を表す
・$\epi$は全射を表す
・加群論における極初歩的な主張
・（アーベル）圏におけるpullbackやpushoutに関する基本的な主張
定義
まずは本質部分加群と余剰部分加群について定義をしておきます。
$M\in\Mod{R}$,$N\le M$に対して
- $N$が$M$の本質部分加群
$:\eq$任意の$L\le M$に対し$L\cap N =0$ならば$L=0$ - $N$が$M$の余剰部分加群
$:\eq$任意の$L\le M$に対し$L+ N =M$ならば$L=M$
これらの概念を用いて定義される本質単射と余剰全射についても定義します
$f:M\rightarrow N$に対して
- $f$が本質単射
$:\eq f$が単射で$\im f$が$N$の本質部分加群 - $f$が余剰全射
$:\eq\,f$が全射で$\ker f$が$M$の余剰部分加群
上から、簡単な命題が成り立ちます。
$M\in\Mod{R}$,$N\le M$に対して以下は同値
(1)$N$は$M$の本質部分加群
(2)$N\mono M$は本質単射
$M\in\Mod{R}$,$N\le M$に対して以下は同値
(1)$N$は$M$の余剰部分加群
(2)$N\epi M/N$は余剰全射
したがって本質部分加群を知るには本質単射、余剰部分加群を知るには余剰全射を調べればいいことになります。
部分加群のお話から射のお話にできたので少しハッピーですね！
しかしながら、この本質単射や余剰全射自体が部分加群の言葉で書かれているのでこいつを少し書き換えてやりたい、そんな気がしてきます。
圏論的特徴づけ
$f:M\mono N$に対し、以下は同値
- $f$は本質単射
- 任意の$L\in\Mod{R}$と任意の$h:L\mono N$に対し、
\begin{xy} \xymatrix@M=8pt{ 0 \ar[r]^0 \ar[d]_0 \ar@{}[rd]|{\text{PB}} & L \ar@{^{(}->}[d]^g \\ M \ar@{^{(}->}[r]_f & N } \end{xy}
となっているとき、$L=0$
この命題の(2)は、部分加群二つが引き起こす二つの包含射の引き戻しが共通部分を与えることを思い出せば、定義そのままとなるので、これが成り立ちます。双対的に、次もわかります。（まだ双対的であることを示していないので少し強引ですが、実際示せます）
$f:M\epi N$に対し、以下は同値
- $f$は余剰全射
- 任意の$L\in\Mod{R}$と任意の$h:N\epi L$に対し、
\begin{xy} \xymatrix@M=8pt{ M \ar@{->>}[r]^f \ar@{->>}[d]_h \ar@{}[rd]|{\text{PO}} & N \ar[d]^0 \\ L \ar[r]_0 & 0 } \end{xy}
となっているとき、$L=0$
こうなるとだいぶうれしくなってきます、なぜなら本質単射などを述べるのには加群の言葉を使わなくてよいことがわかるからです！！
命題3,4の(2)は一般の加法圏の言葉しか使っていないので、一般の(pushout,pullbackを常に持つような)加法圏に対しても本質単射のような概念が定義できることになります。（それが何なのかは全く知りません）なのでこれらはちゃんと本質単射などの圏論的な特徴づけをしているといってもよいでしょう！
そしてもう一つうれしいのは本質単射と剰余全射が圏論的な意味でちゃんと双対であることが上の命題から従うことです（元の定義からも普通に従いますが、これが見やすいという意味で言っています）。なので、以降は本質単射についてのみ議論をしていくことにします。
ところで、上の本質単射の特徴づけでは$h$に単射性を課ていましたが、実はこれが外せることがわかります。これが今回一番うれしくて、なおかつほんの少しだけ非自明な主張となります。（どこがうれしいかはPart.2以降で書くと思います）
$f:M\mono N$に対し、以下は同値
- $f$は本質単射
- 任意の$L\in\Mod{R}$と任意の$h:L\mor N$に対し、
\begin{xy} \xymatrix@M=8pt{ P \ar[r]^{f'} \ar[d]_0 \ar@{}[rd]|{\text{PB}} & L \ar[d]^h \\ M \ar@{^{(}->}[r]_f & N } \end{xy}
となっているとき、$h=0$（$0$がpullbackで反射する）
(2)$\Rightarrow$(1):$h$として単射なものを取ってくれば命題４より従う。
(1)$\Rightarrow$(2):
準備として、$L\mor N = L \epi \im h \mono N$と分解しておきます。
\begin{xy}
\xymatrix@M=8pt{
P' \ar[d] \ar[r] \ar@{}[rd]|{\text{PB}} & \im h \ar@{^{(}->}[d] \\
M \ar@{^{(}->}[r]_f & N
}
\end{xy}
を取ると、下のように図式を分解できます。
\begin{xy}
\xymatrix@M=8pt{
P \ar[r]^{f'} \ar[d]_0 \ar@{}[rd]|{\circlearrowright} & L \ar@{->>}[d] \\
P' \ar@{^{(}->}[d] \ar[r] \ar@{}[rd]|{\text{PB}} & \im h \ar@{^{(}->}[d] \\
M \ar@{^{(}->}[r]_f & N
}
\end{xy}
ここでpullback lemとアーベル圏においてpullbackはepiを保つことから、上の四角は
\begin{xy}
\xymatrix@M=8pt{
P \ar[r]^0 \ar@{->>}[d]_0 \ar@{}[rd]|{\text{PB}} & L \ar@{->>}[d] \\
P' \ar[r] & \im h
}
\end{xy}
となっている。$0:P\epi P'$となっていることから、$P'=0$となるので、下の四角形を見てあげると
\begin{xy}
\xymatrix@M=8pt{
0 \ar[d]_0 \ar[r]^0 \ar@{}[rd]|{\text{PB}} & \im h \ar@{^{(}->}[d] \\
M \ar@{^{(}->}[r]_f & N
}
\end{xy}
$f$は本質的なので命題３から$\im h=0$となり、$h=0$が従う。
命題３により、まず良い加法圏に対して本質単射という概念が定義できるようになりました、アーベル圏ではさらに扱いやすい同値条件として命題５が成り立つことになります。（アーベル圏での議論しかしていないので）
一旦終わり
人生初のMathlogだし、軽いものを書こう、という気持ちで書き始めたら想像以上に長くなってしまったのでなんとなく分けたんですが、実際これだけ見ると何したいのかよくわからないですね笑
Part2では本質単射についての良く知られた命題にこの特徴づけを使った証明を与える（つもり）なのでもしよかったら見ていってください。それをメインにこの記事を書き始めたので！
