Triangulierte Kategorie
# Triangulierte Kategorie

Triangulierte Kategorie ist ein Begriff aus der homologischen Algebra. Triangulierte Kategorien bieten einen gemeinsamen Rahmen für derivierte Kategorien und für die stabilen Modulkategorien der Darstellungstheorie. Ursprünglich wurden sie durch Verdier eingeführt, um derivierte Funktoren der algebraischen Geometrie zu studieren.

## Definition

Eine triangulierte Kategorie besteht aus

* einer additiven Kategorie ${\mathcal {C}}$,
* einem additiven Funktor $T\colon {\mathcal {C}}\rightarrow {\mathcal {C}}$, der eine Äquivalenz von Kategorien⁠ ist, und
* einer Klasse von Tripeln von Morphismen $A\,{\xrightarrow {f}}\,B\,{\xrightarrow {g}}\,C\,{\xrightarrow {h}}\,T(A)$ in ${\mathcal {C}}$. Elemente $(f,g,h)$ dieser Klasse nennt man ausgezeichnete Tripel.

Dabei verlangt man, dass die folgenden vier Axiome gelten:⁠

### (TR1)

   * Zu jedem Objekt $X$ aus ${\mathcal {C}}$ ist das Tripel $X\,{\xrightarrow {\operatorname {Id} _{X}}}\,X\rightarrow \,0\,\rightarrow T(X)$ ausgezeichnet.

   * Zu jedem Morphismus $A\,{\xrightarrow {f}}\,B$ aus ${\mathcal {C}}$ gibt es mindestens ein ausgezeichnetes Tripel der Form $A\,{\xrightarrow {f}}\,B\,{\xrightarrow {g}}\,C\,{\xrightarrow {h}}\,T(A)$.

   * Ein Tripel ist genau dann ausgezeichnet, wenn es zu einem ausgezeichneten Tripel isomorph ist. Das heißt: Ist das Diagramm kommutativ, und sind die senkrechten Morphismen Isomorphismen, dann ist die untere Zeile genau dann ein ausgezeichnetes Tripel, wenn die obere Zeile ein ausgezeichnetes Tripel ist.

### (T2)

    Ist $A\,{\xrightarrow {f}}\,B\,{\xrightarrow {g}}\,C\,{\xrightarrow {h}}\,T(A)$ ausgezeichnet, dann ist auch $B\,{\xrightarrow {g}}\,C\,{\xrightarrow {h}}\,T(A)\,{\xrightarrow {-T(f)}}\,T(B)$ ausgezeichnet.

### (TR3)

    Kommutiert das linke Quadrat im Diagramm und sind die beiden Zeilen ausgezeichnete Tripel, dann gibt es (mindestens) einen Morphismus $c$ derart, dass das ganze Diagramm kommutiert.

### (T4) Schwaches Oktaederaxiom

    Ist $h=g\circ f$, dann gibt es ausgezeichnete Tripel $(f,f',f'')$, $(g,g',g'')$, $(h,h',h'')$ und $(j,j',j'')$ derart, dass das folgende „Zopfdiagramm“⁠ kommutiert.

## Beispiele

Häufig definiert man die Klasse der ausgezeichneten Tripel, indem man eine Klasse von Standardtripeln beschreibt und dann definiert: Ein Tripel ist genau dann ausgezeichnet, wenn es zu einem Standardtripel isomorph ist.

* Sei ${\mathcal {A}}$ eine abelsche Kategorie. Dann ist auch die Kategorie $\mathop {Ch} ({\mathcal {A}})$ aller Kettenkomplexe in ${\mathcal {A}}$ abelsch. Analog zur herkömmlichen Homotopie-Kategorie bildet man die Homotopie-Kategorie $K({\mathcal {A}})$, indem man kettenhomotope Morphismen in $\mathop {Ch} ({\mathcal {A}})$ miteinander identifiziert. Diese Kategorie ist selbst nicht abelsch, aber doch trianguliert, wobei:
   * $T$ ist die Verschiebung $T(A)_{*}=A[-1]_{*}$, das heißt $T(A)_{n}=A_{n-1}$ und $d_{n}^{T(A)}=-d_{n-1}^{A}$.
   * Die Standardtripel sind die Tripel der Form $A_{*}\,{\xrightarrow {f_{*}}}\,B_{*}\,{\xrightarrow {i_{*}}}\,C(f)_{*}\,{\xrightarrow {j_{*}}}\,A[-1]_{*}$ für jeden Morphismus $A_{*}\,{\xrightarrow {f_{*}}}\,B_{*}$ aus $\mathop {Ch} ({\mathcal {A}})$, wobei $C(f)_{*}$ der Abbildungskegel ist und $i_{*}$, $j_{*}$ die entsprechenden Strukturabbildungen sind.
