概要
任意の前加法圏は、米田埋め込みにより、アーベル群の圏値の加法的関手のなす関手圏に実現されます。この関手圏は加群の圏と呼ばれ、抽象的な圏を、加群圏という(ちょっとは)分かりやすい具体的なアーベル圏の部分圏として実現しています。
この記事の目標は、「あるよい条件(の冪等完備性)のもとでは、は有限生成射影加群のなす圏に一致している(また逆にそのような圏は冪等完備)」という主定理を示すことです。
前提とする知識
加法圏の定義や米田の補題やアーベル圏(の射影対象とか)を知っている人向けです。
圏上の加群圏
圏上の加群圏
を前加法圏とするとき、アーベル群のなす圏への反変加法的関手と自然変換のなす関手圏のことをと書き、右加群のなす圏と呼びます。
加群圏は加群圏である
環は自然に対象が1つの前加法圏と見れますが、このときは自然に(通常の右加群のなす圏)と同一視できます。なので一般の前加法圏の場合は、は「環上の加群を、環を自然にmany objectificationして考えたもの」と思えます。
はアーベル圏になっています。以下で見るように、これはさらに射影的に豊富であり、また実はGrothendeick圏なので移入的に豊富でもあります。
前加法圏に対して、米田埋め込みを考えます(を表現可能関手へ送ります)。この像(つまり表現可能関手)は特別な加群となっています。どのような加群でしょうか?予想してみましょう。
こういうことを考えるときにやるべきことは、古典的な場合を考えることです。つまり先程の例1で出てきた、通常の環上の加群の場合を考えます。すると、米田埋め込みを観察すると、その像はを右加群とみなしたrank 1の自由加群になっています。
実は標語的に次が成り立ちます:
表現可能関手はfinite rankな自由加群に他ならない
圏上の加群について「自由加群」というものを定義していないのでこれは正確な定理ではありませんが、これの起結として「表現可能関手は射影加群である」が従うはずです:
表現可能関手は射影的
を前加法圏、とする。このときは射影加群、つまりアーベル圏の射影対象である。
証明は米田の補題からすぐです。
Tikz-cdが書けないので困った。頭の中で図式を書きながらがんばってお付き合いください。加群の全射をとり、を任意にとるとき、これがまでliftできればよい。米田の補題によりに対応する元の元があるが、もとの全射にを代入するとというアーベル群の全射が得られる。よってこの写像でに飛ぶの元がとれ、米田の補題により対応するが得られる。これが求めるものであることは米田の補題の簡単な演習問題である。
このことから、が射影的に豊富なことが分かります:
加群圏は射影的に豊富
を前加法圏とすると、任意の右加群は、表現可能関手の(possibly infiniteな)直和からの全射を持つ。は射影的に豊富 (has enough projectives) であり、さらにの射影対象はちょうど表現可能関手の(無限)直和の直和因子である。
集合論を無視します(厳密にはが骨格的に小さいことを仮定します)。任意に加群をとり、の対象の集合を考え、各についての元を全てとってきます。すると米田よりがいっぱい得られ、それを全部直和します。これを束ねたが全射なことは、米田の補題の練習問題です。後半の主張は、射影対象は直和で閉じることと、表現可能関手は射影的なことから従います。
環上の加群については、「自由加群の有限直和の直和因子」を取ることで全ての有限生成射影加群が得られました。同じことを今からするのですが、そのために有限生成加群を導入する必要があります。
有限生成加群
- 右加群が有限生成であるとは、が表現可能関手(≒rank 1の自由加群)の有限直和からの全射を持つときを言う。
- 有限生成射影的右加群のなす圏をと書く。
有限生成加群は有限生成加群である
環において上の定義を適応すると、の中で「の直和からの全射を持つ」ものが取り出せます。これは有限生成加群の同値な定義の一つです。
有限生成性の定義について
表現可能関手という特殊なものを使っているので、アーベル圏に内在的な有限生成性の定義はないのかと思われる方がいらっしゃると思いますが、安心してください、ちゃんとあります。余完備なアーベル圏において、対象が有限生成であるとは、任意の全射に対して、必ずの有限部分集合が取れて、そこ上の直和に制限してもまだこの写像が全射になっているときをいいいます。
もしがこの意味で有限生成なら、の任意の対象は、表現可能関手の無限直和からの全射を持つので、上の意味で有限生成になります。逆も成り立ちますが、米田の補題の演習問題なのでやってみてください。
定義と、任意の加群は表現可能関手の無限直和からの全射を持つことと、上の注意の話から、次が直ちに従います。
有限生成射影加群の特徴づけ
有限生成な射影的加群は、ちょうど表現可能関手の有限直和の直和因子である。つまりとは、ちょうど表現可能関手たち有限直和の直和因子を取ることで得られる加群の部分圏と一致する。またが更に加法圏な場合は、は表現可能関手の直和因子のなす圏である。
後半の主張のみ議論が必要だが、が加法圏の場合は有限直和を持ち、米田埋め込みは有限直和を保つので、「表現可能関手の有限直和はまた表現可能」が成り立つので従う。
この定理を見てみても、先の標語「表現可能関手はfinite rankな自由加群」ということが納得できると思います。
では射影加群についてはどうでしょうか?上の定理によれば、(加法圏の場合は)表現可能関手に加え、その直和因子をとる必要があります。しかし、実は冪等完備性は、「直和因子を取る」という操作が不要なことを保証することが分かり、これが本記事の主定理です。
冪等完備性
冪等完備な加法圏
加法圏が冪等完備 (idempotent complete) (まれにKaroubian、また「idempotent splits」とも)とは、任意の冪等射(つまりを満たす自己準同型)が、次の形の射と同型なときいいます:
冪等完備性の定義
加法圏に対して様々な同値な定義があります。以下は全て同値です。
- は冪等完備である。
- 任意の冪等射は核を持つ。
- 任意の冪等射は余核を持つ。
- 任意の冪等射に対して、あるとがあり、かつを満たす(このような分解を、**冪等射の分裂 (splitting idempotent) **と呼ぶ)。
最後の条件4を言い換えたものが上の定義です。上の定義が一番直接的で見やすく、つまり任意の冪等射は必ず直和分解を与えると言い換えられます。
冪等完備な圏の例
- アーベル圏は必ず冪等完備です(なぜなら核射が必ず存在するので、上の条件の2や3から従う)(前加法圏で十分)。
- アーベル圏の、「直和因子と直和で閉じた部分圏」は冪等完備です。これは1と、直和因子で閉じることから定義を直ぐに確認できます。標語的には冪等完備な加法圏とは、何となく「直和因子で閉じた圏」であると筆者は思っています。
- 上の具体的な例として、「射影加群のなす圏」「有限生成射影加群のなす圏」などは冪等完備です。他にも、加群圏の部分圏で、普通に考えうる多くの部分圏はたいてい直和因子で閉じているので、冪等完備です。
- 余積を持つ三角圏は、homotopy colimitの議論により冪等完備です(証明は面倒)。よって2と同様、そのような三角圏の「直和因子で閉じた部分圏」は冪等完備です。例えば余積を持つ三角圏のthick部分圏は冪等完備です。
主定理と証明
さてようやく主定理を述べることができます。
主定理
を加法圏とする。このとき次は同値である:
- は冪等完備。
- 米田埋め込みは、と有限生成射影加群のなす圏との圏同値を誘導する。
- がある余完備アーベル圏の有限生成射影対象のなす圏と圏同値
とくにこのとき、有限生成射影的加群はちょうど表現可能関手のことである。
- (2): これが一番非自明な箇所である。
米田埋め込みは忠実充満なので、そのessential imageがちょうどとなればよい。表現可能関手は自明に有限生成で、また射影的なので、essential imageはに入る。
逆に、任意のを取る。このときは表現可能関手の直和因子であることが前節最後の定理より分かっている。対応する直和因子への射影子(これは冪等射)をとる。このとき自然な射影と包含がこの冪等射の分裂を与えていることに注意。
米田の補題により、対応するが得られ、これは米田より冪等射である。ここでが冪等完備なことから、の冪等射を分裂できる。厳密にいうと、とでありかつであるものが取れる。
このの分解を米田埋め込みで送っても、関手性よりという冪等射の分裂が得られる。ここで冪等射の分裂が一意的であることが簡単に分かるので、はに同型となる。
(3): 自明。
(1): 余完備アーベル圏は冪等完備であり、有限生成射影的対象のなす圏は、その直和因子で閉じた部分圏なので冪等完備である。
まとめ
多元環の表現論で出てくるほぼ全ての圏は冪等完備です。なので、それを米田埋め込みすることにより、主定理から、を有限生成射影加群のなす圏として実現することができます。これは、抽象的な加法圏に対するある種の実現定理(埋め込み定理)と言えますが、うちの業界以外では知名度が低そうなので、みなさんぜひ使ってください。
この考えの具体的応用としては、いわゆる有限表現型な多元環についてのAuslander対応がありますが、それについては気が向いたらそのうち書くかもしれません。