## [Changement de Base Pathologique](/fr/node/63690) Définition Un phénomène où une construction naturelle (normalisation, formation des fibres, images directes supérieures, fermeture schématique, etc.) ne commute pas avec un changement de base le long d'un morphisme de schémas, produisant des fibres inattendues ou mal comportées ou rompre des propriétés censées être préservées par changement de base. ## Principe Principe La commutation au changement de base est régie par des hypothèses de finitude, de platitude, de propreté et de cohérence. Quand ces hypothèses échouent ou que surgissent des problèmes de torsion/primaires embarqués, l'échange naïf entre construction et changement de base peut être pathologique : la construction fibre par fibre diffère de la construction globale après changement de base. ## Démonstration Démonstration Exemple illustratif : la normalisation ne commute pas nécessairement avec tout changement de base. On peut avoir une famille X→S dont la normalisation sur S, restreinte à une fibre, ne coïncide pas avec la normalisation de la fibre après changement de base : des branches peuvent ne pas se séparer uniformément. Un autre cas fréquent est la formation des R^i f_* F qui échoue à commuter avec le changement de base si f n'est pas propre ou F non cohérent, conduisant à des sauts de dimensions de cohomologie des fibres. ## Mauvaise application Mauvaise application Supposer que toutes les constructions raisonnables commutent avec le changement de base sans vérifier des hypothèses comme la platitude ou la propreté ; par exemple, appliquer des arguments fibre par fibre pour déduire des énoncés globaux sur la normalisation ou la cohomologie sans vérifier les théorèmes de changement de base peut donner des conclusions erronées. ## Conséquence Conséquence Le changement de base pathologique produit des fibres de géométrie différente de celle attendue, invalide le descente ou des arguments de déformation, peut provoquer l'échec de la semi-continuité et rompre la compatibilité des invariants (groupes de Picard, cohomologie, types de singularités) avec l'extension du base. Il impose des vérifications supplémentaires ou le recours à des procédures dérivées/corrigées par image directe. ## Inversion Inversion Un bon comportement vis-à-vis du changement de base survient lorsque des hypothèses (cohérence, platitude, propreté, présentation finie) sont satisfaites et que des théorèmes garantissent la commutation ; alors les constructions fibre par fibre et globales coïncident et les invariants évoluent de façon prévisible lors d'une extension de base. ## Limite Limite Cette préoccupation apparaît dans les familles de schémas et les morphismes de schémas ; elle est la plus marquée hors de la classe des morphismes plats, propres et de présentation finie avec faisceaux cohérents. Les cadres dérivés et en champs peuvent parfois contrôler les pathologies, mais la notion classique exige de vérifier des hypothèses standards avant d'affirmer la commutation. ## Tension sémantique Tension sémantique La tension vient entre l'opération formelle de tirage en arrière et les subtilités algébriques/géométriques (torsion, premiers embarqués, non-platitude) qui empêchent la commutation. Les praticiens peuvent confondre des arguments fibre par fibre naïfs avec de véritables propriétés de changement de base garanties seulement sous des hypothèses précises. ## Synthèse Synthèse Le Changement de Base Pathologique désigne la rupture lorsque la formation de constructions géométriques ou algébriques ne commute pas avec le changement de base : il signale l'échec du raisonnement fibre par fibre et la nécessité de vérifier la finitude/platitude/propreté ou de travailler en catégories dérivées pour rétablir un comportement contrôlé.