Verzweigung in einer Erweiterung lokaler oder globaler Körper an einem Prime, bei dem die Verzweigungsindex durch die Restcharakteristik p teilbar ist und dadurch nichttriviale höhere Verzweigungsgruppen sowie eine kompliziertere arithmetische und Galois‑Modulstruktur als im zahmen Fall entstehen.

Prinzip

Wilde Verzweigung entsteht durch p‑Potenz‑Inertialität und das Versagen prim‑zu‑p‑Kontrolle: die Filtration höherer Verzweigungsgruppen, nichttriviale Leiterexponenten und p‑Torsionsphänomene bestimmen die lokale Erweiterung und ihre Galois‑Wirkung.

Demonstration

Eine Erweiterung von Q_p, erzeugt durch Adjunktion einer p‑ten Wurzel, oder eine Erweiterung in Charakteristik p mit inseparablen Aspekten zeigt Verzweigungsgruppen jenseits der ersten Verzweigungsuntergruppe und Leiterexponenten, die mit der wilden Inertialität wachsen und lokale Galois‑Darstellungen verkomplizieren.

Fehlanwendung

Jeden verzweigten Prime als zahm zu behandeln und zahme‑Verzweigungsformeln (zyklische Inertialgruppe, einfache Leiterberechnung) auf wild verzweigte Situationen anzuwenden, was zu fehlerhaften Berechnungen von Leitern, Diskriminanten oder Darstellungsdaten führt.

Konsequenz

Wilde Verzweigung erzwingt elaboriertere Invarianten (Filtration der höheren Verzweigungsgruppen, Swan‑Leiter), verkompliziert lokal‑zu‑global Kompatibilität in Galois‑Darstellungen und behindert oft naive Hebungs‑ und Deformationsargumente.

Umkehrung

Ist der Verzweigungsindex prim zu der Restcharakteristik, so ist die Verzweigung zahm: höhere Verzweigungsgruppen jenseits der ersten sind trivial und viele Vereinfachungen für Inertialität und Leiterberechnung gelten.

Abgrenzung

Gilt für Erweiterungen, bei denen die Restcharakteristik den Verzweigungsindex teilt; schließt Prime aus, bei denen der Index prim zur Restcharakteristik ist, sowie Situationen mit nur unverzweigter oder zahmer Verzweigung.

Semantische Spannung

Steht im Gegensatz zu zahmer Verzweigung: zahme Formeln versagen im wilden Fall, und Phänomene wie p‑Torsion in der Inertialgruppe erzeugen eigenständiges arithmetisches Verhalten, das andere Techniken erfordert.

Synthese

Wilde Verzweigung bezeichnet Prime, bei denen die durch p‑Teilbarkeit des Verzweigungsindex hervorgerufenen höheren Verzweigungsgruppen, Swan‑Leiter und p‑Torsionsphänomene auftreten; sie kennzeichnen eine qualitativ komplexere lokale Arithmetik, die verfeinerte Invarianten und sorgfältige Darstellungstheorie verlangt.