Zähme Verzweigung in einer endlichen Erweiterung oder Morphismus bedeutet, dass der Ramifikationsindex prim zur Restcharakteristik ist und höhere Ramifikationsgruppen verschwinden; Inertie hat Ordnung prim zu p und das lokale Verhalten ist kontrolliert.

Prinzip

Gezähmte Verzweigung zeichnet sich durch Inertiegruppen prim zur Restcharakteristik und triviale Filtration höherer Ramifikationsgruppen aus, wodurch viele lokale Invarianten multiplikativ werden und klassische Formeln sowie Abstiegsargumente anwendbar sind.

Demonstration

Eine Kummer‑Erweiterung lokaler Körper durch Adjunktion einer e‑ten Wurzel mit e prim zur Restcharakteristik ist gezähmt verzweigt: die Inertie ist zyklisch der Ordnung e, höhere Ramifikationsgruppen verschwinden und der Leiter ist minimal.

Fehlanwendung

Nur weil ein Ramifikationsindex numerisch klein ist, von 'zahm' zu sprechen, ist falsch; man muss prüfen, dass der Index prim zur Restcharakteristik ist und dass höhere Ramifikationsuntergruppen trivial sind.

Konsequenz

Gezähmte Verzweigung vereinfacht die Arithmetik: Diskriminanten und Leiter erfüllen einfachere Relationen, die Struktur von Galois‑Modulen ist handhabbarer, und Deformations‑ und Kohomologieberechnungen sind meist leichter als im wilden Fall.

Umkehrung

Wilde Verzweigung ist das Gegenstück: p‑Leistungsinertie, nichttriviale höhere Ramifikationsgruppen und gebrochene Sprünge verkomplizieren die Arithmetik und zerstören viele zahme Vereinfachungen.

Abgrenzung

Gilt, wenn die Restcharakteristik die Ramifikationsindizes nicht teilt und Separabilitätsbedingungen erfüllt sind; schließt inseparable oder p‑Leistungsinertie‑Phänomene und topologische Verzweigungen ohne arithmetische Restdaten aus.

Semantische Spannung

Das Adjektiv 'gezähmt' suggeriert Einfachheit, mathematisch ist es jedoch eine präzise Bedingung (prim‑zu‑p‑Inertie und verschwindende höhere Gruppen); Verwechslungen entstehen, wenn numerische Kleinheit mit Zähmung gleichgesetzt wird.

Synthese

Gezähmte Verzweigung bezeichnet die Klasse der Verzweigungen mit prim‑zu‑p‑Inertie und trivialen höheren Ramifikationsuntergruppen, was kontrolliertes lokales Verhalten liefert und die Anwendung klassischer Invarianten und Formeln ermöglicht, die im wilden Fall fehlen.