5

冪等完備な加法圏は有限生成射影加群のなす圏である

480
0

概要

任意の前加法圏Cは、米田埋め込みにより、アーベル群の圏Ab値の加法的関手のなす関手圏[Cop,Ab]に実現されます。この関手圏はC加群の圏と呼ばれ、抽象的な圏Cを、加群圏という(ちょっとは)分かりやすい具体的なアーベル圏の部分圏として実現しています。

この記事の目標は、「あるよい条件(Cの冪等完備性)のもとでは、Cは有限生成射影加群のなす圏に一致している(また逆にそのような圏は冪等完備)」という主定理を示すことです。

前提とする知識

加法圏の定義や米田の補題やアーベル圏(の射影対象とか)を知っている人向けです。

圏上の加群圏

圏上の加群圏

Cを前加法圏とするとき、アーベル群のなす圏Abへの反変加法的関手と自然変換のなす関手圏[Cop,Ab]のことをModCと書き、C加群のなす圏と呼びます。

加群圏は加群圏である

Λは自然に対象が1つの前加法圏Cと見れますが、このときModCは自然にModΛ(通常の右Λ加群のなす圏)と同一視できます。なので一般の前加法圏の場合は、ModCは「環上の加群を、環を自然にmany objectificationして考えたもの」と思えます。

ModCはアーベル圏になっています。以下で見るように、これはさらに射影的に豊富であり、また実はGrothendeick圏なので移入的に豊富でもあります。

前加法圏Cに対して、米田埋め込みCModCを考えます(CCを表現可能関手C(,C)へ送ります)。この像(つまり表現可能関手)は特別な加群となっています。どのような加群でしょうか?予想してみましょう。

こういうことを考えるときにやるべきことは、古典的な場合を考えることです。つまり先程の例1で出てきた、通常の環上の加群の場合を考えます。すると、米田埋め込みを観察すると、その像はΛを右Λ加群とみなしたrank 1の自由加群になっています。

実は標語的に次が成り立ちます:

表現可能関手はfinite rankな自由加群に他ならない

圏上の加群について「自由加群」というものを定義していないのでこれは正確な定理ではありませんが、これの起結として「表現可能関手は射影加群である」が従うはずです:

表現可能関手は射影的

Cを前加法圏、CCとする。このときC(,C)ModCは射影加群、つまりアーベル圏ModCの射影対象である。

証明は米田の補題からすぐです。

Tikz-cdが書けないので困った。頭の中で図式を書きながらがんばってお付き合いください。C加群の全射MNをとり、C(,C)Nを任意にとるとき、これがMまでliftできればよい。米田の補題によりC(,C)Nに対応する元N(C)Abの元nCがあるが、もとの全射にCを代入するとM(C)N(C)というアーベル群の全射が得られる。よってこの写像でnCに飛ぶM(C)の元がとれ、米田の補題により対応するC(,C)Mが得られる。これが求めるものであることは米田の補題の簡単な演習問題である。

このことから、ModCが射影的に豊富なことが分かります:

加群圏は射影的に豊富

Cを前加法圏とすると、任意の右C加群は、表現可能関手の(possibly infiniteな)直和からの全射を持つ。ModCは射影的に豊富 (has enough projectives) であり、さらにModCの射影対象はちょうど表現可能関手の(無限)直和の直和因子である。

集合論を無視します(厳密にはCが骨格的に小さいことを仮定します)。任意にC加群Mをとり、Cの対象の集合を考え、各CCについてM(C)の元を全てとってきます。すると米田よりC(,C)Mがいっぱい得られ、それを全部直和します。これを束ねたCCmCM(C)C(,C)Mが全射なことは、米田の補題の練習問題です。後半の主張は、射影対象は直和で閉じることと、表現可能関手は射影的なことから従います。

環上の加群については、「自由加群の有限直和の直和因子」を取ることで全ての有限生成射影加群が得られました。同じことを今からするのですが、そのために有限生成C加群を導入する必要があります。

有限生成加群
  1. C加群Mが有限生成であるとは、Mが表現可能関手(≒rank 1の自由加群)の有限直和からの全射を持つときを言う。
  2. 有限生成射影的右C加群のなす圏をprojCと書く。
有限生成加群は有限生成加群である

Λにおいて上の定義を適応すると、ModΛの中で「Λの直和からの全射を持つ」ものが取り出せます。これは有限生成Λ加群の同値な定義の一つです。

有限生成性の定義について

表現可能関手という特殊なものを使っているので、アーベル圏に内在的な有限生成性の定義はないのかと思われる方がいらっしゃると思いますが、安心してください、ちゃんとあります。余完備なアーベル圏において、対象Mが有限生成であるとは、任意の全射iIAiMに対して、必ずIの有限部分集合が取れて、そこ上の直和に制限してもまだこの写像が全射になっているときをいいいます。
もしMがこの意味で有限生成なら、ModCの任意の対象は、表現可能関手の無限直和からの全射を持つので、上の意味で有限生成になります。逆も成り立ちますが、米田の補題の演習問題なのでやってみてください。

定義と、任意のC加群は表現可能関手の無限直和からの全射を持つことと、上の注意の話から、次が直ちに従います。

有限生成射影加群の特徴づけ

有限生成な射影的C加群は、ちょうど表現可能関手の有限直和の直和因子である。つまりprojCとは、ちょうど表現可能関手たち有限直和の直和因子を取ることで得られる加群の部分圏と一致する。またCが更に加法圏な場合は、projCは表現可能関手の直和因子のなす圏である。

後半の主張のみ議論が必要だが、Cが加法圏の場合Cは有限直和を持ち、米田埋め込みは有限直和を保つので、「表現可能関手の有限直和はまた表現可能」が成り立つので従う。

この定理を見てみても、先の標語「表現可能関手はfinite rankな自由加群」ということが納得できると思います。
では射影加群についてはどうでしょうか?上の定理によれば、(加法圏の場合は)表現可能関手に加え、その直和因子をとる必要があります。しかし、実は冪等完備性は、「直和因子を取る」という操作が不要なことを保証することが分かり、これが本記事の主定理です。

冪等完備性

冪等完備な加法圏

加法圏C冪等完備 (idempotent complete) (まれにKaroubian、また「idempotent splits」とも)とは、任意のC冪等射e:XX(つまりe=e2を満たす自己準同型)が、次の形の射と同型なときいいます:
[1A000]:ABAB

冪等完備性の定義

加法圏Cに対して様々な同値な定義があります。以下は全て同値です。

  1. Cは冪等完備である。
  2. 任意の冪等射eは核を持つ。
  3. 任意の冪等射eは余核を持つ。
  4. 任意の冪等射e:XXに対して、あるs:AXr:XAがあり、rs=1Aかつsr=eを満たす(このような分解を、**冪等射の分裂 (splitting idempotent) **と呼ぶ)。

最後の条件4を言い換えたものが上の定義です。上の定義が一番直接的で見やすく、つまり任意の冪等射は必ず直和分解を与えると言い換えられます。

冪等完備な圏の例
  1. アーベル圏は必ず冪等完備です(なぜなら核射が必ず存在するので、上の条件の2や3から従う)(前加法圏で十分)。
  2. アーベル圏の、「直和因子と直和で閉じた部分圏」は冪等完備です。これは1と、直和因子で閉じることから定義を直ぐに確認できます。標語的には冪等完備な加法圏とは、何となく「直和因子で閉じた圏」であると筆者は思っています。
  3. 上の具体的な例として、「射影加群のなす圏」「有限生成射影加群のなす圏」などは冪等完備です。他にも、加群圏の部分圏で、普通に考えうる多くの部分圏はたいてい直和因子で閉じているので、冪等完備です。
  4. 余積を持つ三角圏は、homotopy colimitの議論により冪等完備です(証明は面倒)。よって2と同様、そのような三角圏の「直和因子で閉じた部分圏」は冪等完備です。例えば余積を持つ三角圏のthick部分圏は冪等完備です。

主定理と証明

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

主定理

Cを加法圏とする。このとき次は同値である:

  1. Cは冪等完備。
  2. 米田埋め込みCModCは、Cと有限生成射影C加群のなす圏projCとの圏同値を誘導する。
  3. Cがある余完備アーベル圏の有限生成射影対象のなす圏と圏同値

とくにこのとき、有限生成射影的C加群はちょうど表現可能関手のことである。

  1. (2): これが一番非自明な箇所である。
    米田埋め込みは忠実充満なので、そのessential imageがちょうどprojCとなればよい。表現可能関手は自明に有限生成で、また射影的なので、essential imageはprojCに入る。

逆に、任意のPprojCを取る。このときPは表現可能関手C(,C)の直和因子であることが前節最後の定理より分かっている。対応する直和因子への射影子(これは冪等射)C(,C)C(,C)をとる。このとき自然な射影と包含C(,C)PC(,C)がこの冪等射の分裂を与えていることに注意。
米田の補題により、対応するe:CCが得られ、これは米田より冪等射である。ここでCが冪等完備なことから、eの冪等射を分裂できる。厳密にいうと、r:CAs:ACでありrs=1Aかつe=srであるものが取れる。

このeの分解を米田埋め込みで送っても、関手性よりC(,e):C(,C)C(,A)C(,C)という冪等射の分裂が得られる。ここで冪等射の分裂が一意的であることが簡単に分かるので、PC(,A)に同型となる。

  1. (3): 自明。

  2. (1): 余完備アーベル圏は冪等完備であり、有限生成射影的対象のなす圏は、その直和因子で閉じた部分圏なので冪等完備である。

まとめ

多元環の表現論で出てくるほぼ全ての圏Cは冪等完備です。なので、それを米田埋め込みすることにより、主定理から、Cを有限生成射影加群のなす圏として実現することができます。これは、抽象的な加法圏に対するある種の実現定理(埋め込み定理)と言えますが、うちの業界以外では知名度が低そうなので、みなさんぜひ使ってください。
この考えの具体的応用としては、いわゆる有限表現型な多元環についてのAuslander対応がありますが、それについては気が向いたらそのうち書くかもしれません。

投稿日:20201112
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

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

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 概要
  2. 圏上の加群圏
  3. 冪等完備性
  4. 主定理と証明
  5. まとめ