Abgeleiteter Funktor

Im mathematischen Teilgebiet der Kategorientheorie ist ein abgeleiteter Funktor (auch: derivierter Funktor) eines links- oder rechtsexakten Funktors ein Maß dafür, wie weit dieser von der Exaktheit abweicht. Die Bezeichnung rührt daher, dass analog dazu die Ableitungen einer Funktion messen, wie sehr diese von einer konstanten Funktion abweicht.

Für den Rest dieses Artikels seien C und D abelsche Kategorien und F\colon C\to D ein kovarianter linksexakter Funktor. Im Falle eines kontravarianten und/oder rechtsexakten Funktors gilt das Entsprechende, wobei ggf. Pfeile umzudrehen und injektive durch projektive Objekte zu ersetzen sind.

Inhaltsverzeichnis

Motivation

Ist

0 \to A' \to A \to A'' \to 0

exakt, so ist zwar die entsprechende Sequenz

0 \to F(A') \to F(A) \to F(A'')

exakt, allgemein jedoch nicht die Fortsetzung durch \to 0.

Prinzipiell könnte man zwar die Sequenz – so ist der Kokern schließlich definiert – durch \to \operatorname{coker}(F(A) \to F(A'')) \to 0 exakt fortsetzen, aber diese Fortsetzung hinge dann vom Homomorphismus A\to A'' ab. Man hätte gern eine Abhängigkeit lediglich von den Objekten.

Dass bereits eines der beteiligten Objekte die Abweichung von der Exaktheit stark einschränken kann, sieht man beispielsweise in dem Fall, dass A' ein injektives Objekt ist. Dann ergibt sich nämlich, dass die Ursprungssequenz spaltet und A isomorph zu A' \oplus A'' ist. Dies überträgt sich auf die Bildsequenz, die in diesem Falle also ebenfalls eine kurze exakte Sequenz ist.

Insofern liegt die Vermutung nahe, dass man (zumindest unter geeigneten zusätzlichen Voraussetzungen) allgemein eine exakte Sequenz

0 \to F(A') \to F(A) \to F(A'') \to R^1F(A')

finden kann, wobei das Objekt R1F(A') funktoriell von A' abhängt. Außerdem sollte R1F(A') unter allen Kandidaten ein möglichst „einfaches“ Objekt sein; so sollte etwa R1F(A') = 0 gelten, wenn A' injektiv ist.

Definition

Eine Folge G * von Funktoren G^n\colon C\to D für alle n\ge 0 heiße δ-Funktor, wenn es zu jeder kurzen exakten Folge

0\to A'\to A\to A''\to 0

natürliche Homomorphismen \delta^n\colon G^n(A'')\to G^{n+1}(A') gibt, so dass die lange Folge

0\to G^0(A')\to G^0(A)\to G^0(A'')\to G^1(A')\to G^1(A)\to G^1(A'')\to G^2(A')\to\ldots

exakt ist. Genau genommen sollte man sogar die δn mit zu den Daten eines δ-Funktors zählen, wodurch sich insgesamt ein Funktor von der Kategorie kurzer exakter Sequenzen in die Kategorie langer exakter Sequenzen ergibt.

Sei R * F universell unter den δ-Funktoren G * mit natürlicher Transformation F\to G^0, d. h. es gebe eine natürliche Transformation F\to R^0F und zu jedem G * , das seinerseits eine natürliche Transformation F\to G^0 besitzt, eindeutig bestimmte natürliche Transformationen R^nF\to G^n für alle n, so dass die entsprechenden langen exakten Folgen kompatibel sind. Dann heißt RnF der n-te (rechts-)abgeleitete Funktor von F.

Existenz und Berechnung

Es gilt: Besitzt C genügend viele injektive Objekte, so existieren die abgeleiteten Funktoren RnF.

Hierbei bedeutet genügend viele injektive Objekte, dass es zu jedem Objekt A\in \operatorname{Ob}(C) ein injektives Objekt IA und einen Monomorphismus A\to I_A gibt. Es sei zu jedem A ein solches IA fest gewählt und es gelte der Einfachheit halber IA = A, falls A bereits injektiv ist.

Dann können wir R0: = F setzen sowie (vgl. oben) RnF(I): = 0 für n > 0 und injektive I und erhalten dann aus der kurzen exakten Sequenz

0\to A \to I_A \to I_A/A \to 0

die zu bildende lange exakte Sequenz

0\to F(A)\to F(I_A) \to F(I_A/A) \to R^1F(A) \to 0 \to R^1F(I_A/A) \to R^2F(A) \to 0 \ldots,

welche

R^1F(A):=\operatorname{coker}(F(I_A) \to F(I_A/A))

sowie

R^{n+1}F(A)\,:=\,R^nF(I_A/A)

nahelegt.

Um alle RnF zu Funktoren zu machen, muss man noch die Wirkung auf Homomorphismen untersuchen, wobei es genügt, R1F zu betrachten. Ist f\colon A \to B ein Homomorphismus, so lässt sich dieser (in nicht eindeutiger Weise!) fortsetzen, so dass man ein kommutatives Diagramm

\begin{matrix}
0\to & A &\to& I_A &\to& I_A/A &\to& 0\\
&\downarrow&&\downarrow&&\downarrow\\
0\to & B &\to& I_B &\to& I_B/B &\to& 0
\end{matrix}

erhält, welches ein Diagramm

\begin{matrix}
0\to & F(A) &\to& F(I_A) &\to& F(I_A/A) &\to& R^1F(A) &\to& 0\\
&\downarrow&&\downarrow&&\downarrow&&\downarrow\\
0\to & F(B) &\to& F(I_B) &\to& F(I_B/B)  &\to& R^1F(B) &\to& 0
\end{matrix}

induziert. Dass hierbei wenigstens der rechte senkrechte Pfeil eindeutig ist (und somit R1F in der Tat einen Funktor definiert), weist man durch Diagrammjagd nach. Denn falls f der Nullhomomorphismus ist, faktorisiert I_A/A\to I_B/B über I_B\to I_B/B, d. h. man kann das ursprüngliche Diagramm um eine Diagonale I_A/A\to I_B kommutativ ergänzen, infolge dessen ebenso das zweite Diagramm um  F(I_A/A)\to F(I_B), woraus sich wiederum rechts der Nullhomomorphismus ergibt.

Alternativ bildet man eine injektive Auflösung von A, d. h. eine exakte Folge

\ldots\to 0\to A\to I^0\to I^1\to I^2\to\ldots

mit injektiven Objekten In (z. B. I0: = IA, I^1 := I_{I^0/A} etc.). Man gewinnt dann alle RnF(A) auf einen Schlag als die n-te Kohomologie des Komplexes

F(I^*)=(\ldots\to 0\to F(I^0)\to F(I^1)\to F(I^2)\to\ldots)

mit F(In) an der n-ten Stelle, weshalb dies wohl die in der Literatur meistverbreitete Methode ist.

Man kann jetzt durch weitere Diagrammjagden nachweisen, dass R * F in der Tat ein δ-Funktor ist und dass er die universelle Eigenschaft hat. Daher ist das Ergebnis insbesondere „im Wesentlichen“ nicht von der Wahl der injektiven Auflösung abhängig. Für die konkrete Berechnung kann man sogar anstelle einer injektiven auch eine Auflösung durch F-azyklische Objekte Mi verwenden (d. h. RnF(Mi) = 0 für n=1,2,\ldots ist bereits bekannt). Es gilt dann H^i(F(M^*)) \cong R^iF(A).

Entsprechend kann man Linksableitungen rechtsexakter Funktoren für Kategorien mit genügend vielen projektiven Objekten (d. h. zu jedem A\in \operatorname{Ob}(C) existiert ein projektives P und ein Epimorphismus P\to A) über projektive Auflösungen berechnen.

Eigenschaften

  • Allgemeiner sind R0F und F lediglich natürlich äquivalente Funktoren; Gleichheit ist eine Besonderheit der ersten oben angegebenen Konstruktion.
  • Ist A injektiv, so ist RnF(A) = 0 für n\ge 1.
  • Ist F ein exakter Funktor, so ist RnF der Nullfunktor für n\ge 1.

Beispiele


Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Derivierter Funktor — Im mathematischen Teilgebiet der Kategorientheorie ist ein abgeleiteter Funktor eines links oder rechtsexakten Funktors ein Maß dafür, wie weit dieser von der Exaktheit abweicht. Die Bezeichnung rührt daher, dass analog dazu die Ableitungen einer …   Deutsch Wikipedia

  • Gruppenkohomologie — ist ein technisches Werkzeug der Mathematik, das ursprünglich der Untersuchung von Gruppen diente, später aber auch insbesondere in der Topologie und Zahlentheorie Anwendungen fand. Inhaltsverzeichnis 1 Definition als abgeleiteter Funktor 1.1… …   Deutsch Wikipedia

  • Elementare Zahlentheorie — Ursprünglich ist die Zahlentheorie (auch: Arithmetik) ein Teilgebiet der Mathematik, das sich allgemein mit den Eigenschaften der ganzen Zahlen und insbesondere mit den Lösungen von Gleichungen in den ganzen Zahlen (Diophantische Gleichung)… …   Deutsch Wikipedia

  • Projektiver Modul — Im mathematischen Gebiet der Kategorientheorie sind projektive Objekte eine Verallgemeinerung des Begriffs der Freiheit in der Algebra. Ein Objekt P einer Kategorie C heißt projektiv, wenn für jeden Epimorphismus f: X → Y die induzierte Abbildung …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”