Derivierte Kategorie
# Derivierte Kategorie

Die derivierte Kategorie $D({\mathcal {A}})$ einer abelschen Kategorie ${\mathcal {A}}$ ist ein wichtiges Objekt in der modernen homologischen Algebra. Sie wurde durch Grothendiecks Student Verdier eingeführt.

## Quasiisomorphismus

Zuerst bildet man die abelsche Kategorie $\mathop {Ch} ({\mathcal {A}})$ aller Kettenkomplexe in ${\mathcal {A}}$. Ein Kettenhomomorphismus $f_{*}\colon C_{*}\rightarrow D_{*}$ in $\mathop {Ch} ({\mathcal {A}})$ heißt ein Quasiisomorphismus, falls er unter Homologie zu einem Isomorphismus wird, das heißt falls $H_{n}(f)\colon H_{n}(C)\rightarrow H_{n}(D)$ ein Isomorphismus ist für jede ganze Zahl $n$.

## Homotopie-Kategorie

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. $K({\mathcal {A}})$ ist eine triangulierte Kategorie.

## Derivierte Kategorie

Analog zur Lokalisierung bildet man die derivierte Kategorie $D({\mathcal {A}})$ aus $K({\mathcal {A}})$, indem man sämtliche Quasiisomorphismen für invertierbar erklärt.

### Mengentheoretisches Problem

Seien $A,B$ zwei Objekte aus ${\mathcal {A}}$. In $D({\mathcal {A}})$ ist die Gesamtheit aller Morphismen von $A$ nach $B$ nicht immer eine Menge. Die wichtigsten Arbeiten halten dieses Problem für unwesentlich.

