Ramification en un premier, dans une extension de corps locaux ou globaux, pour laquelle l'indice de ramification est premier à la caractéristique résiduelle p, entraînant un comportement d'inertie plus simple et l'absence de phénomènes non triviaux de ramification p‑puissance supérieure.

Principe

Lorsque l'indice de ramification est premier à p, l'inertie est cyclique d'ordre premier à p et les groupes de ramification supérieurs au premier sont triviaux ; les exposants de conducteur et la structure de module galoisien sont régis par des formules de ramification modérée.

Démonstration

Une extension obtenue en joignant une racine n‑ième avec n premier à p (ou une extension dont l'indice de ramification n'est pas divisible par p) présente une inertie cyclique, une filtration de ramification supérieure triviale et des conducteurs calculables par des règles de ramification modérée.

Mauvaise application

Supposer la ramification modérée dès qu'une ramification légère est présente, ou appliquer des formules modérées lorsque p divise l'indice de ramification, conduisant à des calculs erronés de conducteurs et de l'action galoisienne locale.

Conséquence

La ramification modérée simplifie l'analyse : conducteurs, discriminants et représentations galoisiennes locales sont plus maniables, et de nombreux arguments classiques local‑vers‑global et techniques de déformation s'appliquent sans complications de p‑torsion.

Inversion

Si l'indice de ramification est divisible par la caractéristique résiduelle, la situation est sauvage plutôt que modérée et il faut prendre en compte les phénomènes de ramification supérieure et la p‑torsion.

Limite

S'applique seulement lorsque l'indice de ramification est premier à la caractéristique résiduelle ; ne couvre pas les premiers sauvagement ramifiés ni les aspects inseparables en caractéristique p où les descriptions modérées échouent.

Tension sémantique

Se distingue de la ramification sauvage : les méthodes et formules valables dans le cas modéré échouent dans le cas sauvage, créant des régimes techniques différents en arithmétique locale et théorie des représentations.

Synthèse

La Ramification Modérée désigne le régime où l'indice premier à p entraîne une inertie cyclique, une filtration de ramification supérieure triviale et des conducteurs prévisibles ; il fournit un cadre d'arithmétique locale maniable supportant des calculs classiques et des arguments de relèvement.