Ein Invariant einer lokalen Galoisdarstellung oder einer endlichen Erweiterung lokaler Körper, der die Tiefe der wilden (nicht‑tamme) Verzweigung misst; er ist der Anteil am Leitfaden (Conductor), der von den höheren Verzweigungsgruppen herrührt.

Prinzip

Die Größe und Komplexität wilder Verzweigung durch aufsummierte, gewichtigte Sprünge in der Upper‑Numbering‑Filtration der Inertialgruppe zu erfassen; der Swan‑Leiter isoliert den rein wilden Beitrag zum Artin‑Leiter.

Demonstration

Bei einer endlichen p‑adischen Erweiterung mit nichttrivialen höheren Verzweigungsgruppen bestimmt man die Sprünge in der Filtration (Upper Numbering) der Inertialgruppe und bildet die gewichtetet Summen ihrer Dimensionen in einer Galoisdarstellung; das nichtverschwindende Ergebnis ist der Swan‑Leiter und signalisiert wildes Verhalten.

Fehlanwendung

Den Swan‑Leiter mit dem gesamten Artin‑Leiter gleichzusetzen oder ihn zur Messung nur tammer Verzweigung zu benutzen; ebenso führt die blinde Anwendung der Standarddefinition auf Darstellungen ohne Kontrolle der wilden Inertialgruppe (z. B. unendliches Bild) zu falschen Ergebnissen.

Konsequenz

Ein positiver Swan‑Leiter erzwingt wildes Verhalten: er beeinflusst Epsilon‑Faktoren und lokale Konstanten in Funktionalgleichungen, trägt zu globalen Leitern bei und steuert das Wachstum von Diskriminanten sowie Schranken in Hebungsproblemen.

Umkehrung

Ist der Swan‑Leiter null, so liegt ausschließlich tamme Verzweigung vor und kein wilder Anteil existiert; die Umkehrung liefert ein Kriterium: kein wildes Verhalten genau dann, wenn der Swan‑Anteil verschwindet.

Abgrenzung

Ein lokales Invariant für Darstellungen der absoluten Galoisgruppe eines lokalen Körpers (oder für endliche Erweiterungen); es ist nur indirekt global anwendbar (durch Summation über Stellen) und die üblichen Definitionen setzen endliches Bild auf der wilden Inertialgruppe oder ℓ‑adische Stetigkeit voraus.

Semantische Spannung

Häufige Verwechslung mit dem Artin‑Leiter (der tame und wilde Anteile mischt) oder mit Diskriminantenexponenten; der Swan‑Leiter isoliert ausdrücklich den wilden Anteil, während nahe Begriffe die Anteile zusammenfassen.

Synthese

Der Swan‑Leiter ist die numerische Messgröße für wilde Verzweigung: man ermittelt die Sprünge der Inertialfiltration, gewichtet sie nach Dimension und das verbleibende nichtverschwindende Maß zeigt genau an, wie eine Darstellung oder Erweiterung vom tammen Verhalten abweicht.