Ramification qui survient dans des extensions arithmétiques ou algébriques lorsque les groupes de ramification supérieurs sont non triviaux en caractéristique résiduelle p divisant l'indice de ramification, produisant un comportement d'ordre supérieur plus compliqué que dans le cas modéré.

Principe

La ramification sauvage est gouvernée par une inertie d'ordre p et des filtrations supérieures de ramification non nulles (numérotage supérieur ou inférieur) ; elle entraîne généralement des sauts fractionnaires, des conducteurs non triviaux et la rupture des formules simples valables en cas modéré.

Démonstration

En caractéristique p, une extension de corps locaux de degré p de type Artin–Schreier peut être sauvagement ramifiée : l'inertie contient un p-groupe et les sous-groupes de ramification supérieurs ne s'annulent pas, de sorte que la différente et le conducteur présentent une croissance p-adique dépassant les prédictions modérées.

Mauvaise application

Qualifier de 'sauvage' tout indice de ramification numériquement grand sans vérifier la relation avec la caractéristique résiduelle est incorrect ; un indice premier à la caractéristique résiduelle est modéré même s'il est numériquement élevé.

Conséquence

La ramification sauvage impose des invariants plus délicats (conducteurs de Swan, contributions supérieures à la différente), complique le comportement des modules galoisiens et de la cohomologie, et peut faire échouer des arguments de descente ou de déformation naïfs valables dans le cas modéré.

Inversion

La ramification modérée est l'opposé : l'inertie est d'ordre premier à la caractéristique résiduelle, les groupes de ramification supérieurs s'annulent, et le comportement local est contrôlé par des invariants de bas degré et bien compris.

Limite

S'applique seulement lorsque la caractéristique résiduelle p divise l'indice de ramification ou lorsque l'inséparabilité induit une inertie de p-puissance non triviale ; exclut les situations modérées et les phénomènes de branchement topologique sans donnée arithmétique résiduelle.

Tension sémantique

Le terme 'sauvage' est évocateur et contraste avec 'modéré', mais il renvoie mathématiquement à des conditions précises de théorie des groupes et de valuations ; la confusion survient quand la caractéristique du corps, l'inséparabilité et l'inertie sauvage ne sont pas distinguées clairement.

Synthèse

La ramification sauvage désigne la ramification algébrique ou arithmétique contrôlée par une inertie de p‑puissance et des sous‑groupes de ramification supérieurs non triviaux, entraînant des sauts fractionnaires, des conducteurs amplifiés et des phénomènes absents en cas modéré (prime à p).