# 三角圏とホモトピー圏の三角構造：写像錐を公理にする > シフトと完全三角形で三角圏を公理化し、Hom の長完全列、三角形の五項補題、錐の同型を除く一意性、分裂三角形を公理から証明する。ホモトピー圏が写像錐で三角圏になること（八面体公理を含む）と、H^0 がコホモロジー的関手であることを示す。 > https://rikai.mugen-giken.com/mathematics/category-homological-algebra/triangulated-categories ## 0. この記事の要点 複体をホモトピーを除いて同じものと見なす世界では、「核」や「余核」がうまく定義できません。その代わりに、写像錐という対象が「核と余核を一度に記録するもの」の役目を果たします。この記事は、写像錐が満たす性質を取り出して公理にまとめ（三角圏）、その公理だけから長完全列などの道具が使えることを示します。読み終えると、ホモトピー圏でアーベル圏の議論に代わるものが何かが分かります。 - ホモトピー圏 $\mathrm{K}(\mathcal{A})$ は一般に[アーベル圏](/mathematics/category-homological-algebra/additive-abelian-categories#def-abelian)ではなく、核・[余核](/mathematics/category-homological-algebra/additive-abelian-categories#def-kernel-cokernel)の代わりに[**写像錐**](/mathematics/category-homological-algebra/chain-complexes-homotopy-category#def-cone)があります。写像錐の三角形 $X \to Y \to \operatorname{Cone}(f) \to X[1]$ がもつ性質を公理にしたものが**三角圏**（公理 TR1〜TR4）です。 - 公理だけから、完全三角形の連続する射の合成は $0$、$\operatorname{Hom}(W, -)$ と $\operatorname{Hom}(-, W)$ は完全三角形を長完全列に送る（**コホモロジー的**。三角形をアーベル群の完全列に写す、という性質のこと）、三角形の射の二成分が同型なら三つ目も同型（**三角形の五項補題**）、が出ます。 - その帰結として、射 $u$ の「錐」は同型を除いて一意ですが、その同型は一意ではなく、錐を関手として選ぶことはできません。完全三角形の直和は完全で、三つ目の射が $0$ の完全三角形は[双積](/mathematics/category-homological-algebra/additive-abelian-categories#def-biproduct)（直和と直積を同一視したもの）に分裂します。回転の逆向き（TR2 の後半）は他の公理から従います。 - $\mathrm{K}(\mathcal{A})$ は写像錐の三角形と同型な三角形を完全三角形として三角圏になります。TR3 では正方形がホモトピーを除いてしか可換でないので、ホモトピー $h$ を使った射 $(x, y) \mapsto (ax, by + hx)$ を作ります。八面体公理 TR4（2 つの射 $u, v$ とその合成 $vu$ の三つの錐の間の関係を述べた公理で、第三同型定理の類似）は Appendix で明示的なホモトピーにより証明します。 - $H^0\colon \mathrm{K}(\mathcal{A}) \to \mathcal{A}$ はコホモロジー的関手で、[非輪状](/mathematics/category-homological-algebra/chain-complexes-homotopy-category#def-homology)複体は厚い部分圏（完全三角形について閉じた三角部分圏のうち、直和因子をとる操作でも閉じたもの）をなします。次数ごとに分裂する短完全列は完全三角形を与えますが、分裂しない短完全列はそのままでは完全三角形になりません。これを直すのが[導来圏](/mathematics/category-homological-algebra/derived-categories#def-derived-category)（[擬同型](/mathematics/category-homological-algebra/chain-complexes-homotopy-category#def-quasi-iso)を可逆にした圏）です。 ## 1. 動機 アーベル圏では、短完全列 $0 \to X \to Y \to Z \to 0$ から Hom やコホモロジーの長完全列が出ます。複体をホモトピーを除いて扱う $\mathrm{K}(\mathcal{A})$ では、核や余核が一般には存在せず、短完全列という言葉がそのままでは使えません。その代わりに使えるのが、[鎖複体とホモトピー圏](/mathematics/category-homological-algebra/chain-complexes-homotopy-category)の章で作った写像錐です。鎖写像 $f\colon X \to Y$ から $$ X \xrightarrow{f} Y \xrightarrow{i} \operatorname{Cone}(f) \xrightarrow{p} X[1] $$ という列ができ、コホモロジーをとると長完全列になります（）。錐は短完全列 $0 \to Y \to \operatorname{Cone}(f) \to X[1] \to 0$ の真ん中にあり、「$f$ の核と余核を一度に記録した対象」と見なせます。 Verdier と Grothendieck は、この列のふるまいを公理にまとめました。そうしておけば、$\mathrm{K}(\mathcal{A})$ でも、擬同型を可逆にした[導来圏](/mathematics/category-homological-algebra/derived-categories#def-derived-category) $\mathrm{D}(\mathcal{A})$ でも、位相空間のスペクトラムの安定ホモトピー圏でも、同じ議論が使えます。この章では公理（TR1〜TR4）を述べ、公理から出る基本性質を証明し、$\mathrm{K}(\mathcal{A})$ が実際に公理を満たすことを示します。 公理の中でいちばん目立たないのは TR3 です。写像錐は、正方形が厳密に可換なら関手的に作れます（ の 4）。しかし $\mathrm{K}(\mathcal{A})$ の射はホモトピー類なので、正方形はホモトピーを除いてしか可換になりません。そこでホモトピーそのものを使って錐の間の射を作ります。そのときホモトピーの選び方によって射が変わることが、「錐は同型を除いて一意だが関手的ではない」という三角圏の弱点の源です。この弱点を直す試み（dg 圏・安定 $\infty$ 圏による強化）は、三角圏の先の話題として最後の注意で触れます。 ## 2. 三角形と三角圏の公理 以下、圏は局所的に小さい（）とし、加法圏・加法関手・双積の言葉は[加法圏とアーベル圏](/mathematics/category-homological-algebra/additive-abelian-categories)の章（、、）に従います。 1. **シフトをもつ加法圏**とは、加法圏 $\mathcal{D}$ と加法関手 $[1]\colon \mathcal{D} \to \mathcal{D}$ の組で、$[1]$ が逆関手 $[-1]$ をもつ（圏の同型である）ものをいう。$X[1]$ を $X$ の**シフト**と呼び、$[n]$ を $[1]$ または $[-1]$ の $|n|$ 回の合成とする。 2. **三角形**とは、対象 $X, Y, Z$ と射 $u\colon X \to Y$、$v\colon Y \to Z$、$w\colon Z \to X[1]$ の組 $(X, Y, Z, u, v, w)$ をいい、$X \xrightarrow{u} Y \xrightarrow{v} Z \xrightarrow{w} X[1]$ と書く。 3. 三角形 $(X, Y, Z, u, v, w)$ から $(X', Y', Z', u', v', w')$ への**射**とは、射の組 $(a, b, c)$（$a\colon X \to X'$、$b\colon Y \to Y'$、$c\colon Z \to Z'$）で $b u = u' a$、$c v = v' b$、$a[1]\, w = w' c$ を満たすものをいう。$a, b, c$ がすべて同型のとき**三角形の同型**という（このとき $(a^{-1}, b^{-1}, c^{-1})$ は逆向きの射である）。 4. 三角形 $T = (X, Y, Z, u, v, w)$ の**回転**を $(Y, Z, X[1], v, w, -u[1])$ とする。 $[1]$ は圏の同型なので、各 $\operatorname{Hom}(X, Y) \to \operatorname{Hom}(X[1], Y[1])$ は全単射で、加法関手なので群の同型です。以下この事実を「$[1]$ は Hom の同型を与える」と言って使います。 シフトをもつ加法圏 $\mathcal{D}$ と、**完全三角形**（distinguished triangle）と呼ぶ三角形の類が与えられ、次の公理を満たすとき、$\mathcal{D}$ を**三角圏**という。 - **TR1.** (a) 完全三角形と同型な三角形は完全である。(b) 各対象 $X$ について $X \xrightarrow{1} X \to 0 \to X[1]$ は完全である。(c) 各射 $u\colon X \to Y$ について、$u$ を最初の射とする完全三角形 $X \xrightarrow{u} Y \to Z \to X[1]$ が存在する。 - **TR2.** (a) 完全三角形の回転は完全である。(b) 逆に、回転が完全な三角形は完全である。 - **TR3.** 完全三角形 $(X, Y, Z, u, v, w)$、$(X', Y', Z', u', v', w')$ と射 $a\colon X \to X'$、$b\colon Y \to Y'$ が $b u = u' a$ を満たせば、$(a, b, c)$ が三角形の射になる $c\colon Z \to Z'$ が存在する。 **TR4（八面体公理）.** 射 $u\colon X \to Y$、$v\colon Y \to Z$ と完全三角形 $$ X \xrightarrow{u} Y \xrightarrow{j_u} C_u \xrightarrow{k_u} X[1], \quad X \xrightarrow{vu} Z \xrightarrow{j_{vu}} C_{vu} \xrightarrow{k_{vu}} X[1], \quad Y \xrightarrow{v} Z \xrightarrow{j_v} C_v \xrightarrow{k_v} Y[1] $$ が与えられたとき、射 $\alpha\colon C_u \to C_{vu}$、$\beta\colon C_{vu} \to C_v$ で、$(1_X, v, \alpha)$ と $(u, 1_Z, \beta)$ が三角形の射であり、かつ $$ C_u \xrightarrow{\alpha} C_{vu} \xrightarrow{\beta} C_v \xrightarrow{j_u[1]\, k_v} C_u[1] $$ が完全三角形であるものが存在する。 TR1〜TR3 だけを満たす（TR4 を課さない）ものを**前三角圏**と呼ぶことがある。 TR3 の $c$ は一意とは限りません（）。TR1 (c) の完全三角形 $X \xrightarrow{u} Y \to Z \to X[1]$ の $Z$ を $u$ の**錐**と呼ぶことがあります。TR4 の $(1_X, v, \alpha)$ が三角形の射であるという条件は、$\alpha j_u = j_{vu} v$ と $k_{vu} \alpha = k_u$ を意味し、$(u, 1_Z, \beta)$ のほうは $\beta j_{vu} = j_v$ と $k_v \beta = u[1] k_{vu}$ を意味します。 TR4 は文字が多いですが、言っていることは、2 つの射 $u, v$ とその合成 $vu$ の 3 つの錐 $C_u, C_{vu}, C_v$ が、またひとつの完全三角形でつながる、ということです。求める射は $\alpha, \beta$ の 2 つだけで、条件は「$(1_X, v, \alpha)$ と $(u, 1_Z, \beta)$ が三角形の射であること」と「$C_u \to C_{vu} \to C_v$ が完全三角形に延びること」です。 TR4 は「$Y/X$、$Z/X$、$Z/Y$ の間に $(Z/X)/(Y/X) \cong Z/Y$ という第三同型定理の類似がある」と読めます。$X \subset Y \subset Z$ が加群なら、$C_u, C_{vu}, C_v$ をそれぞれ $Y/X$、$Z/X$、$Z/Y$ と思えば、$0 \to Y/X \to Z/X \to Z/Y \to 0$ が完全です。
X Y Z u v w +1
## 3. 公理から出る基本性質 この節の命題はどれも、TR1・TR2 (a)・TR3 だけを使って証明します（TR2 (b) と TR4 は使いません）。あとで $\mathrm{K}(\mathcal{A})$ が三角圏であることを示すとき、TR2 (b) をこの節の結果から導くためです。そこで次の言い方をします。 > **(P)** $\mathcal{D}$ はシフトをもつ加法圏で、完全三角形の類が TR1・TR2 (a)・TR3 を満たす。 三角圏は (P) を満たします。 $\mathcal{D}$ が (P) を満たすとし、$T = (X, Y, Z, u, v, w)$ を完全三角形とする。 1. $v u = 0$、$w v = 0$、$u[1]\, w = 0$ である。 2. $(a, b, c)$ が三角形の射 $T \to T'$ なら、$(b, c, a[1])$ は回転どうしの射である。 3. $W$ を対象とする。$(W, 0, W[1], 0, 0, -1_{W[1]})$ と $(0, W, W, 0, -1_W, 0)$ は完全三角形である。 **3.** TR1 (b) の $(W, W, 0, 1, 0, 0)$ の回転は $(W, 0, W[1], 0, 0, -1_{W[1]})$ で、TR2 (a) により完全です。$W[-1]$ について同じことをして、さらにもう一度回転すると $(0, W, W, 0, -1_W, 0)$ を得ます（$0$ の射のシフトは $0$）。 **1.** TR1 (b) の $(X, X, 0, 1, 0, 0)$ から $T$ へ、$a = 1_X$、$b = u$ をとると $b \cdot 1 = u \cdot a$ なので、TR3 により三角形の射 $(1_X, u, c)$ があります。二つ目の正方形の条件は $c \cdot 0 = v u$ なので $v u = 0$ です。$T$ の回転 $(Y, Z, X[1], v, w, -u[1])$ は TR2 (a) により完全なので、同じ議論で $w v = 0$ です。もう一度回転した $(Z, X[1], Y[1], w, -u[1], -v[1])$ に使えば $(-u[1]) w = 0$ です。 **2.** 回転どうしの射の条件は $c v = v' b$、$a[1] w = w' c$、$b[1](-u[1]) = (-u'[1]) a[1]$ です。前の二つは $(a, b, c)$ の条件そのもので、最後は $b u = u' a$ に $[1]$ を施したものです。 次の命題がこの章の中心です。三角圏での議論の多くは、Hom をとってアーベル群の完全列に持ち込むことで進みます。証明の方針は、TR3 で「射の存在」を取り出すことです。たとえば 1 では、$v g = 0$ となる $g$ から、零への射などを使って $g$ が $u$ を経由することを TR3 で作り出します。どの三角形からどの三角形へ送るのかに注意して読んでください。 $\mathcal{D}$ が (P) を満たすとし、$T = (X, Y, Z, u, v, w)$ を完全三角形、$W$ を対象とする。次のアーベル群の列は完全である。 1. $\operatorname{Hom}(W, X) \xrightarrow{u_*} \operatorname{Hom}(W, Y) \xrightarrow{v_*} \operatorname{Hom}(W, Z)$。 2. $\operatorname{Hom}(Z, W) \xrightarrow{v^*} \operatorname{Hom}(Y, W) \xrightarrow{u^*} \operatorname{Hom}(X, W)$。 3. $\operatorname{Hom}(W, X) \xrightarrow{u_*} \operatorname{Hom}(W, Y) \xrightarrow{v_*} \operatorname{Hom}(W, Z) \xrightarrow{w_*} \operatorname{Hom}(W, X[1]) \xrightarrow{u[1]_*} \operatorname{Hom}(W, Y[1])$。 4. $\operatorname{Hom}(Y[1], W) \xrightarrow{u[1]^*} \operatorname{Hom}(X[1], W) \xrightarrow{w^*} \operatorname{Hom}(Z, W) \xrightarrow{v^*} \operatorname{Hom}(Y, W) \xrightarrow{u^*} \operatorname{Hom}(X, W)$。 ここで $u_* = u \circ -$、$u^* = - \circ u$ である。 **1.** の 1 より $v_* u_* = (vu)_* = 0$ です。逆に $g\colon W \to Y$ が $v g = 0$ を満たすとします。 の 3 の完全三角形 $(W, 0, W[1], 0, 0, -1_{W[1]})$ から、$T$ の回転 $(Y, Z, X[1], v, w, -u[1])$（TR2 (a) により完全）へ、$a = g$、$b = 0\colon 0 \to Z$ をとります。$b \cdot 0 = 0 = v g$ なので、TR3 により三角形の射 $(g, 0, c)$ があり、三つ目の正方形の条件は $g[1](-1_{W[1]}) = (-u[1]) c$、すなわち $g[1] = u[1] c$ です。$[1]$ は Hom の同型を与えるので $c = h[1]$ となる $h\colon W \to X$ があり、$g[1] = (uh)[1]$ から $g = u h$ です。 **2.** の 1 より $u^* v^* = (vu)^* = 0$ です。逆に $g\colon Y \to W$ が $g u = 0$ を満たすとします。$T$ から の 3 の完全三角形 $(0, W, W, 0, -1_W, 0)$ へ、$a = 0\colon X \to 0$、$b = -g$ をとります。$b u = -g u = 0 = 0 \cdot a$ なので、TR3 により三角形の射 $(0, -g, c)$ があり、二つ目の正方形の条件 $c v = (-1_W)(-g) = g$ から $g \in \operatorname{Im} v^*$ です。 **3.** $\operatorname{Hom}(W, Y)$ での完全性は 1 です。$\operatorname{Hom}(W, Z)$ での完全性は、1 を $T$ の回転 $(Y, Z, X[1], v, w, -u[1])$ に使えば得られます。$\operatorname{Hom}(W, X[1])$ での完全性は、1 を二度回転した $(Z, X[1], Y[1], w, -u[1], -v[1])$ に使えば、列 $\operatorname{Hom}(W, Z) \xrightarrow{w_*} \operatorname{Hom}(W, X[1]) \xrightarrow{(-u[1])_*} \operatorname{Hom}(W, Y[1])$ の完全性として得られます。準同型の符号を変えても核と像は変わらないので、$u[1]_*$ に置き換えてよいです。 **4.** 3 と同じく、2 を $T$、その回転、二度の回転に使います。 アーベル群の五項補題を使うため、次の補題を用意します。ねらいは、三角形の射 $(a, b, c)$ で $a, b$ が同型なら $c$ も同型であること（次の命題）を、Hom をとった完全列の五項補題に帰着させることです。三角形が完全であることを仮定せず、Hom の完全性だけを仮定しているのは、あとで完全性がまだ分からない三角形（直和）にも使うためです。 $\mathcal{D}$ をシフトをもつ加法圏とし、$(a, b, c)$ を三角形 $T = (X, Y, Z, u, v, w)$ から $T' = (X', Y', Z', u', v', w')$ への射とする。すべての対象 $W$ について $T$ と $T'$ の の 3 の列が完全であり、$a$ と $b$ が同型なら、$c$ は同型である。 $W$ を固定し、$T$ の列を上の行、$T'$ の列を下の行とし、縦の射を $a_*, b_*, c_*, a[1]_*, b[1]_*$ とします。三角形の射の条件 $bu = u'a$、$cv = v'b$、$a[1] w = w' c$ と、$bu = u'a$ に $[1]$ を施した $b[1] u[1] = u'[1] a[1]$ により、四つの正方形は可換です。$a, b$ は同型なので、$a_*, b_*, a[1]_*, b[1]_*$ は（逆射との合成を逆写像として）群の同型です。 $\mathsf{Ab}$ はアーベル圏（）で、Abel 群の列が $\mathsf{Ab}$ の列として完全であることは「像 = 核」と同値です（ の 4）。よって五項補題（ の 3）により $c_*\colon \operatorname{Hom}(W, Z) \to \operatorname{Hom}(W, Z')$ は同型、とくに全単射です。 $W = Z'$ として、$c s = 1_{Z'}$ を満たす $s\colon Z' \to Z$ があります。$W = Z$ とすると $c (s c) = (c s) c = c = c \cdot 1_Z$ で、$c_*$ が単射なので $s c = 1_Z$ です。よって $c$ は同型です。 $\mathcal{D}$ が (P) を満たすとし、$(a, b, c)$ を完全三角形 $T$ から完全三角形 $T'$ への射とする。$a, b, c$ のうち二つが同型なら、三つ目も同型であり、$(a, b, c)$ は三角形の同型である。 $a, b$ が同型のとき: の 3 により、$T$ と $T'$ はすべての $W$ について の仮定を満たすので、$c$ は同型です。 $b, c$ が同型のとき: の 2 により $(b, c, a[1])$ は回転どうしの射で、回転は TR2 (a) により完全です。前段により $a[1]$ は同型で、$[1]$ は圏の同型なので $a$ も同型です。 $a, c$ が同型のとき: 二度回転すると $(c, a[1], b[1])$ は二度回転した三角形どうしの射で、前段と同じく $b[1]$、したがって $b$ が同型です。 $\mathcal{D}$ が (P) を満たすとし、$(X, Y, Z, u, v, w)$ と $(X, Y, Z', u, v', w')$ を同じ射 $u$ をもつ完全三角形とする。このとき同型 $c\colon Z \to Z'$ で、$(1_X, 1_Y, c)$ が三角形の同型になるものが存在する。 $a = 1_X$、$b = 1_Y$ は $1 \cdot u = u \cdot 1$ を満たすので、TR3 により三角形の射 $(1_X, 1_Y, c)$ があります。 により $c$ は同型です。 錐は同型を除いて一意ですが、その同型 $c$ は一意とは限りません。次の例はそれを最も簡単な形で示します。 $\mathcal{D}$ を三角圏、$X, Z'$ を対象とします。 の 3 から、$T = (X, 0, X[1], 0, 0, -1_{X[1]})$ と $T' = (0, Z', Z', 0, -1_{Z'}, 0)$ は完全三角形です。$a = 0\colon X \to 0$、$b = 0\colon 0 \to Z'$ は $b \cdot 0 = 0 \cdot a$ を満たします。このとき任意の射 $c\colon X[1] \to Z'$ について、$c \cdot 0 = (-1_{Z'}) \cdot 0$、$a[1](-1_{X[1]}) = 0 = 0 \cdot c$ なので、$(0, 0, c)$ は三角形の射です。たとえば Abel 群の圏 $\mathsf{Ab}$ のホモトピー圏（ で三角圏であることを示します）で、次数 $0$ に $\mathbb{Z}$ を置いた複体を $\mathbb{Z}$ と書き、$X = \mathbb{Z}[-1]$、$Z' = \mathbb{Z}$ とすると、$c$ は $\operatorname{Hom}(\mathbb{Z}, \mathbb{Z}) = \mathbb{Z}$ の任意の元をとれます（次数 $0$ だけの複体の間には $0$ でないホモトピーがないので、ホモトピー類は鎖写像そのものです）。$a$ と $b$ が決まっても $c$ は決まりません。 のような非一意性のため、射 $u$ に錐 $C_u$ を対応させ、可換な正方形に TR3 の $c$ を対応させて関手 $\operatorname{Mor}(\mathcal{D}) \to \mathcal{D}$ を作ることは一般にはできません。$\mathrm{K}(\mathcal{A})$ では鎖写像の水準で錐を作れば関手的ですが（ の 4）、正方形がホモトピーを除いてしか可換でないときは、 で見るように射がホモトピーの選び方に依存します。この欠点が、三角圏を dg 圏や安定 $\infty$ 圏で強化する動機の一つです。 次の補題により、TR2 の後半は他の公理から従います。$\mathrm{K}(\mathcal{A})$ について TR2 (b) を直接確かめる代わりに、これを使います。 $\mathcal{D}$ が (P) を満たせば、TR2 (b) も成り立つ。すなわち、三角形 $T = (X, Y, Z, u, v, w)$ の回転が完全なら $T$ は完全である。 三角形を三度回転すると $$ (X[1], Y[1], Z[1], -u[1], -v[1], -w[1]) $$ になります（回転のたびに最後の射の前に符号が付くことを順に追うと、$(Y, Z, X[1], v, w, -u[1])$、$(Z, X[1], Y[1], w, -u[1], -v[1])$、そして上の形です）。$T$ の回転が完全なので、TR2 (a) を二回使うと、$T$ を三度回転した上の三角形は完全です。 TR1 (c) により完全三角形 $T' = (X, Y, Z', u, v', w')$ をとります。TR2 (a) を三回使うと $(X[1], Y[1], Z'[1], -u[1], -v'[1], -w'[1])$ も完全です。二つの完全三角形は同じ最初の射 $-u[1]$ をもつので、 により同型 $\gamma\colon Z[1] \to Z'[1]$ で $$ \gamma(-v[1]) = -v'[1], \qquad (-w'[1])\gamma = -w[1] $$ を満たすものがあります。$[1]$ は Hom の同型を与えるので $\gamma = c[1]$ となる同型 $c\colon Z \to Z'$ があり、$c v = v'$、$w' c = w$ です。よって $(1_X, 1_Y, c)$ は三角形の同型 $T \to T'$ で、TR1 (a) により $T$ は完全です。 $\mathcal{D}$ が (P) を満たし、$T = (X, Y, Z, u, v, w)$ が完全三角形なら、すべての $n \in \mathbb{Z}$ について $$ T[n] = \bigl(X[n], Y[n], Z[n], (-1)^n u[n], (-1)^n v[n], (-1)^n w[n]\bigr) $$ は完全三角形である。 の証明で見たとおり、三角形 $S$ を三度回転したものは $S[1]$ です。TR2 (a) を三回使うと、$S$ が完全なら $S[1]$ も完全です。$T[n+1] = (T[n])[1]$ なので、$n \ge 0$ は帰納法で従います。逆に $T[-1]$ を三度回転すると $T$ になるので、（TR2 (b)）を三回使えば $T[-1]$ は完全で、$n < 0$ も帰納法で従います。 ## 4. コホモロジー的関手・直和・分裂 $\mathcal{D}$ を三角圏、$\mathcal{B}$ をアーベル圏とする。加法関手 $H\colon \mathcal{D} \to \mathcal{B}$ が**コホモロジー的**であるとは、すべての完全三角形 $(X, Y, Z, u, v, w)$ について $H(X) \xrightarrow{H(u)} H(Y) \xrightarrow{H(v)} H(Z)$ が完全であることをいう。反変の加法関手 $H\colon \mathcal{D}^{\mathrm{op}} \to \mathcal{B}$ がコホモロジー的であるとは、すべての完全三角形について $H(Z) \xrightarrow{H(v)} H(Y) \xrightarrow{H(u)} H(X)$ が完全であることをいう。$H^n(X) = H(X[n])$ と書くことがある。 の 1・2 は、$\operatorname{Hom}(W, -)\colon \mathcal{D} \to \mathsf{Ab}$ と $\operatorname{Hom}(-, W)\colon \mathcal{D}^{\mathrm{op}} \to \mathsf{Ab}$ がコホモロジー的であることを言っています（Abel 群の列の完全性は の 4 で $\mathsf{Ab}$ の完全性と同じです）。名前の由来は次の長完全列です。 $\mathcal{D}$ を三角圏、$T = (X, Y, Z, u, v, w)$ を完全三角形とする。 1. $H\colon \mathcal{D} \to \mathcal{B}$ が（共変の）コホモロジー的関手なら、次の列は完全である。 $$ \cdots \to H(X[n]) \xrightarrow{H(u[n])} H(Y[n]) \xrightarrow{H(v[n])} H(Z[n]) \xrightarrow{H(w[n])} H(X[n+1]) \xrightarrow{H(u[n+1])} \cdots $$ 2. $H\colon \mathcal{D}^{\mathrm{op}} \to \mathcal{B}$ がコホモロジー的関手なら、次の列は完全である。 $$ \cdots \to H(X[n+1]) \xrightarrow{H(w[n])} H(Z[n]) \xrightarrow{H(v[n])} H(Y[n]) \xrightarrow{H(u[n])} H(X[n]) \xrightarrow{H(w[n-1])} \cdots $$ アーベル圏で射 $f, g$ の符号を変えても、列 $A \xrightarrow{f} B \xrightarrow{g} C$ の完全性は変わりません。実際、 の 1 の条件「$gf = 0$ かつ $(\operatorname{coker} f)(\ker g) = 0$」で、$-f = f \circ (-1)$ と $-1$ が同型であることから $\operatorname{coker}(-f)$ は $\operatorname{coker} f$ と同じ射でとれ、同様に $\ker(-g)$ は $\ker g$ でとれます。また $H$ は加法関手なので $H(-\varphi) = -H(\varphi)$ です。 **1.** により $T[n]$ は完全で、TR2 (a) によりその回転と二度の回転も完全です。それぞれに定義の 3 項の完全性を使うと、上の符号の注意から、列の $H(Y[n])$、$H(Z[n])$、$H(X[n+1])$ での完全性が得られます（回転は $(Y[n], Z[n], X[n+1], \pm v[n], \pm w[n], \mp u[n+1])$、二度の回転は $(Z[n], X[n+1], Y[n+1], \pm w[n], \mp u[n+1], \mp v[n+1])$ です）。$n$ はすべての整数を動くので、列のすべての項で完全です。 **2.** 同じ三つの完全三角形に反変の定義を使えば、$H(Y[n])$、$H(Z[n])$、$H(X[n+1])$ での完全性が得られます。 次の命題は、2 つの完全三角形の成分ごとの直和がまた完全三角形であることを示します。直和が完全かどうかは直接は分からないので、TR1 (c) で完全三角形 $E$ を作り、直和との間の射 $c$ が同型であることを前の補題で示す、という方針です。 $\mathcal{D}$ が三角圏（より一般に (P) を満たす）とし、$T = (X, Y, Z, u, v, w)$、$T' = (X', Y', Z', u', v', w')$ を完全三角形とする。双積 $X \oplus X'$ のシフト $(X \oplus X')[1]$ を、$[1]$ で送った包含と射影により $X[1] \oplus X'[1]$ と見なす。このとき直和 $$ T \oplus T' = (X \oplus X',\ Y \oplus Y',\ Z \oplus Z',\ u \oplus u',\ v \oplus v',\ w \oplus w') $$ は完全三角形である。 $[1]$ は加法関手なので双積を双積に送り（）、上の同一視は意味をもちます。包含を $\iota_1, \iota_2$、射影を $\pi_1, \pi_2$ と書き、どの双積でも同じ記号を使います。 **$T \oplus T'$ は Hom の完全性をもつ。** 対象 $W$ について、双積は積なので（ の 1）、$\operatorname{Hom}(W, X \oplus X') \to \operatorname{Hom}(W, X) \oplus \operatorname{Hom}(W, X')$、$g \mapsto (\pi_1 g, \pi_2 g)$ は群の同型です。この同型で $(u \oplus u')_*$ は $u_* \oplus u'_*$ に対応し、他の射も同様です。したがって $T \oplus T'$ の の 3 の列は、$T$ の列と $T'$ の列（どちらも完全）の直和で、成分ごとに考えれば完全です。 **錐との比較。** TR1 (c) により完全三角形 $E = (X \oplus X', Y \oplus Y', C, u \oplus u', j, k)$ をとります。$\pi_1 (u \oplus u') = u \pi_1$ なので、TR3 により三角形の射 $(\pi_1, \pi_1, c_1)\colon E \to T$ があり、同様に $(\pi_2, \pi_2, c_2)\colon E \to T'$ があります。$c = \iota_1 c_1 + \iota_2 c_2\colon C \to Z \oplus Z'$ とおくと $$ c j = \iota_1 v \pi_1 + \iota_2 v' \pi_2 = v \oplus v', \qquad (w \oplus w') c = \iota_1[1] w c_1 + \iota_2[1] w' c_2 = (\iota_1 \pi_1 + \iota_2 \pi_2)[1]\, k = k $$ （$c_1 j = v \pi_1$、$w c_1 = \pi_1[1] k$ などを使った）なので、$(1, 1, c)\colon E \to T \oplus T'$ は三角形の射です。$E$ は完全なので の 3 の列が完全で、前段より $T \oplus T'$ もそうです。 により $c$ は同型で、TR1 (a) により $T \oplus T'$ は完全です。 $\mathcal{D}$ が三角圏（より一般に (P) を満たす）とし、$T = (X, Y, Z, u, v, w)$ を完全三角形とする。 1. 次は同値である。(a) $w = 0$。(b) $u$ は[レトラクション](/mathematics/category-homological-algebra/categories-functors#def-mono-epi)をもつ（$r u = 1_X$ となる $r$ がある）。(c) $v$ は[切断](/mathematics/category-homological-algebra/categories-functors#def-mono-epi)をもつ（$v s = 1_Z$ となる $s$ がある）。 2. これらが成り立つとき、射 $r'\colon Y \to X$ と $s\colon Z \to Y$ で $(Y, u, s, r', v)$ が $X, Z$ の双積になる（$r' u = 1$、$v s = 1$、$u r' + s v = 1$、$v u = 0$、$r' s = 0$）ものがある。 3. 任意の $X, Z$ について、双積の包含と射影による $X \xrightarrow{\iota_1} X \oplus Z \xrightarrow{\pi_2} Z \xrightarrow{0} X[1]$ は完全三角形である。 **1.** (a) ⇒ (b): の 4 で $W = X[1]$ とすると、$\operatorname{Hom}(Y[1], X[1]) \xrightarrow{u[1]^*} \operatorname{Hom}(X[1], X[1]) \xrightarrow{w^*} \operatorname{Hom}(Z, X[1])$ は完全です。$w^*(1_{X[1]}) = w = 0$ なので $1_{X[1]} = \rho\, u[1]$ となる $\rho$ があります。$[1]$ は Hom の同型を与えるので $\rho = r[1]$ と書け、$(r u)[1] = 1_{X[1]}$ から $r u = 1_X$ です。(b) ⇒ (a): の 1 より $u[1] w = 0$ なので $w = r[1] u[1] w = 0$ です。(a) ⇒ (c): の 3 で $W = Z$ とすると $\operatorname{Hom}(Z, Y) \xrightarrow{v_*} \operatorname{Hom}(Z, Z) \xrightarrow{w_*} \operatorname{Hom}(Z, X[1])$ は完全で、$w_*(1_Z) = w = 0$ なので $1_Z = v s$ となる $s$ があります。(c) ⇒ (a): $w v = 0$ より $w = w v s = 0$ です。 **2.** 1 の $r$、$s$ をとります。$v(1_Y - s v) = v - v = 0$ なので、 の 1（$W = Y$）により $1_Y - s v = u r'$ となる $r'\colon Y \to X$ があります。$u r' u = (1 - s v) u = u$（$vu = 0$）に左から $r$ を合成して $r' u = 1_X$、$u r' s = s - s v s = 0$ に $r$ を合成して $r' s = 0$ です。残りの等式は作り方から成り立つので、$(Y, u, s, r', v)$ は双積です（）。 **3.** TR1 (b) の $(X, X, 0, 1, 0, 0)$ と、 の 3 の $(0, Z, Z, 0, -1_Z, 0)$ は完全です。後者は $(1_0, 1_Z, -1_Z)$ によって $(0, Z, Z, 0, 1_Z, 0)$ と同型（$(-1_Z)(-1_Z) = 1_Z \cdot 1_Z$ で他の条件は $0 = 0$）なので、TR1 (a) により $(0, Z, Z, 0, 1_Z, 0)$ も完全です。 によりその直和は完全で、直和は $X \oplus 0 \cong X$、$0 \oplus Z \cong Z$ の同一視のもとで $(X, X \oplus Z, Z, \iota_1, \pi_2, 0)$ と同型です。TR1 (a) により後者も完全です。 とくに、三角圏では mono な射は分裂します（）。アーベル圏の「mono」は三角圏ではほとんど意味をもたず、代わりに完全三角形が核と余核の役割を同時に担います。 次に、三角圏の間の射と部分圏を定義します。 $\mathcal{D}, \mathcal{D}'$ を三角圏とする。**三角関手**（完全関手）とは、加法関手 $F\colon \mathcal{D} \to \mathcal{D}'$ と自然同型 $\xi\colon F \circ [1] \Rightarrow [1] \circ F$ の組で、すべての完全三角形 $(X, Y, Z, u, v, w)$ について $$ F X \xrightarrow{F u} F Y \xrightarrow{F v} F Z \xrightarrow{\xi_X \circ F w} (F X)[1] $$ が $\mathcal{D}'$ の完全三角形になるものをいう。 $\mathcal{D}$ を三角圏とする。充満部分圏 $\mathcal{N}$ が**充満三角部分圏**であるとは、零対象を含み、同型で閉じ（$X \in \mathcal{N}$、$X \cong X'$ なら $X' \in \mathcal{N}$）、$[1]$ と $[-1]$ で閉じ、完全三角形 $(X, Y, Z, u, v, w)$ で $X, Y \in \mathcal{N}$ なら $Z \in \mathcal{N}$ となることをいう。さらに直和因子で閉じる（$X \oplus X' \in \mathcal{N}$ なら $X \in \mathcal{N}$）とき、$\mathcal{N}$ を**厚い部分圏**（épaisse）という。 充満三角部分圏では、完全三角形の三つの頂点のうち二つが $\mathcal{N}$ に入れば三つ目も入ります。$Y, Z \in \mathcal{N}$ なら回転 $(Y, Z, X[1], \dots)$ から $X[1] \in \mathcal{N}$、したがって $X \in \mathcal{N}$ で、$X, Z \in \mathcal{N}$ なら二度の回転 $(Z, X[1], Y[1], \dots)$ から $Y[1] \in \mathcal{N}$ です。$\mathcal{N}$ の三角形で $\mathcal{D}$ で完全なものを完全三角形とすれば、TR1〜TR4 で存在を要求される対象と射は $\mathcal{D}$ でとれて、頂点はこの性質により $\mathcal{N}$ に入り、射は $\mathcal{N}$ が充満なので $\mathcal{N}$ の射なので、$\mathcal{N}$ はそれ自身三角圏で、包含は三角関手です。 $\mathcal{D}$ を三角圏、$H\colon \mathcal{D} \to \mathcal{B}$ をコホモロジー的関手とする。すべての $n \in \mathbb{Z}$ で $H(X[n]) = 0$ となる $X$ のなす充満部分圏 $\mathcal{N}_H$ は厚い部分圏である。 零対象 $0$ について $H(0)$ は零対象です（加法関手は零対象を保つ。）。$X \cong X'$ なら $H(X[n]) \cong H(X'[n])$ なので同型で閉じ、$X[\pm 1][n] = X[n \pm 1]$ なのでシフトで閉じます。 完全三角形 $(X, Y, Z, u, v, w)$ で $X, Y \in \mathcal{N}_H$ とします。 の 1 の $H(Y[n]) \to H(Z[n]) \to H(X[n+1])$ は完全で両端が $0$ です。アーベル圏で $0 \to B \to 0$ が $B$ で完全なら、像 $0$ と核 $B$ が一致するので $B = 0$ です。よって $H(Z[n]) = 0$ で、$Z \in \mathcal{N}_H$ です。 $X \oplus X' \in \mathcal{N}_H$ とします。$H$ と $[n]$ は加法関手なので双積を保ち、$H(X[n])$ は $0 = H((X \oplus X')[n])$ の直和因子です。直和因子の恒等射は $1 = \pi \iota$ と $0$ を経由するので $0$ で、 の 3 により $H(X[n])$ は零対象です。 $\mathcal{D}$ を三角圏、$\mathcal{N}$ を充満三角部分圏とする。三角圏 $\mathcal{D}/\mathcal{N}$ と三角関手 $Q\colon \mathcal{D} \to \mathcal{D}/\mathcal{N}$ の組で、$X \in \mathcal{N}$ なら $Q(X) \cong 0$ であり、$\mathcal{N}$ の対象を零対象に送る任意の三角関手 $F\colon \mathcal{D} \to \mathcal{D}'$ が三角関手 $\bar F\colon \mathcal{D}/\mathcal{N} \to \mathcal{D}'$ によって $F = \bar F \circ Q$ と一意に分解するものを、$\mathcal{D}$ の $\mathcal{N}$ による **Verdier 商**という。 Verdier 商は、$\mathcal{N}$ の対象を錐にもつ射の全体を形式的に可逆にする局所化として構成されます。存在の証明には圏の局所化（分数の圏）が要るので、導来圏の章で扱います。そこでの主役は、次の節で示す「非輪状複体は厚い部分圏をなす」ことで、$\mathrm{D}(\mathcal{A}) = \mathrm{K}(\mathcal{A}) / \mathrm{K}_{\mathrm{ac}}(\mathcal{A})$ となります。 ## 5. ホモトピー圏は三角圏 以下、$\mathcal{A}$ はアーベル圏で、複体の圏 $\mathrm{C}(\mathcal{A})$、シフト、写像錐、ホモトピー圏 $\mathrm{K}(\mathcal{A})$ は[鎖複体とホモトピー圏](/mathematics/category-homological-algebra/chain-complexes-homotopy-category)の章のもの（、、）とします。符号の約束を確認しておきます。 - $X[1]^n = X^{n+1}$、$d_{X[1]} = -d_X$、$f[1]^n = f^{n+1}$。 - $\operatorname{Cone}(f)^n = X^{n+1} \oplus Y^n$、$d(x, y) = (-dx,\ f x + dy)$。$i(y) = (0, y)$、$p(x, y) = x$。 双積の成分を元のように書きますが、各式は成分ごとの射の等式です。鎖写像とその $\mathrm{K}(\mathcal{A})$ での類を同じ文字で書きます。 により $\mathrm{K}(\mathcal{A})$ は加法圏で、$[1]$ は $\mathrm{K}(\mathcal{A})$ の自己同型を誘導し、$(f + g)[1] = f[1] + g[1]$ なので加法関手です。こうして $\mathrm{K}(\mathcal{A})$ はシフトをもつ加法圏です。 鎖写像 $f\colon X \to Y$ について、$\mathrm{K}(\mathcal{A})$ の三角形 $$ X \xrightarrow{f} Y \xrightarrow{i} \operatorname{Cone}(f) \xrightarrow{p} X[1] $$ を $f$ の**標準三角形**という（ の 1 により $i, p$ は鎖写像）。$\mathrm{K}(\mathcal{A})$ の三角形が**完全**であるとは、ある鎖写像の標準三角形と $\mathrm{K}(\mathcal{A})$ で同型であることをいう。 まず TR3 の材料を作ります。ねらいは、$\mathrm{K}(\mathcal{A})$ で TR3 を示すとき、可換でない正方形（ホモトピーを除いて可換なだけ）から錐の間の射を作ることです。錐の元 $(x, y)$ の $y$ 成分に $h x$ という補正を足すのが、次の補題の考え方です。 の 4 は正方形が鎖写像として可換な場合だけを扱っていました。ホモトピーを除いて可換な正方形には、ホモトピーを錐の非対角成分に入れます。 鎖写像 $f\colon X \to Y$、$f_1\colon X_1 \to Y_1$、$a\colon X \to X_1$、$b\colon Y \to Y_1$ と、射の族 $h^n\colon X^n \to Y_1^{n-1}$ で $$ b f - f_1 a = d h + h d $$ を満たすものが与えられたとする。このとき $$ c_h\colon \operatorname{Cone}(f) \to \operatorname{Cone}(f_1), \qquad c_h(x, y) = (a x,\ b y + h x) $$ （$x \in X^{n+1}$、$y \in Y^n$、$h x \in Y_1^n$）は鎖写像で、$c_h i = i_1 b$、$p_1 c_h = a[1] p$ が鎖写像として成り立つ。 次数 $n$ の元 $(x, y)$ について $$ d\, c_h(x, y) = \bigl(-d a x,\ f_1 a x + d b y + d h x\bigr), \qquad c_h\, d(x, y) = c_h(-dx,\ f x + dy) = \bigl(-a d x,\ b f x + b d y - h d x\bigr) $$ です。第 1 成分は $a$ が鎖写像なので等しく、第 2 成分は $b d = d b$ と仮定 $b f - h d = f_1 a + d h$ により等しくなります。よって $c_h$ は鎖写像です。$c_h(0, y) = (0, b y)$ と $p_1 c_h(x, y) = a x$ から残りの等式が従います。 $h = 0$ のときが の 4 です。$h$ を $h + h'$（$d h' + h' d = 0$）に取り替えると $c_h$ は $(x, y) \mapsto (0, h' x)$ だけ変わり、これは一般に零ホモトピックではありません。これが の非関手性の具体的な姿です。 次に回転を調べます。TR2 (a) を確かめるには、標準三角形を回転したものがまた標準三角形（$i$ のもの）と同型であることを示せば十分です。証明は、錐の元 $(y', x, y)$ の成分ごとに微分を書き下し、ホモトピーを 1 つ見つけるだけの計算です。 鎖写像 $f\colon X \to Y$ について、標準三角形の回転 $$ Y \xrightarrow{i} \operatorname{Cone}(f) \xrightarrow{p} X[1] \xrightarrow{-f[1]} Y[1] $$ は、$i$ の標準三角形と $\mathrm{K}(\mathcal{A})$ で同型である。 $\operatorname{Cone}(i)^n = Y^{n+1} \oplus \operatorname{Cone}(f)^n = Y^{n+1} \oplus X^{n+1} \oplus Y^n$ で、元を $(y', x, y)$ と書くと、錐の微分の定義から $$ d(y', x, y) = \bigl(-d y',\ -d x,\ f x + d y + y'\bigr) $$ です（$i(y') = (0, y')$ が第 3 成分に加わる）。$i$ の標準三角形の射を $i'\colon \operatorname{Cone}(f) \to \operatorname{Cone}(i)$、$p'\colon \operatorname{Cone}(i) \to Y[1]$ とします。 $\varphi\colon X[1] \to \operatorname{Cone}(i)$、$\varphi(x) = (-f x, x, 0)$ と $\psi\colon \operatorname{Cone}(i) \to X[1]$、$\psi(y', x, y) = x$ を考えます。$d \varphi(x) = (d f x, -d x, f x - f x) = (f d x, -dx, 0) = \varphi(-dx) = \varphi(d_{X[1]} x)$、$\psi d (y', x, y) = -d x = d_{X[1]} \psi(y', x, y)$ なので、どちらも鎖写像です。$\psi \varphi = 1$ です。$s(y', x, y) = (y, 0, 0) \in \operatorname{Cone}(i)^{n-1}$ とおくと $$ (d s + s d)(y', x, y) = (-d y, 0, y) + (f x + d y + y', 0, 0) = (y' + f x,\ 0,\ y) = (1 - \varphi \psi)(y', x, y) $$ なので $\varphi \psi \simeq 1$ で、$\varphi$ は $\mathrm{K}(\mathcal{A})$ の同型です（ の 5）。 $(1_Y, 1_{\operatorname{Cone}(f)}, \varphi)$ が回転から $i$ の標準三角形への射であることを確かめます。一つ目の正方形は $i = i$ です。二つ目は $\varphi p \simeq i'$ で、$i' - \varphi p = (1 - \varphi\psi) i'$（$\psi i' = p$ による）と $1 - \varphi \psi \simeq 0$ から従います（零ホモトピックな写像との合成は零ホモトピック。 の 1）。三つ目は $p' \varphi = -f[1]$ で、$p' \varphi(x) = -f x$ から成り立ちます。三成分とも同型なので三角形の同型です。 $\mathrm{K}(\mathcal{A})$ の完全三角形（）は TR1、TR2 (a)・(b)、TR3 を満たす。 **TR1.** (a) は定義です。(c): $\mathrm{K}(\mathcal{A})$ の射は鎖写像 $f$ の類なので、$f$ の標準三角形をとればよいです。(b): $1_X$ はホモトピー同値なので、 により $\operatorname{Cone}(1_X)$ は可縮、すなわち $\mathrm{K}(\mathcal{A})$ で $1 = 0$ で、 の 3 により零対象です。零対象への射・零対象からの射は $0$ なので、$(1_X, 1_X, 0)$ は $1_X$ の標準三角形から $(X, X, 0, 1, 0, 0)$ への三角形の同型で、後者は完全です。 **TR2 (a).** $T$ が標準三角形 $S$ と同型 $(\alpha, \beta, \gamma)\colon T \to S$ で結ばれているとします。$(\beta, \gamma, \alpha[1])$ は回転どうしの射で（条件は $(\alpha, \beta, \gamma)$ の条件と、$\beta u = u_S \alpha$ に $[1]$ を施して符号を付けたもの）、三成分とも同型です。 により $S$ の回転は標準三角形と同型なので、$T$ の回転は完全です。 **TR3.** 完全三角形 $T = (X, Y, Z, u, v, w)$、$T' = (X', Y', Z', u', v', w')$ と、$b u = u' a$ を満たす $a, b$ をとります。同型 $(\alpha, \beta, \gamma)\colon T \to S_f$、$(\alpha', \beta', \gamma')\colon T' \to S_{f'}$ を標準三角形へのものとし、$a_S = \alpha' a \alpha^{-1}$、$b_S = \beta' b \beta^{-1}$ とおくと、$f = \beta u \alpha^{-1}$、$f' = \beta' u' \alpha'^{-1}$ から $\mathrm{K}(\mathcal{A})$ で $b_S f = f' a_S$ です。$a_S, b_S$ を鎖写像で代表させ、$b_S f - f' a_S = d h + h d$ となるホモトピー $h$ をとり、 の $c_h$ をとると、$(a_S, b_S, c_h)\colon S_f \to S_{f'}$ は三角形の射です。$c = \gamma'^{-1} c_h \gamma$ とおけば、 $$ c v = \gamma'^{-1} c_h i \beta = \gamma'^{-1} i' b_S \beta = \gamma'^{-1} i' \beta' b = v' b, \qquad w' c = \alpha'[1]^{-1} p' c_h \gamma = \alpha'[1]^{-1} a_S[1]\, p \gamma = a[1]\, \alpha[1]^{-1} p \gamma = a[1] w $$ （$\gamma v = i \beta$、$\gamma' v' = i' \beta'$、$\alpha[1] w = p \gamma$、$\alpha'[1] w' = p' \gamma'$ を使った）なので、$(a, b, c)$ は三角形の射です。 **TR2 (b).** ここまでで $\mathrm{K}(\mathcal{A})$ は (P) を満たすので、 により成り立ちます。 $\mathcal{A}$ をアーベル圏とする。$\mathrm{K}(\mathcal{A})$ は、シフト $[1]$ と、標準三角形と同型な三角形を完全三角形として、三角圏である。$\mathrm{K}^+(\mathcal{A})$、$\mathrm{K}^-(\mathcal{A})$、$\mathrm{K}^b(\mathcal{A})$ も、頂点がそこに入る $\mathrm{K}(\mathcal{A})$ の完全三角形を完全三角形として三角圏であり、包含は三角関手である。 TR1〜TR3 は 、TR4 は Appendix の です。 $\mathrm{K}^+(\mathcal{A})$ について。下に有界な複体のシフトと写像錐は下に有界なので、$\mathrm{K}^+(\mathcal{A})$ はシフトで閉じ、その射の標準三角形は $\mathrm{K}^+(\mathcal{A})$ に入ります（TR1 (c)）。TR1 (b) の三角形の頂点 $X, X, 0$ も入ります。TR1 (a)・TR2 は $\mathrm{K}(\mathcal{A})$ での性質とシフトで閉じることから従います。TR3 と TR4 で存在が要求される射は $\mathrm{K}(\mathcal{A})$ でとれ、$\mathrm{K}^+(\mathcal{A})$ は充満部分圏なのでその射でもあり、TR4 の三角形の頂点 $C_u, C_{vu}, C_v$ ははじめから $\mathrm{K}^+(\mathcal{A})$ にあります。$\mathrm{K}^-(\mathcal{A})$、$\mathrm{K}^b(\mathcal{A})$ も同じです。包含が三角関手であること（$\xi$ は恒等）は、$\mathrm{K}^+(\mathcal{A})$ の完全三角形が $\mathrm{K}(\mathcal{A})$ で完全な三角形として定めてあることそのものです。 $\mathcal{A}$ をアーベル圏とする。 1. $H^0\colon \mathrm{K}(\mathcal{A}) \to \mathcal{A}$ はコホモロジー的関手で、$H^0(X[n]) = H^n(X)$、$H^0(g[n]) = H^n(g)$ である。$f$ の標準三角形に対する の長完全列は、写像錐の長完全列（）と一致する。 2. 非輪状複体のなす充満部分圏 $\mathrm{K}_{\mathrm{ac}}(\mathcal{A})$ は $\mathrm{K}(\mathcal{A})$ の厚い部分圏である。 3. $(X, Y, Z, f, v, w)$ を $\mathrm{K}(\mathcal{A})$ の完全三角形とする。$f$ が擬同型（すべての $H^n(f)$ が同型）であることと、$Z$ が非輪状であることは同値である。 により $\mathrm{K}(\mathcal{A})$ は三角圏なので、・・ を $\mathrm{K}(\mathcal{A})$ に使えます。 **1.** $H^0$ は $\mathrm{K}(\mathcal{A})$ 上の加法関手です（ の 4）。$H^0(X[n]) = H^n(X)$ などは $H^n(X[1]) = H^{n+1}(X)$、$H^n(g[1]) = H^{n+1}(g)$（ の直後の同一視）を繰り返したものです。標準三角形については、 の $n = 0$ の部分により $H^0(X) \to H^0(Y) \to H^0(\operatorname{Cone}(f))$ は完全です。 一般の完全三角形 $T$ は標準三角形 $S$ と同型 $(\alpha, \beta, \gamma)$ で結ばれます。列 $A \xrightarrow{g} B \xrightarrow{k} C$ が完全で、同型 $\alpha', \beta', \gamma'$ により $g' = \beta' g \alpha'^{-1}$、$k' = \gamma' k \beta'^{-1}$ とおくと、$k' g' = \gamma' k g \alpha'^{-1} = 0$ で、$\beta' \circ \ker k$ は $k'$ の核、$\operatorname{coker} g \circ \beta'^{-1}$ は $g'$ の余核なので、$(\operatorname{coker} g') (\ker k') = (\operatorname{coker} g)(\ker k) = 0$ です。 の 1 により $A \xrightarrow{g'} B \xrightarrow{k'} C$ も完全です。これを $H^0(S)$ と $H^0(T)$ に使えば $H^0$ はコホモロジー的です。長完全列の連結射は $H^0(p[n]) = H^n(p)$ で、 の列の射と同じです。 **2.** $X$ が非輪状であることは、すべての $n$ で $H^0(X[n]) = H^n(X) = 0$ であることなので、$\mathrm{K}_{\mathrm{ac}}(\mathcal{A})$ は 1 の $H^0$ について の $\mathcal{N}_{H^0}$ です。よって厚い部分圏です。 **3.** $f$ を鎖写像で代表させます。 により $Z \cong \operatorname{Cone}(f)$（$\mathrm{K}(\mathcal{A})$ での同型）で、$H^n$ は $\mathrm{K}(\mathcal{A})$ 上の関手なので、$Z$ が非輪状であることと $\operatorname{Cone}(f)$ が非輪状であることは同値です。後者は により $f$ が擬同型であることと同値です。 ### 5.1. 短完全列と完全三角形 アーベル圏では短完全列が基本でした。$\mathrm{K}(\mathcal{A})$ では、次数ごとに分裂する短完全列が完全三角形を与え、逆にすべての完全三角形がこの形で得られます。 1. $0 \to X \xrightarrow{u} Y \xrightarrow{v} Z \to 0$ を $\mathrm{C}(\mathcal{A})$ の短完全列とし、各 $n$ で $v^n s^n = 1$ となる射 $s^n\colon Z^n \to Y^n$ があるとする（$s$ は鎖写像でなくてよい）。 の 2 の鎖写像 $\tau\colon Z \to X[1]$（$u \tau = d s - s d$ で定まる）をとると、$X \xrightarrow{u} Y \xrightarrow{v} Z \xrightarrow{-\tau} X[1]$ は $\mathrm{K}(\mathcal{A})$ の完全三角形である。 2. $\mathrm{K}(\mathcal{A})$ の任意の完全三角形は、1 の形の三角形と同型である。 **1.** の 4 により各次数で $0 \to X^n \to Y^n \to Z^n \to 0$ は完全で、$u^n$ は $v^n$ の核です（ の 2）。$v(1 - s v) = 0$ なので $1 - s v = u r$ となる $r^n\colon Y^n \to X^n$ があり、$u r u = u - s v u = u$ と $u$ が mono であることから $r u = 1$ です。さらに $u(r d - d r) = (1 - sv) d - d (1 - s v) = (d s - s d) v = u \tau v$ なので、$r d - d r = \tau v$ です（ここで $v d = d v$、$d u = u d$ を使った）。 $\theta\colon \operatorname{Cone}(u) \to Z$、$\theta(x, y) = v y$ と $\zeta\colon Z \to \operatorname{Cone}(u)$、$\zeta(z) = (-\tau z,\ s z)$ を考えます。$\theta d(x, y) = v(u x + d y) = d v y$ なので $\theta$ は鎖写像です。$\zeta$ については $$ d \zeta(z) = \bigl(d \tau z,\ -u \tau z + d s z\bigr) = \bigl(-\tau d z,\ s d z\bigr) = \zeta(d z) $$ です（$\tau$ が鎖写像 $Z \to X[1]$ であることは $-d \tau = \tau d$、また $-u \tau + d s = s d$）。$\theta \zeta = v s = 1$ です。$t(x, y) = (r y, 0) \in \operatorname{Cone}(u)^{n-1}$ とおくと $$ (d t + t d)(x, y) = (-d r y,\ u r y) + (r u x + r d y,\ 0) = (x + \tau v y,\ u r y) = (1 - \zeta \theta)(x, y) $$ なので $\zeta \theta \simeq 1$ で、$\theta$ は $\mathrm{K}(\mathcal{A})$ の同型です。 $(1_X, 1_Y, \theta)$ が $u$ の標準三角形から $(X, Y, Z, u, v, -\tau)$ への射であることを確かめます。$\theta i = v$ は定義から、$(-\tau)\theta = p \zeta \theta \simeq p$ は $p \zeta = -\tau$ と $\zeta\theta \simeq 1$ から従います。三成分とも同型なので、TR1 (a)（定義）により完全です。 **2.** 完全三角形は鎖写像 $f\colon X \to Y$ の標準三角形と同型なので、標準三角形について示せば十分です。写像柱の短完全列 $0 \to X \xrightarrow{\alpha} \operatorname{Cyl}(f) \xrightarrow{\varpi} \operatorname{Cone}(f) \to 0$ は次数ごとに分裂し（ の 2）、切断 $s(x', y) = (0, x', y)$ について $$ d s(x', y) - s\, d(x', y) = (-x',\ -d x',\ f x' + d y) - (0,\ -d x',\ f x' + d y) = (-x', 0, 0) = \alpha(-p(x', y)) $$ なので $\tau = -p$ です。1 により $(X, \operatorname{Cyl}(f), \operatorname{Cone}(f), \alpha, \varpi, p)$ は完全です。 の 1 の $\beta\colon \operatorname{Cyl}(f) \to Y$ は $\beta \alpha = f$ を満たすホモトピー同値で、$\gamma\beta \simeq 1$ から $\varpi \simeq \varpi \gamma \beta = i \beta$（$\varpi \gamma(y) = (0, y) = i(y)$）です。よって $(1_X, \beta, 1)$ はこの三角形から $f$ の標準三角形への同型です。 この命題の 1 で「次数ごとに分裂する」という仮定は外せません。次の例では、シフトの約束 $X[1]^n = X^{n+1}$ を思い出してください。次数 $0$ だけに置いた複体 $\mathbb{Z}$ のシフト $\mathbb{Z}[1]$ は、次数 $-1$ だけに $\mathbb{Z}$ がある複体になります。 Abel 群の短完全列 $0 \to \mathbb{Z} \xrightarrow{2} \mathbb{Z} \xrightarrow{\pi} \mathbb{Z}/2 \to 0$ を、次数 $0$ だけに置いた複体の短完全列と見ます。これは次数 $0$ で分裂しません。$\mathrm{K}(\mathsf{Ab})$ で $(\mathbb{Z}, \mathbb{Z}, \mathbb{Z}/2, 2, \pi, w)$ が完全三角形になる $w\colon \mathbb{Z}/2 \to \mathbb{Z}[1]$ は存在しません。 実際、$\mathbb{Z}[1]$ は次数 $-1$ だけに $\mathbb{Z}$ を置いた複体なので、鎖写像 $\mathbb{Z}/2 \to \mathbb{Z}[1]$ は $0$ しかなく、$w = 0$ です。すると により $2\colon \mathbb{Z} \to \mathbb{Z}$ は $\mathrm{K}(\mathsf{Ab})$ でレトラクションをもちます。次数 $0$ だけの複体の間には $0$ でないホモトピーがないので、これは $\mathsf{Ab}$ で $r \circ 2 = 1$ となる $r$ があることを意味しますが、$r(2) = 2 r(1)$ は $1$ になりえません。 $2$ の標準三角形の錐は $\mathbb{Z} \xrightarrow{2} \mathbb{Z}$（次数 $-1, 0$）で、$\mathbb{Z}/2$ と擬同型ですが $\mathrm{K}(\mathsf{Ab})$ で同型ではありません（）。擬同型を可逆にした導来圏では両者が同型になり、すべての短完全列が完全三角形を与えます。これが導来圏を作る理由の一つです。 ### 5.2. 加法関手が誘導する三角関手 $\mathcal{A}, \mathcal{B}$ をアーベル圏、$F\colon \mathcal{A} \to \mathcal{B}$ を加法関手とする。複体 $X$ に $(F X^n, F d^n)$ を対応させると関手 $\mathrm{K}(F)\colon \mathrm{K}(\mathcal{A}) \to \mathrm{K}(\mathcal{B})$ が定まり、$\xi = 1$ によって三角関手になる。 $F d \circ F d = F(dd) = 0$ なので $F X$ は複体で、鎖写像は鎖写像に移ります。$f - g = d h + h d$ なら $F$ が加法的なので $F f - F g = F d\, F h + F h\, F d$ で、ホモトピーはホモトピーに移ります。零ホモトピックな写像が零ホモトピックに移り、$F$ は Hom の準同型を与えるので、$\mathrm{K}(F)$ は well-defined な加法関手です。$F(-d) = -F d$ から $F(X[1]) = (F X)[1]$、$F(g[1]) = (Fg)[1]$ が文字どおり成り立つので、$\xi = 1$ は自然同型です。 完全三角形は標準三角形と同型で、関手は同型を同型に移すので、標準三角形の像が完全であることを示せば十分です。$F$ は双積を双積に送るので（）、$F(X^{n+1} \oplus Y^n)$ は $F X^{n+1}, F Y^n$ の双積で、$\operatorname{Cone}(F f)^n$ として選んだ双積との間に、包含・射影と可換な同型 $\kappa^n$ がただ一つあります（ の 1 により双積は積なので）。錐の微分の行列成分は $-d, f, d, 0$ で、$F$ で送った成分は $-F d, F f, F d, 0$ なので、$\kappa$ は鎖写像の同型 $F(\operatorname{Cone}(f)) \to \operatorname{Cone}(F f)$ で、$\kappa F(i) = i_{Ff}$、$p_{Ff} \kappa = F(p)$ を満たします。よって $(1, 1, \kappa)$ は $F$ で送った標準三角形から $F f$ の標準三角形への同型です。 導来圏の章では、この $\mathrm{K}(F)$ を擬同型について「補正」したものとして全導来関手を定義します。 $k$ を体、$\mathcal{A} = \mathsf{Vect}_k$ とします。複体 $X$ の各次数で、像 $B^n = \operatorname{Im} d^{n-1}$ の $Z^n = \operatorname{Ker} d^n$ での補空間 $\tilde H^n$ と、$Z^n$ の $X^n$ での補空間 $C^n$ を選びます（$\tilde H^n \cong H^n(X)$）。$d^n$ は $C^n$ を $B^{n+1}$ に同型に写すので、$X$ は、微分 $0$ の複体 $(\tilde H^n)_n$ と、各 $n$ について $C^n \xrightarrow{\cong} B^{n+1}$ だけからなる複体たちの直和に、$\mathrm{C}(\mathsf{Vect}_k)$ で同型です。後者の各成分は同型を微分とする 2 項の複体なので可縮で、$\mathrm{K}(\mathsf{Vect}_k)$ では零対象です。したがって $$ X \cong \bigl(H^n(X)\bigr)_{n \in \mathbb{Z}} \ (\text{微分 } 0) \quad \text{in } \mathrm{K}(\mathsf{Vect}_k) $$ で、微分 $0$ の複体の間ではホモトピー $d h + h d$ はすべて $0$ なので、$\operatorname{Hom}_{\mathrm{K}}(X, Y) \cong \prod_n \operatorname{Hom}_k(H^n X, H^n Y)$ です。$\mathrm{K}(\mathsf{Vect}_k)$ は $\mathbb{Z}$ 次数付きベクトル空間の圏と圏同値です（関手 $X \mapsto (H^n X)_n$ が充満忠実で、次数付き空間は微分 $0$ の複体として像に入ります）。シフトは次数をずらす操作で、完全三角形からはコホモロジーの長完全列が出ます（）。擬同型はすべて同型なので、体上では $\mathrm{K}$ と $\mathrm{D}$ の差はありません。 ## 6. この先の話題 三角圏の理論には、この章で扱わない大きな道具がいくつかあります。どれも以後の章の証明では使わないので、定理としては述べず、何が成り立つかと文献だけを示します。 三角圏 $\mathcal{D}$ の **t 構造**とは、充満部分圏の組 $(\mathcal{D}^{\le 0}, \mathcal{D}^{\ge 0})$ で、$\mathcal{D}^{\le 0}[1] \subset \mathcal{D}^{\le 0}$、$\mathcal{D}^{\ge 0}[-1] \subset \mathcal{D}^{\ge 0}$、$\operatorname{Hom}(X, Y) = 0$（$X \in \mathcal{D}^{\le 0}$、$Y \in \mathcal{D}^{\ge 0}[-1]$）を満たし、各対象 $X$ が完全三角形 $A \to X \to B \to A[1]$（$A \in \mathcal{D}^{\le 0}$、$B \in \mathcal{D}^{\ge 0}[-1]$）に入るものをいいます。Beilinson–Bernstein–Deligne は、**心臓** $\mathcal{D}^{\le 0} \cap \mathcal{D}^{\ge 0}$ がアーベル圏であり、切り詰めがコホモロジー的関手を与えることを示しました。導来圏 $\mathrm{D}(\mathcal{A})$ では、[鎖複体とホモトピー圏](/mathematics/category-homological-algebra/chain-complexes-homotopy-category)の章の切り詰めから標準的な t 構造ができ、その心臓が $\mathcal{A}$ です。偏屈層は別の t 構造の心臓として得られます。出典は Beilinson–Bernstein–Deligne の第 1 章、Kashiwara–Schapira の第 10 章です。 任意の直和をもち、コンパクト対象の集合で生成される三角圏 $\mathcal{D}$ では、直和を直積に送るコホモロジー的関手 $\mathcal{D}^{\mathrm{op}} \to \mathsf{Ab}$ はすべて表現可能です（Neeman）。名前は、位相空間のホモトピー圏での Brown の定理（一般コホモロジー論は表現可能）に由来します。系として、直和を保つ三角関手は右随伴をもち、Grothendieck 双対性の $f^!$ の構成に使われます。この章の範囲を超えるので扱いません。出典は Neeman の論文（J. Amer. Math. Soc. 9, 1996）と著書『Triangulated Categories』です。 の欠点は、三角圏が「ホモトピーそのもの」を忘れて類だけを覚えていることから来ます。複体の圏を Hom が複体であるような圏（dg 圏）として扱う Bondal–Kapranov の「強化された三角圏」、さらに安定 $\infty$ 圏（Lurie『Higher Algebra』第 1 章）では、錐が関手的に選べ、TR4 は定理として自動的に従います。$\mathrm{K}(\mathcal{A})$ はアーベル圏の複体のなす dg 圏のホモトピー圏で、この章の具体的な計算（ホモトピー $h$ の入った錐の射）は、その強化の影です。高次圏論のテーマで扱う予定です。 ## 7. 演習 $\mathcal{D}$ を三角圏、$(X, Y, Z, u, v, w)$ を完全三角形とする。$u$ が同型であることと $Z \cong 0$ は同値であることを示せ。 TR1 (b) の完全三角形 $(X, X, 0, 1, 0, 0)$ を使います。 $u$ が同型なら、$a = 1_X$、$b = u$ は $b \cdot 1 = u \cdot a$ を満たすので、TR3 により三角形の射 $(1_X, u, c)$ があり（$c\colon 0 \to Z$）、 により $c$ は同型です。よって $Z \cong 0$ です。 逆に $Z$ が零対象なら、$v = 0$、$w = 0$ で、$(1_X, u, 0)$ は $(X, X, 0, 1, 0, 0)$ から $T$ への三角形の射です（条件は $u = u$、$0 = 0$、$0 = 0$）。$1_X$ と $0 \to Z$（零対象どうしの射は同型）が同型なので、 により $u$ も同型です。 Abel 群の複体 $C$ を $C^{-1} = \mathbb{Z} \xrightarrow{2} C^0 = \mathbb{Z}$（他は $0$）とし、次数 $0$ に $\mathbb{Z}/2$ を置いた複体を $\mathbb{Z}/2$ と書く。$C$ と $\mathbb{Z}/2$ は擬同型だが、$\mathrm{K}(\mathsf{Ab})$ で同型でないことを示せ。 次数 $0$ の射影 $\mathbb{Z} \to \mathbb{Z}/2$ は $2$ 倍の後で $0$ なので鎖写像 $C \to \mathbb{Z}/2$ で、$H^{-1}(C) = 0$、$H^0(C) = \mathbb{Z}/2$ への写像は同型なので擬同型です（[鎖複体とホモトピー圏](/mathematics/category-homological-algebra/chain-complexes-homotopy-category)の章の擬同型の例と同じ状況です）。 鎖写像 $g\colon \mathbb{Z}/2 \to C$ の次数 $0$ の成分は $\mathbb{Z}/2 \to \mathbb{Z}$ なので $0$ で、$\operatorname{Hom}_{\mathrm{K}}(\mathbb{Z}/2, C) = 0$ です。同型 $\varphi\colon C \to \mathbb{Z}/2$ があれば $\varphi^{-1} = 0$ で $1_{\mathbb{Z}/2} = \varphi \varphi^{-1} = 0$ となり、$H^0$ をとると $1_{\mathbb{Z}/2} = 0$ という矛盾です。 三角圏 $\mathcal{D}$ で、mono な射 $u\colon X \to Y$ はレトラクションをもつことを示せ。さらに、三角圏 $\mathcal{D}$ がアーベル圏でもあるなら、$\mathcal{D}$ のすべての短完全列は分裂することを示せ。 TR1 (c) により完全三角形 $(X, Y, Z, u, v, w)$ をとります。 の 1 の $u[1] w = 0$ に $[-1]$ を施すと $u \circ w[-1] = 0 = u \circ 0$ で、$u$ は mono なので $w[-1] = 0$、したがって $w = 0$ です。 の 1 により $u$ はレトラクションをもちます。 $\mathcal{D}$ がアーベル圏なら、短完全列 $0 \to X \xrightarrow{u} Y \to Y'' \to 0$ の $u$ は mono なので、$r u = 1$ となる $r$ があり、短完全列は分裂します。たとえば $\mathsf{Ab}$ は分裂しない短完全列 $0 \to \mathbb{Z} \xrightarrow{2} \mathbb{Z} \to \mathbb{Z}/2 \to 0$ をもつので、どのようなシフトと完全三角形の類を与えても三角圏にはなりません（加法圏の加法は圏から一意に決まるので、加法を取り替えて逃げることもできません）。 $H\colon \mathcal{D} \to \mathcal{B}$ をコホモロジー的関手、$(X, Y, Z, u, v, w)$ を完全三角形とし、すべての $n$ で $H(X[n]) = 0$ とする。すべての $n$ で $H(v[n])\colon H(Y[n]) \to H(Z[n])$ が同型であることを示せ。とくに、鎖写像 $f$ の写像錐が非輪状なら $f$ は擬同型であることを、 から導け。 の 1 の列の一部 $0 = H(X[n]) \to H(Y[n]) \xrightarrow{H(v[n])} H(Z[n]) \to H(X[n+1]) = 0$ は完全です。 の 2 により $H(v[n])$ は mono かつ epi で、アーベル圏では同型です（ の 2）。 後半: $f\colon X \to Y$ の標準三角形を回転した $(Y, \operatorname{Cone}(f), X[1], i, p, -f[1])$ は完全で、さらに回転した $(\operatorname{Cone}(f), X[1], Y[1], p, -f[1], -i[1])$ も完全です。$H = H^0$ について $\operatorname{Cone}(f)$ が非輪状なら、前半を後者に使って $H^0((-f[1])[n]) = -H^{n+1}(f)$ が同型、すなわちすべての $H^n(f)$ が同型です。 ## 参考文献 - J.-L. Verdier, *Des catégories dérivées des catégories abéliennes*, Astérisque 239, Société Mathématique de France, 1996 — 三角圏の公理と Verdier 商の原典（1967 年の学位論文の刊行）。 - C. A. Weibel, *An Introduction to Homological Algebra*, Cambridge University Press, 1994 — §10.1–§10.2（ホモトピー圏と三角圏）。 - M. Kashiwara, P. Schapira, *Categories and Sheaves*, Springer, 2006 — 第 10 章（三角圏）、第 11 章（加法圏の複体のホモトピー圏）。 - S. I. Gelfand, Yu. I. Manin, *Methods of Homological Algebra*, 2nd ed., Springer, 2003 — 第 IV 章（三角圏）。 - A. Neeman, *Triangulated Categories*, Annals of Mathematics Studies 148, Princeton University Press, 2001 — 三角圏の一般論と Brown の表現可能性。 - A. A. Beilinson, J. Bernstein, P. Deligne, "Faisceaux pervers", *Astérisque* 100 (1982) — 第 1 章（t 構造と心臓）。 ## Appendix: 八面体公理の証明 **記号。** $f\colon X \to Y$、$g\colon Y \to Z$ を鎖写像とし、三つの標準三角形 $$ X \xrightarrow{f} Y \xrightarrow{i_f} \operatorname{Cone}(f) \xrightarrow{p_f} X[1], \quad X \xrightarrow{gf} Z \xrightarrow{i_{gf}} \operatorname{Cone}(gf) \xrightarrow{p_{gf}} X[1], \quad Y \xrightarrow{g} Z \xrightarrow{i_g} \operatorname{Cone}(g) \xrightarrow{p_g} Y[1] $$ を考えます。まず標準三角形について TR4 の射を明示的に作り、次に一般の完全三角形に移します。 次の補題のねらいは、TR4 の射 $\alpha, \beta$ を成分で書いた具体的な鎖写像 $a, b$ として与え、$a$ の錐が $\operatorname{Cone}(g)$ とホモトピー同値であることを調べることです。証明は、錐 $\operatorname{Cone}(a)$ の元を 4 成分 $(x', y, x, z)$ で書き、ホモトピーを 1 つ見つける計算が中心です。 $\mathrm{K}(\mathcal{A})$ の完全三角形は TR4 を満たす。とくに標準三角形については、 $$ a\colon \operatorname{Cone}(f) \to \operatorname{Cone}(gf),\ a(x, y) = (x, g y), \qquad b\colon \operatorname{Cone}(gf) \to \operatorname{Cone}(g),\ b(x, z) = (f x, z) $$ が TR4 の $\alpha, \beta$ になる。すなわち $(1_X, g, a)$ と $(f, 1_Z, b)$ は三角形の射で、$\operatorname{Cone}(f) \xrightarrow{a} \operatorname{Cone}(gf) \xrightarrow{b} \operatorname{Cone}(g) \xrightarrow{i_f[1]\, p_g} \operatorname{Cone}(f)[1]$ は完全三角形である。 **三角形の射であること。** $g f = (gf) \cdot 1_X$ なので、 の 4 により $a$ は鎖写像で、$a i_f = i_{gf} g$、$p_{gf} a = p_f$ です。$1_Z (g f) = g \cdot f$ なので同じく $b$ は鎖写像で、$b i_{gf} = i_g$、$p_g b = f[1] p_{gf}$ です。これらは TR4 の四つの条件そのものです。 **錐 $\operatorname{Cone}(a)$ の計算。** $\operatorname{Cone}(a)^n = \operatorname{Cone}(f)^{n+1} \oplus \operatorname{Cone}(gf)^n = X^{n+2} \oplus Y^{n+1} \oplus X^{n+1} \oplus Z^n$ で、元を $(x', y, x, z)$ と書くと、錐の微分の定義から $$ d(x', y, x, z) = \bigl(d x',\ -f x' - d y,\ x' - d x,\ g y + g f x + d z\bigr) $$ です（第 1・2 成分は $-d_{\operatorname{Cone}(f)}(x', y) = (dx', -fx' - dy)$、第 3・4 成分は $a(x', y) + d_{\operatorname{Cone}(gf)}(x, z) = (x' - dx,\ g y + g f x + d z)$）。 **ホモトピー同値。** $\varphi\colon \operatorname{Cone}(g) \to \operatorname{Cone}(a)$、$\varphi(y, z) = (0, y, 0, z)$ と $\psi\colon \operatorname{Cone}(a) \to \operatorname{Cone}(g)$、$\psi(x', y, x, z) = (y + f x, z)$ を考えます。 $$ d \varphi(y, z) = (0,\ -d y,\ 0,\ g y + d z) = \varphi(-dy,\ g y + dz) = \varphi\, d(y, z) $$ なので $\varphi$ は鎖写像です。また $$ \psi\, d(x', y, x, z) = \bigl(-f x' - dy + f x' - f d x,\ g y + g f x + d z\bigr) = \bigl(-d(y + f x),\ g(y + f x) + d z\bigr) = d\, \psi(x', y, x, z) $$ なので $\psi$ も鎖写像です。$\psi \varphi = 1$ です。$s(x', y, x, z) = (x, 0, 0, 0) \in \operatorname{Cone}(a)^{n-1}$ とおくと $$ (d s + s d)(x', y, x, z) = (d x,\ -f x,\ x,\ 0) + (x' - d x,\ 0,\ 0,\ 0) = (x',\ -f x,\ x,\ 0) $$ で、これは $(1 - \varphi \psi)(x', y, x, z) = (x',\ y - y - f x,\ x,\ z - z)$ に等しいので、$\varphi \psi \simeq 1$ です。よって $\varphi$ は $\mathrm{K}(\mathcal{A})$ の同型です（ の 5）。 **三角形の同型。** $(1, 1, \varphi)$ が三角形 $(\operatorname{Cone}(f), \operatorname{Cone}(gf), \operatorname{Cone}(g), a, b, i_f[1] p_g)$ から $a$ の標準三角形 $(\operatorname{Cone}(f), \operatorname{Cone}(gf), \operatorname{Cone}(a), a, i_a, p_a)$ への射であることを確かめます。一つ目の正方形は $a = a$ です。二つ目は $\varphi b \simeq i_a$ で、$\varphi b(x, z) = (0, f x, 0, z)$、$i_a(x, z) = (0, 0, x, z)$ から $i_a - \varphi b = (1 - \varphi \psi) i_a$（$\psi i_a(x, z) = (f x, z) = b(x, z)$ による）で、$1 - \varphi\psi \simeq 0$ なので従います（ の 1）。三つ目は $p_a \varphi = i_f[1]\, p_g$ で、両辺とも $(y, z) \mapsto (0, y) \in \operatorname{Cone}(f)^{n+1}$ です。三成分とも同型なので、この三角形は完全です。 **一般の完全三角形。** TR4 の状況で、$u, v$ を鎖写像 $f, g$ で代表させると $vu$ は $gf$ で代表されます。 により $\mathrm{K}(\mathcal{A})$ は (P) を満たすので、 により、与えられた三つの完全三角形から対応する標準三角形への同型 $(1, 1, \gamma_1)$、$(1, 1, \gamma_2)$、$(1, 1, \gamma_3)$ があります（$\gamma_1\colon C_u \to \operatorname{Cone}(f)$ など）。すなわち $\gamma_1 j_u = i_f$、$p_f \gamma_1 = k_u$ などが成り立ちます。$\alpha = \gamma_2^{-1} a \gamma_1$、$\beta = \gamma_3^{-1} b \gamma_2$ とおくと、 $$ \alpha j_u = \gamma_2^{-1} a i_f = \gamma_2^{-1} i_{gf} g = j_{vu} v, \qquad k_{vu} \alpha = p_{gf} a \gamma_1 = p_f \gamma_1 = k_u $$ で、同様に $\beta j_{vu} = j_v$、$k_v \beta = u[1] k_{vu}$ です。さらに $(\gamma_1, \gamma_2, \gamma_3)$ は三角形 $(C_u, C_{vu}, C_v, \alpha, \beta, j_u[1] k_v)$ から前段の完全三角形への同型です。実際 $\gamma_2 \alpha = a \gamma_1$、$\gamma_3 \beta = b \gamma_2$ で、三つ目は $\gamma_1[1]\, j_u[1]\, k_v = i_f[1]\, k_v = i_f[1]\, p_g \gamma_3$ です。TR1 (a) により $(C_u, C_{vu}, C_v, \alpha, \beta, j_u[1] k_v)$ は完全で、TR4 が成り立ちます。