## [Ramification Modérée](/fr/node/63645) 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.