Ramification dans une extension de corps locaux ou globaux en un premier idéal pour lequel l'indice de ramification est divisible par la caractéristique résiduelle p, produisant des groupes de ramification supérieurs non triviaux et une structure arithmétique et de module galoisien plus compliquée que dans le cas modéré.

Principe

La ramification sauvage provient d'une inertie de p‑puissance et de l'absence de contrôle linéaire (premier à p) : la filtration des groupes de ramification supérieurs, les conducteurs non triviaux et les phénomènes de p‑torsion gouvernent l'extension locale et son action galoisienne.

Démonstration

Une extension de Q_p obtenue en adjoint une racine p‑ième ou une extension en caractéristique p avec des aspects inseparables présente des groupes de ramification au‑delà du premier sous‑groupe et des exposants de conducteur qui croissent avec l'inertie sauvage, compliquant les représentations galoisiennes locales.

Mauvaise application

Traiter tout premier ramifié comme modérément ramifié et appliquer des formules de ramification modérée (inertie cyclique, calcul simple du conducteur) à des situations sauvagement ramifiées, ce qui conduit à des calculs erronés de conducteurs, discriminants ou données de représentation.

Conséquence

La ramification sauvage impose des invariants plus élaborés (filtration de ramification supérieure, conducteur de Swan), complique la compatibilité local‑vers‑global des représentations galoisiennes et entrave souvent des arguments naïfs de relèvement et de déformation.

Inversion

Si l'indice de ramification est premier à la caractéristique résiduelle, la ramification est modérée : les groupes de ramification supérieurs au premier sont triviaux et de nombreuses simplifications valent pour l'inertie et le calcul des conducteurs.

Limite

S'applique aux extensions où la caractéristique résiduelle divise l'indice de ramification ; exclut les premiers pour lesquels l'indice est premier à la caractéristique résiduelle et les situations ne présentant qu'une ramification non ramifiée ou modérée.

Tension sémantique

S'oppose à l'intuition de ramification modérée : les formules modérées échouent dans le cas sauvage et des phénomènes comme la p‑torsion dans l'inertie engendrent des comportements arithmétiques distincts nécessitant des techniques différentes.

Synthèse

La Ramification Sauvage désigne les premiers où la divisibilité par p de l'indice de ramification engendre des groupes de ramification supérieurs, des conducteurs de Swan et des phénomènes de p‑torsion ; elle marque une arithmétique locale qualitativement plus complexe requérant des invariants raffinés et un soin dans l'étude des représentations.