×

Éléments de géométrie algébrique. I: Le langage des schémas. II: Étude globale élémentaire de quelques classe de morphismes. III: Étude cohomologique des faisceaux cohérents (première partie). (French) Zbl 0118.36206

Publ. Math., Inst. Hautes Étud. Sci. 4, 1-228 (1960); 8, 1-222 (1961); 11, 349-511 (1962).
[Note: Some diagrams below cannot be displayed correctly in the web version. Please use the PDF version for correct display.]
Von dieser großangelegten Neubegründung der algebraischen Geometrie in den “Elementen” (abgekürzt EGA) – in der Einleitung werden vorläufig die Titel von 13 Kapiteln angegeben – sind bisher dreieinhalb Kapitel mit einem Umfang von annähernd 1000 Seiten erschienen. Besser als ein Referat können über Zielsetzung, Ergebnisse und Methoden dieser umfang- und inhaltsreichen Darstellung die vom Verf. in den Jahren 1957–62 im Séminaire Bourbaki gehaltenen 8 Vorträge Auskunft geben, die inzwischen unter dem Titel “Fondements de la géométrie algébrique, Extraits du Séminaire Bourbaki 1957–62, Paris 1962” gesammelt erschienen sind, sowie die Vorträge vom Verf. [Proc. internat. Congr. Math. 14–21 Aug. 1958, 103–118 (1960; Zbl 0119.36902)] und von J. P. Serre [Proc. internat. Congr. Math. 15–22 Aug. 1962, 190–196 (1963; Zbl 0126.16703)]. In einem Kapitel 0, jeweils den Kapiteln 1, 3,1. und 4,1 vorangestellt, werden Ergebnisse der kommutativen und der homologischen Algebra sowie der Garbentheorie als Hilfsmittel zusammengetragen. Man vergleiche auch die Errata und Addenda am Ende von Kap. 2, Kap. 3,2 und Kap. 4,1.
Grob gesprochen treten in der Grothendieckschen Theorie der Schemata an die Stelle der Polynomalgebren und ihrer Restklassenringe in der klassischen algebraischen Geometrie beliebige kommutative Ringe, zuweilen mit “Endlichkeitsvoraussetzungen”, z.B. Noethersche Ringe. Jedenfalls sind diese Voraussetzungen erfüllt für die in der Zahlentheorie wichtigen Ringe. Es ist in diesem Rahmen auch möglich, Schemata über lokalen Ringen, sowie solche mit nilpotenten Elementen in den Ringen der Strukturgarbe zu betrachten, was technisch von höchster Bedeutung ist (vgl. den Übergang von gewöhnlichen zu formellen Schemata). Der Zusammenhang zwischen dem Lokalen und dem Globalen formuliert sich wie in der analytischen Geometrie am bequemsten in der Sprache der Garbentheorie. Eingeführt in die abstrakte algebraische Geometrie wurde die letztere zusammen mit den Methoden der algebraischen Topologie ausgehend von der Zariski Topologie einer Varietät von J.-P. Serre in der für die moderne algebraische Geometrie richtungsweisenden Arbeit FAC [Ann. Math. (2) 61, 197–278 (1955; Zbl 0067.16201)]. Ferner macht die Darstellung ausgiebig Gebrauch von der “funktoriellen Sprache” wie sie bei H. Cartan und S. Eilenberg, “Homological algebra” (Princeton 1956) und A. Grothendieck [Sur quelques points d’algebre homologique. Traduction du français par B. B. Venkov, A. V. Rukolaine und B. V. Stepanov, Moskau: Verlag für ausländische Literatur (1961; Zbl 0118.26103)] u.a. vor allem in der algebraischen Topologie entwickelt wurde. Dies macht die Lektüre der EGA für einen darin ungeübten Leser bisweilen etwas mühsam. Er wird aber schließlich für seine Mühen durch die Fülle der Resultate und vor allem der gewonnenen neuen Gesichtspunkte reich belohnt werden. Im einzelnen enthält Kapitel \(0\) aus der kommutativen Algebra Grundlegendes über Quotientenringe und Quotientenmoduln, irreduzible und Noethersche topologische Räume, flache und treu flache Moduln und Ringerweiterungen und im Hinblick auf die formellen Schemata über zulässige (anneaux admissible) und adische Ringe (anneaux adique), was man inzwischen zum Teil auch bei N. Bourbaki [Éléments de mathématique, Algèbre commutative, chap. 1–4, Actualites scientifiques et industrielles. 1290. Paris: Hermann & Cie. 187 p. (1961; Zbl 0108.04002)] nachlesen kann. Dabei heißt ein Ring \(A\) zulässig, wenn er vollständiger topologischer Ring ist mit einem Fundamentalsystem von Nullumgebungen bestehend aus Idealen und einem offenen Ideal \(J\), das topologisch nilpotent ist. Ein solches Ideal heißt ein Definitionsideal. Die Definitionsideale bilden eine Basis für die Nullumgebungen. Man kann daher \(A\) auch erhalten als projektiven Limes \(A=\varprojlim A_\lambda\) eines projektiven Systems \((A_\lambda,u_{\lambda\mu})\) von diskreten Ringen \(A_\lambda\) mit einer nach rechts gefilterten Indexmenge \(L\), die ein kleinstes Element \(0\) besitzt, so daßi) \(u_\lambda:A\to A_\lambda\) surjektiv und ii) der Kern von \(u_{0\lambda}:A_\lambda\to A_0\) nilpotent ist. Spezialfälle sind die lokalen linear kompakten Ringe. Ein zulässiger Ring \(A\) heißt \(J\)-adisch wenn \(J\) ein Definitionsideal ist, dessen Potenzen \(J^n\) ein Fundamentalsystem von Nullumgebungen bilden. [Proposition (7.2.4.) ist in der angegebenen Form falsch. Siehe (Err\(_{\text{III}}\), 3) in Kapitel 3,2 p. 87]. Ferner enthält Kapitel 0 Grundlegendes aus der Garbentheorie und der Theorie der geringten Räume. Erwähnenswert ist vielleicht die “richtige” Definition des “reziproken Bildes” als links adjungierter Funktor des Funktors “direktes Bild”.
Kapitel 1 entwickelt die Sprache der Schemata beginnend mit den affinen Schemata. Für einen kommutativen Ring \(A\) ist \(\text{Spec}(A)\) die Menge der Primideale von \(A\) versehen mit der Zariski Topologie. Das affine Schema \(\text{Spec}(A)\) ist nun der eben definierte topologische Raum, mit einer durch \(A\) definierten Garbe von Ringen \(\widetilde{A}\), also Strukturgarbe. Die Faser über dem Punkt \({\mathfrak p}\in\text{Spec}(A)\) ist gleich dem Quotientenring \(A_{\mathfrak p}\) also lokal. Ein Präschema \(\widetilde{X}\) ist ein geringter topologischer Raum, der eine Überdeckung durch offene affine Mengen \(V_i\) besitzt. Dabei heißt \(V\subset X\) offen affin, wenn die offene Menge \(V\) mit der von \(X\) induzierten geringten Struktur ein affines Schema im obigen Sinne ist. Ein Morphismus zwischen Präschemata ist ein Morphismus zwischen den geringten Räumen, der in den Fasern lokale Homomorphismen induziert. Mit dieser Definition ist die Kategorie der affinen Schemata dual zur Kategorie der kommutativen Ringe. Die Kategorie der quasikohärenten Garben auf \(\text{Spec}(A)\) ist äquivalent zur Kategorie der \(A\)-Moduln, die der kohärenten zur Kategorie der endlich erzeugten \(A\)-Moduln, falls \(A\) Noethersch. In der Kategorie der Präschemata existieren endliche Faserprodukte. Deren Definition ist typisch für alle allgemeinen Konstruktionen in Kategorien: Man überträgt in der Kategorie der Mengen definierte Begriffe mit Hilfe von \(\underset{\mathbf K}{\operatorname{Hom}} (\;,\;)\) in die beliebige Kategorie \(\mathbf K\) (hier die der Präschemata): Für Morphismen \(X\to S\), \(Y\to S\) ist das Faserprodukt über \(S\) \(X \underset {S}\times Y\) dasjenige Präschema \(\in{\mathbf K}\), für welches für alle \(T\in{\mathbf K}\), \(\underset{\mathbf K}{\operatorname{Hom}} (T, X\underset {S}\times Y)\cong \operatorname{Hom}(T,X) \underset{\operatorname{Hom}(T,S)}\times \operatorname{Hom}(T,Y)\) funktoriell in \(T\) ist, wo rechts das Faserprodukt in der Kategorie der Mengen steht. Falls es ein solches Präschema gibt, ist es durch diese Forderung bis auf kanonische Isomorphie eindeutig bestimmt. Man sagt auch \(X\underset {S}\times Y\) repräsentiert den Funktor \(T\rightsquigarrow \operatorname{Hom} (T, X) \underset {\operatorname{Hom} (T,S)}\times \operatorname{Hom}(T,Y)\) von der gegebenen Kategorie der Präschemata \({\mathbf K}\) in die Kategorie der Mengen \({\mathbf E}\). Das Faserprodukt liefert auch die Definition der Fasern eines Morphismus \(f:X\to Y\) über Punkten \(y\in Y\). Es ist \(\bar f^1(y)= X\underset {Y}\times \text{Spec}(k(y))\), wenn \(k(y)= {\mathcal O}_y/m_y\) den Restklassenkörper der Faser \({\mathcal O}_y\) über \(y\in Y\) der Strukturgarbe von \(Y\) bezeichnet, bezüglich des kanonischen Morphismus \(\text{Spec}(k(y))\to Y\). \(\bar f^1(y)\) ist ein Präschema über \(\text{Spec}(k(y))\), also über einem Körper. Unterpräschemata von \((X,{\mathcal O}_x)\) sind folgendermaßen definiert: Die abgeschlossenen Unterpräschemata \(Y\) entsprechen \(1-1\) den quasikohärenten Garben \({\mathcal J}\) von Idealen \(\subset {\mathcal O}_X\): Der Träger \(Y\) von \({\mathcal O}_X/{\mathcal J}\) ist abgeschlossen in \(X\) und liefert den unterliegenden Raum, \({\mathcal O}_X{\mathcal J}\) die Strukturgarbe \({\mathcal O}_Y\) von \(Y\). So entsprechen die (dann wieder affinen) abgeschlossenen Unterpräschemata des affinen Schemas \(\text{Spec}(A)\) eindeutig den Idealen \(\subset A\). Verschiedene solche können also durchaus denselben unterliegenden Raum haben. Dies ist ein Gesichtspunkt, den W. Gröbner immer schon vertreten hat. Ein offenes Unterpräschema \(Y\) von \((X,{\mathcal O}_X)\) ist die offene Menge \(Y\) versehen mit der Strukturgarbe \({\mathcal O}_{X|Y}\). Allgemein ist ein Unterpräschema ein abgeschlossenes Unterpräschema eines offenen Unterpräschemas, der unterliegende Raum also lokal abgeschlossene Teilmenge. Ein Morphismus \(f:X\to Y\) heißt separiert, wenn der kanonische Diagonalmorphismus \(X\xrightarrow{\Delta}X\underset {Y}\times X\) eine abgeschlossene Einbettung von \(X\) liefert, d.h. wenn \(X\) vermöge \(\Delta\) ein abgeschlossenes Unterpräschema von \(X\underset {Y}\times X\) ist. Jedes Präschema \(X\) kann, da nur unitäre Ringe betrachtet werden, als Präschema über \({\mathbb{Z}}\) aufgefaßt werden: \(X\to\text{Spec}({\mathbb{Z}})\). \(X\) heißt Schema, wenn dieser kanonische Morphismus separiert ist. Von besonderer Bedeutung sind später Endlichkeitsbedingungen: Ein Schema heißt Noethersch, wenn es durch endlich viele offene affine Schemata zu Noetherschen Ringen überdeckbar ist, ein Morphismus \(f:X\to Y\) von endlichem Typ, wenn \(Y=\bigcup_\alpha V_\alpha\) von offen affinen \(V_\alpha\), so daß\(\bar f^1(V_\alpha)= \bigcup_{\text{endl.}} U_{\alpha i}\) von endlich vielen offenen affinen \(U_{\alpha i}\) zu Ringen \(A(U_{\alpha i})\) die endlich erzeugte Algebren über \(A(V_\alpha)\) sind. Ist \(K\) ein Körper, so heißt ein Schema \(K\)-algebraisch, wenn es von endlichem Typ über \(\text{Spec}(K)\) ist. Die reduzierten, irreduziblen, \(K\)-algebraischen Schemata \(X\) sind gerade die Chevalleyschen Schemata von lokalen Ringen in einem Körper. Dabei heißt ein Präschema reduziert, wenn die lokalen Ringe in seiner Strukturgarbe keine nilpotenten Elemente enthalten.
Man erhält diesen Zusammenhang, indem man vom Körper der rationalen Funktionen auf \(X\) ausgeht, das sind Schnitte in der Strukturgarbe \({\mathcal O}_X\) über offenen in \(X\) dichten Teilmengen. Allgemeiner werden für zwei Präschemata \(X\) und \(Y\) rationale Abbildungen definiert. Schließlich werden einige schöne Eigenschaften für quasikohärente Garben auf Präschemata bewiesen (Fortsetzung von quasikohärenten Garben, Fortsetzung von Schnitten in solchen, Quasikohärenz der direkten Bilder von solchen). Im letzten Paragraphen werden formelle Schemata eingeführt: Für einen zulässigen Ring \(A\) ist \(\text{Spf}(A)\) die Menge der offenen Primideale von \(A\). Es ist \(\text{Spf}(A)= \text{Spec} (A/J)\) für jedes Definitionsideal \(J\) von \(A\), also eine abgeschlossene Teilmenge von \(\text{Spec}(A)\). Auf \(\text{Spf}(A)\) versehen mit der Zariski Topologie erhält man für ein Fundamentalsystem von Nullumgebungen bestehend aus Definitionsidealen \(J_\lambda\) ein projektives System von Garben von Ringen \({\mathcal O}_\lambda= \widetilde{A/J_\lambda}\), wenn \(\widetilde{A/J_\lambda}\), die dem Ring \(A/J_\lambda\), auf \(\text{Spec}(A/J_\lambda)=\text{Spf}(A)\) zugeordnete Garbe von Ringen bezeichnet. Beschränkt man sich auf eine Basis für die Topologie von \(\text{Spf}(A)\) bestehend etwa aus offenen affinen Teilmengen \(U\), so kann man den projektiven Limes \({\mathcal O}= \varprojlim\limits_{\lambda\in L} {\mathcal O}_\lambda\) der Garben \({\mathcal O}_\lambda\) als Garbe von topologischen Ringen auf \(\text{Spf}(A)\) betrachten, wenn man für jedes \(U\) \(\Gamma(U,{\mathcal O})= \varprojlim\limits_{\lambda\in L} \Gamma(U,{\mathcal O}_\lambda)\) dem topologischen projektiven Limes des Systems der diskreten Ringe \(\Gamma(U,{\mathcal O}_\lambda)\) setzt. \(\text{Spf}(A)\) mit dieser Strukturgarbe \({\mathcal O}\) von topologischen Ringen ist das formelle affine Schema \(\text{Spf}(A)\) zum zulässigen Ring \(A\). Ein formelles Präschema \(X\) ist ganz analog ein topologischer Raum \(X\) mit einer Strukturgarbe \({\mathcal O}_X\) von topologischen Ringen, der eine Überdeckung durch offene formelle affine Mengen \(V_i\) besitzt, und ein Morphismus zwischen formellen Präschemata ist ein Morphismus zwischen den topologisch geringten Räumen, der in den Fasern lokale Homomorphismen induziert. Mit dieser Definition ist die Kategorie der formalen affinen Schemata dual zur Kategorie der zulässigen Ringe mit stetigen Ringhomomorphismen als Morphismen. Formelle Schemata treten auf, wenn man ein der Einfachheit halber etwa Noethersches gewöhnliches Präschema längs einer abgeschlossenen Teilmenge \(X'\) komplettiert. Dazu sei \(\Phi\) die Menge der kohärenten Ideale \({\mathcal J}\) mit Träger \(({\mathcal O}_X/{\mathcal J})= X'\). \(\Phi\) ist nach rechts gefiltert. \(X'\) versehen mit der Garbe von topologischen Ringen \(\widehat{{\mathcal O}}= \varprojlim\limits_{{\mathcal J}\in\Phi} {\mathcal O}_X/{\mathcal J}\) ist ein formelles Präschema, die Komplettierung von \(X\) längs \(X'\), und wird mit \(\widehat{X}\) bezeichnet. Ist \(X= \text{Spec}(A)\) und \(X'\) die dem Ideal \(J\subset A\) entsprechende abgeschlossene Teilmenge, so ist \(X\) kanonisch isomorph zu \(\text{Spf}(\widehat{A})\), wo \(\widehat{A}\) die Komplettierung von \(A\) nach der \(J\)-adischen Topologie ist. Ebenso erhält man für eine kohärente Garbe \(F\) auf \(X\) eine kohärente Garbe \(\widehat{\mathcal F}= \varprojlim\limits_{{\mathcal J}\in\Phi} ({\mathcal F}\bigotimes_{{\mathcal O}_X}({\mathcal O}_X/{\mathcal J}))\) auf \(X\). Die Schnitte in \(\widehat{{\mathcal O}}\) sind nichts anderes als die von O. Zariski eingeführten “holomorphen Funktionen” [Mem. Am. Math. Soc. 5, 90 p. (1951; Zbl 0045.24001)]. Vermöge der kanonischen Homomorphismen \({\mathcal O}_X\to {\mathcal O}_X/{\mathcal J}\) erhält man einen Homomorphismus der Garben von Ringen \(\vartheta:{\mathcal O}_X\to\psi_*(\widehat{{\mathcal O}})= \varprojlim\limits_{{\mathcal J}\in\Phi} {\mathcal O}_X/{\mathcal J}\), wenn \(\psi\) die Injektion \(X'\to X\) bezeichnet. \(i=(\psi,\vartheta): \widehat{X}\to X\) ist daher ein Morphismus geringter Räume, und es ist der zu dem aus \({\mathcal F}\to{\mathcal F}\otimes({\mathcal O}_X/{\mathcal J})\) wie eben erhaltenen Homomorphismus \({\mathcal F}\to i_*(\widehat{\mathcal F})\) adjungierte Homomorphismus \(i_*({\mathcal F})\overset\sim\rightarrow\widehat{\mathcal F}\) ein Isomorphismus. Der Funktor \({\mathcal F}\to\widehat{\mathcal F}\) ist exakt. Ist \(f:X\to Y\) ein Morphismus zwischen Noetherschen Präschemata und sind \(X', Y'\) abgeschlossene Teilmengen mit \(f(X')\subset Y'\), dann besitzt \(f\) eine eindeutig bestimmte Fortsetzung auf die Komplettierungen von \(X\) bzw. \(Y\) längs \(X'\) bzw. \(Y'\) \(\widehat{f}:\widehat{X}\to \widehat{Y}\). Schließlich wird die Kategorie der formellen Schemata untersucht und es werden die wichtigsten Definitionen auf formelle Schemata übertragen (Noethersche formelle Präschemata, Morphismen von endlichem Typ, separierte Morphismen usw.).
Das 2. Kapitel behandelt einige neue Klassen von Morphismen, von denen hier im wesentlichen nur funktorielle und globale Eigenschaften betrachtet werden, die oft unschwer aus den Definitionen folgen. Die zu definierenden Klassen von Morphismen ergeben sich aus Klassen von algebraischen Varietäten in der klassischen algebraischen Geometrie nach dem folgenden Prinzip. An die Stelle des dort festen Grundkörpers \(k\) oder auch an die Stelle von \(\text{Spec}(k)\) tritt hier ein beliebiges Präschema \(S\), und anstatt eine \(k\) Varietät \(V\) zu betrachten, betrachtet man hier ein Präschema \(X\) zusammen mit einem Morphismus \(f:X\to S\). An die Stelle von Eigenschaften von \(V\) treten nun Eigenschaften des Morphismus \(f\). Aus diesen allgemeineren “relativen” Eigenschaften erhält man die “absoluten Eigenschaften” im Spezialfall, daß\(S= \text{Spec} (k)\) ein Punkt ist. Folgende triviale Tatsache wird hier verallgemeinert: Ist \(A\to B\) ein Homomorphismus zwischen Ringen, so entspricht diesem ein Morphismus zwischen den affinen Schemata \(f: \text{Spec} (B)\to\text{Spec}(A)\). Es ist \(A= \Gamma(\text{Spec}(A),\widetilde{A})\), \(\widetilde{A}\) die Strukturgarbe von \(\text{Spec}(A)\). Ganz, analog gilt nun, wenn \(\text{Spec}(A)\) durch ein beliebiges Präschema \(S\), \(\widetilde{A}\) durch dessen Strukturgarbe \({\mathcal O}_S\), ersetzt wird: Ist \({\mathcal B}\) eine quasikohärente (abgekürzt q.k.) Garbe von Ringen auf \(S\) und \({\mathcal O}_S\to{\mathcal B}\) ein Garbenhomomorphismus, kurz \(B\) eine q.k. \({\mathcal O}_S\)-Algebra, so gehört dazu ein Schema \(X= \text{Spec}({\mathcal B})\) und ein Morphismus \(f:X\to S\). Man erhält rückwärts \({\mathcal B}\) in der Form \({\mathcal B}= f_*({\mathcal O}_X)\). Ein Morphismus \(f\) zwischen Präschemata \(X@>f>>S\) heißt affin wenn \({\mathcal B}= f_*({\mathcal O}_X)\), q.k. ist, \(X= \text{Spec} ({\mathcal B})\) und \(f\) gleich dem zugehörigen Morphismus \(X\to S\) ist. Affine Morphismen sind durch folgende Eigenschaften gekennzeichnet: Es existiert eine Überdeckung \(S= \bigcup_\alpha S_\alpha\) von \(S\) durch offene affine \(S_\alpha\), so daßdie offenen Mengen \(\bar f^1(S_\alpha)\subset X\) affin sind. Die Kategorie der “über \(S\) affinen Schemata” ist dual zur Kategorie der q.k. \({\mathcal O}_S\)-Algebren über \(S\). Für ein beliebiges \(S\) Präschema \(Y\) und \(X= \text{Spec}({\mathcal B})\) wie oben entsprechen die \(S\)-Morphismen \(Y\to X= \text{Spec}({\mathcal B})\) eineindeutig den \({\mathcal O}_S\)-Homomorphismen \({\mathcal B}\to f_*({\mathcal O}_Y)\).
Ein vektorielles Faserbündel über \(S\) entsteht aus einer q.k. Garbe von \({\mathcal O}_S\)-Moduln \({\mathcal E}\) folgendermaßen: Man bildet mit dem \({\mathcal O}_S\)-Modul \({\mathcal E}\), die symmetrische Algebra \({\mathbf S}({\mathcal E})\), eine q.k. \({\mathcal O}_S\)-Algebra. \({\mathbf V}({\mathcal E})= \text{Spec}({\mathbf S}({\mathcal E}))\) ist dann das durch \({\mathcal E}\) definierte vektorielle Faserbündel über \(S\). Die Garbe der Keime von \(S\)-Schnitten von \({\mathbf V}({\mathcal E})\) ist gleich \(\check {\mathcal E}= \operatorname{Hom}_{{\mathcal O}_S} ({\mathcal E},{\mathcal O}_S)\). Die üblichen Vektorraumbündel entsprechen dabei den lokal freien \({\mathcal O}_S\)-Moduln \({\mathcal E}\).
Ist \(B\) eine graduierte \(A\)-Algebra, d.h. eine graduierte Algebra mit einem Ringhomomorphismus \(A\to B_0\) (= Bestandteil 0-ten Grades von \(B\)), und wird \(B_+= \bigoplus\limits_{n>0} B_n\) von \(B_1\) erzeugt, so wird in bekannter Weise über dem homogenen Spektrum (d.h. der Menge der homogenen Primideale von \(B\), die \(B_+\) nicht umfassen) die Struktur eines Schemas \(X= \text{Proj}(B)\) mit einem Morphismus \(X\to \text{Spec}(A)\) definiert. Den graduierten \(B\)-Moduln entsprechen q.k. \({\mathcal O}_X\)-Moduln, insbesondere den graduierten \(B\)-Moduln \(B(n)\) (Graduierung um \(n\) verschoben) invertierbare \({\mathcal O}_X\)-Moduln \({\mathcal O}_X(n)\) (bezüglich \(\otimes\), d.h. lokal zu \({\mathcal O}_X\) isomorphe \({\mathcal O}_X\)-Moduln). Ist \(\varphi: B'\to B\) ein Homomorphismus zwischen graduierten \(A\)-Algebren, \(X= \text{Proj}(B)\), \(X'= \text{Proj}(B')\), so wird durch \(\varphi\) im allgemeinen nur ein (affiner) Morphismus \(\Phi= \text{Proj} (\varphi): G(\varphi)\to X'\) über \(\text{Spec}(A)\), eines offenen Unterschemas \(G(\varphi)\) von \(X\) in \(X'\) definiert. Man hat einen kanonischen Homomorphismus \(\Phi^*({\mathcal O}_{X'}(n))\to {\mathcal O}_X(n)|_{G(\varphi)}\). Ganz analog erhält man, wenn \(\text{Spec}(A)\) durch ein beliebiges Präschema \(S\) ersetzt wird: Ist \({\mathcal B}\) eine q.k. graduierte \({\mathcal O}_S\)-Algebra, die von \({\mathcal B}_1\) erzeugt wird, so gehört dazu ein Präschema \(X= \text{Proj}({\mathcal B})\) und ein separierter Morphismus \(f:X\to S\), ferner invertierbare \({\mathcal O}_X\)-Moduln \({\mathcal O}_X(n)\). Ebenso gehört zu einem Homomorphismus \(\varphi:{\mathcal B}'\to{\mathcal B}\) von q.k. graduierten \({\mathcal O}_S\)-Algebren ein Morphismus \(\Phi= \text{Proj}(\varphi): G(\varphi)\to X'= \text{Proj}({\mathcal B}')\) über \(S\), wo \(G(\varphi)\) wieder im allgemeinen nur ein offenes Unterpräschema von \(X= \text{Proj}({\mathcal B})\) ist.
\(Y\) sei vermöge \(q:Y\to S\) ein Präschema über \(S\), \({\mathcal L}\) ein invertierbarer \({\mathcal O}_Y\) Modul. Dann ist \({\mathcal B}= \bigoplus\limits_{n\geq 0}{\mathcal L}^{\otimes n}\) eine q.k. graduierte \({\mathcal O}_Y\)-Algebra und \(\text{Proj}({\mathcal B})\) kanonisch isomorph zu \(Y\) [entsprechend der Isomorphie \(\text{Proj}(A[T])= \text{Spec}(A)\)]. Setzt man nun \(q^*({\mathcal B}')= {\mathcal B}''\), so ist \({\mathcal B}''\) eine q.k. graduierte \({\mathcal O}_Y\)-Algebra zu der das \(Y\)-Schema \(\text{Proj}(q^*({\mathcal B}'))= \text{Proj}({\mathcal B}')\underset {S}\times Y= X'\underset {S}\times Y\) gehört. Den Homomorphismen \(\varphi:{\mathcal B}''\to{\mathcal B}\) entsprechen nun wieder Morphismen \[ \Phi= \text{Proj}(\varphi): G(\varphi)\to X'\times_S Y\xrightarrow{\text{pr}_{X'}} X', \quad G(\varphi)\text{ offen in }Y. \]
Ein projektives Faserbündel \(X'\) über \(S\) entsteht aus einem q.k. \({\mathcal O}_Y\)-Modul \({\mathcal E}\) folgendermaßen: Man bildet die symmetrische Algebra \(S({\mathcal E})={\mathcal B}'\), eine q.k. \({\mathcal O}_S\)-Algebra, und setzt \(\text{Proj}(S ({\mathcal E}))= {\mathbb{P}}({\mathcal E})= X'\). Ein Homomorphismus \(\psi:q^*({\mathcal E})\to{\mathcal L}\) induziert einen Homomorphismus der Algebren \(q^*({\mathbf S}({\mathcal E}))\to{\mathcal B}\), also von \({\mathcal B}''= q^*({\mathcal B}')\to{\mathcal B}\). So erhält man eine \((1-1)\)-Beziehung zwischen \(S\)-Morphismen \(\Phi:Y\to \mathbb{P}({\mathcal E})= X'\) von ganz \(Y\) in \(X'\) und Klassen von Paaren \(({\mathcal L},\psi)\), bestehend aus einem invertierbaren \({\mathcal O}_Y\)-Modul \({\mathcal L}\) und einem surjektiven Homomorphismus \(\psi:q^*({\mathcal E})\to{\mathcal L}\). Es ist \({\mathcal L}\cong \Phi^*({\mathcal O}_{X'}(1))\). Insbesondere entsprechen die \(S\)-Schnitte von \({\mathbb{P}}({\mathcal E})1-1\) den q.k. \({\mathcal O}_S\)-Untermoduln \({\mathcal F}\) von \({\mathcal E}\) mit \({\mathcal E}/{\mathcal F}\) invertierbar. Dies führt zu folgenden Definitionen von aus der klassischen algebraischen Geometrie bekannten Begriffen jetzt in der allgemeinen Theorie der Schemata: Es sei \(Y@>q>>S\) wie oben ein \(S\)-Präschema. Ein invertierbarer \({\mathcal O}_Y\)-Modul \({\mathcal L}\) heißt streng vollständig (très ample) bezüglich \(q\) oder bezüglich \(S\), wenn ein q.k. \({\mathcal O}_S\)-Modul \({\mathcal E}\), und eine \(S\)-Einbettung \(\Phi:Y\to \mathbb{P}({\mathcal E})=X'\) existiert, so daß\({\mathcal L}\cong\Phi^*({\mathcal O}_{X'}(1))\) ist. \(Y\) ist also dann vermöge \(\Phi\) ein \(S\)-Unterschema von \(\mathbb{P}({\mathcal E})\). Ist \(q\) quasikompakt, das heißt ist das Urbild jeder offenen quasikompakten Menge in \(S\) quasikompakt in \(Y\), so ist \({\mathcal L}\) genau dann streng vollständig bezüglich \(q\), wenn \(q_*({\mathcal L})\) q.k., der kanonische Homomorphismus \(q^*(q_*({\mathcal L}))\to{\mathcal L}\) surjektiv und der zugehörige Morphismus \(\Phi:Y\to \mathbb{P}(q_*({\mathcal L}))\) eine Einbettung ist. Ist \(S\) Noethersch und \(q\) von endlichem Typ, so existiert ein kohärenter \({\mathcal O}_S\)-Modul \({\mathcal E}\) mit den obigen Eigenschaften bezüglich \({\mathcal L}\).
\(X\) sei ein quasikompaktes Schema, \({\mathcal L}\) ein invertierbarer \({\mathcal O}_X\)-Modul. Man kann \(X\) als Z-Schema auffassen: \(X\xrightarrow{p}\mathrm{Spec}(\mathbb Z)\). Mit \(B= \bigoplus\limits_{n\geq 0}\Gamma(X,{\mathcal L}^{\otimes n})\) hat man einen kanonischen Homomorphismus der graduierten \({\mathcal O}_X\)-Algebren \(\varphi:p^*(\widetilde{B})\to \bigoplus\limits_{n\geq 0}{\mathcal L}^{\otimes n}\cdot{\mathcal L}\) heißt vollständig, wenn für den zugehörigen Morphismus \(\Phi:X\supset G(\varphi)\to \text{Proj}(B)\) gilt: \(G(\varphi)=X\) und \(\Phi\) ist eine offene und dichte Einbettung von \(X\) in \(\text{Proj}(B)\). Bezeichnet man die Garbe \({\mathcal F}\otimes{\mathcal L}^{\otimes n}\) mit \({\mathcal F}(n)\), so ist dies äquivalent zu (i) Ist \({\mathcal F}\) q.k. und endlich erzeugter \({\mathcal O}_X\)-Modul (de type fini), so wird \({\mathcal F}(n)\) für alle \(n\geq n_0>0\) durch seine Schnitte über \(X\) erzeugt, und zu (ii) Ist \({\mathcal F}\) q.k. und endlich erzeugter \({\mathcal O}_X\)-Modul, so existieren \(n>0\), \(k>0\), so daß\({\mathcal F}\) Quotient des \({\mathcal O}_X\)-Moduls \({\mathcal L}^{\otimes(-n)}\otimes {\mathcal O}_X^k\) ist.
Ist \(S\) affin, \(q:X\to S\) separiert und quasi-kompakt, \({\mathcal L}\) ein invertierbarer \({\mathcal O}_X\)-Modul, dann sind äquivalent (i) \({\mathcal L}\) ist vollständig; (ii) Es existiert ein \(n_0>0\), so daßfür \(n\geq n_0{\mathcal L}^{\otimes n}\) streng vollständig bezüglich \(q\) ist; (iii) Es existiert ein \(n>0\), so daß\({\mathcal L}^{\otimes n}\) streng vollständig bezüglich \(q\) ist.
Ist \(f:X\to S\) quasikompakt, \({\mathcal L}\) ein invertierbarer \({\mathcal O}_X\)-Modul und \({\mathcal B}= \bigoplus\limits_{n\geq 0}f_*({\mathcal L}^{\otimes n})\), dann sind äquivalent (i) Es existiert eine Überdeckung \(S= \bigcup_\alpha U_\alpha\) durch offne affine \(U_\alpha\), so daß\({\mathcal L}|_{X_\alpha}\) über \(X_\alpha=\bar f^1(U_\alpha)\) vollständig ist; (ii) \({\mathcal B}\) ist q.k. und für den dem kanonischen Homomorphismus \(\varphi:f^*({\mathcal B})\to \bigoplus\limits_{n\geq 0}{\mathcal L}^{\otimes n}\) entsprechenden \(S\)-Morphismus \(\Phi:X\supset G(\varphi)\to \text{Proj}({\mathcal B})=P\) gilt: \(G(\varphi)=X\), und \(\Phi\) ist eine offene und dichte Einbettung von \(X\) in \(P\). \({\mathcal L}\) heißt dann relativ vollständig bezüglich \(f\), kurz \(f\)-vollständig oder \(S\)-vollständig. Ist \(S\) affin, so ist \({\mathcal L}\) \(S\)-vollständig genau dann, wenn \({\mathcal L}\) vollständig ist.
Ist \(X\) ein quasikompaktes Schema und \(f\) ein separierter, quasikompakter Morphismus \(f:X\to S\), so sind äquivalent (i) \({\mathcal L}\) ist \(f\) vollständig; (ii) Für jeden q.k. endlich erzeugten \({\mathcal O}_X\)-Modul \({\mathcal F}\) existiert ein \(n_0>0\), so daßfür \(n\geq n_0\) der kanonische Homomorphismus \(f^*(f_*({\mathcal F}\otimes{\mathcal L}^{\otimes n}))\to{\mathcal F}\otimes{\mathcal L}^{\otimes n}\) surjektiv ist; (iii) Für jedes q.k. endlich erzeugte \({\mathcal O}_X\)-Ideal \({\mathcal J}\) existiert ein \(n>0\), so daßder kanonische Homomorphismus \(f^*(f_*({\mathcal J}\otimes{\mathcal L}^{\otimes n}))\to{\mathcal J}\otimes{\mathcal L}^{\otimes n}\) surjektiv ist.
Ist \(S\) quasikompakt, \(f:X\to S\) von endlichem Typ, dann sind äquivalent (i) \({\mathcal L}\) ist \(f\)-vollständig; (ii) Es existiert ein \(n_0>0\), so daßfür alle \(n\geq n_0\) \({\mathcal L}^{\otimes n}\) streng vollständig bezüglich \(f\) ist; (iii) Es existiert ein \(n>0\), so daß\({\mathcal L}^{\otimes n}\) streng vollständig bezüglich \(f\) ist.
Ist \(S\) ein quasikompaktes Präschema, \({\mathcal B}\) eine q.k. endlich erzeugte \({\mathcal O}_S\)-Algebra, \(X= \text{Proj}({\mathcal B})\) und \(f:X\to S\) der kanonische Morphismus, dann ist \(f\) von endlichem Typ und es existiert ein \(d>0\), so daß\({\mathcal O}_X(d)\) invertierbar und \(f\)-vollständig ist. – §5 enthält das wichtige Serresche Kriterium: Ist \(X\) ein quasikompaktes Schema oder ein Präschema mit Noetherschem unterliegendem Raum, so ist \(X\) genau dann affin, wenn der Funktor \({\mathcal F}\to\Gamma(X,{\mathcal F})\) auf der Kategorie der q.k. \({\mathcal O}_X\)-Moduln \({\mathcal F}\) exakt ist.
Ebenso ist der separierte quasikompakte Morphismus \(f:X\to Y\) genau dann affin, wenn \(f_*\) exakt auf der Kategorie der q.k. \({\mathcal O}_X\)-Moduln ist. Ein Morphismus \(f:X\to Y\) heißt quasiprojektiv kurz q.p. oder \(X\) ist q.p. über \(Y\), wenn \(f\) von endlichem Typ ist, und wenn ein \(f\)-vollständiger \({\mathcal O}_X\)-Modul existiert. Für ein quasikompaktes \(Y\) ist dies äquivalent mit der Existenz eines q.k. endlich erzeugten \({\mathcal O}_Y\)-Moduls \({\mathcal E}\), so daß\(X\) \(Y\)-isomorph einem Unterpräschema von \({\mathbb{P}} ({\mathcal E})\) ist. Existiert ein vollständiger \({\mathcal O}_Y\)-Modul \({\mathcal L}\), so kann \({\mathcal E}\) sogar \(={\mathcal O}_Y^n\) gewählt werden.
Ein Morphismus \(f:X\to Y\) heißt eigentlich (propre), wenn \(f\) separiert und von endlichem Typ ist und wenn für jedes Präschema \(Y'\) über \(Y\) die Projektion \(X\underset {Y}\times {Y'} Y'\) ein abgeschlossener Morphismus ist (das heißt das Bild einer abgeschlossenen Menge wieder abgeschlossen ist).
Ein Morphismus \(X\to Y\) heißt projektiv, wenn \(X\) \(Y\)-isomorph einem abgeschlossenen Unterpräschema eines projektiven Faserbündels \({\mathbb{P}}({\mathcal E})\) zu einem endlich erzeugten q.k. \({\mathcal O}_Y\)-Modul \({\mathcal E}\) ist. – Ist \(Y\) ein quasikompaktes Schema, so ist \(X\xrightarrow{f}Y\) projektiv genau dann, wenn es quasiprojektiv und eigentlich ist.
Schließlich wird das Chowsche Lemma in folgender Form bewiesen: \(S\) sei Noethersch oder es sei \(S\) ein quasikompaktes Schema und \(X\) habe nur endlich viele irreduzible Komponenten, \(X\to S\) sei von endlichem Typ. Dann existiert ein q.p. \(S\)-Schema \(X'\) und ein projektiver und surjektiver \(S\)-Morphismus \(f:X'\to X\) und ein offenes \(U\subset X\) mit \(U'= \bar f^1(U)\) dicht in \(X'\) und \(f|_{U'}: U'\to U\) ein Isomorphismus \(X\to S\) ist genau dann eigentlich, wenn \(X'\to S\) sogar projektiv ist, und \(U\) kann dann sogar dicht in \(X\) gewählt werden. Ein affiner Morphismus \(f:X\to S\) heißt ganz bzw. endlich, wenn es eine Überdeckung \(S= \bigcup_\alpha S_\alpha\) durch offene affine \(S_\alpha\) zu Ringen \(A_\alpha\) gibt, so daßdie \(\bar f^1(S_\alpha)\) affin zu Ringen \(B_\alpha\) sind, die ganz bzw. endliche Moduln über \(A_\alpha\) sind. Ist \(X\to S\) ganz und von endlichem Typ, so ist \(X\to S\) endlich. Ein endlicher Morphismus ist projektiv.
Es werden quasiendliche Morphismen sowie die ganze Abschließung eines Präschemas definiert.
Für endliche Morphismen \(X'\to X\) und invertierbare \({\mathcal O}_{X'}\)-Moduln \({\mathcal L}\) wird \(N_{X'|X}({\mathcal L})\), ein invertierbarer \({\mathcal O}_X\)-Modul, definiert, und damit werden Kriterien für relative Vollständigkeit von \({\mathcal L}\) gewonnen. Ferner wird der folgende Satz von Chevalley bewiesen. Ist \(X\) ein affines Schema und \(Y\) ein Noethersches Präschema, \(f:X\to Y\) ein endlicher und surjektiver Morphismus, so ist \(Y\) affin.
In §7 werden bewertungstheoretische Kriterien für die Eigenschaften eines Morphismus, separiert bzw. eigentlich zu sein, angegeben, die den bekannten Kriterien im Funktionenkörper im Falle irreduzibler algebraischer Varietäten entsprechen. Der Fall der algebraischen Kurven wird eingeordnet. – In §8 schließlich wird der Prozeßdes Aufblasens, der sich mit den zuvor definierten Begriffen besonders einfach formulieren läßt, behandelt: Ist \(Y\) ein Präschema (bzw. ein lokal integeres Präschema, das heißt lokal irreduzibel und reduziert) und \({\mathcal J}\) ein q.k. Ideal \(\subset{\mathcal O}_Y\) (bzw. ein “gebrochenes” q.k. Ideal \(\subset{\mathcal R}(Y)\), der Garbe der Keime rationaler Funktionen auf \(Y\)), dann ist das \(Y\)-Schema \(X= \text{Proj} (\bigoplus\limits_{n\geq 0}{\mathcal J}^n)\) das durch Aufblasen von \(J\) aus \(Y\) erhaltene Präschema. Schließlich wird der projizierende Kegel und die projektive Abschließung in der Sprache der Schemata behandelt und das folgende Kriterium von Grauert für Vollständigkeit bewiesen: \(Y\) sei ein Präschema, \(p:X\to Y\) ein separierter quasikompakter Morphismus, \({\mathcal L}\) ein invertierbarer \({\mathcal O}_X\)-Modul. \({\mathcal L}\) ist genau dann \(p\) vollständig, wenn ein \(Y\)-Präschema \(C\) und ein \(Y\)-Schnitt \(\varepsilon:Y\to C\) von \(C\) existiert, sowie ein \(Y\) Morphismus \(q:{\mathbf V}({\mathcal L})\to C\), so daß \[ \begin{tikzcd} X\ar[r,"j"]\ar[d,"p" ']&\mathbf V({\mathcal L})\ar[d,"q"]\\ Y\ar[r,"\varepsilon" '] & C \rlap{\,,} \end{tikzcd} \tag{i} \] wo \(j\) der Nullschnitt des Geradenbündels \({\mathbf V}({\mathcal L})\) ist, kommutativ ist, und (ii) die Einschränkung von \(q\) auf \({\mathbf V}({\mathcal L})-j(X)\) eine offene quasikompakte Einbettung \({\mathbf V}({\mathcal L})-j(X)\to C\) ist, deren Bild \(\varepsilon(Y)\) nicht trifft.
Dem ersten Teil des 3. Kapitels vorangestellt sind wieder fünf Paragraphen des Kapitels 0. Einer derselben befaßt sich zunächst mit repräsentierbaren Funktoren. Ist \({\mathbf C}\) irgendeine Kategorie und \({\mathbf E}\) die Kategorie der Mengen, so wird für ein festes Objekt \(X\in{\mathbf C}\) durch \(Y\rightsquigarrow h_X(Y)= \operatorname{Hom}_{\mathbf C}(Y,X)\) ein Kontrafunktor von \({\mathbf C}\) in \({\mathbf E}\) definiert. Man erhält so, wenn \(X\) die Kategorie \({\mathbf C}\) durchläuft einen Funktor \(h:{\mathbf C}\to{\mathbf {Hom}}({\mathbf C}^0,{\mathbf E})\) von \({\mathbf C}\) in die Kategorie der Kontrafunktoren von \({\mathbf C}\) in \({\mathbf E}\). Ist \(F\) irgendein Kontrafunktor \(\in{\mathbf {Hom}}({\mathbf C}^0,{\mathbf E})\), so hat man eine natürliche Bijektion von \(\operatorname{Hom}(h_X,F)\) in \(F(X)\). Für \(F=h_X\), erhält man so: Der Funktor \(h:{\mathbf C}\to {\mathbf {Hom}}({\mathbf C}^0,{\mathbf E})\) ist vollkommen treu (pleinement fidèle), d.h. die kanonische Abbildung \(\operatorname{Hom}(X,X')\to\operatorname{Hom} (h_X,h_{X'})\) ist eine Bijektion, und definiert eine Äquivalenz von \({\mathbf C}\) mit der vollen Unterkategorie der Funktoren der Form \(h_X\), \(X\in{\mathbf C}\). Diese Kontrafunktoren heißen repräsentierbare Kontrafunktoren.
Eine innere Verknüpfung (loi de composition interne) auf \(X\) wird nun definiert durch einen Morphismus von Funktoren \(\gamma_X:h_X\times h_X\to h_X\). Dabei ist für alle \(Y\in{\mathbf C}\) \((h_X\times h_X)(Y)= h_X(Y)\times h_X(Y)\), wo das rechte \(\times\) das übliche kartesische Produkt in \({\mathbf E}\) bezeichnet. Für jedes \(Y\in{\mathbf C}\) ist demnach \(\gamma_X(Y)\) eine Abbildung \(\gamma_X(Y): h_X(Y)\times h_X(Y)\to h_X(Y)\), also eine innere Verknüpfung in \(h_X(Y)\), so daßfür jeden Morphismus \(u:Y\to Y'\) in \({\mathbf C}\) \[ \begin{tikzcd} [column sep=2.5cm] h_X(Y')\times h_X(Y') \ar[r,"h_X(u)\times h_X(u)"]\ar[d,"\gamma_X(Y^\prime)" '] & h_X(Y)\times h_X(Y) \ar[d,"\gamma_X(Y)"]\\ h_X(Y^\prime) \ar[r,"h_X(u)" '] & h_X(Y) \end{tikzcd} \] kommutativ, d.h. \(h_X(u)\) ein Homomorphismus von \(h_X(Y')\) in \(h_X(Y)\) ist. Wenn \(\gamma_X\) so beschaffen ist, daß\(\gamma_X(Y)\) für alle \(Y\subset{\mathbf C}\) eine Gruppe auf \(h_X(Y)\) definiert, so heißt \(X\) mit \(\gamma_X\) eine \({\mathbf C}\)-Gruppe oder eine Gruppe in \({\mathbf C}\). Analog definiert man \({\mathbf C}\)-Ringe usw. Existiert in \({\mathbf C}\) das Produkt \(X\times X\), dann ist \(h_{X\times X}\times h_X\times h_X\) und der funktorielle Morphismus \(\gamma_X\) definiert eindeutig einen Morphismus \(c_X\in \operatorname{Hom}_{\mathbf C}(X\times X,X)\), und eine innere Verknüpfung auf \(X\) wird daher auch gegeben durch einen Morphismus \(c_X: X\times X\).
Ein weiterer Paragraph bringt allgemeines über die von C. Chevalley eingeführten konstruierbaren Mengen, insbesondere in Noetherschen Räumen. Konstruierbare Mengen sind im Falle der klassischen algebraischen Geometrie die endlichen Durchschnitte von in der Zariski-Topologie abgeschlossenen und offenen Teilmengen. Schließlich bringt ein Paragraph weitere Eigenschaften flacher Moduln (modules plats) und Erweiterungen, bezüglich deren Beweis auf Bourbaki, Éléments de mathématique. Fasc. XXVIII: Algèbre commutative. Chap. III., IV. (Paris 1961) verwiesen wird, und ein Paragraph Ergänzungen hauptsächlich zu des Verf. Tôhoku-Arbeit [Tohoku Math. J., II. Ser. 9, 119–221 (1957; Zbl 0118.26104)] über spektrale Folgen, Hypercohomologie eines Funktors bezüglich eines Komplexes, Übergang zu induktiven Limites in der Hypercohomologie und anderes. Ferner werden Ergänzungen zur Garbencohomologie, die höheren direkten Bilder, das sind die rechts abgeleiteten Funktoren des linksexakten Funktors “direktes Bild” und die lokalen Ext-Funktoren sowie die Hypercohomologie des Funktors “direktes Bild” behandelt. Schließlich ist ein Paragraph noch den projektiven Limites gewidmet, insbesondere wird untersucht, wann der Funktor \(\varprojlim\) exakt ist (Bedingung von Mittag-Leffler).
Von dem eigentlichen 3. Kapitel, von dem in einer Übersicht die Titel von 11 Paragraphen angegeben werden, enthält dieser 1. Teil die Paragraphen 1–5. Inzwischen ist ein zweiter Teil mit den Paragraphen 6 und 7 erschienen. Von den weiteren Paragraphen liegt zur Zeit z.B. schon teilweise §9, Relative und lokale Cohomologie, lokale Dualität, als Seminarausarbeitung des Séminaire de Géométrie algébrique 1962 am Inst. Haut. Étud. Sci. in einer vorläufigen Form vor [SGA 2, Sém. Géom. Alg. (1962; Zbl 0159.50402)]. Die ersten 5 Paragraphen des ersten Teils enthalten in den Paragraphen 1 und 2 die Serreschen Resultate aus FAC über die Cohomologie affiner und projektiver Varietäten in dem allgemeinen Rahmen der Schemata sowie in den folgenden 3 Paragraphen des Verf. Erweiterung des Endlichkeitssatzes auf eigentliche Morphismen und auf formelle Schemata sowie die fundamentalen Sätze über die Beziehungen zwischen gewöhnlicher und formeller Cohomologie zusammen mit einem Existenzsatz, die z.B. einen natürlichen Beweis des Zariskischen Zusammenhangssatzes liefern.
Im Einzelnen beginnt §1 mit einigen Eigenschaften des Koszul-Komplexes (complexe de l’algèbre extérieure) des Ringes \(A\) zu einem Elementsystem \({\mathbf f}= (f_1,\dots,f_r)\), der hier mit \(K_\bullet ({\mathbf f})\) bezeichnet wird. Für ein zweites Elementsystem \({\mathbf g}= (g_1,\dots,g_r)\) definiert man \({\mathbf {fg}}= (f_1g_1,f_2g_2,\dots,f_rg_r)\) und hat einen kanonischen Homomorphismus \(\varphi_g:K_\bullet(fg)\to K_\bullet(f)\). Für einen \(A\)-Modul \(M\) sei \(K_\bullet({\mathbf f},M)= K_\bullet({\mathbf f})\underset {A}\times M\), \(K^\bullet({\mathbf f},M)= \operatorname{Hom}_A(K_\bullet({\mathbf f}),M)\) und \(H_\bullet({\mathbf f},M)= H_\bullet(K_\bullet({\mathbf f},M))\) die Homologie bzw. \(H^\bullet({\mathbf f},M)= H^\bullet(K^\bullet({\mathbf f},M))\) die Cohomologie der Komplexe. Ist das Ideal \(({\mathbf f})=A\), dann sind die Komplexe \(K_\bullet({\mathbf f})\) und \(K^\bullet({\mathbf f})\) homotop trivial, also ist \(H_\bullet({\mathbf f},M)= H^\bullet({\mathbf f},M)=0\). Die Bedeutung des Koszul-Komplexes für die Cohomologie liegt in folgender Tatsache: Ist \(X\) ein Präschema mit Noetherschem unterliegendem Raum oder ein quasikompaktes Schema, \({\mathcal F}\) ein q.k. (d.h. quasikohärenter) \({\mathcal O}_X\)-Modul, \(A= \Gamma(X,{\mathcal O}_X)\), \(M= \Gamma(X,{\mathcal F})\), \({\mathbf f}=(f_1,\dots,f_r)\) ein System von Elementen aus \(A\), \(U_i= X_{fi}\) die offene Menge der \(x\in X\) mit \(f_i(x)\neq 0\), \(U= \bigcup_{i=1}^r U_i\), \({\mathfrak U}\) die Überdeckung \((U_i)_{1\leq i\leq r}\) von \(U\), so hat man einen kanonischen Isomorphismus der Gruppe der alternierenden Čechschen \(p\)-Koketten zur Überdeckung \({\mathfrak U}\) mit Koeffizienten in \({\mathcal F}\) \[ C^p({\mathfrak U},{\mathcal F})\overset\sim\rightarrow C_{p+1}\big(({\mathbf f}),M\big) \underset{\text{def}}= \varinjlim_n K^{p+1}({\mathbf f}^n,M), \] wo rechts der induktive Limes des Systems von \((p+1)\)-Bestandteilen der KoszulKomplexe \(K^\bullet({\mathbf f}^n,M)\) zu den Elementsystemen \(({\mathbf f}^n)\) mit den Homomorphismen \(\varphi_{{\mathbf f}^{m-n}}:K^\bullet({\mathbf f}^n,M)\to K^\bullet({\mathbf f}^m,M)\) für \(0\leq n\leq m\) steht. Dieser Isomorphismus ist mit Korandbildung verträglich. Somit hat man, wenn \[ C^\bullet\big(({\mathbf f}),M\big) \underset{\text{def}}= \varinjlim_nK^\bullet({\mathbf f}^n,M) \quad\text{und}\quad H^q\big(({\mathbf f}),M\big) \underset{\text{def}}= H^q\big(C^\bullet({\mathbf f}),M\big)= \varinjlim_nH^q({\mathbf f}^n,M) \] kanonische Isomorphismen der Čechschen Cohomologiegruppen zur Überdeckung \({\mathfrak U}\) mit Koeffizienten in \({\mathcal F}\), \(H^p({\mathfrak U},{\mathcal F})\overset\sim\rightarrow H^{p+l}(({\mathbf f}),M)\) für \(p\geq1\) und eine kanonische exakte Folge \[ 0\to H^0\big(({\mathbf f}),M\big)\to M\to H^0({\mathfrak U},{\mathcal F})\to H^1\big(({\mathbf f}),M\big)\to 0. \] Ist nun insbesondere \(X\) ein affines Schema, so hat man beliebig feine endliche Überdeckungen von \(X\) durch Mengen \(X_{fi}=D(f_i)\), \(f_i\in A\), und das von einem zugehörigen Elementsystem erzeugte Ideal \((f_i)_{1\leq i\leq r}=A\). Übergang zum Limes liefert für die Čechsche Cohomologie [vgl. R. Godement, Topologie algébrique et théorie des faisceaux. Paris: Hermann & Cie. (1958; Zbl 0080.16201)] \(\check H^p(X,{\mathcal F})=0\) und ebenso für jedes \(X_fH^p(X_f,{\mathcal F})=0\) für \(p>0\). Dann ist aber auch die Garbencohomologie \(H^p(X,{\mathcal F})=0\) für \(p>0\). Als Corollar ergibt sich. Ist \(f:X\to Y\) affin, \({\mathcal F}\) ein q.k. \({\mathcal O}_X\)-Modul, so ist \(R^qf_* ({\mathcal F})=0\) für \(q>0\) und man hat kanonische Isomorphismen \(H^p(Y,f_*({\mathcal F})) \overset\sim\rightarrow H^p (X,{\mathcal F})\) für jedes \(p\).
Für ein beliebiges Schema \(X\) und eine Überdeckung \({\mathfrak U}= (U_\alpha)\) von \(X\) durch offene affine Mengen \(U_\alpha\) und jeden q.k. \({\mathcal O}_X\)-Modul \({\mathcal F}\) hat man daher nach Leray \(H^\bullet(X,{\mathcal F})\cong H^\bullet({\mathfrak U},{\mathcal F})\).– §2 enthält die Cohomologietheorie projektiver Morphismen. Analog zu obigem Ergebnis über die Čech Cohomologie zu einer bestimmten Überdeckung \({\mathfrak U}= (U_i)_{1\leq i\leq r}\) von \(U=\bigcup_i U_i\) mit Koeffizienten in einem q.k. \({\mathcal O}_X\)-Modul \({\mathcal F}\) erhält man unter denselben Voraussetzungen über \(X\) für einen invertierbaren \({\mathcal O}_X\)-Modul \({\mathcal L}\) mit \(S= \Gamma_*(X,{\mathcal L}) \underset{\text{def}}= \bigoplus\limits_{n\in{\mathbf Z}} \Gamma(X,{\mathcal L}^{\otimes n})\), \[ M=\Gamma_*({\mathcal L},{\mathcal F}) \underset{\text{def}}= \bigoplus_{n\in{\mathbf Z}} \Gamma(X,{\mathcal F}\oplus{\mathcal L}^{\otimes n}) \] und ein System \(({\mathbf f})= (f_1,\dots, f_r)\) von homogenen Elementen aus \(S\) mit analog definierten \(U_i= X_{fi}\), für die graduierten \(S\)-Moduln \[ H^p\big({\mathfrak U},{\mathcal F}(*)\big) \underset{\text{def}}= \bigoplus_{n\in{\mathbf Z}} H^p\big({\mathfrak U},{\mathcal F}(n)\big) \overset\sim\rightarrow H^{p+1}\big(({\mathbf f}),M\big) \text{ für }p\geq 1 \quad\text{und} \] \[ 0\to H^0\big(({\mathbf f}),M\big)\to M\to H^0\big({\mathfrak U},{\mathcal F}(*)\big)\to H^1\big(({\mathbf f}),M\big)\to 0 \] exakt. Ist \(X\) ein quasikompaktes Schema und sind die \(U_i=X_{fi}\) affin, so ist nach Leray \(H^p({\mathfrak U},{\mathcal F}(*))\cong H^p(U,{\mathcal F}(*))\). Man hat damit also eine Möglichkeit gewonnen, \( H^p(U,{\mathcal F}(*))\) zu berechnen. Analog gilt für einen positiv graduierten Ring \(S\), einen graduierten \(S\)-Modul \(M\) und homogene Elemente \(f_i\) \((1\leq i\leq r)\in S_+\), wenn \(X = \text{Proj}(S)\), \(U_i=D_+(f_i)\), \(U=\bigcup_i U_i\), \(\widetilde{M(n)}\) den zu dem \(S\)-Modul \(M (n)\) gehörigen q.k. \(O_X\)-Modul bezeichnet: \(H^p(U,\widetilde{M(*)}) \overset\sim\rightarrow H^{p+1}(({\mathbf f}),M)\) und \[ 0\to H^0\big(({\mathbf f}),M\big)\to M\to H^0\big(U, \widetilde{M(*)}\big)\to H^1\big(({\mathbf f}),M\big)\to 0 \] ist exakt. Dies erlaubt im Falle \(S=A[T_0,\dots,T_r]\), \(({\mathbf f})= (T_0,\dots,T_r)\) die explizite Berechnung der \(H^i(X, {\mathcal O}_X(*))\) für \(X = \text{Proj}(S)\). Damit ist man nun in der Lage, das Fundamentaltheorem von Serre für projektive Morphismen durch Reduktion auf den Fall \(X = \text{Proj}(S)\), \(S =A [T_0,\dots,T_r]\), und in diesem Fall durch absteigende Induktion nach \(q\) zu beweisen: Ist \(Y\) ein Noethersches Präschema, \(f:X\to Y\) ein eigentlicher Morphismus, \({\mathcal L}\) ein invertierbarer bezüglich \(f\) vollständiger \({\mathcal O}_X \)-Modul, dann gilt für jeden kohärenten \({\mathcal O}_X\)-Modul \({\mathcal F}\) mit \({\mathcal F}(n) ={\mathcal F}\underset {{\mathcal O}_Y}\times{\mathcal L}^{\otimes n}\). (i) Die \(R^q f_*({\mathcal F})\) sind kohärente \({\mathcal O}_Y\)-Moduln. (ii) Es existiert ein \(n_0\), so daßfür \(n\geq n_0\) \(R^qf_*({\mathcal F}(n))=0\) für alle \(q>0\). (iii) Es existiert ein \(n_0\), so daßfür \(n\geq n_0\) der kanonische Homomorphismus \(f^*(f_*({\mathcal F}(n)))\to{\mathcal F}(n)\) surjektiv ist. Umgekehrt folgt für einen beliebigen invertierbaren \({\mathcal O}_X\)-Modul \({\mathcal L}\) aus (ii) die Vollständigkeit von \({\mathcal L}\) bezüglich \(f\). Als Anwendung ergibt sich zunächst wie bei Serre für ein Noethersches Präschema \(Y\), eine positiv graduierte q.k. endlich erzeugte \({\mathcal O}_Y\)-Algebra \({\mathcal B}\) und \(X = \text{Proj}({\mathcal B})\) eine Äquivalenz zwischen der Kategorie der kohärenten \({\mathcal O}_X\)-Moduln und einer Quotientenkategorie einer Unterkategorie der Kategorie der q.k. graduierten \({\mathcal B}\)-Moduln über \(Y\). (Bem. des Ref.: Eine entsprechende Äquivalenz erhält man für die Kategorie der q.k. \({\mathcal O}_X\)-Moduln.) Ferner erhält man folgenden Satz: Ist \(Y\) ein Noethersches, integeres Präschema, \(X\) integer und \(f:X\to Y\) ein projektiver birationaler Morphismus; dann existiert ein kohärentes gebrochenes Ideal \({\mathcal J}\subset{\mathcal R}(Y)\), \({\mathcal R}(Y)\) die Garbe der Keime rationaler Funktionen, auf \(Y\), so daß\(X\) \(Y\)-isomorph ist dem durch Aufblasen von \({\mathcal J}\) aus \(Y\) erhaltenen Präschema. Insbesondere gilt: Sind \(X\) und \(Y\) zwei integere über \(k\) projektive Schemata und ist \(f:X\to Y\) ein birationaler \(k\) Morphismus, dann ist \(X\) \(k\)-isomorph zu einem \(Y\)-Schema, das durch Aufblasen eines abgeschlossenen (nicht notwendig reduzierten) Unterschemas \(Y'\) von \(Y\) aus \(Y\) entstanden ist.
§3 enthält den Endlichkeitssatz für eigentliche Morphismen: Ist \(Y\) ein lokal Noethersches Präschema, \(f:X\to Y\) ein eigentlicher Morphismus, dann sind für jeden kohärenten \({\mathcal O}_X\)-Modul \({\mathcal F}\) die höheren Bilder \(R^qf_*({\mathcal F})\) kohärente \({\mathcal O}_Y\)-Moduln für \(q\geq 0\). Der Beweis verwendet das “Lemma de dévissage”. \(X\) sei ein Noethersches Präschema, \({\mathbf K}\) die abelsche Kategorie der kohärenten \({\mathcal O}_X\)-Moduln, \({\mathbf K}'\) eine exakte Untermenge von \({\mathbf K}\) (d.h. \(0\in{\mathbf K}'\) und \(0\to A'\to A\to A''\to 0\) exakt in \({\mathbf K}\), zwei der \(A', A, A''\in {\mathbf K}'\), so folgt auch das dritte \(\in {\mathbf K}'\)), \(X'\) eine abgeschlossene Teilmenge des Raumes \(X\). Existiert nun für jede abgeschlossene irreduzible Teilmenge \(Y\) von \(X'\) mit allgemeinem Punkt \(y\) ein \({\mathcal O}_X\)-Modul \({\mathcal G}\in{\mathbf K}'\), so daßdie Faser \({\mathcal G}_y\) ein \(k(y)\) Vektorraum der Dimension 1 ist, so enthält \(K'\) jeden kohärenten \({\mathcal O}_X\)-Modul mit Träger in \(X'\).
Ein entsprechender Endlichkeitssatz wird für formelle Schemata bewiesen.
§4 schließlich bringt die fundamentalen Tatsachen über Vertauschbarkeit von direktem Bild und Komplettierung bei eigentlichen Morphismen: \(X, Y\) seien Noethersche Präschemata, \(f:X\to Y\) ein eigentlicher Morphismus, \(Y'\subset Y\) abgeschlossen und \(X'= \bar f^1(Y')\subset X\), \(\widehat{X}\) bzw. \(\widehat{Y}\) die durch Komplettierung von \(X\) bzw. \(Y\) längs \(X'\) bzw. \(Y'\) erhaltenen formellen Präschemata, \(\widehat{f}: \widehat{X}\to \widehat{Y}\) die Komplettierung von \(f\), \(F\) ein kohärenter \({\mathcal O}_X\)-Modul und \(\widehat{F}\) seine Komplettierung im Sinne von Kap. I, ein kohärenter \({\mathcal O}_{\widehat{X}}\)-Modul, \({\mathcal J}\) ein q.k. Ideal \(\subset{\mathcal O}_Y\) mit Träger \(({\mathcal O}_Y/{\mathcal J})= Y'\). Bezeichnet man für \(k>0\) die kohärenten \({\mathcal O}_X\)-Moduln \({\mathcal F}\bigotimes_{{\mathcal O}_Y} ({\mathcal O}_Y/{\mathcal J}^{k+1})\) mit \({\mathcal F}_k\), so hat man ein kommutatives Diagramm von kanonischen topologischen Isomorphismen \[ \begin{tikzcd}[column sep=tiny] \left(R^nf_*(\mathcal F)\right)^\wedge \ar[rr,"\sim"]\ar[dr] && R^n \widehat{f}_*(\widehat{\mathcal F})\ar[dl]\\ & \varprojlim_k R^nf_*(\mathcal F_k) & \end{tikzcd} \] und \(R^n\widehat{f}_*({\widehat{\mathcal F}})\) ist ein kohärenter \({\mathcal O}_{\widehat{X}}\)-Modul.
Als Folgerung erhält man: Ist \(Y\) lokal Noethersch, \(f:X\to Y\) eigentlich und \(F\) kohärenter \({\mathcal O}_X\)-Modul, dann ist für \(y\in Y\) die Faser \((R^nf_*({\mathcal F}))_y\) ein endlich erzeugter \({\mathcal O}_y\)-Modul, also separiert in der \(m_y\)-adischen Topologie und man hat einen kanonischen topologischen Isomorphismus \[ \left(R^nf_*({\mathcal F})\right)_y^\wedge \xrightarrow{\sim} \varprojlim_k H^n\left(\bar f^1(y),{\mathcal F}\bigoplus_{{\mathcal O}_Y}({\mathcal O}_y/m_y^k)\right). \]
Für \(n=0\) erhält man so den Zusammenhangssatz von Zariski: Ist \(Y\) ein lokal Noethersches Präschema, \(f:X\to Y\) eigentlich, so ist \(f_*({\mathcal O}_X)\) eine kohärente \({\mathcal O}_Y\)-Algebra. \(Y'\) sei daszu dieser gehörige über \(Y\) endliche affine \(Y\)-Schema, also mit \(f_*({\mathcal O}_{Y'})= f_*({\mathcal O}_X)\). Dann hat man (vgl. Kap. II) eine kanonische Faktorisierung von \(f\) in \(X\xrightarrow{f'}Y'\to Y\) (Steinsche Faktorisierung). \(f'\) ist eigentlich, \(f_*'({\mathcal O}_X)\simeq{\mathcal O}_Y\), und die Faser \(\overline{f'}^1(y)\) von \(f'\) sind zusammenhängend und nicht leer für alle \(y'\in Y'\). Daraus ergeben sich mannigfache Folgerungen unter anderem Zariskis “main theorem”.
Ein Existenztheorem in §5 vervollständigt diese Theorie: \(A\) sei ein adischer Noetherscher Ring, \(J\) ein Definitionsideal in \(A\), \(Y= \text{Spec}(A)\), \(Y'\) die durch \(J\) definierte abgeschlossene Teilmenge von \(Y\), \(f:X\to Y\) ein separierter Morphismus endlichen Typs und \(X'= \bar f^1(Y')\). Bezeichnen \(\widehat{X}\) bzw. \(\widehat{Y}\) und \(\widehat{f}:\widehat{X}\to \widehat{Y}\) die Komplettierungen von \(X\) bzw. \(Y\) längs \(X'\) bzw. \(Y'\) und von \(f\), so definiert der Funktor \(F\rightsquigarrow \widehat{F}\) eine Äquivalenz zwischen der Kategorie der kohärenten \({\mathcal O}_X\)-Moduln mit eigentlichem Träger auf \(\text{Spec}(A)\) und der Kategorie der kohärenten \({\mathcal O}_{\widehat{X}}\)-Moduln mit eigenlichem Träger auf \(\text{Spf}(A)\).
Ist \(f\) eigentlich, so gilt der obige Satz ohne die beiden Einschränkungen “mit eigentlichem Träger”.

MSC:

14-02 Research exposition (monographs, survey articles) pertaining to algebraic geometry
14Axx Foundations of algebraic geometry
14Fxx (Co)homology theory in algebraic geometry
PDFBibTeX XMLCite

References:

[1] Chevalley, C., Introduction to the theory of algebraic functions of one variable, Math. Surveys (1951), New York: Amer. Math. Soc., New York · Zbl 0045.32301
[2] Jaffard, P., Les systèmes d’idéaux (1960), Paris: Dunod, Paris · Zbl 0101.27502
[3] Nagata, M., On the derived normal rings of Noetherian integral domains, Mem. Coll. Sci. Kyoto, XXIX, 293-303 (1955) · Zbl 0067.26603
[4] Nagata, M., Existence theorems for non projective complete algebraic varieties, Ill. J. Math., II, 490-498 (1958) · Zbl 0081.37503
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.