Definición
Ramificación que ocurre en extensiones aritméticas o algebraicas cuando los grupos de ramificación superiores son no triviales en característica residual p que divide el índice de ramificación, produciendo un comportamiento de orden superior más complicado que en el caso moderado.
Principio
Principio
La ramificación salvaje está gobernada por inercia de potencia p no trivial y filtraciones de ramificación superiores no nulas (numeración superior o inferior); suele producir rupturas fraccionarias, conductores no triviales y fallos de fórmulas sencillas válidas en el caso moderado.
Demostración
Demostración
En característica p, una extensión de campos locales de tipo Artin–Schreier de grado p puede estar salvajemente ramificada: la inercia contiene un p‑grupo y los subgrupos superiores de ramificación no se anulan, de modo que la diferente y el conductor muestran crecimiento p‑ádico por encima de las predicciones moderadas.
Aplicación incorrecta
Aplicación incorrecta
Etiquetar como 'salvaje' cualquier índice de ramificación grande sin comprobar la relación con la característica residual es incorrecto; un índice primo a la característica residual es moderado aunque sea grande numéricamente.
Consecuencia
Consecuencia
La ramificación salvaje exige invariantes más delicados (conductores de Swan, contribuciones superiores a la diferente), complica el comportamiento de módulos galoisianos y cohomología, y puede obstruir argumentos ingenuos de descenso o deformación que funcionan en el caso moderado.
Inversión
Inversión
La ramificación moderada es lo contrario: la inercia tiene orden primo a la característica residual, los grupos de ramificación superiores se anulan y el comportamiento local está controlado por invariantes de bajo grado bien entendidos.
Límite
Límite
Se aplica solo cuando la característica residual p divide el índice de ramificación o cuando la inseparabilidad induce inercia no trivial de potencia p; excluye situaciones moderadas y fenómenos topológicos de bifurcación sin datos residuales aritméticos.
Tensión semántica
Tensión semántica
El término 'salvaje' es evocador y contrasta con 'moderado', pero matemáticamente se refiere a condiciones precisas de teoría de grupos y valuaciones; la confusión surge cuando no se distinguen claramente característica del cuerpo, inseparabilidad e inercia salvaje.
Síntesis
Síntesis
La ramificación salvaje describe la ramificación algebraica o aritmética gobernada por inercia de potencia p y subgrupos superiores de ramificación no triviales, produciendo rupturas fraccionarias, conductores aumentados y fenómenos ausentes en casos prime‑to‑p.