## [Mauvaise Réduction](/fr/node/63682) Définition Un lieu (point fermé de la base, idéal premier d'un anneau de nombres, ou paramètre spécial) dans une famille arithmétique ou géométrique où la fibre spéciale n'est pas lisse ou acquiert des composantes singulières supplémentaires ; en termes informels, la famille a un comportement « mauvais » en ce lieu par opposition à la « bonne réduction » où les fibres sont lisses et bien comportées. ## Principe Principe La qualité de la réduction se détecte par des invariants (discriminant, modèles minimaux, monodromie, types de Kodaira) : l'annulation du discriminant ou l'apparition de singularités signale une mauvaise réduction. En contexte arithmétique la mauvaise réduction reflète souvent ramification sauvage ou monodromie non triviale en cohomologie étale. ## Démonstration Démonstration Exemple classique : une courbe elliptique donnée par un modèle de Weierstrass a mauvaise réduction aux premiers où le discriminant s'annule ; la fibre spéciale peut être nodale (réduction multiplicative) ou cuspidale (réduction additive). Plus généralement, des familles de courbes ou de variétés abéliennes développent des fibres singulières en ces lieux. ## Mauvaise application Mauvaise application Regrouper toutes les fibres non lisses comme également « mauvaises » sans distinguer semistable, potentiellement bonnes ou reduction sauvage ; supposer qu'une mauvaise réduction pour un modèle persiste sous changement de base autorisé (elle peut devenir bonne après extension). Utiliser l'état de réduction para inferer des propriétés arithmétiques sans vérifier le comportement après extension est une autre erreur. ## Conséquence Conséquence La mauvaise réduction affecte invariants arithmétiques et géométriques : les conducteurs augmentent, les représentations de Galois acquièrent une action d'inertie non triviale, et les classifications modulaires doivent enregistrer les types de réduction. Concrètement, elle exige changements de base, programmes de modèles minimaux ou théorèmes de réduction semistable pour contrôler et éventuellement améliorer la situation. ## Inversion Inversion Bonne réduction : la fibre spéciale est lisse (ou présente un comportement modéré prescrit comme la semistabilité) et les invariants arithmétiques restent tranquilles ; l'action de Galois sur la cohomologie étale est non ramifiée. La bonne réduction facilite la théorie des déformations et simplifie souvent les descriptions modulaires. ## Limite Limite La notion dépend du contexte : il faut distinguer bonne, semistable, potentiellement bonne et reduction sauvage ; considérer le comportement sous changement de base et extension des scalaires. « Mauvais » est un terme relatif : ce qui est mauvais pour un problème (ramification sauvage) peut être acceptable pour un autre. La définition s'applique généralement à des familles propres sur des anneaux de valuation discrète ou des bases arithmétiques. ## Tension sémantique Tension sémantique Tension entre l'usage grossier (« bon » vs « mauvais ») et la taxonomie raffinée (multiplicatif, additif, semistable, potentiellement bon). La tension pratique est entre une étiquette binaire utile pour heuristiques et la classification nuancée requise pour des conclusions arithmétiques ou géométriques précises. ## Synthèse Synthèse La Mauvaise Réduction est la survenue d'une fibre spéciale singulière ou pathologique en certains lieux, détectée par l'annulation du discriminant, la monodromie ou les types de singularités. Elle impose une analyse fine—distinction semistable, additive et potentiellement bonne—et requiert souvent changement de base ou techniques de modèles minimaux pour maîtriser ou corriger la dégénérescence.