Un lugar (un punto cerrado de la base, un primo de un anillo de números o un parámetro especial) en una familia aritmética o geométrica donde la fibra especial deja de ser lisa o adquiere componentes singulares adicionales; en términos informales, la familia tiene comportamiento 'malo' en ese lugar frente a la 'buena reducción', donde las fibras son lisas y bien comportadas.

Principio

La calidad de la reducción se detecta por invariantes (discriminante, modelos mínimos, monodromía, tipos de Kodaira): la anulación del discriminante o la aparición de singularidades indica mala reducción. En contextos aritméticos la mala reducción suele reflejar ramificación salvaje o monodromía no trivial en la cohomología étale.

Demostración

Ejemplo clásico: una curva elíptica dada por una ecuación de Weierstrass tiene mala reducción en los primos donde el discriminante se anula; la fibra especial puede ser nodal (reducción multiplicativa) o cuspidal (reducción aditiva). En general, familias de curvas o variedades abelianas desarrollan fibras singulares en los lugares malos.

Aplicación incorrecta

Agrupar todas las fibras no lisas como igualmente 'malas' sin distinguir semiestable, potencialmente buena o ramificación salvaje; asumir que la mala reducción en un modelo persiste tras cambios de base permitidos (puede volverse buena tras una extensión). También es incorrecto deducir propiedades aritméticas del estado de reducción sin comprobar el comportamiento tras extensiones.

Consecuencia

La mala reducción afecta invariantes aritméticos y geométricos: aumentan los conductores, las representaciones de Galois adquieren acción no trivial de la inercia, y las clasificaciones moduli deben registrar tipos de reducción. En la práctica, exige cambios de base, programas de modelos mínimos o teoremas de reducción semiestable para controlar o mejorar la situación.

Inversión

Buena reducción: la fibra especial es lisa (o presenta un comportamiento moderado prescrito como semiestabilidad) y los invariantes aritméticos se comportan de forma tranquila; la acción de Galois sobre la cohomología étale es no ramificada. La buena reducción facilita la teoría de deformaciones y las descripciones moduli.

Límite

La noción depende del contexto: hay que distinguir entre buena, semiestable, potencialmente buena y mala (salvaje) reducción; considerar el comportamiento bajo cambio de base y extensión de escalares. 'Malo' es relativo: lo que es malo para un problema (ramificación salvaje) puede ser aceptable en otro. La definición se aplica típicamente a familias propias sobre anillos de valoración discreta o bases aritméticas.

Tensión semántica

Tensión entre el uso grosero ('bueno' vs 'malo') y la taxonomía refinada (multiplicativo, aditivo, semiestable, potencialmente bueno). La tensión práctica está entre una etiqueta binaria útil para heurísticas y la clasificación matizada necesaria para conclusiones aritméticas o geométricas precisas.

Síntesis

La Mala Reducción es la aparición de fibras especiales singulares o patológicas en ciertos lugares, detectada por anulación de discriminantes, monodromía o tipos de singularidad. Obliga a un análisis refinado—distinguiendo semiestabilidad, aditivo y potencialmente bueno—y a menudo requiere cambios de base o técnicas de modelos mínimos para controlar o remediar la degeneración.