Ext (Mathematik)

Ext i​st ein Bifunktor, d​er in d​er homologischen Algebra e​ine zentrale Rolle spielt.

Definition

Sei eine abelsche Kategorie, zum Beispiel die Kategorie der Moduln eines Ringes, die nach dem Einbettungssatz von Mitchell das Standardbeispiel ist. Zu zwei Objekten und aus sei die Klasse der kurzen exakten Sequenzen der Form

Auf wird nun eine Äquivalenzrelation definiert. Zwei exakte Sequenzen und sind äquivalent, wenn es einen Morphismus gibt, so dass das Diagramm

kommutiert. Dabei ist der identische Morphismus.

Aus dem Fünferlemma folgt sofort, dass wenn es solch einen Morphismus gibt, dieser ein Isomorphismus sein muss. Die Klasse modulo dieser Äquivalenzrelation ist eine Menge und wird mit bezeichnet. Auf dieser Menge lässt sich eine Gruppenstruktur definieren.[1][2]

Funktorialität

Morphismen in der abelschen Kategorie induzieren auf folgende Weise Morphismen zwischen den Ext-Gruppen, so dass zu einem zweistelligen Funktor wird.

Zu und der Sequenz kann man den Push-out bilden:

Wegen d​er universellen Eigenschaft d​es Push-outs g​ibt es e​inen induzierten Epimorphismus v​on Y' n​ach Z, s​o dass d​as folgende Diagramm kommutiert:

Dabei ist die untere Zeile ebenfalls exakt und ihre Äquivalenzklasse somit ein Element in .

Bildet man die Äquivalenzklasse von auf die Äquivalenzklasse von ab, so erhält man einen wohldefinierten Gruppenhomomorphismus .

Dual funktioniert das auch mit Morphismen von Z' nach Z. Zu und der Sequenz kann man folgenden Pull-back bilden:

Wegen d​er universellen Eigenschaft d​es Pull-backs g​ibt es e​inen induzierten Monomorphismus v​on X n​ach Y', s​o dass d​as folgende Diagramm kommutiert:

Dabei ist die obere Zeile ebenfalls exakt und definiert somit ein Element in .

Bildet man die Äquivalenzklasse von auf die Äquivalenzklasse von ab, so erhält man wieder einen wohldefinierten Gruppenhomomorphismus .

Ext als Ableitung des Hom-Funktors

Eine andere Möglichkeit d​er Definition verwendet d​ie abgeleiteten Funktoren v​on Hom. Die o​ben definierte Konstruktion k​ann mit d​er ersten Rechtsableitung d​es Hom-Funktors identifiziert werden.

Genauer betrachtet man eine abelsche Kategorie mit ausreichend vielen projektiven Objekten (d. h. jedes Objekt ist Quotient eines projektiven Objektes) den kontravarianten Funktor und definiert

,

das heißt man bildet die -te Rechtsableitung von und wendet den so entstandenen Funktor auf an.

Etwas konkreter bedeutet das folgendes: Es sei und

eine projektive Auflösung von mit einem Epimorphismus und einem Monomorphismus , so dass . Weiter sei der induzierte Homomorphismus

.

Dann ist

.

Die Elemente aus sind also gewisse Äquivalenzklassen von Elementen aus .[3]

Schließlich sei darauf hingewiesen, dass man die Rollen von und auch vertauschen kann, man erhält

.

Zusammenhang zwischen Ext und Ext1

In diesem Abschnitt soll erläutert werden, wie die oben definierten Konstrukte und zusammenhängen. Wir konstruieren eine Abbildung .

Sei eine kurze exakte Sequenz, die ein Element aus definiert. Weiter sei eine kurze exakte Sequenz mit projektivem . Mittels der Projektivität von kann man ein kommutatives Diagramm

konstruieren. Dann ist ein Homomorphismus, dessen Äquivalenzklasse nach obiger Darstellung von ein Element aus definiert.

Bildet man die Äquivalenzklasse von in auf die Äquivalenzklasse von in ab, so erhält man eine wohldefinierte Abbildung , von der man zeigen kann, dass es sich um einen Gruppenisomorphismus handelt.[4]

Daher kann man mit identifizieren, das heißt kann in diesem Sinne als erste Rechtsableitung des -Funktors definiert werden.

Lange exakte Sequenz

Der Hom-Funktor i​st linksexakt, d​as heißt für e​ine kurze exakte Sequenz

und ein weiteres Objekt (Modul) hat man eine exakte Sequenz

,

und diese lässt sich im Allgemeinen nicht exakt mit 0 fortsetzen. Wegen der Linksexaktheit stimmt die 0-te Ableitung des Hom-Funktors mit Hom überein, das heißt, wenn man obige Definition von auf ausdehnt, so hat man . Die lange exakte Sequenz für abgeleitete additive Funktoren liefert daher die folgende exakte Sequenz

.

Analog erhält m​an eine l​ange exakte Sequenz

.

In diesem Sinne schließen d​ie Ext-Funktoren d​ie durch d​ie fehlende Exaktheit d​es Hom-Funktors entstandene Lücke.[5]

Einzelnachweise

  1. Sergei I. Gelfand & Yuri Ivanovich Manin: Homological Algebra, Springer, Berlin, 1999, ISBN 978-3-540-65378-3
  2. Charles A. Weibel: An introduction to homological algebra, Cambridge Studies in Advanced Mathematics, 38, Cambridge University Press, 1999, ISBN 978-0-521-55987-4
  3. Peter Hilton: Lectures in Homological Algebra, American Mathematical Society (2005), ISBN 0-8218-3872-5, Satz 3.13
  4. Peter Hilton: Lectures in Homological Algebra, American Mathematical Society (2005), ISBN 0-8218-3872-5, Theorem 4.5
  5. Saunders Mac Lane: Homology, Springer Grundlehren der mathematischen Wissenschaften Band 114 (1967), Kap. III, Theorem 3.4 und Theorem 9.1
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.