Ein Ort (ein abgeschlossener Punkt der Basis, ein Primideal eines Zahlrings oder ein spezieller Parameter) in einer arithmetischen oder geometrischen Familie, an dem die Spezialfaser nicht glatt ist oder zusätzliche singuläre Komponenten annimmt; informell hat die Familie an diesem Ort ein 'schlechtes' Verhalten im Gegensatz zur 'guten Reduktion', bei der die Fasern glatt und wohlverhalten sind.

Prinzip

Die Qualität der Reduktion wird durch Invarianten erkannt (Diskriminante, minimale Modelle, Monodromie, Kodaira‑Typen): das Verschwinden der Diskriminante oder das Auftreten von Singularitäten signalisiert schlechte Reduktion. In arithmetischen Kontexten spiegelt schlechte Reduktion oft wilde Verzweigung oder nichttriviale Monodromie in der étalen Kohomologie wider.

Demonstration

Klassisches Beispiel: Eine elliptische Kurve in Weierstraßform hat schlechte Reduktion in den Primstellen, wo die Diskriminante verschwindet; die Spezialfaser kann knotenförmig (multiplikative Reduktion) oder spitz (additive Reduktion) sein. Allgemeiner entwickeln Familien von Kurven oder abelschen Varietäten an schlechten Orten singuläre Fasern.

Fehlanwendung

Alle nichtglatten Fasern pauschal als gleichermaßen 'schlecht' zu bezeichnen, ohne zwischen semistabil, potentiell gut oder wilder Reduktion zu unterscheiden; anzunehmen, schlechte Reduktion eines Modells bliebe unter erlaubtem Basiswechsel bestehen (sie kann nach Erweiterung gut werden). Ebenso falsch ist, aus dem Reduktionsstatus arithmetische Eigenschaften abzuleiten ohne Verhalten unter Erweiterung zu prüfen.

Konsequenz

Schlechte Reduktion beeinflusst arithmetische und geometrische Invarianten: Leiter steigen, Galois‑Darstellungen erhalten nichttriviale Trägheitswirkung, und Modulkodizes müssen Reduktionstypen verzeichnen. Praktisch erfordert sie Basiswechsel, minimale Modellprogramme oder semistabile Reduktionstheoreme, um die Lage zu kontrollieren oder zu verbessern.

Umkehrung

Gute Reduktion: Die Spezialfaser ist glatt (oder hat vorgeschriebenes mildes Verhalten wie Semistabilität) und arithmetische Invarianten verhalten sich zahm; die Galois‑Wirkung auf étaler Kohomologie ist unverzweigt. Gute Reduktion erleichtert Deformationstheorie und Moduli‑Beschreibungen.

Abgrenzung

Der Begriff hängt vom Kontext ab: man muss zwischen gut, semistabil, potentiell gut und wilder Reduktion unterscheiden; das Verhalten unter Basiswechsel und Körpererweiterung berücksichtigen. 'Schlecht' ist relativ: Was in einem Problem schlecht ist (wilde Verzweigung) kann in einem anderen tolerierbar sein. Gewöhnlich gilt die Definition für proper Familien über diskreten Bewertungsringen oder arithmetischen Basen.

Semantische Spannung

Spannung zwischen der groben Verwendung ('gut' vs 'schlecht') und der verfeinerten Taxonomie (multiplikativ, additiv, semistabil, potentiell gut). Praktisch besteht Spannung zwischen einer nützlichen binären Kennzeichnung und der nuancierten Einteilung, die für präzise arithmetische oder geometrische Aussagen nötig ist.

Synthese

Schlechte Reduktion ist das Ereignis, dass eine Familie an bestimmten Orten singuläre oder pathologische Spezialfasern annimmt, erkennbar am Verschwinden der Diskriminante, Monodromie oder Singularitätstypen. Sie erzwingt eine differenzierte Analyse—Unterscheidung semistabil/additiv/potentiell gut—und erfordert oft Basiswechsel oder minimale Modelltechniken, um die Degeneration zu kontrollieren oder zu beheben.