Quelltext der Seite Garbenkohomologie

'''Garbenkohomologie''' ist in der [[Mathematik]], hauptsächlich in der [[Algebraische Geometrie|algebraischen Geometrie]] und in der [[Komplexe Analysis|komplexen Analysis]], eine Technik, mit der man globale Eigenschaften [[Topologischer Raum|topologischer Räume]] und auf ihnen definierter [[Garbe (Mathematik)|Garben]] studieren kann. Im einfachsten Fall beschreibt die erste Kohomologiegruppe die Schwierigkeiten, um aus lokalen Lösungen eine globale Lösung zu erhalten.

== Definition ==
Konkret ist eine Garbenkohomologie auf einem topologischen Raum <math>X</math> ein [[Delta-Funktor]] von der [[Kategorientheorie|Kategorie]] der Garben [[Abelsche Gruppe|abelscher Gruppen]] in die Kategorie der abelschen Gruppen. Das bedeutet: Jeder Garbe <math>F</math> abelscher Gruppen wird auf funktorielle Weise eine Folge abelscher Gruppen <math>H^k(X,F)</math> für <math>k=0,1,2,\dots</math> zugeordnet, und für jede [[exakte Sequenz|kurze exakte Sequenz]]
:<math>0\to F'\to F\to F''\to 0</math>
von Garben abelscher Gruppen gibt es eine [[Natürliche Transformation|natürliche]] lange exakte Sequenz
:<math>0\to H^0(X,F')\to H^0(X,F)\to H^0(X,F'')\to</math>
:<math>\to H^1(X,F')\to H^1(X,F)\to H^1(X,F'')\to</math>
:<math>\to H^2(X,F')\to\dots</math>
Außerdem ist <math>H^0(X,F)=\Gamma(X,F)</math> die Gruppe der globalen Schnitte von <math>F</math>.

== Anwendungsbeispiele ==
=== Logarithmus einer holomorphen Funktion ===
Problemstellung: Es sei <math>U\subseteq\Complex</math> ein [[Gebiet (Mathematik)|Gebiet]] und <math>f \colon U\to\Complex</math> eine [[Holomorphe Funktion|holomorphe]], nirgends verschwindende Funktion. Gesucht ist eine holomorphe Funktion <math>g \colon U\to\Complex</math>, so dass <math>f(z)=e^{g(z)}</math> für alle <math>z\in U</math> gilt.

Lokal existiert ein solches <math>g</math> immer: Ist <math>z_0\in U</math> fest und <math>\epsilon>0</math> so klein gewählt, dass <math>U_\epsilon(z_0)\subseteq U</math>, dann kann man auf Grund der Wegunabhängigkeit des Integrals
:<math>g(z)=a+\int_{z_0}^z\frac{f'(\zeta)}{f(\zeta)}\,d\zeta</math> für <math>z\in U_\epsilon(z_0)</math>
setzen, wobei <math>a</math> derart gewählt ist, dass <math>f(z_0)=e^a</math> gilt. Will man <math>g</math> nach demselben Prinzip global definieren, benötigt man, dass
:<math>\int_\gamma\frac{f'(\zeta)}{f(\zeta)}\,d\zeta</math>
für jeden geschlossenen Weg <math>\gamma</math> verschwindet. Teilt man noch durch <math>2\pi i</math>, erhält man einen [[Homomorphismus]]
:<math>c_f \colon \pi_1(U)\to\Z,</math>
dessen Verschwinden notwendig und hinreichend für die Existenz einer globalen Lösung <math>g</math> ist (dabei ist <math>\pi_1(U)</math> die [[Fundamentalgruppe]] von <math>U</math>).

Mit dem Begriff der Garbe ausgedrückt besagt die lokale Lösbarkeit, dass der Homomorphismus von Garben <math>\exp:\mathcal{O}\to\mathcal{O}^*</math> von der Garbe der holomorphen Funktionen (mit der Addition als Verknüpfung) in die Garbe der nichtverschwindenden holomorphen Funktionen (mit der Multiplikation) surjektiv ist. Sein Kern ist die Garbe der Funktionen, die lokal konstant ganzzahlige Vielfache von <math>2\pi i</math> sind, also bis auf die Multiplikation mit <math>2\pi i</math> die [[konstante Garbe]] <math>\underline{\Z}</math>. Zusammen ergibt sich die kurze [[exakte Sequenz]]
:<math>0\to\underline{\Z}\xrightarrow{2\pi i}\mathcal{O}\xrightarrow{\exp}\mathcal{O}^*\to0.</math>
Die vorgegebene Funktion <math>f</math> ist nun ein Element von <math>\Gamma(U,\mathcal{O}^*)</math>, und gesucht ist ein Urbild unter <math>\exp</math> in <math>\Gamma(U,\mathcal{O})</math>. Die Garbenkohomologie liefert eine exakte Sequenz
:<math>\Gamma(U,\mathcal{O})\to\Gamma(U,\mathcal{O}^*)\to H^1(U,\underline{\Z}).</math>
Also besitzt <math>f</math> genau dann einen holomorphen Logarithmus, wenn das Bild von <math>f</math> in <math>H^1(U,\underline{\Z})</math> verschwindet. Dieses Bild kann mit dem oben erklärten Homomorphismus <math>c_f</math> identifiziert werden.

=== Existenz von Funktionen mit vorgegebenen Werten ===
Problemstellung: Es sei eine [[Folge (Mathematik)|Folge]] <math>a_1,a_2,\dots</math> komplexer Zahlen ohne [[Häufungspunkt]] sowie eine weitere Folge <math>b_1,b_2,\dots</math> beliebiger komplexer Zahlen vorgegeben. Existiert dann eine [[ganze Funktion]] <math>f</math> mit <math>f(a_k)=b_k</math> für alle <math>k</math>?

Es sei <math>A=\{a_1,a_2,\dots\}</math>, und die [[konstante Garbe]] <math>\underline{\Complex}_A</math> auf <math>A</math> werde mit ihrem [[Direktes Bild|direkten Bild]] auf <math>\Complex</math> identifiziert. Dann ist der Homomorphismus <math>\mathcal{O}\to\underline{\Complex}_A</math>, der durch die Auswertung einer Funktion in den Punkten in <math>A</math> gegeben ist, surjektiv. Denn in einer ausreichend kleinen Umgebung <math>U</math> von <math>a_k</math> liegen keine anderen Punkte aus <math>A</math>, so dass man zu einem vorgegebenen Wert <math>b_k</math> als Urbild in <math>\Gamma(U,\mathcal{O})</math> die konstante Funktion mit Wert <math>b_k</math> wählen kann. Der Kern von <math>\mathcal{O}\to\underline{\Complex}_A</math> sei mit <math>\mathcal{O}(-A)</math> bezeichnet, so dass wir die kurze exakte Sequenz
:<math>0\to\mathcal{O}(-A)\to\mathcal{O}\to\underline{\Complex}_A\to 0</math>
erhalten. Aus der Garbenkohomologie erhält man eine exakte Sequenz
:<math>\Gamma(\Complex,\mathcal{O})\to\Gamma(A,\underline{\Complex})\to H^1(\Complex,\mathcal{O}(-A)).</math>
Man kann nun zeigen, dass <math>H^1(\Complex,\mathcal{O}(-A))</math> verschwindet, also besitzt jedes Element <math>b\in\Gamma(A,\underline{\Complex})</math> ein Urbild in <math>\Gamma(\Complex,\mathcal{O})</math>, d.&nbsp;h. jede Werteverteilung <math>b_1,b_2,\dots</math> wird durch eine ganze Funktion realisiert.

== Konstruktionen ==
Es seien <math>X</math> ein fest gewählter topologischer Raum und <math>F</math> eine Garbe abelscher Gruppen auf <math>X</math>, mit <math>F_x</math> sei der [[Halm (Mathematik)|Halm]] von <math>F</math> über <math>x</math> bezeichnet.

=== Die Godement-Auflösung ===
Definiere eine Garbe <math>C^0(F)</math> auf <math>X</math> durch
:<math>C^0(F)(U)=\prod_{x\in U}F_x</math>
mit den Projektionen als Einschränkungsabbildungen. Es gibt einen kanonischen injektiven Homomorphismus <math>F\to C^0(F)</math>, der einem Schnitt <math>s</math> die Familie <math>(s_x)</math> seiner Keime zuordnet. Die Definition von Garben als etale Räume erklärt die Bezeichnung „Garbe der unstetigen Schnitte“ für <math>C^0(F)</math>. Setze nun
: <math>Z^1(F)=C^0(F)/F,\qquad C^1(F)=C^0(Z^1(F))</math>
und iterativ
: <math>Z^{k+1}(F)=C^k(F)/Z^k(F),\qquad C^{k+1}(F)=C^0(Z^{k+1}(F))</math>
Wir erhalten eine Auflösung
:<math>0\to F\to C^0(F)\to C^1(F)\to C^2(F)\to\dots</math>
Dann ist die Garbenkohomologie <math>H^k(X,F)</math> als die <math>k</math>-te Kohomologie des Komplexes <math>\Gamma(X,C^k(F))</math> definiert.

Die Godement-Auflösung hat den Vorteil, dass sie einfach zu definieren ist und keinerlei Wahlen erfordert. Für konkrete Berechnungen ist sie aber meistens ungeeignet.

=== Kohomologie einer Überdeckung ===
Es sei <math>(U_i)_{i\in I}</math> eine [[Familie (Mathematik)|Familie]] offener Teilmengen von <math>X</math>, so dass <math>\textstyle X=\bigcup_{i\in I}U_i</math>. Für <math>k\geq 0</math> und <math>j=(i_0,\dots,i_k)\in I^{k+1}</math> setze <math>\textstyle U_j=\bigcap_{\nu=0}^k U_{i_\nu}</math>. Damit erhält man einen [[Kosimpliziales Objekt|kosimplizialen]] topologischen Raum und durch Anwendung von <math>F</math> eine [[Simpliziales Objekt|simpliziale]] abelsche Gruppe, die gemäß der [[Dold-Kan-Korrespondenz]] einem [[Kokettenkomplex]] in nichtnegativen Graden entspricht. Seine Kohomologie ist die Kohomologie <math>H^*(U,F)</math> von <math>F</math> bezüglich der Überdeckung <math>U</math>.

Konkret ist der Komplex gegeben durch
:<math>C^k(U,F)=\prod_{j\in I^{k+1}}\Gamma(U_j,F)</math>
mit dem Differential
:<math>(d^ks)(i_0,\dots,i_{k+1})=\sum_{\nu=0}^{k+1} (-1)^\nu \rho^{U_{i_0,\dots,\widehat{i_\nu},\dots,i_{k+1}}}_{U_{i_0,\dots,i_{k+1}}} s(i_0,\dots,\widehat{i_\nu},\dots,i_{k+1})</math>
wobei <math>\rho</math> die Einschränkung von Schnitten von <math>F</math> bezeichnet.

1-Kozykel sind Familien <math>s_{ij}\in\Gamma(U_{ij},F)</math> mit <math>s_{ik}=s_{ij}+s_{jk}</math> auf <math>U_{ijk}</math> (mit impliziten Einschränkungen). Zwei 1-Kozykel sind kohomolog, wenn es eine Familie <math>t_i\in\Gamma(U_i,F)</math> gibt mit <math>s_{ij}=t_i-t_j</math> für alle <math>i,j</math>.

Ist <math>(U_i)_{i\in I}</math> eine Überdeckung mit <math>H^k(U_{i_1\dots i_m},F)=0</math> für alle <math>k\geq 1</math>, dann ist der kanonische Homomorphismus <math>H^k(U,F)\to H^k(X,F)</math> für alle <math>k\geq 0</math> bijektiv. Diese als [[Satz von Leray]] bekannte Aussage gilt insbesondere für offene [[Affines Schema|affine]] Überdeckungen [[Separiertes Schema|separierter]] [[Schema (algebraische Geometrie)|Schemata]], wenn darüber hinaus <math>F</math> eine [[Quasikohärente Garbe|quasikohärente]] [[Modulgarbe]] ist.

=== Čech-Kohomologie ===
Ist <math>(U_i)_{i\in I}</math> eine Überdeckung wie im vorherigen Abschnitt, so ist eine Verfeinerung von <math>U</math> eine Überdeckung <math>(V_j)_{j\in J}</math> zusammen mit einer Abbildung <math>h \colon J\to I</math>, so dass <math>V_j\subseteq U_{h(j)}</math> für alle <math>j\in J</math> gilt. Dann erhält man Homomorphismen <math>H^k(U,F)\to H^k(V,F)</math> für alle <math>k</math>. Im Prinzip ist Čech-Kohomologie der [[Direkter Limes|direkte Limes]] über diese Verfeinerungen. Aus technischen Gründen betrachtet man aber Überdeckungen <math>(U_x)_{x\in X}</math> mit <math>x\in U_x</math> für alle <math>x\in X</math> und Verfeinerungen <math>(V_x)_{x\in X}</math> mit <math>V_x\subseteq U_x</math> für alle <math>x\in X</math>. Dann heißt
:<math>\check H^k(X,F)=\varinjlim_U H^k(U,F)</math>
die Čech-Kohomologie von <math>F</math>.

Es gibt kanonische Homomorphismen <math>\check H^k(X,F)\to H^k(X,F)</math>, die für <math>k=0,1</math> bijektiv und für <math>k=2</math> injektiv sind.<ref>Godement, II, 5.9</ref> Ist <math>X</math> ein [[Parakompakter Raum|parakompakter]] [[Hausdorffraum]], sind sie für alle <math>k</math> bijektiv.

=== Garbenkohomologie als derivierter Funktor ===
Es sei <math>O</math> eine Garbe von Ringen und <math>F</math> eine <math>O</math>-Modulgarbe. (Der Fall von Garben abelscher Gruppen ist durch <math>O=\underline{\Z}</math> mit abgedeckt.) Dann hat die Kategorie der <math>O</math>-Modulgarben genügend viele [[Injektives Objekt|injektive Objekte]], so dass man den [[Derivierter Funktor|derivierten Funktor]] zum Funktor <math>\Gamma(X,{-})</math> der globalen Schnitte bilden kann. Allgemein gilt, dass man den derivierten Funktor über azyklische Auflösungen berechnen kann, und man kann zeigen, dass [[Welke Garbe|welke]] Garben azyklisch sind. (Eine Garbe <math>F</math> heißt welk, wenn <math>\Gamma(X,F)\to\Gamma(U,F)</math> für alle offenen Teilmengen <math>U\subseteq X</math> surjektiv ist.) Die Godement-Auflösung besteht aus welken <math>O</math>-Modulgarben, also ist <math>H^k(X,{-})</math> ein derivierter Funktor, und es kommt nicht darauf an, ob man den derivierten Funktor für <math>O</math>-Modulgarben oder für Garben abelscher Gruppen bildet.

Auf einem [[Schema (algebraische Geometrie)|Schema]] kann man den Funktor <math>\Gamma(X,{-})</math> auf die Kategorie <math>\mathrm{Qcoh}(X)</math> der [[Quasikohärente Garbe|quasikohärenten]] Modulgarben einschränken. Wenn <math>X</math> [[Kompakter Raum|quasikompakt]] und [[Separiertes Schema|separiert]] ist, besitzt <math>\mathrm{Qcoh}(X)</math> genügend viele injektive Objekte, und der auf <math>\mathrm{Qcoh}(X)</math> berechnete derivierte Funktor stimmt mit dem auf der Kategorie aller <math>O_X</math>-Moduln berechneten überein.<ref>Siehe Thomason, Trobaugh, Appendix B</ref>

=== Weitere Auflösungen ===
Weitere Klassen von azyklischen Garben, die damit für Auflösungen herangezogen werden können, sind [[Weiche Garbe|weiche Garben]] und besonders in der (komplexen) Analysis [[Feine Garbe|feine Garben]].

=== Nichtabelsches H<sup>1</sup> ===
Ist <math>F</math> eine Garbe nicht notwendigerweise abelscher Gruppen (im Folgenden multiplikativ geschrieben), kann man die Überdeckungskonstruktion zumindest für <math>H^1</math> übertragen. 1-Kozykel für eine Überdeckung <math>(U_i)_{i\in I}</math> sind Familien <math>c_{ij}\in F(U_{ij})</math>, die <math>c_{ij}c_{jk}=c_{ik}</math> für alle <math>i,j,k \in I</math> erfüllen. Zwei Kozykel <math>(c_{ij})</math> und <math>(d_{ij})</math> heißen kohomolog, wenn es <math>f_i\in F(U_i)</math> gibt, so dass <math>c_{ij}=f_id_{ij}f_j^{-1}</math> für alle <math>i,j</math> gilt. Kohomolog zu sein, ist eine Äquivalenzrelation auf den 1-Kozykeln, und die Menge der Äquivalenzklassen wird wieder mit <math>H^1(U,F)</math> bezeichnet. Sie enthält als ausgezeichnetes Element die Klasse des trivialen Kozykels. Im direkten Limes erhält man eine punktierte Menge <math>H^1(X,F)</math>.

Es gibt im nichtabelschen Fall unter verschiedenen Voraussetzungen immer noch exakte Sequenzen, die die lange exakte Sequenz für abelsche Garben verallgemeinern. Es gibt auch ein <math>H^2(X,F)</math> für nichtabelsche Garben. Siehe dazu Giraud.

== Vergleich mit singulärer Kohomologie ==
Ist <math>X</math> ein topologischer Raum und <math>A</math> eine abelsche Gruppe, kann man einerseits die [[singuläre Kohomologie]] <math>H^*(X,A)</math> bilden, andererseits die Garbenkohomologie <math>H^*(X,\underline{A})</math> der [[Konstante Garbe|konstanten Garbe]]. Die Bedingung, dass <math>X</math> ein [[CW-Komplex]] ist, ist hinreichend dafür, dass man kanonisch isomorphe Gruppen erhält, aber auch schwächere Voraussetzungen genügen.<ref>Siehe Bredon, III, 1.</ref>

== H<sup>1</sup> und Torsore ==
Ist <math>X</math> ein [[geringter Raum]], d.&nbsp;h. ein topologischer Raum zusammen mit einer Garbe <math>O_X</math> von [[Ring (Algebra)|Ringen]], dann gibt es eine kanonische Bijektion zwischen <math>H^1(X,O_X^\times)</math> und der Menge der Isomorphieklassen von [[Geradenbündel (Faserbündel)|Geradenbündeln]] auf <math>X</math>.

Diese Aussage erlaubt eine weitreichende Verallgemeinerung: Für jede Garbe von Gruppen <math>G</math> gibt es eine kanonische Bijektion zwischen <math>H^1(X,G)</math> und der Menge der Isomorphieklassen von <math>G</math>-Torsoren. Der Bezug zu Geradenbündeln entsteht folgendermaßen: Ist <math>E</math> ein Objekt auf <math>X</math>, dann gibt es eine Korrespondenz zwischen lokal zu <math>E</math> isomorphen Objekten <math>E'</math> und <math>\mathrm{Aut}(E)</math>-Torsoren. Die Korrespondenz ordnet einem Objekt <math>E'</math> den Torsor <math>\mathrm{Isom}(E,E')</math> zu.<ref>Siehe Giraud, III, 2.5.1 für die genauen Voraussetzungen.</ref>

Ein [[Torsor]] für eine Garbe <math>G</math> von (nicht notwendigerweise abelschen) Gruppen auf einem Raum <math>X</math> ist eine Garbe <math>P</math> von Mengen auf <math>X</math> zusammen mit einer <math>G</math>-(Links-)Operation, so dass eine offene Überdeckung <math>(U_i)_{i\in I}</math> von <math>X</math> existiert, auf der <math>P</math> trivial wird. Ausführlicher bedeutet das: Gegeben ist ein Garbenmorphismus <math>G\times P\to P</math>, der für jede offene Teilmenge <math>U\subseteq X</math> eine [[Gruppenoperation|Operation]] von <math>G(U)</math> auf <math>P(U)</math> induziert. Für jedes <math>i\in I</math> soll nun <math>P|_{U_i}</math> als Garbe mit <math>G|_{U_i}</math>-Operation isomorph zu <math>G|_{U_i}</math> mit der Linkstranslation als Operation sein. Ein Torsor ist genau dann trivial, d.&nbsp;h. global isomorph zu <math>G</math> mit der Linkstranslation, wenn <math>P(X)</math> nicht leer ist.

Ist <math>f_i:G|_{U_i}\to P|_{U_i}</math> ein System von Trivialisierungen, erhält man durch <math>c_{ij}=f_i|_{U_{ij}}^{-1}\circ f_j|_{U_{ij}}</math> einen 1-Kozykel, umgekehrt kann man Kozykel verwenden, um triviale Torsore zu verkleben.

Im [[#Logarithmus einer holomorphen Funktion|Logarithmus-Beispiel]] bilden die Logarithmen von <math>f</math> einen <math>\underline{\Z}</math>-Torsor: Für jeden Logarithmus <math>g</math> auf einer Teilmenge <math>V</math> und jede ganze Zahl <math>k</math> ist auch <math>g+2\pi ik</math> ein Logarithmus, und wenn <math>V</math> zusammenhängend ist, kann es auch keine anderen geben. Die Klasse dieses Torsors in <math>H^1(U,\underline{\Z})</math> ist genau dann trivial, wenn er ein globaler Logarithmus existiert.

== Höhere direkte Bilder ==

Ist <math>f \colon X\to Y</math> eine stetige Abbildung und <math>F</math> eine Garbe abelscher Gruppen auf <math>X</math>, dann ist das direkte Bild <math>f_*</math> ein linksexakter Funktor, und man kann den derivierten Funktor <math>R^kf_*</math> bilden. Er ist die Vergarbung der Prägarbe <math>U\mapsto H^k(f^{-1}(U),F)</math>.

Die Kohomologie von <math>F</math> und die Kohomologie von <math>f_*F</math> hängen über die [[Leray-Spektralsequenz]] miteinander zusammen: Es existiert eine Spektralsequenz mit <math>E_2^{pq}=H^p(Y,R^qf_*F)</math>, die gegen <math>H^*(X,F)</math> konvergiert.

== Wichtige Sätze über Garbenkohomologie ==
=== Algebraische Geometrie ===
* Ist <math>F</math> eine [[Quasikohärente Garbe|quasikohärente]] Modulgarbe auf einem [[affines Schema|affinen]] Schema <math>X</math>, dann ist <math>H^k(X,F)=0</math> für alle <math>k\geq1</math>.
* Ist <math>X</math> ein Schema, dessen zugrundeliegender Raum [[Noetherscher Raum|noethersch]] ist und Dimension <math>n</math> hat, dann ist <math>H^k(X,F)=0</math> für <math>k>n</math> und jede Garbe abelscher Gruppen <math>F</math>.
* Kohärenzsatz von Grothendieck: Ist <math>X</math> [[Eigentliches Schema|eigentlich]] über einem [[Noetherscher Ring|noetherschen]] Ring <math>A</math> und <math>F</math> eine [[Kohärente Garbe|kohärente]] Modulgarbe, dann ist <math>H^k(X,F)</math> für jedes <math>k</math> ein endlich erzeugter <math>A</math>-Modul.
* Verschwindungssatz von Serre: Für eine kohärente Garbe <math>F</math> auf einem [[Projektives Schema|projektiven Schema]] <math>X</math> ist <math>H^k(X,F(n))=0</math> für <math>k\geq 1</math> und <math>n\gg0</math>.
* [[Serre-Dualität]]
* Halbstetigkeitssatz von [[Hans Grauert]]
* Serres GAGA und Grothendiecks GFGA

=== Komplexe Analysis ===
* Theorem B von [[Henri Cartan]]: Für kohärente Garben auf [[Steinscher Raum|steinschen Räumen]] verschwindet die höhere Kohomologie
* Endlichkeitssatz von Cartan-Serre: Kohomologiegruppen kohärenter Garben auf [[Kompakter Raum|kompakten]] [[Komplexer Raum|komplexen Räumen]] sind endlichdimensional (als <math>\Complex</math>-Vektorräume), verallgemeinert im Kohärenzsatz von Grauert
* Halbstetigkeitssatz von Grauert
* [[Hodge-Theorie]]

== Literatur ==
* [[Glen Bredon]], Sheaf Theory. New York 1997
* [[Jean Giraud (Mathematiker)|Jean Giraud]], Cohomologie non abélienne. Berlin 1971
* [[Roger Godement]], Topologie algébrique et théorie des faisceaux. Paris 1958
* [[Phillip Griffiths]], [[Joe Harris (Mathematiker)|Joseph Harris]], Principles of Algebraic Geometry. New York 1994
* [[Alexander Grothendieck]], [[Jean Dieudonné]], [[Éléments de géométrie algébrique]]. ''Publications mathématiques de l'IHÉS'' 4, 8, 11, 17, 20, 24, 28, 32 (1960–1967)
* {{cite journal |last1=Grothendieck |first1=Alexander |author1-link=Alexander Grothendieck |title=[[Grothendiecks Tohoku-Paper|Sur quelques points d'algèbre homologique]] |journal=[[Tohoku Mathematical Journal]] |language=fr |volume=9 |series=Second Series |pages=119–221 |year=1957 |issn=0040-8735 |doi=10.2748/tmj/1178244839 |url=http://projecteuclid.org/euclid.tmj/1178244839 |mr=0102537 |doi-access=free}}
* [[Masaki Kashiwara]], [[Pierre Schapira (Mathematiker)|Pierre Schapira]], Sheaves on Manifolds. Berlin 1990
* [[Robert Wayne Thomason]], [[Thomas Trobaugh]], Higher Algebraic K-Theory of Schemes and of Derived Categories. In: The Grothendieck Festschrift, Volume III. Boston 1990

== Fußnoten ==
<references />

[[Kategorie:Algebraische Geometrie]]
[[Kategorie:Kohomologietheorie]]