Eine Situation, in der ein noetherscher Ring oder ein Schema eine von Serres Bedingungen R_k (Regulärität in Kodimension k) oder S_k (Tiefe mindestens min(k, lokale Dimension)) nicht erfüllt. Dies weist auf Mängel in Regulärität oder tiefenbezogenen Eigenschaften hin, die Fortsetzung, Dualität und Divisorenverhalten steuern.

Prinzip

Serres Bedingungen sind ordnende Beschränkungen, die lokale Regulärität und Tiefe mit der globalen Geometrie verknüpfen: R_k verlangt, dass Singularitäten nicht in geringer Kodimension auftreten, während S_k eine Mindesttiefe an Punkten erzwingt. Zusammen regeln sie, wann reflexive Garben, Dualität und Divisorentheorie wie erwartet funktionieren.

Demonstration

Konkretes Beispiel: ein noetherscher Ring mit eingebetteten assoziierten Primidealen kann S_1 oder S_2 verletzen; man betrachte eine reduzible Fläche, deren Koordinatenring in der Schnittstelle Tiefe 0 besitzt, was eine S_2-Verletzung verursacht und Hartogs-artige Erweiterungsaussagen verhindert. Ein explizites Ringbeispiel ist R = k[x,y,z]/(x,y)∩(x,z), dessen lokale Tiefen eine S_k-Verletzung aufweisen.

Fehlanwendung

R_k und S_k als austauschbar zu behandeln oder ihre Verletzung als topologisch sichtbar anzusehen; manchmal schließt man fälschlich von scheinbaren Singularitäten auf S_k-Verletzungen, ohne die Tiefe zu prüfen, oder man nimmt an, Serres Bedingungen würden beliebige Basiswechsel kommutieren, was ohne Voraussetzungen nicht zutrifft.

Konsequenz

Die Verletzung einer Serre-Bedingung verhindert die Anwendung reflexiver Garben-Techniken, beeinflusst die Isomorphie zwischen Weil- und Cartier-Divisoren in Kodimension eins und gefährdet Dualitätsaussagen (Grothendieck-Dualität verlangt oft S_k). Sie erlaubt auch pathologisches Verhalten bei Erweiterung oder Einschränkung von Schnitten.

Umkehrung

Die Erfüllung der Serre-Bedingungen (R_k und S_k) sorgt für Kontrolle über Singularitäten in niedriger Kodimension und ausreichende Tiefe, um Dualitäts- und Erweiterungssätze anzuwenden; z. B. ist S_2 wesentlich für Hartogs-Eigenschaften und für das erwartete Verhalten reflexiver Garben.

Abgrenzung

Diese Bedingungen werden für noethersche Ringe und Schemata formuliert; die üblichen Äquivalenzen (z. B. der Zusammenhang mit Normalität) benötigen noethersche Voraussetzungen. Sie betreffen lokale Algebra (Tiefe, Dimension) und behaupten nicht per se Glattheit oder Reduziertheit; man muss den Parameter k und R_k versus S_k unterscheiden.

Semantische Spannung

Die Spannung liegt zwischen R_k (Reguläritätsbedingung in Kodimension) und S_k (Tiefenbedingung): sie steuern verschiedene Aspekte der lokalen Struktur, interagieren aber (Serres Kriterium verknüpft sie mit Normalität). Praktiker verwechseln manchmal das Versagen des einen mit dem des anderen, wodurch die tatsächliche lokale Obstruktion verdeckt wird.

Synthese

Ein Verstoß gegen Serres Bedingung zeigt ein konkretes lokales Algebra-Versagen an: entweder versagt die Regulärität in niedriger Kodimension (R_k) oder die Tiefe ist im Verhältnis zur lokalen Dimension zu klein (S_k). Solche Verstöße haben direkte Folgen für Divisorentheorie, reflexive Garben und Dualität und erfordern Diagnose mittels lokaler Tiefen- und Kodimensionsberechnungen.