Ramificación en una extensión de cuerpos locales o globales en un primo donde el índice de ramificación es divisible por la característica residual p, produciendo grupos de ramificación superiores no triviales y una estructura aritmética y de módulo galoisiano más complicada que en el caso moderado.

Principio

La ramificación salvaje surge de la inercia de p‑potencia y del fracaso del control lineal (coprimo con p): la filtración de grupos de ramificación superiores, conductores no triviales y fenómenos de p‑torsión gobiernan la extensión local y su acción galoisiana.

Demostración

Una extensión de Q_p obtenida al adjuntar una raíz p‑ésima, o una extensión en característica p con rasgos inseparables, exhibe grupos de ramificación más allá del primer subgrupo y exponentes de conductor que crecen con la inercia salvaje, complicando las representaciones galoisianas locales.

Aplicación incorrecta

Tratar todo primo ramificado como moderadamente ramificado y aplicar fórmulas de ramificación moderada (inercias cíclicas, cálculo sencillo del conductor) a situaciones salvajemente ramificadas, lo que conduce a conductores, discriminantes o datos de representación incorrectos.

Consecuencia

La ramificación salvaje exige invariantes más elaborados (filtración de ramificación superior, conductor de Swan), complica la compatibilidad local‑a‑global en representaciones galoisianas y a menudo obstaculiza argumentos ingenuos de elevación y deformación.

Inversión

Si el índice de ramificación es primo respecto de la característica residual, la ramificación es moderada: los grupos de ramificación superiores más allá del primero son triviales y se aplican muchas simplificaciones en inercia y cálculo de conductores.

Límite

Se aplica a extensiones donde la característica residual divide el índice de ramificación; excluye primos donde el índice es coprimo con la característica residual y situaciones con ramificación no ramificada o moderada únicamente.

Tensión semántica

Compite con la intuición de ramificación moderada: las fórmulas moderadas fallan en el caso salvaje y fenómenos como la p‑torsión en la inercia generan comportamientos aritméticos distintos que requieren técnicas diferentes.

Síntesis

La Ramificación Salvaje designa los primos en que la divisibilidad por p del índice de ramificación genera grupos de ramificación superiores, conductores de Swan y fenómenos de p‑torsión; indica una aritmética local cualitativamente más compleja que demanda invariantes refinados y cuidado en el tratamiento de representaciones.