imported>Crazy1880: Vorlagen nicht mit "Vorlage:" einbinden

2024-09-27T07:07:30Z

Vorlagen nicht mit "Vorlage:" einbinden

Neue Seite

Im [[Mathematik|mathematischen]] [[Teilgebiete der Mathematik|Teilgebiet]] der [[Kategorientheorie]] und der [[Homologische Algebra|homologischen Algebra]] ist ein '''abgeleiteter [[Funktor (Mathematik)|Funktor]]''' (auch: '''derivierter Funktor''') eines [[Exakter Funktor|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 <math>C</math> und <math>D</math> [[abelsche Kategorie]]n und <math>F\colon C\to D</math> ein [[Kategorientheorie#Funktoren|kovarianter]] [[linksexakter Funktor]].
Im Falle eines [[Kategorientheorie#Funktoren|kontravarianten]] und/oder [[Rechtsexakter Funktor|rechtsexakten]] Funktors
gilt das Entsprechende, wobei gegebenenfalls Pfeile umzudrehen und [[Injektives Objekt|injektive]] durch [[Projektives Objekt|projektive Objekte]] zu ersetzen sind.<ref>[[Peter Hilton]]: ''Lectures in Homological Algebra'', American Mathematical Society (1971), ISBN 0-8218-1657-8, Kap. 3: Properties of derived functors</ref><ref>[[Saunders Mac Lane]]: ''Homology'', Springer [[Grundlehren der mathematischen Wissenschaften]] Band 114 (1967), Kap XII: Derived Functors</ref>

== Motivation ==

Ist
:<math>0 \to A' \to A \to A'' \to 0</math>
exakt, so ist zwar die entsprechende Sequenz
:<math>0 \to F(A') \to F(A) \to F(A'')</math>
exakt, allgemein jedoch nicht die Fortsetzung durch <math>\to 0</math>.

Prinzipiell könnte man zwar die Sequenz – so ist der [[Kokern]] schließlich definiert – durch <math>\to \operatorname{coker}(F(A) \to F(A'')) \to 0</math> exakt
fortsetzen, aber diese Fortsetzung hinge dann vom Homomorphismus <math>A\to A''</math> 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 <math>A'</math> ein [[injektives Objekt]] ist.
Dann ergibt sich nämlich, dass die Ursprungssequenz [[Exakte Folge#Spaltung einer kurzen exakten Folge|spaltet]] und <math>A</math> isomorph zu <math>A' \oplus A''</math> 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
:<math>0 \to F(A') \to F(A) \to F(A'') \to R^1F(A')</math>
finden kann, wobei das Objekt <math>R^1F(A')</math> funktoriell von <math>A'</math> abhängt.
Außerdem sollte <math>R^1F(A')</math> unter allen Kandidaten ein möglichst „einfaches“ Objekt sein; so sollte etwa <math>R^1F(A')=0</math> gelten, wenn <math>A'</math> injektiv ist.

== Definition ==

Eine Folge <math>G^*</math> von Funktoren <math>G^n\colon C\to D</math> für alle <math>n\ge 0</math> heiße ''δ-Funktor'',
wenn es zu jeder kurzen exakten Folge
: <math>0\to A'\to A\to A''\to 0</math>
natürliche Homomorphismen <math>\delta^n\colon G^n(A'')\to G^{n+1}(A')</math> gibt, so dass die lange Folge
: <math>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</math>
exakt ist. Genau genommen sollte man sogar die <math>\delta^n</math> 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 <math>R^*F</math> [[Universelle Eigenschaft|universell]] unter den δ-Funktoren <math>G^*</math>
mit [[Natürliche Transformation|natürlicher Transformation]] <math>F\to G^0</math>, d. h. es gebe eine natürliche Transformation <math>F\to R^0F</math> und zu jedem <math>G^*</math>, das seinerseits eine natürliche Transformation <math>F\to G^0</math> besitzt, eindeutig bestimmte natürliche Transformationen <math>R^nF\to G^n</math> für alle <math>n</math>, so dass die entsprechenden langen exakten Folgen kompatibel sind.
Dann heißt <math>R^nF</math> der <math>n</math>-te '''(rechts-)abgeleitete Funktor''' von <math>F</math>.

== Existenz und Berechnung ==

Es gilt: Besitzt <math>C</math> genügend viele injektive Objekte, so existieren die abgeleiteten Funktoren <math>R^nF</math>.

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

Dann können wir <math>R^0 := F</math> setzen sowie (vgl. oben) <math>R^nF(I) := 0</math> für <math>n>0</math> und injektive <math>I</math> und erhalten dann
aus der kurzen exakten Sequenz
:<math>0\to A \to I_A \to I_A/A \to 0</math>
die zu bildende lange exakte Sequenz
:<math>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</math>,
welche
:<math>R^1F(A):=\operatorname{coker}(F(I_A) \to F(I_A/A))</math>
sowie
:<math>R^{n+1}F(A)\,:=\,R^nF(I_A/A)</math>
nahelegt.

Um alle <math>R^nF</math> zu Funktoren zu machen, muss man noch die Wirkung auf Homomorphismen untersuchen, wobei es genügt, <math>R^1F</math> zu betrachten.
Ist <math>f\colon A \to B</math> ein Homomorphismus, so lässt sich dieser (in nicht eindeutiger Weise!) fortsetzen, so dass man ein kommutatives Diagramm
:<math>\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}</math>
erhält, welches ein Diagramm
:<math>\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}</math>
induziert.
Dass hierbei wenigstens der rechte senkrechte Pfeil eindeutig ist (und somit <math>R^1F</math> in der Tat einen Funktor definiert),
weist man durch [[Diagrammjagd]] nach. Denn falls <math>f</math> der Nullhomomorphismus ist,
faktorisiert <math>I_A/A\to I_B/B</math> über <math>I_B\to I_B/B</math>, d. h. man kann das ursprüngliche Diagramm um eine Diagonale <math>I_A/A\to I_B</math> kommutativ ergänzen, infolgedessen ebenso das zweite Diagramm um <math> F(I_A/A)\to F(I_B)</math>, woraus sich wiederum rechts der Nullhomomorphismus ergibt.

Alternativ bildet man eine [[injektive Auflösung]] von <math>A</math>, d. h. eine exakte Folge
: <math>\ldots\to 0\to A\to I^0\to I^1\to I^2\to\ldots</math>
mit injektiven Objekten <math>I^n</math> (z. B. <math>I^0 := I_A</math>, <math>I^1 := I_{I^0/A}</math> etc.).
Man gewinnt dann alle <math>R^nF(A)</math> auf einen Schlag als
die <math>n</math>-te [[Kokettenkomplex|Kohomologie]] des Komplexes
: <math>F(I^*)=(\ldots\to 0\to F(I^0)\to F(I^1)\to F(I^2)\to\ldots)</math>
mit <math>F(I^n)</math> an der <math>n</math>-ten Stelle, weshalb dies wohl die in der Literatur meistverbreitete Methode ist.

Mit dem [[Schlangenlemma]] und dem [[Hufeisenlemma]] zeigt man dann, dass <math>R^*F</math> in der Tat ein δ-Funktor ist. Durch weitere Diagrammjagden weist man nach, dass <math>R^*F</math> 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 <math>F</math>-azyklische Objekte <math>M^i</math> verwenden (d. h. <math>R^nF(M^i)=0</math> für <math>n=1,2,\ldots</math> ist bereits bekannt). Es gilt dann <math>H^i(F(M^*)) \cong R^iF(A)</math>.

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

== Eigenschaften ==

* Allgemeiner sind <math>R^0F</math> und <math>F</math> lediglich natürlich äquivalente Funktoren; Gleichheit ist eine Besonderheit der ersten oben angegebenen Konstruktion.
* Ist <math>A</math> injektiv, so ist <math>R^nF(A)=0</math> für <math>n\ge 1</math>.
* Ist <math>F</math> ein exakter Funktor, so ist <math>R^nF</math> der Nullfunktor für <math>n\ge 1</math>.

== Beispiele ==

* [[Ext (Mathematik)|Ext]] ist die Rechtsableitung des [[Hom-Funktor]]s.
* [[Tor (Mathematik)|Tor]] ist die Linksableitung des [[Tensorprodukt]]es.
* [[Garbenkohomologie]] ist die Rechtsableitung des Funktors ''globale Schnitte''.
* [[Gruppenkohomologie]] ist die Rechtsableitung des Funktors ''Invarianten''.

== Einzelnachweise ==
<references />

{{Navigationsleiste Kategorientheorie}}

[[Kategorie:Homologische Algebra]]
[[Kategorie:Kategorientheorie]]

Abgeleiteter Funktor - Versionsgeschichte

imported>Crazy1880: Vorlagen nicht mit "Vorlage:" einbinden