2
現代数学解説

「加群圏の共変的有限な拡大で閉じた部分圏は射影的に豊富」の三角圏若松による証明

代数学,三角圏,完全圏
120
0
$$\newcommand{AA}[0]{\mathcal{A}} \newcommand{BB}[0]{\mathcal{B}} \newcommand{C}[0]{\mathbb{C}} \newcommand{CC}[0]{\mathcal{C}} \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{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{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{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$が与えられたとき、その加群圏$\mod \Lambda$の部分圏を考えることはよく行いますが、その際に関手的有限という条件を課すことが非常に多いです。

この条件はいろいろなことに効いてきます。今回もそのようなものの一つで、次を示すことが目的です。

主定理

体$k$上の有限次元多元環$\Lambda$と、その有限生成加群のなす圏$\mod\Lambda$の拡大と直和因子で閉じた部分圏$\EE$を考える。もし$\EE$が反変的有限ならば$\EE$は完全圏として移入的に豊富であり、また共変的有限ならば射影的に豊富である。

実は関手的有限な拡大で閉じた$\mod\Lambda$の部分圏に対して次のようなAuslanderとSmaløが提唱した未解決問題があります。

[AS, p. 435]

有限次元多元環$\Lambda$について、$\mod\Lambda$の拡大で閉じた関手的有限部分圏を考えると、次が成り立つのではないか？

  1. $\EE$の完全圏としての直既約射影対象の個数と直既約移入対象の個数は有限。
  2. さらにその個数は等しい。

これの予想は知っていて考えたこともあるのですがやっぱり難しく、特別な状況での進展はありますが、自分の知る限り1も2も未解決のままなはずです（誰か知っていたら教えて下さい）。主定理はこの予想と関係しており、予想が述べている射影的対象の個数は分かりませんが、完全圏としての基本的な性質である「射影的・移入的に豊富」が関手的有限性から従うということを主張しています。

実は自分はこの定理は先日まで知らず、三角圏で別のことを考えて論文 [CPP] を眺めているうちに証明を思いついたので書くことにします。がやはりさすがにこれについて論文に書いている人がいました：[M, Proposition 1.1]。そこでの証明はAuslander-Reitenの有名な論文[AR]に結構投げられておりますが、三角圏若松を使うと短く済むことに気づいたので、本記事は三角圏を使うことにします。

前提知識

完全圏・三角圏（導来圏）・Krull-Schmidt圏を知っていること、またKS圏上の任意の射の右極小バージョンが取れるを知っていること（ この記事 参照）。関手的有限性や三角圏若松を知っていると望ましいがRecallします。

慣習と記法

  • 部分圏は全てfullで同型と有限直和と直和因子で閉じたものとします。
  • 体$k$上の有限次元多元環$\Lambda$に対して、$\mod\Lambda$で有限生成右$\Lambda$加群のなすアーベル圏、$\DDD^b(\mod\Lambda)$でその有界導来圏を指します。
  • $\mod\Lambda$の拡大で閉じた部分圏は常に、誘導される自然な完全圏構造により完全圏とみなします。

準備

主定理のために必要な定義や三角圏若松を述べておきます。

加法圏$\CC$の部分圏$\DD$を考える。このとき$X\in \CC$についての射$f \colon D_X \to X$が$X$の右$\DD$近似であるとは、次を満たすときをいう：

  1. $D_X \in \DD$である。
  2. 任意の射$\varphi \colon D \to X$で$D \in \DD$なるものは必ず$f$を経由する、つまりある$\overline{\varphi} \colon D \to D_X$が存在し$\varphi = f \overline{\varphi}$が成り立つ。

また任意の$\CC$の対象が右$\DD$近似を持つとき、$\DD$は$\CC$の中で反変的有限であると言われる。

双対的に共変的有限も定義しておきます：

加法圏$\CC$の部分圏$\DD$を考える。このとき$X\in \CC$についての射$g \colon X \to D^X$が$X$の左$\DD$近似であるとは、次を満たすときをいう：

  1. $D^X \in \DD$である。
  2. 任意の射$\psi \colon X \to D$で$D \in \DD$なるものは必ず$g$を経由する、つまりある$\overline{\psi} \colon D^X \to D$が存在し$\psi = \overline{\psi} g$が成り立つ。

また任意の$\CC$の対象が左$\DD$近似を持つとき、$\DD$は$\CC$の中で共変的有限であると言われる。さらに反変的有限かつ共変的有限な部分圏を関手的有限部分圏と呼ぶ。

この近似について、特に三角圏や完全圏での若松の補題と呼ばれるものが非常に有用です。

三角圏若松

三角圏$\TT$の拡大で閉じた部分圏$\EE$を考える。また$\TT$の対象$T$を取る。

  1. $T$が右極小な右$\EE$近似$E_T \to T$を持つとすると、それを三角に伸ばした$E_T \to T \to A$において$\TT(\EE,A)=0$が成り立つ。
  2. $T$が左極小な左$\EE$近似$T \to E^T$を持つとすると、それを三角に伸ばした$B \to T \to E^T$において$\TT(B,\EE) = 0$が成り立つ。

この記事 とその双対を参照。

またKrull-Schmidt圏では右近似は必ず右極小な右近似に取り換えられ、左近似は左極小な左近似に取り換えられたことも この記事 から思い出しておきましょう。

主定理の証明

いくつか準備をします。以下$\Lambda$を体上有限次元多元環とします。まず次を確認しておきます。

有界導来圏$\DDD^b(\mod\Lambda)$はKrull-Schmidtである。

Well-known to expertsでいろんな言い方があると思います。Hom-finiteはすぐに分かり、また冪等完備性をごちゃごちゃチェックできます（詳しく知りたい方・もしくは短い証明を知っている方がいたら連絡ください）。

実はなぜ関手的有限性と射影的・移入的に豊富なことが関連するかについて、次の補題が何となく感じを伝えてくれるはずです。

有界導来圏$\DDD^b(\mod\Lambda)$の中で、任意の$\mod\Lambda$の対象は左$(\mod\Lambda)[1]$近似を持ち、また右$(\mod\Lambda)[-1]$近似を持つ。

双対的なので、前半だけ示す。ここに$\mod\Lambda$が射影的に豊富なことを使う！

任意の$M \in \mod\Lambda$を取ると、$\mod\Lambda$が射影的に豊富なので、$\mod\Lambda$の短完全列
$$ 0 \to \Omega M \to P \to M \to 0 $$
が取れる。これを$\DDD^b(\mod\Lambda)$に落として三角
$$ \Omega M \to P \to M \xrightarrow{h} \Omega M[1] $$
ができるが、この$h$が求める左$(\mod\Lambda)[1]$近似である！なぜなら、任意の$N \in \mod\Lambda$に対して、上の三角へ$(-,N[1])$をすれば
$$ (\Omega M[1],N[1]) \to (M,N[1]) \to (P,N[1]) $$
が完全となる（括弧は$\DDD^b(\mod\Lambda)$での射集合）が、$(P,N[1]) = \Ext_\Lambda^1(P,N) = 0$である。よって$(\Omega M[1],N[1]) \to (M,N[1])$は全射であり、これは$h$が右$(\mod\Lambda)[1]$近似なことを示している。

実はより強く、[CPP]においては「$\mod\Lambda$が$\DDD^b(\mod\Lambda)$の中で関手的有限になる」ことまで示されています（つまり任意の導来圏の対象が近似を持つ）。さらに一般的に、[CPP]では「Krull-Schmidtな三角圏の有界$t$-structureについて、そのheartが関手的有限なことと、heartが射影的・移入的に豊富が同値」を示しており、この記事で与える主定理の証明の着想はここから来ています。

では主定理をもう一度述べて、証明を書こうと思います。

$\mod\Lambda$の拡大で閉じた部分圏$\EE$を考えると、次が成り立つ。

  1. $\EE$が$\mod\Lambda$の中で共変的有限ならば、$\EE$は（完全圏として）射影的に豊富である。
  2. $\EE$が$\mod\Lambda$の中で反変的有限ならば、$\EE$は（完全圏として）移入的に豊富である。

例のごとく双対なので1だけ示す。

任意の$E \in \EE$を取る。このとき$E$へ向かって射影対象からの$\EE$でのdeflationが取れればよい。まず次のことを示す：

主張：$\DDD^b(\mod\Lambda)$の中で考えて、$E$は極小左$\EE[1]$近似を持つ。

実際、上の補題4により$E$は左$(\mod\Lambda)[1]$近似を持ち、さらに$\EE$が$\mod\Lambda$の中で共変的有限なことから、組合せて主張が分かる。正確には、補題4で取った左$(\mod\Lambda)[1]$近似$E \to \Omega E[1]$と、$\Omega E \in \mod\Lambda$の左$\EE$近似$\Omega E \to F$のシフト$\Omega E[1] \to F[1]$を合成した$E \to \Omega E[1] \to F[1]$を取ればよい。

さてこの左$\EE[1]$近似$E \to F[1]$を左極小に取り替えれば主張が得られる。これについて三角に伸ばした次を考える：
$$ F \to P \to E \to F[1] $$
すると三角圏若松により$\DDD^b(\mod\Lambda)(P,\EE[1]) = 0$が成り立つ（$\EE[1]$は$\DDD^b(\mod\Lambda)$で拡大で閉じたことに注意）。しかし、この三角は、$E,F \in \EE \subseteq \mod\Lambda$なことより、$\mod\Lambda$が拡大で閉じていたので$P \in \mod\Lambda$であり、よって$\mod\Lambda$での短完全列
$$ 0 \to F \to P \to E \to 0 $$
に対応する。よって$\EE$が拡大で閉じたことから、$P \in \EE$であり、上は$\EE$での短完全列である。一方$\Ext^1_\Lambda(P,\EE) = \DDD^b(\mod\Lambda)(P,\EE[1]) = 0$なので$P$は$\EE$の射影的対象である。よって$\EE$が射影的に豊富なことが示された。

まとめ・感想

  • 主定理は純粋に加群圏内部での主張なのに、三角圏を使うと見通しがよく楽に示せます。こういうふうな三角圏の有用性が最近少しずつ実感できてきた気がします。
  • Krull-Schmidt圏での射の極小バージョンの存在と、若松の補題を組み合わせると強い。

参考文献

  • [AS] M. Auslander, S. O. Smalø, Almost split sequences in subcategories, J. Algebra 69 (1981), 426-454.
  • [CPP] R. Coelho Simoes, D. Pauksztello, D. Ploog, Functorially finite hearts, simple-minded systems in negative cluster categories, and noncrossing partitions, arXiv:2004.00604.
  • [M] S.K. Mohamed, Relative theory in subcategories, Colloq. Math. 117 (2009), no. 1, 9–63.
投稿日：2020年12月4日

この記事を高評価した人

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

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

バッジはありません。

投稿者

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

コメント

他の人のコメント

コメントはありません。
読み込み中
H.E.
H.E.
「加群圏の共変的有限な拡大で閉じた部分圏は射影的に豊富」の三角圏若松による証明