Definición
Ramificación en una extensión finita o morfismo en la que el índice de ramificación es primo a la característica residual y los grupos de ramificación superiores se anulan; la inercia tiene orden primo a p y el comportamiento local está controlado y es bien comportado.
Principio
Principio
La ramificación moderada se caracteriza por grupos de inercia de orden primo a la característica residual y filtraciones superiores de ramificación triviales, lo que hace que muchos invariantes locales sean multiplicativos y permite fórmulas clásicas y argumentos de descenso.
Demostración
Demostración
Una extensión de Kummer de cuerpos locales obtenida al adjuntar una raíz e‑ésima con e primo a la característica residual está moderadamente ramificada: la inercia es cíclica de orden e, los grupos superiores de ramificación se anulan y el conductor es mínimo.
Aplicación incorrecta
Aplicación incorrecta
Decir que una ramificación es moderada únicamente porque su índice es pequeño numéricamente es erróneo; hay que comprobar que el índice es primo a la característica residual y que los subgrupos superiores de ramificación son triviales.
Consecuencia
Consecuencia
La ramificación moderada simplifica la aritmética: discriminantes y conductores satisfacen relaciones más sencillas, la estructura de módulos galoisianos es más manejable, y los cálculos de deformación y cohomología suelen ser más fáciles que en el caso salvaje.
Inversión
Inversión
La ramificación salvaje es el caso inverso: inercia de potencia p, grupos superiores de ramificación no triviales y rupturas fraccionarias complican la aritmética y anulan muchas simplificaciones moderadas.
Límite
Límite
Se aplica cuando la característica residual no divide los índices de ramificación y se cumplen condiciones de separabilidad; excluye fenómenos inseparables o inercia de potencia p y puntos de bifurcación topológicos sin datos residuales aritméticos.
Tensión semántica
Tensión semántica
El adjetivo 'moderada' sugiere simplicidad, pero matemáticamente es una condición precisa (inercia primo a p y grupos superiores nulos); la confusión surge cuando se confunde pequeñez numérica con moderación.
Síntesis
Síntesis
La ramificación moderada denota la clase de ramificación con inercia primo a p y subgrupos superiores de ramificación triviales, proporcionando comportamiento local controlado y permitiendo el uso de invariantes y fórmulas clásicas ausentes en situaciones salvajes.