↓ メインコンテンツへスキップ
組合せ論、楽しい！

圏における和と積

·
箱星
著者
箱星
のんびり暮らしたい。
目次

この記事は圏論 Advent Calendar 2024 の 24 日目の記事です。

とある本で次のような記述があったようです：環 R1,…,RnR_1,\ldots,R_n の直積集合 R1×⋯×RnR_1\times\cdots\times R_n 上に加法と乗法を

  • (a1,…,an)+(b1,…,bn)=(a1+b1,…,an+bn)(a_1,\ldots,a_n)+(b_1,\ldots,b_n)=(a_1+b_1,\ldots,a_n+b_n)
  • (a1,…,bn)⋅(b1,…,bn)=(a1b1,…,anbn)(a_1,\ldots,b_n)\cdot (b_1,\ldots,b_n)=(a_1b_1,\ldots,a_nb_n)

により定めたとき、(0,…,0)(0,\ldots,0) を加法の単位元、(1,…,1)(1,\ldots,1) を乗法の単位元とする環となる。これを R1,…,RnR_1,\ldots,R_n の直和という。

これを受けて、「直和ではなく直積だろう」という指摘がありました。私は「有限個なら直和と直積は一致するのでは？」と当初思っていましたが、調べてみるとこれは加群での話でした。

そこで、環や加群の直和・直積を復習するため、そしてこれらを圏論的に捉えるためにこの記事を書くことにしました。

圏における和と積
#

C\mathcal{C} を圏とします。λ∈Λ\lambda\in\Lambda に対して AλA _ {\lambda} をこの圏の対象とします。A=(Aλ)λ∈ΛA=(A_{\lambda}) _ {\lambda\in\Lambda} の和とは、対象 A~\widetilde{A} と射の族 (iλ ⁣:Aλ→A~)λ∈Λ(i _ {\lambda}\colon A _ {\lambda}\to\widetilde{A}) _ {\lambda\in\Lambda} の組であって、任意の対象 XX と任意の射の族 (fλ ⁣:Aλ→X)λ∈Λ(f_{\lambda}\colon A_{\lambda}\to X) _ {\lambda\in\Lambda} に対して、f∘iλ=fλf\circ i_{\lambda}=f_{\lambda} がすべての λ∈Λ\lambda\in\Lambda に対して成り立つような射 f ⁣:A~→Xf\colon \widetilde{A}\to X が一意的に存在するものです。

A~\widetilde{A} は ∐λ∈ΛAλ\coprod_{\lambda\in\Lambda}A_{\lambda} とも書かれます。また余積と呼ばれることもあります。和は圏論における帰納極限の一種です。

A=(Aλ)λ∈ΛA=(A_{\lambda}) _ {\lambda\in\Lambda} の積も同様に定義されます。これは対象 A~\widetilde{A} と射の族 (pλ ⁣:A~→Aλ)λ∈Λ(p_{\lambda}\colon \widetilde{A}\to A_{\lambda}) _ {\lambda\in\Lambda} であって、任意の対象 XX と任意の射の族 (fλ ⁣:X→Aλ)λ∈Λ(f_{\lambda}\colon X\to A_{\lambda}) _ {\lambda\in\Lambda} に対して、pλ∘f=fλp_{\lambda}\circ f=f_{\lambda} がすべての λ∈Λ\lambda\in\Lambda に対して成り立つような射 f ⁣:X→A~f\colon X\to \widetilde{A} が一意的に存在するものです。

積は ∏λ∈ΛAλ\prod_{\lambda\in\Lambda}A_{\lambda} とも書かれます。積は射影極限の一種です。

和や積は常に存在するとは限らないことに注意が必要です。

加群の直和と直積
#

RR を環とします。圏 RR-Mod\mathbf{Mod} は左 RR 加群を対象とし、左 RR 加群の準同型を射とする圏です。（小さな集合かどうかといった議論は省略します）

(Mλ)λ∈Λ(M_{\lambda}) _ {\lambda\in\Lambda} を左 RR 加群の族とします。(Mλ)λ∈Λ(M_{\lambda}) _ {\lambda\in\Lambda} の直積を、直積集合 ∏λ∈ΛMλ\prod _ {\lambda\in\Lambda}M_{\lambda} に加法を (xλ)λ+(yλ)λ=(xλ+yλ)λ(x_{\lambda}) _ {\lambda}+(y_{\lambda}) _ {\lambda}=(x_{\lambda}+y_{\lambda}) _ {\lambda}、RR の元による左乗法を a(xλ)λ=(axλ)λa(x_{\lambda}) _ {\lambda}=(ax_{\lambda}) _ {\lambda} により定めます。この左 RR 加群を ∏λ∈ΛMλ\prod _ {\lambda\in\Lambda}M _ {\lambda} で表します。写像 pμ ⁣:∏λ∈ΛMλ→Mμp_{\mu}\colon \prod _ {\lambda\in\Lambda}M_{\lambda}\to M_{\mu} を pμ((xλ)λ)=xμp_{\mu}((x_{\lambda}) _ {\lambda})=x_{\mu} により定義します。

すると、これは圏 RR-Mod\mathbf{Mod} における積になります。

また、(Mλ)λ∈Λ(M_{\lambda})_{\lambda\in\Lambda} の直和を、集合

{(xλ)λ∈∏λ∈ΛMλ∣有限個を除いたλ∈Λに対してxλ=0} \{(x_{\lambda}) _ {\lambda}\in \prod _ {\lambda\in\Lambda}M_{\lambda}\mid \text{有限個を除いた} \lambda\in\Lambda \text{に対して} x_{\lambda}=0 \}

に同様の演算を定めたものとし、⨁λ∈ΛMλ\bigoplus_{\lambda\in\Lambda}M_{\lambda} で表します。iμ ⁣:Mμ→⨁λ∈ΛMλi_{\mu}\colon M_{\mu}\to \bigoplus_{\lambda\in\Lambda}M_{\lambda} も定めます。これは RR-Mod\mathbf{Mod} における和となります。

加群の直和・直積を圏論の和・積として捉えることができました。

定義から明らかなように、Λ\Lambda が有限集合の場合は直和と直積は一致します。

環の直積
#

環のなす圏を Ring\mathbf{Ring} とします。

最初に書いた環の「直和」は、Ring\mathbf{Ring} における積となります。

では Ring\mathbf{Ring} における和は何になるでしょうか？

どうやら、自由積と呼ばれるものになるそうです。さらに、可換環の圏においてはテンソル積になるそうです。

この辺りの議論は確かめることができませんでした。すみません。

おわりに
#

当初はもっと高度なことを書こうと思っていましたが、基礎的なことがわかっていなかったのでやめました。

圏論の理解ももっと深めたいと思っています。圏論と関係する、気になっているキーワードを列挙します。

  • categorification
  • KLR 代数
  • Hall 代数
  • Soergel bimodule
  • Khovanov ホモロジー

いつかはこの辺りも理解したいです。

参考文献
#