Définition
Ramification dans une extension finie ou un morphisme telle que l'indice de ramification est premier à la caractéristique résiduelle et que les groupes de ramification supérieurs s'annulent ; l'inertie est d'ordre premier à p et le comportement local est contrôlé et bien compris.
Principe
Principe
La ramification modérée se caractérise par des groupes d'inertie d'ordre premier à la caractéristique résiduelle et des filtrations supérieures de ramification triviales, ce qui rend de nombreux invariants locaux multiplicatifs et permet les formules classiques et les arguments de descente.
Démonstration
Démonstration
Une extension de Kummer de corps locaux obtenue en adjoint une racine e‑ième avec e premier à la caractéristique résiduelle est modérément ramifiée : l'inertie est cyclique d'ordre e, les groupes de ramification supérieurs s'annulent et le conducteur est minimal.
Mauvaise application
Mauvaise application
Qualifier une ramification de modérée uniquement parce que l'indice numérique est petit est une erreur ; il faut vérifier que l'indice est premier à la caractéristique résiduelle et que les sous-groupes supérieurs de ramification sont triviaux.
Conséquence
Conséquence
La ramification modérée simplifie l'arithmétique : discriminants et conducteurs satisfont à des relations plus simples, la structure des modules galoisiens est plus maniable, et les calculs de déformation et de cohomologie sont généralement plus faciles que dans le cas sauvage.
Inversion
Inversion
La ramification sauvage est le cas inverse : inertie de p‑puissance, groupes de ramification supérieurs non triviaux et sauts fractionnaires compliquent l'arithmétique et invalident de nombreuses simplifications modérées.
Limite
Limite
S'applique lorsque la caractéristique résiduelle ne divise pas les indices de ramification et que les conditions de séparabilité sont satisfaites ; exclut les phénomènes d'inséparabilité ou d'inertie p‑puissance et les points de branchement topologiques sans données résiduelles arithmétiques.
Tension sémantique
Tension sémantique
L'adjectif 'modérée' suggère simplicité, mais mathématiquement il s'agit d'une condition précise (inertie premier à p et groupes supérieurs nuls) ; la confusion naît quand on assimile petitesse numérique et modération.
Synthèse
Synthèse
La ramification modérée désigne la classe de ramification avec inertie premier à p et sous‑groupes de ramification supérieurs triviaux, fournissant un comportement local contrôlé et permettant l'emploi d'invariants et de formules classiques absents en cas sauvage.