3
現代数学解説
文献あり

環上の加群圏から両側イデアルのなす順序集合とイデアルの積演算を復元する

イデアル,代数学,加群論
288
2
$$\newcommand{AA}[0]{\mathcal{A}} \newcommand{ann}[0]{\operatorname{\mathsf{ann}}} \newcommand{BB}[0]{\mathcal{B}} \newcommand{C}[0]{\mathbb{C}} \newcommand{CC}[0]{\mathcal{C}} \newcommand{closed}[0]{\operatorname{\mathsf{cl. sub.}}} \newcommand{CM}[0]{\operatorname{\mathsf{CM}}} \newcommand{coker}[0]{\operatorname{Coker}} \newcommand{DD}[0]{\mathcal{D}} \newcommand{DDD}[0]{\mathsf{D}} \newcommand{EE}[0]{\mathcal{E}} \newcommand{End}[0]{\operatorname{End}} \newcommand{equiv}[0]{\Leftrightarrow} \newcommand{Ext}[0]{\operatorname{Ext}} \newcommand{F}[0]{\mathsf{F}} \newcommand{FF}[0]{\mathcal{F}} \newcommand{GG}[0]{\mathcal{G}} \newcommand{HH}[0]{\mathcal{H}} \newcommand{Hom}[0]{\operatorname{Hom}} \newcommand{ideal}[0]{\operatorname{\mathsf{ideal}}} \newcommand{II}[0]{\mathcal{I}} \newcommand{image}[0]{\operatorname{Im}} \newcommand{imp}[0]{\Rightarrow} \newcommand{implies}[0]{\Rightarrow} \newcommand{inj}[0]{\hookrightarrow} \newcommand{JJ}[0]{\mathcal{J}} \newcommand{ker}[0]{\operatorname{Ker}} \newcommand{KK}[0]{\mathcal{K}} \newcommand{KKK}[0]{\mathsf{K}} \newcommand{LL}[0]{\mathcal{L}} \newcommand{MM}[0]{\mathcal{M}} \newcommand{mod}[0]{\operatorname{\mathsf{mod}}} \newcommand{Mod}[0]{\operatorname{\mathsf{Mod}}} \newcommand{NN}[0]{\mathcal{N}} \newcommand{nna}[0]{\operatorname{\mathsf{nna}}} \newcommand{OO}[0]{\mathcal{O}} \newcommand{PP}[0]{\mathcal{P}} \newcommand{proj}[0]{\operatorname{\mathsf{proj}}} \newcommand{QQ}[0]{\mathcal{Q}} \newcommand{R}[0]{\mathbb{R}} \newcommand{rep}[0]{\operatorname{\mathsf{rep}}} \newcommand{Sub}[0]{\operatorname{\mathsf{Sub}}} \newcommand{surj}[0]{\twoheadrightarrow} \newcommand{Tor}[0]{\operatorname{Tor}} \newcommand{TT}[0]{\mathcal{T}} \newcommand{TTT}[0]{\mathsf{T}} \newcommand{UU}[0]{\mathcal{U}} \newcommand{VV}[0]{\mathcal{V}} \newcommand{XX}[0]{\mathcal{X}} \newcommand{YY}[0]{\mathcal{Y}} \newcommand{Z}[0]{\mathbb{Z}} \newcommand{ZZ}[0]{\mathcal{Z}} $$

概要

環$\Lambda$上の全ての右$\Lambda$加群のなす圏を$\Mod\Lambda$とします。ここで次の自然な疑問があります。

$\Mod\Lambda$の圏論的な構造のみから環$\Lambda$の情報がどれだけ取り出せるか？

一般に2つの環$\Lambda_1$と$\Lambda_2$の加群圏が同値になる（$\Mod\Lambda_1 \simeq \Mod\Lambda_2$）とき2つは森田同値と呼ばれるので、上の問いは環の森田同値に対する不変量は何があるかと見なせます。

今回は、次の定理を示すことです。

環の両側イデアルのなす順序集合は森田不変量である、つまり加群圏$\Mod\Lambda$から圏論的な操作のみで両側イデアルのなす順序集合を復元できる。

これ自体は昔から知られていた結果かも知れませんが、イデアルと部分圏との対応を与えるこの記事の手法はRosenbergという人の仕事としてよく引用されます（参考文献[1]参照）

前提知識

環と両側イデアルの定義を知っていること、アーベル圏を知っていること、順序集合（poset）を知っていること

戦略

具体的にどう取り出すかが問題ですが、一般にアーベル圏からなにか順序集合を取り出すときには、ある条件を満たすアーベル圏の部分圏を考えることがよくあります（包含によってこれは順序集合になります）。なので、戦略は

$\Lambda$の両側イデアル全体の集合と、ある条件を満たす$\Mod\Lambda$の部分圏の集合との間の一対一対応（順序同型）を与える

というものです。

本記事を通して、部分圏は常に充満部分圏で同型で閉じることを仮定する。

閉部分圏

さっそく鍵となる部分圏の定義を与えます。

$\AA$を無限直積を持つアーベル圏とする。このとき$\AA$の部分圏$\XX$が閉部分圏(closed subcategory)であるとは、次の条件を満たすときをいう。

  1. 任意の$\AA$の短完全列
    $$ 0 \to L \to M \to N \to 0 $$
    に対して、$M$が$\XX$に属するなら、$L$と$N$も$\XX$に属する。つまり$\XX$は部分対象と商対象を取る操作で閉じている.
  2. $\AA$の対象の族$\{M_a\}_{a \in A}$が全て$M_a \in \XX$なら、その直積$\prod_{a \in A} M_a$も$\XX$に属する。つまり$\XX$は（無限）直積を取る操作で閉じている
  3. 任意の$M \in \AA$に対して、ある$X_M \in \XX$への全射$\pi_M \colon M \surj X_M$が存在し、次の性質を満たす：任意の$X \in \XX$への任意の射$f \colon M \to X$は必ず$\pi_M$を経由する、つまり次を可換にする$\overline{f} \colon X_M \to X$が存在する：
    $$ \xymatrix{ M \ar_{f}[d] \ar@{->>}[r]^{\pi_X} & X_M \ar@{.>}[ld]^{\overline{f}} \\ X } $$
  • 最後の条件3は見慣れない方もいるかも知れませんが、これは「包含$\XX \inj \AA$が左随伴を持つ」ことや、「$\XX$が$\AA$の共変有限な部分圏である」こととも言い換えられます。
  • 後で、$\Mod\Lambda$の場合は実は最後の条件3は自動的だということを示します。が主定理の証明を証明するには上の定義を採用したほうが早いです。

さて閉部分圏全体の集合は包含によって自然に順序集合になります。後で使いやすいように名前をつけます。

無限直積を持つアーベル圏$\AA$に対して$\closed \AA$で閉部分圏のなす順序集合を表す。

主定理とその証明

さて環の方でも対応する順序集合の名前をつけておきます。

（非可換）環$\Lambda$に対して、$\ideal\Lambda$により、$\Lambda$の両側イデアルのなす順序集合を表す。

主定理を軽く述べると、$\ideal\Lambda$と$\closed(\Mod\Lambda)$は順序反同型というものです。そのため対応を与える写像を予め定義しておきます。

環$\Lambda$に対して次を定義する。

  1. $\Mod\Lambda$の部分圏$\XX$に対して、$\ann \XX$という$\Lambda$の部分集合を、
    $$ \ann \XX := \{ \lambda \in \Lambda \, | \, \text{任意の$X \in \XX$に対して$X\lambda = 0$}\} $$
    で定義する（すなわち$\XX$に属する全ての加群を消すような$\Lambda$の元）
  2. $\Lambda$の両側イデアル$I$に対して、$\Mod_I \Lambda$という$\Mod\Lambda$の部分圏を次で定義する：
    $$ \Mod_I \Lambda := \{ X \in \Mod\Lambda \, | \, \text{任意の$\lambda \in I$に対して$X\lambda = 0$}\} $$
    （すなわち$I$をかけて消えるような加群全体のなす部分圏）

$\Lambda$の両側イデアル$I$について、自然な関手$\Mod(\Lambda/I) \inj \Mod\Lambda$は忠実充満で、その本質的像が上で書いた$\Mod_I \Lambda$になっています。よって$\Mod(\Lambda/I)$と$\Mod_I \Lambda$は圏同値です。

さて主定理を述べることができます。

主定理

環$\Lambda$に対して、$\Mod_{(-)}\Lambda$と$\ann$は写像$\Mod_{(-)}\Lambda \colon \ideal \Lambda \to \closed(\Mod\Lambda)$と$\ann \colon \closed(\Mod\Lambda) \to \ideal\Lambda$を定め、これは互いに逆写像であり順序を逆にする、つまり順序反同型
$$ \Mod_{(-)}\Lambda \colon \quad \ideal \Lambda \rightleftarrows \closed(\Mod\Lambda) \quad \colon \ann $$
を与える。

左辺は純環論的な対象ですが、右辺は$\Mod\Lambda$の圏論的な性質のみにより定まる集合なので、次が分かります。

主定理の

環$\Lambda$に対して両側イデアルのなす順序集合$\ideal\Lambda$を対応させる対応は森田不変量である。すなわち$\Mod\Lambda_1$と$\Mod\Lambda_2$が圏同値ならば$\ideal\Lambda_1$と$\ideal \Lambda_2$は順序同型である。

主定理の証明

一つ一つやれば怖くないです。

写像のwell-defined性

まず$\ann$と$\Mod_{(-)}\Lambda$がそれぞれちゃんと$\ideal\Lambda$と$\closed(\Mod\Lambda)$の間の写像を与えることを示します。

  • $\Mod\Lambda$の部分圏$\XX$に対して$\ann \XX$が$\Lambda$の両側イデアルなこと：簡単にチェックできるので略
  • $\Lambda$の両側イデアル$I$に対して$\Mod_I \Lambda$が$\Mod\Lambda$の閉部分圏なこと。まず明らかに$\Mod_I \Lambda$は同型で閉じる。また直積で閉じることもすぐ確認でき、商と部分加群で閉じるのもすぐ確認できる。最後の条件は、任意の$\Lambda$加群$M$に対して、部分加群$MI$を考え、自然な全射$M \surj M/MI$を考えればそれが欲しい物になっていることがすぐに確認できる。

2つがともに順序を逆にすること

2つが順序集合の間の反順序写像になっている（順序をひっくり返す）ことですが、これも用意に確認できます。

両側イデアル$I$に対して$\ann(\Mod_I \Lambda) = I$なこと

$I \subseteq \ann(\Mod_I \Lambda)$は定義から明らか。逆を示す。$\lambda \in \ann (\Mod_I \Lambda)$とする。落ち着いて考えると、これは「$\Lambda$加群$X$が$XI = 0$を満たすならば$X\lambda = 0$である」といいかえられる。

ここで$\Lambda/I$という右$\Lambda$加群を考えると、$\Lambda/I \in \Mod_I \Lambda$である。よって条件から$(\Lambda/I) \cdot \lambda = 0$であるが、これは落ち着いて考えると$\lambda \in I$を意味する。よって$\ann(\Mod_I \Lambda) \subseteq I$が示せた。

閉部分圏$\XX$に対して$\Mod_{\ann \XX} \Lambda = \XX$であること

多分これが一番非自明です。

$\XX \subseteq \Mod_{\ann \XX} \Lambda$は落ち着けば定義から明らかなので、$\Mod_{\ann \XX}\Lambda \subseteq \XX$を示せばよい。

まず第一ステップとして、$\Lambda/\ann \XX \in \XX$を示す。$\XX$が閉部分圏なことと、閉部分圏の最後の条件から、$\Lambda$のある部分加群（＝右イデアル）$L$が存在して、その自然な全射$\Lambda \surj \Lambda/L$が条件のような普遍性を満たす（つまり$\Lambda/L \in \XX$であって、かつ$\XX$への射のなかで普遍的な射になっている）。このとき実は$L = \ann \XX$であることを示せば$\Lambda/\ann \XX \in \XX$が示される。

実際、$\Lambda/L \in \XX$であることから$(\Lambda/L) \cdot \ann \XX = 0$なので、落ち着けば$\ann \XX \subseteq L$が分かる。逆に、$L$の任意の元$\lambda$をとる。任意に$X \in \XX$を取ったとき、その元$x$をとると、準同型$x \cdot (-) \colon \Lambda \to X$が定まるが、$\Lambda \surj \Lambda/L$の普遍性から、この射は$\Lambda/L$を経由するはずである：
$$ \xymatrix{ \Lambda \ar_{x \cdot (-)}[d] \ar@{->>}[r] & \Lambda/L \ar@{.>}[ld] \\ X } $$
この可換図式に、左上に$\lambda$を置いて追いかければ$x\cdot\lambda = 0$が分かる。なので$X \lambda = 0$であり、$\lambda \in \ann \XX$が従う。

さて今のことから$\Lambda/\ann\XX \in \XX$が成り立つ。次に$M \in \Mod_{\ann \XX}\Lambda $を任意に取ると、$M$は$\Lambda/\ann\XX$加群と見れる（$\ann \XX$をかけると消えるので）。よって全射$\bigoplus (\Lambda/\ann\XX) \surj M$が取れる。しかし$\XX$が直積で閉じるので一般に$\prod(\Lambda/\ann\XX)$は$\XX$に属し、その部分加群である$\bigoplus (\Lambda/\ann\XX)$も$\XX$が部分加群で閉じるので$\XX$に属する。よって$M$は$\XX$に属する元の商なので、$\XX$が商で閉じることから$M$も$\XX$に属する。証明終わり。

イデアルの積は？

$\ideal\Lambda$には、両側イデアルの積$I_1 \cdot I_2$という非自明な二項演算が存在します。これは、主定理の全単射のもとで、閉部分圏側ではどう記述できるでしょうか？

答えは次です。

Gabriel積

アーベル圏$\AA$の2つの部分圏$\XX$と$\YY$に対して、そのGabriel積 $\XX * \YY$を、次のような短完全列
$$ 0 \to X \to M \to Y \to 0 $$
で$X \in \XX$かつ$Y \in \YY$なるようなものが存在するような$M$全体のなす部分圏として定める。

これが両側イデアルの積に対応しています：

主定理の全単射$\ideal\Lambda \rightleftarrows \closed (\Mod\Lambda)$において、イデアルの積は閉部分圏のGabriel積の逆と対応する。すなわち、$I_1,I_2 \in \ideal\Lambda$について、
$$ (\Mod_{I_2}\Lambda) * (\Mod_{I_1}) = \Mod_{I_1 * I_2} \Lambda $$
が成り立つ。

$(\Mod_{I_2} \Lambda) * (\Mod_{I_1} \Lambda) \subseteq \Mod_{I_1 \cdot I_2}\Lambda$をまず示す。左辺から$M$を取ると、短完全列
$$ 0 \to L \to M \xrightarrow{\pi} N \to 0 $$
で$LI_2 = 0$で$NI_1 =0$なるものが取れる。このとき$M(I_1 I_2) = 0$を示せばよい。実際、$MI_1$の元を$\pi$で飛ばすと、$N I_1 = 0$なことから$\pi(MI_1) = 0$となる。よって$M I_1 \subseteq \ker \pi = L$となる。この両辺に$I_2$をかければ、$M(I_1 I_2) \subseteq L I_2 = 0$、よって$M(I_1 I_2) =0$が従う。

逆に、$\Mod_{I_1 \cdot I_2}\Lambda \subseteq (\Mod_{I_2} \Lambda) * (\Mod_{I_1} \Lambda)$を示す。$M \in \Mod\Lambda$が$M(I_1 I_2) = 0$を満たすとする。このとき、$MI_1$という$M$の部分加群を考え、次の短完全列を得る：
$$ 0 \to MI_1 \to M \to M/MI_1 \to 0 $$
このとき$(MI_1) I_2 = M(I_1 I_2) =0$なので$MI_1 \in \Mod_{I_2} \Lambda$であり、$(M/MI_1)I_1 = 0$なので$M/MI_1 \in \Mod_{I_1}\Lambda$である。よって上の短完全列から$M \in (\Mod_{I_2} \Lambda) * (\Mod_{I_1}\Lambda)$が分かる。

とくにGabriel積は圏論的に定義されているので、イデアルのなす順序集合は「積についても」森田不変なことが従います：

2つの環$\Lambda_1$と$\Lambda_2$が$\Mod\Lambda_1 \simeq \Mod\Lambda_2$を満たすならば、$\Lambda_1$と$\Lambda_2$のイデアルの間の順序同型で、しかもイデアルの積を保つものが存在する。

以上のイデアル積とGabriel積との対応が、右アルティン環の場合に$\mod\Lambda$で考えてうまくいっていることなどをチェックするのは演習問題とします。またこれにより、「$\Lambda$の冪等イデアル」と「拡大・部分加群・商加群・無限直積で閉じた$\Mod\Lambda$の部分圏」が一対一対応するという面白そうなことも言えますね。この後者のものはbilocalizing subcategoryとか呼ばれているっぽいです。

閉部分圏の定義について

この記事での閉部分圏は、証明を簡単にするためにこの定義を採用しましたが、加群圏の場合は実はそれはいらないです：

環$\Lambda$の加群圏$\Mod\Lambda$の部分圏$\XX$について次は同値。

  1. $\XX$は$\Mod\Lambda$の閉部分圏である。
  2. $\XX$は部分加群・商加群・無限直積で閉じる。

1ならば2は定義なので、2の仮定のもと1を示す。任意に$M \in \Mod\Lambda$を考えたとき、$\XX$への普遍的な全射$M \surj X_M$を作りたい。

まず$M$の部分加群$R$を次で定義する：
$$ R:= \{ m \in M \, | \, \text{任意の$X \in \XX$と$f \colon M \to X$に対して$f(m)=0$} \} $$
（$\XX$の対象に射をうったら死ぬ元全体）（いわゆる部分圏$\XX$に対する$M$のrejectionとか呼ばれます）
このとき$M/R \in \XX$を示せば、$R$の定義から明らかに自然な全射$M \surj M/R$は閉部分圏の最後の条件の射を与える。以下$M/R \in \XX$を示していく。

大雑把にアイデアを述べると、「$R$はちょうど$M$から全ての$\XX$の対象への可能な射を全部直積した射の核になっている」というものである。が、$\XX$の対象全体が集合とは限らないので、ちょっとだけ工夫する必要がある。

まず$M$の部分加群全体は集合である。この集合の中で、さらに$M/L \in \XX$となる部分加群$L$全体ももちろん集合である。この集合を$\MM$と書く。このとき各$L \in \MM$に対して自然な全射$M \surj M/L$が定まるので、これを直積して次の射が$\Mod\Lambda$の中で構成できる：
$$ f \colon M \to \prod_{L \in \MM} M/L $$

このとき、各$M/L$は$\XX$に属するので、$f$のcodomainの右側は$\XX$の元である（$\XX$が無限直積で閉じるので）。よって準同型定理から$M/\ker f$も$\XX$の元である（$\XX$が部分加群・同型で閉じるので）。ゆえに$R = \ker f$を示せばよい。

まず$R \subseteq \ker f$なことは、$R$の元は$\XX$のどの対象へのどの射でも消えるという定義なので、$M/L \in \XX$に飛ばしてもゼロになるので、$f(R) =0$が従い、そこから分かる。

逆に$\ker f \subseteq R$なことをみる。左辺から$m$を取ると、$f(m) = 0$であるが、一方任意に$X \in \XX$と準同型$\varphi \colon M \to X$を考える。このとき$\varphi(m) = 0$を示せば$m \in R$が分かる。実際、$\varphi$は$M \surj M/\ker \varphi$を経由するが、$M/\ker \varphi \cong \image \varphi$で$\image \varphi$は$X$の部分加群なので、$\XX$が部分加群と同型で閉じていたことから$M/\ker\varphi \in \XX$である。つまり$\ker\varphi \in \MM$なので、自然な全射$M \surj M/ker\varphi$は上の$f$を経由する：
$$ \xymatrix{ M \ar[rr]^{\varphi} \ar[dd]_f \ar@{->>}[rd] & & X \\ & M/\ker \varphi \ar@{>->}[ru] \\ \prod_{L \in \MM} M/L \ar@{.>}[ru] } $$
なので左上の$M$のところに$m$を置いて図式を追えば$\varphi(m) = 0$が従う。

有限生成加群のなす圏の場合

気になるのは、$\Mod\Lambda$ではなく有限生成加群のみに制限して$\mod\Lambda$でやるとどうなるのか？ということです。実は上の証明から、少なくとも右アルティン環の場合には、同様の全単射が$\mod\Lambda$の範疇で作れます。

$\Lambda$を右アルティン環とすると、次の2つの間に順序反同型が存在する。

  1. $\ideal\Lambda$（$\Lambda$の両側イデアルのなす順序集合）
  2. $\mod\Lambda$の部分圏のうち、有限直和、部分加群・商加群で閉じている部分圏のなす順序集合

写像は、イデアル$I$に対しては$I$かけて消える有限生成$\Lambda$加群全体のなす部分圏（つまり上の記号で$\Mod_I \Lambda \cap \mod\Lambda$）、逆は部分圏$\XX$に対して$\ann\XX$を対応させる。

証明は全く同様です、証明には先程の命題4（集合論に気をつかったやつ）に相当するものが必要ですが、アルティン性を使ってやればちゃんとできます。具体的には、命題4の証明の$M/R$が$\XX$に属することが、$M/R$が実は$\XX$の有限直和の部分加群になることがアルティン性から分かり、そこからだいたい従います。

詳しくはみんな考えてみてください。

展望

Rosenbergのより有名な結果に、準連接層のなす圏から代数多様体を復元するというものがあり、Rosenbergがこういう非可換環でのことを考えたのはいわゆる非可換代数幾何の視点からっぽいです。このようにアーベル圏のよい部分圏がどれだけあるかという問題は、環上の加群論だけでなく代数幾何的にも面白いらしく、詳しく知りたい人は、スキーム上の準連接層のなす圏上で閉部分圏を含め様々な部分圏の分類を与えた 神田先生の論文（参考文献[2]） （とそこの引用先）を見てみると面白いかもしれません。

参考文献

[1]
A. L. Rosenberg, Noncommutative algebraic geometry and representations of quantized algebras, Mathematics and its Applications, Kluwer Academic Publishers Group, 1995
[2]
R. Kanda, Classification of categorical subspaces of locally noetherian schemes, Doc. Math., 2015, 1403-1465
投稿日：2021年4月10日

この記事を高評価した人

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

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

バッジはありません。

投稿者

H.E.
H.E.
118
13610
某大ポスドク、詳しくはtwitterまで。自分の分野（環の表現論）でよく使われるfolkloreの解説記事を主に書いています。

コメント

他の人のコメント

コメントはありません。
読み込み中
H.E.
H.E.
環上の加群圏から両側イデアルのなす順序集合とイデアルの積演算を復元する