4

三角圏のt-structureとtorsion pair 【Bridgeland安定性第1回】

477
0
$$\newcommand{AA}[0]{\mathcal{A}} \newcommand{BB}[0]{\mathcal{B}} \newcommand{CC}[0]{\mathcal{C}} \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{FF}[0]{\mathcal{F}} \newcommand{GG}[0]{\mathcal{G}} \newcommand{HH}[0]{\mathcal{H}} \newcommand{Hom}[0]{\operatorname{Hom}} \newcommand{imp}[0]{\Rightarrow} \newcommand{implies}[0]{\Rightarrow} \newcommand{inj}[0]{\hookrightarrow} \newcommand{KKK}[0]{\mathsf{K}} \newcommand{mod}[0]{\operatorname{\mathsf{mod}}} \newcommand{Mod}[0]{\operatorname{\mathsf{Mod}}} \newcommand{NN}[0]{\mathcal{N}} \newcommand{PP}[0]{\mathcal{P}} \newcommand{proj}[0]{\operatorname{\mathsf{proj}}} \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{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}} $$

導入

いろんな分野で三角圏のBridgeland stabilityが流行りなので、数学を専攻している大学生院生は一度は耳にしたことがあるかもしれません。三角圏のstabilityは、Bridgelandが有名な次の論文で提唱したものです。

[B] T. Bridgeland, Stability conditions on triangulated categories, Ann. of Math. (2) 166 (2007), no. 2, 317–345.

かくいう自分の分野(環上の加群を調べる)でも最近stabilityの話がいろいろ出てきているのですが、自分があまり三角圏に慣れていなくて(もちろんアーベル圏のstabilityもありますが)、ちゃんとBridgelandの原論文を読んだことがないので、勉強のメモとして記事を書きます。第1回です。

第2回は こちら 、第3回は こちら 。第4回は こちら

  • 何回かに分けてやります。今回はtorsion pairと$t$-structureの話を軽く書いたら長くなったのでそこまでにします。
  • 勉強メモなので間違っている箇所がある可能性があります(気づいたらご指摘ください)。また続きを書かずに途中でやめる可能性もあります。
  • 特に、多分例の「安定性条件の空間が複素多様体になる」ことまではおそらくやりません。
  • 自分にとって分かりやすいように書くので、原論文と違う用語や違う証明や違う道具を用いている箇所があります。

前提とする知識

三角圏の定義を知っている人、三角の中の射がゼロ射だったときの例の同値条件を知っている人、三角の射が弱核や弱余核になっていることを知っている人くらいです。記事が続くにつれて前提知識を増やすかもしれません。

しばらくの目的

Bridgelandはstabilityが有名ですが、論文ではslicingというより広い概念が導入されているっぽいです。この三角圏のslicingはt-structureより細かく三角圏を(実数値で!)わけるものらしいですが、実は次の定理が成り立ちます。

[B, Lemma 4.3]

三角圏$\TT$と、そのslicing $\PP$を考える。$\R$の長さ$1$未満の区間$I$を考えると、そこからできる$\TT$の部分圏$\PP(I)$は三角圏$\TT$のadmissible完全部分圏であり、さらに完全圏としてquasi-abelian with maximal exact structureである。つまり$\PP(I)$はquasi-abelianであり、$\PP(I)$の中での短完全列はちょうど$\TT$のtriangleで全ての項が$\PP(I)$に入るものと一致する。

個人的にquasi-abelianな完全圏に興味があるので、stabilityというよりもこれを示すことを当面の目標にします。

慣習と記法

  • 考える部分圏は全て加法的でfullで同型で閉じることを仮定する、ここで
  • 加法圏の加法的部分圏とは、単に有限直和で閉じた部分圏を指し(ゼロも含まれる)、直和因子で閉じることは仮定しない。
  • 三角圏$\TT$の部分圏$\XX$に対して、$\XX^\perp$$^\perp\XX$で通常の$\Hom$直交部分圏を指す。また二つの部分圏$\XX,\YY$に対して、$\XX \perp \YY$で、$\TT(\XX,\YY) = 0$を表す。
  • 三角圏$\TT$の対象の集まり$\XX$$\YY$に対し(加法的部分圏でなくてもよい)、
    $$ X \to E \to Y \to X[1] $$
    というtriangleで$X \in \XX$$Y \in \YY$を満たすようなものが存在するような$E$を全て集めたものを$\CC_1 * \CC_2$と書く。この$*$演算は結合的なことに注意。よって例えば$\AA*\BB*\CC$のようにいちいち括弧を付けずに書く。

三角圏のtorsion pair

Bridgelandの論文を読む準備として、三角圏のtorsion pairと$t$-structureについての言葉遣いを用意します。

三角圏の(pre-)torsion pair

三角圏$\TT$の部分圏の組$(\XX,\YY)$torsion pairであるとは、次が満たされるときをいう。

  1. $\XX \perp \YY$.
  2. $\TT = \XX * \YY$.
  3. $\XX$$\YY$はともに直和因子で閉じる。

また1と2だけを満たすとき、pre-torsion pairと呼ぶことにする。
注意:一般的な用語でなく、この記事の便利のために導入した用語です。)

アーベル圏のtorsion pairの類似ですね。三角圏を$\XX$$\YY$に分けるものです。導来圏のAR quiverの図を思い出して、それをぶったぎるイメージ。

最後の条件は少し言い換えられます。

三角圏のpre-torsion pair $(\XX,\YY)$について、これがtorsion pairであることと、次が成り立つことは同値:
3'. $\XX = {}^\perp \YY$, $\YY = \XX^\perp$.
とくに、$\XX$$\YY$は必ず拡大で閉じる。

証明はやればできます。これによりtorsion pairは片側がもう片側を決定します。また次の条件も便利です。

Shift-closedなtorsion pair

三角圏$\TT$のpre-torsion pair $(\XX,\YY)$について次の二つは同値である。

  1. $\XX[1] \subseteq \XX$.
  2. $\YY[-1] \subseteq \YY$.

このときさらに$(\XX,\YY)$はtorsion pairになる。このようなtorsion pairをshift-closedなtorsion pairと呼ぶ(注意:一般的な用語ではありません)。

一般的な用語でないのは、後で見るようにこれは$t$-structureの言い換えだからです。

まず1を仮定して$(\XX,\YY)$がtorsion pairになることを示す。
そのため上の条件3'を示す。それぞれ包含$\XX\subseteq {}^\perp \YY$$\YY \subseteq \XX^\perp$は明らか。

まず$^\perp \YY \subseteq \XX$を示す。このため$T \in {}^\perp \YY$をとると、$\TT = \XX * \YY$により、三角
$$ X \xrightarrow{f} T \xrightarrow{g} Y \xrightarrow{s} X[1] $$
がとれるが($X \in \XX$$Y \in \YY$)、仮定より$g = 0$である。よって$s$はsectionだが、そのretraction $X[1] \to Y$は仮定$\XX[1] \subseteq \XX$によりゼロ射である。よって$Y=0$であり、$T \cong X \in \XX$となる。

次に$\XX^\perp \subseteq\YY$を示す。このため$T \in \XX^\perp$をとると、$\TT = \XX * \YY$により、三角
$$ X \xrightarrow{f} T \xrightarrow{g} Y \xrightarrow{r} X[1] $$
がとれるが($X \in \XX$$Y \in \YY$)、仮定より$f = 0$である。よって$r$はretractionだが、そのsection $X[1] \to Y$は仮定$\XX[1] \subseteq \XX$によりゼロ射である。よって$X[1] = 0$であり、ここから$X=0$が従うので、$T \cong Y \in \YY$となる。

よって1から$(\XX,\YY)$がtorsion pairなことが分かった。すると特に$\YY = \XX^\perp$なので、2の$\YY[-1] \subseteq\YY$を示すためには$\XX \perp \YY[-1]$を見ればよいが、これは$\XX[1] \subseteq \XX \perp \YY$により従う。よって2が成り立つ。2については省略。

正直1と2の同値性は、使うというよりは理論上のためのものなのでアレですが一応示せたので書きました。

またアーベル圏の場合には、torsion pairに対してcanonical exact sequenceは一意的に定まりますが、同じことが三角圏の場合にも成り立ちます(と思っていたけどshift-closedを課さないときつそうです):

Torsion pairのcanonical triangle

三角圏$\TT$のshift-closedなtorsion pair $(\XX,\YY)$を考える。任意の対象$T \in \TT$に対し、定義より
$$ X \to T \to Y \to X[1] $$
という三角で$X \in \XX$$Y \in \YY$となるものがあるが、三角は$T$を固定すると同型を除いて一意的に定まり、これを$T$$(\XX,\YY)$に関するcanonical triangleと呼ぶ。

二つあったとする:$X_1 \to T \to Y_1$$X_2 \to T \to Y_2$。このとき$X_1 \perp Y_2$$X_2 \perp Y_1$なことから、次の図式に伸ばせる:
\begin{CD} X_1 @>>> T @>>> Y_1 @>>>\\ @VVV @| @VVV \\ X_2 @>>> T @>>> Y_2 @>>>\\ @VVV @| @VVV \\ X_1 @>>> T @>>> Y_1 @>>> \end{CD}
ここで$1_{X_1}$$X_1 \to X_2 \to X_1$との差を考えると、$X_1 \to T$を合成して$0$になるので、$Y_1[-1]$を経由する。がshift-stableなことより$Y_1[-1] \in \YY$であるので、$X_1 \perp Y_1[-1]$となり、その差は$0$なことが分かる。よって$1_X = X_1 \to X_2 \to X_1$が分かる。逆も同様に分かるので、同型となる。

上の証明と全く同様に、次が示されます(これを$t$-structureの場合はtruncation functorとか呼ぶと思う)(自分はアーベル圏のtorsion pairの場合に慣れているので、$t$-structure側ではなくtorsion pair側で用語を揃えます)。

Torsion radicalとtorsion-free coradical

三角圏$\TT$のshift-closedなtorsion pair $(\XX,\YY)$が与えられたとき、任意の対象$T$に対してcanoical triangle $X \to T \to Y \to $が定まるが、この$T$$X$に対応させることで関手$\TT \to \XX$が定まり、これは埋め込み$\XX \inj \TT$の右随伴を与える(これをtorsion radicalと呼ぶ)。同様に$T$$Y$に対応させることで関手$\TT \to \YY$が定まり、これは埋め込み$\YY \inj \TT$の左随伴を与える(これをtorsion-free coradicalと呼ぶ)。(注意:これも多分一般的な用語ではない)

関手を定めることは上と同様の議論より。随伴性は、任意に$M \in \XX$を取ると、長完全列
$$ 0 = \TT(M,Y[-1]) \to \TT(M,X) \to \TT(M,T) \to \TT(M,Y) = 0 $$
からすぐ分かる。

三角圏の$t$-structure

次に$t$-structureについても軽くまとめます。

三角圏の$t$-structure

三角圏$\TT$の部分圏の組$(\UU, \VV)$$t$-structureであるとは、次を満たすときをいう。

  1. $(\UU,\VV[-1])$$\TT$のtorsion pairである。
  2. $\UU[1] \subseteq \UU$$\VV[-1] \subseteq \VV$が成り立つ。

すなわち、命題3により、これは$(\UU,\VV[-1])$がshift-closedなtorsion pairであることである。

よく使われる記法では、$\TT^{\leq 0}:=\UU$$\TT^{\geq 0}:= \VV$と書いて、$\TT^{\leq n}:=\TT^{\leq 0}[-n]$$\TT^{\geq n}:= \TT^{\geq 0}[-n]$と書くものです。どっちがどっちのシフトで閉じたっけ、ということを思い出すにはこの記法は便利です(ちょうど2の条件が$\TT^{\leq -1} \subseteq \TT^{\leq 0}$$\TT^{\geq 1} \subseteq \TT^{\geq 0}$となる)。

この記法の気持ちは次の標準的な$t$-structureです。

Standard $t$-structure

アーベル圏$\AA$の有界導来圏$\DDD^b(\AA)$に対して、$\TT^{\leq 0}$をコホモロジーが次数$0$以下にconcentrateした複体、$\TT^{\geq 0}$をコホモロジーが次数$0$以上にconcentrateした複体とすると、$(\TT^{\leq 0},\TT^{\geq 0})$$\DDD^b(\AA)$$t$-structureを与える(これだけなら有界じゃなくて非有界でもいいはずです)。

でもこの記法$\TT^{\leq 0}$ではちょっとslicingの添字とひっくり返っていて混乱したので、この記法は使わないことにします。

ここで、上の定義は少し重複があるので、一応書いておきます。

三角圏$\TT$の部分圏の組$(\UU,\VV)$$t$-structureであるためには、以下の二つを満たすことが必要十分である:
1'. $(\UU,\VV[-1])$$\TT$のpre-torsion pairである、すなわち$\UU \perp \VV[-1]$かつ$\TT = \UU * \VV[-1]$である。
2'. $\UU[1] \subseteq\UU$であるかまたは、$\VV[-1] \subseteq\VV$である。

命題3(Shift-closedなtorsion pair)より明らか。

さらに、$t$-structureとtorsion pairの関係は以下です(が定義より明らかです)。よって$t$-structureを考えることと、shift-closedな$t$-structureを考えることは同値です。

三角圏$\TT$に対し、$t$-structure $(\UU,\VV)$が与えられると、$(\UU,\VV[-1])$はshift-closedなtorsion pairである。また逆にshift-closedなtorsion pair $(\XX,\YY)$を与えると、$(\XX,\YY[1])$$t$-structureである。

また有界導来圏のなかのstandard $t$-structureのように、ある意味で「$t$-structureからもとの圏が作れる(くらい三角圏がでかすぎない)」条件をbounded $t$-structureといいます。

Bounded $t$-structure

三角圏$\TT$$t$-structure $(\UU,\VV)$boundedであるとは、次を満たすときをいう。
$$ \TT = \bigcup_{m \in \Z} \UU[m] = \bigcup_{n \in \Z} \VV[n] $$
すなわち、上の$\UU = \TT^{\leq 0}, \VV = \TT^{\geq 0}$の記法のもとでは、$\TT$の任意の対象$T$に対しある$m$$n$があり$T \in \TT^{[m,n]} := \TT^{\leq m} \cap \TT^{\geq n}$となるときをいう。

アーベル圏の有界導来圏のstandard $t$-structureはboundedである。非有界だとboundedでない。

安定$t$-structure(=半直交分解)とBousfield局所化

以下の内容は多分Bridgelandの論文を読む上では多分必要ないですが、$t$-structureについての常識っぽい話です。

Verdier商については既知とします。

Bousfield(余)局所化

三角圏$\TT$の三角部分圏$\NN$によるVerdier局所化$Q \colon \TT \to \TT/\NN$が右随伴を持つとき、$Q$Bousfield局所化と呼び、左随伴を持つとき$Q$を**Bousfield余局所化 (colocalization) **と呼ぶ。

Bousfield局所化は次の$t$-structureを考えることと密接に関係します。

安定$t$-structure(半直交分解)

三角圏$\TT$$t$-structure $(\UU,\VV)$安定$t$-structureであるとは、$\UU$がさらに$[-1]$でも閉じる(これは$\VV$$[1]$で閉じることと同値)ときをいう。また安定$t$-structureのことも別名半直交分解とも言うらしい。

安定$t$-structure $(\UU,\VV)$があると、$\UU$$\VV$も三角部分圏になっており直和因子で閉じる、つまりthick部分圏です。

射影的に豊富なアーベル圏$\AA$の上に有界な複体のなすホモトピー圏$\KKK^-(\AA)$を考える。このとき、$\AA$の射影対象のなす圏を$\PP$とすれば、$(\KKK^-(\PP),\KKK_{\text{acy}}^-(\AA))$$t$-structureを与える。ここで2番めの圏はacyclicな複体のなす圏である。理由は射影分解が取れるので。また、非有界導来圏でも$K$-projectiveを考えれば同じことが成り立つ。

導来圏$\DDD^-(\AA)$はVerdier局所化$\KKK^-(\AA)/\KKK_\text{acy}^-(\AA)$で定義されますが、有名な事実にこれが$\KKK^-(\PP)$と三角同値というものがあります。これは次の特別な場合です。

三角圏$\TT$を考える。

  • 三角圏$\TT$の安定$t$-structure $(\UU,\VV)$に対し、torsion radical $\TT \to \UU$は三角同値
    $$ \TT/\VV \simeq \UU $$
    を誘導する。よってとくにVerdier局所化$\TT \to \TT/\VV \simeq \UU$は左随伴$\UU \inj \TT$を持つので、Bousfield余局所化である。
  • 逆に、$\TT$のthick部分圏$\VV$による$\TT$のBousfield余局所化$\TT \to \TT/\VV$が与えられると、その左随伴を$S \colon \TT/\VV \to \TT$を考えると、$(S(\TT/\VV),\VV)$は安定$t$-structureである。

よって、$\TT$のBousfield余局所化を考えることと、安定$t$-structureを考えることは等価である。

証明はVerdier局所化の良い演習問題です。双対的に次も成り立ちます。

三角圏$\TT$の安定$t$-structure $(\UU,\VV)$に対し、torsion-free coradical $\TT \to \VV$は三角同値
$$ \TT/\UU \simeq \VV $$
を誘導する。よってとくにVerdier局所化$\TT \to \TT/\UU \simeq \VV$は右随伴$\VV \inj \TT$を持つので、Bousfield局所化である。逆に(以下略)

参考文献

最後の安定$t$-structureとBousfield局所化の話は
加藤希理子, 三角圏とホモロジー代数
の最初が日本語でまとまっていて読みやすいと思います。

またBridgeland安定性の日本語で読める読みやすい文献として
柳田伸太郎, 安定性の話
があります。

投稿日:20201119

この記事を高評価した人

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

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

バッジはありません。

投稿者

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

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中