Quelltext der Seite Lokal-Global-Prinzip (Kommutative Algebra)

Das '''Lokal-Global-Prinzip''' der [[Kommutative Algebra|kommutativen Algebra]] ist eine Methode, Aussagen über [[Kommutativer Ring|kommutative Ringe mit Einselement]] oder ihre [[Modul (Mathematik)|Moduln]]  auf entsprechende Aussagen über [[Lokaler Ring|lokale Ringe]] zurückzuführen, wo der Beweis auf Grund der spezielleren Situation oft einfacher ist.

''Dieser Artikel beschäftigt sich mit kommutativer Algebra. Insbesondere sind alle betrachteten Ringe kommutativ und haben ein Einselement. Ringhomomorphismen bilden Einselemente auf Einselemente ab. Für weitere Details siehe [[Kommutative Algebra]].''

== Grundidee ==
Es sei <math>M</math> ein <math>R</math>-Modul über einem kommutativen Ring <math>R</math> mit Einselement. Ist <math>S\subset R</math> eine multiplikativ abgeschlossene Teilmenge, die das Einselement enthält, so kann man zur sogenannten  [[Lokalisierung (Algebra)|Lokalisierung]] <math>S^{-1}R</math> übergehen und auch zum lokalisierten <math>S^{-1}R</math>-Modul <math>S^{-1}M</math>. Auch [[Modulhomomorphismus|Modulhomomorphismen]] <math>f \colon M\rightarrow N</math> lokalisieren zu <math>S^{-1}f \colon S^{-1}M \rightarrow S^{-1}N</math>.

In den hier zu besprechenden Anwendungen ist <math>S</math> das [[Komplement (Mengenlehre)|Komplement]] eines [[Primideal]]s, sogar eines [[Maximales Ideal|maximalen Ideals]]. Ist <math>\mathfrak{p}\subset R</math> ein Primideal, so schreibt man kürzer <math>R_{\mathfrak p}</math>, <math>M_{\mathfrak p}</math> und <math>f_{\mathfrak{p}}</math> statt <math>(R\setminus \mathfrak{p})^{-1}R</math>, <math>(R\setminus \mathfrak{p})^{-1}M</math> bzw. <math>(R\setminus \mathfrak{p})^{-1}f</math>.

Manche Aussagen der kommutativen Algebra behaupten das Verschwinden eines Moduls oder sind äquivalent dazu oder lassen sich darauf zurückführen. Dafür gilt nun (siehe auch [[Träger eines Moduls]]):

* Ein Untermodul <math>P\subset M</math> eines <math>R</math>-Moduls ist genau dann der [[Nullmodul]], wenn <math>P_{\mathfrak{m}} \subset M_{\mathfrak{m}}</math> für alle maximalen Ideale <math>\mathfrak{m}\subset R</math> der Nullmodul ist.

Man muss das gewünschte Verschwinden des Untermoduls also nur lokal (bei jedem maximalen Ideal) zeigen und kann dann auf Grund dieses Satzes auf die globale Gleichheit <math>P=0</math> schließen. Man spricht daher von einer Lokal-Global-Aussage oder vom Übergang vom Lokalen zum Globalen.

Da die Lokalisierungen nach Primidealen [[Lokaler Ring|lokale Ringe]] sind, diese definitionsgemäß ein eindeutiges maximales Ideal haben und der [[Faktorring|Quotientenring]] nach diesem Ideal ein [[Körper (Algebra)|Körper]] ist, kann man oft zu Moduln über einem Körper, das heißt zu [[Vektorraum|Vektorräumen]], übergehen.

== Weitere einfache Lokal-Global-Aussagen ==
* Zwei Untermoduln <math>P,Q\subset M</math> eines <math>R</math>-Moduls sind genau dann gleich, wenn <math>P_{\mathfrak{m}}=Q_{\mathfrak{m}}</math> für alle maximalen Ideale <math>\mathfrak{m}\subset R</math>.
* Eine Sequenz
:<math>M  \xrightarrow{f} N \xrightarrow{g} P</math>
: von <math>R</math>-Moduln ist genau dann [[Exakte Sequenz|exakt]], wenn die Sequenzen
:<math>M_{\mathfrak{m}} \xrightarrow{f_{\mathfrak{m}}} N_{\mathfrak{m}} \xrightarrow{g_{\mathfrak{m}}} P_{\mathfrak{m}}</math>
:von <math>R_{\mathfrak{m}}</math>-Moduln für alle maximalen Ideale <math>\mathfrak{m}\subset R</math> exakt sind.
* Ein <math>R</math>-Modulhomomorphismus <math>f:M\rightarrow N</math> ist genau dann injektiv (surjektiv, bijektiv), wenn die lokalisierten <math>R_{\mathfrak{m}}</math>-Modulhomomorphismen <math>f_{\mathfrak{m}}:M_{\mathfrak{m}}\rightarrow N_{\mathfrak{m}}</math> für jedes maximale Ideal <math>\mathfrak{m}\subset R</math> injektiv (surjektiv, bijektiv) sind.

Diese Aussagen ergeben sich leicht aus der oben genannten Aussage über den Nullmodul.
Die Gleichheit <math>P=Q</math> führt man auf das Verschwinden von <math>(P+Q)/P</math> und <math>(P+Q)/Q</math> und die Verträglichkeit zwischen Lokalisierung und [[Faktorring|Quotientenbildung]] zurück. Die Exaktheitsaussage behauptet die Gleichheit zweier Untermoduln und Injektivität und Surjektivität können als Exaktheit gewisser Sequenzen ausgedrückt werden.<ref>Ernst Kunz: ''Einführung in die kommutative Algebra und algebraische Geometrie'', Vieweg (1980), ISBN 3-528-07246-6, Regel IV.1.1, Korollar IV.1.5, Korollar IV.1.6</ref>

== Lokal-Global-Aussagen mit zusätzlichen Voraussetzungen ==
Komplexere Lokal-Global-Aussagen benötigen weitere Zusatzvoraussetzungen.
* Es sei eine [[Kurze exakte Folge|kurze exakte Sequenz]]
: <math>0 \rightarrow M  \xrightarrow{f} N \xrightarrow{g} P \rightarrow 0</math>
: von <math>R</math>-Moduln gegeben und sei <math>P</math> [[Endliche Präsentierbarkeit (Modul)|endlich präsentierbar]]. Dann [[Zerfallende kurze exakte Sequenz|zerfällt]] obige Sequenz genau dann, wenn die kurzen exakten Sequenzen
: <math>0 \rightarrow M_{\mathfrak{m}} \xrightarrow{f_{\mathfrak{m}}} N_{\mathfrak{m}} \xrightarrow{g_{\mathfrak{m}}} P_{\mathfrak{m}} \rightarrow 0</math>
:von <math>R_{\mathfrak{m}}</math>-Moduln für alle maximalen Ideale <math>\mathfrak{m}\subset R</math> zerfallen.
Daraus ergibt sich leicht
* Sei <math>M</math> ein endlich präsentierbarer <math>R</math>-Modul. Dann ist ein Untermodul <math>U\subset M</math> genau dann [[direkter Summand]] in <math>M</math>, wenn er lokal direkter Summand ist, das heißt wenn <math>U_{\mathfrak{m}}</math> für jedes maximale Ideal <math> \mathfrak{m}\subset R</math> ein direkter Summand in <math>M_{\mathfrak{m}}</math> ist.
Einen <math>R</math>-Modul <math>M</math> kann man zu einem Modul über dem [[Polynomring]] <math>R[X]</math> erweitern, indem man definiert
:<math>M[X] := R[X] \otimes_R M</math>.
Man nennt einen <math>R[X]</math>-Modul <math>M</math> ''erweitert'', wenn es einen <math>R</math>-Modul <math>N</math> gibt, so dass <math>M \cong N[X]</math>. Hierfür gilt die folgende auf [[Daniel Quillen]] zurückgehende Lokal-Global-Aussage:
* Sei <math>M</math> ein endlich präsentierbarer <math>R[X]</math>-Modul. Der Modul <math>M</math> ist genau dann erweitert, wenn er ''lokal erweitert'' ist, das heißt, wenn für jedes maximale Ideal <math>\mathfrak{m} \subset R</math> gilt, dass <math>M_{\mathfrak{m}}</math> ein erweiterter <math>R_{\mathfrak{m}}[X]</math>-Modul ist.
Dies ist ein wesentlicher Bestandteil von Quillens Lösung des [[Serre-Problem]]s.<ref>Ernst Kunz: ''Einführung in die kommutative Algebra und algebraische Geometrie'', Vieweg (1980), ISBN 3-528-07246-6, Regel IV.1.12, Korollar IV.1.3, Satz IV.1.20</ref> Die zuletzt genannte Lokal-Global-Aussage nennt man manchmal auch Quillens Lokal-Global-Prinzip.<ref>Rabeya Basu, Ravi A. Rao, Reema Khanna: ''On Quillen's Local-Global-Principle'', Contemporary Mathematics (2005), ISBN 0-8218-3629-3, Band 390, Seiten 17–30</ref>

== Einzelnachweise ==
 <references />

[[Kategorie:Kommutative Algebra]]