## [Obstruction à la Descente](/fr/node/63696) Définition Une obstruction qui empêche des objets locaux ou des données définies sur un recouvrement de se recoller en un objet global ; typiquement détectée par une classe de cohomologie non triviale ou par l’ineffectivité des données de descente dans une topologie donnée (étale, fppf, fpqc, etc.). ## Principe Principe La descente formalise quand des données de compatibilité locales (restrictions et conditions de cocycle) suffisent et sont effectives pour reconstruire un objet global ; l’échec survient lorsque la compatibilité existe à la limite d’isomorphismes cohérents mais ne peut être réalisée par un objet global dans la catégorie. ## Démonstration Démonstration Un exemple classique est un torseur sous un schéma en groupes donné par trivializations locales et fonctions de transition représentant une classe non triviale dans H^1 du recouvrement : le cocycle est non nul, de sorte que les données définissent un torseur non trivial qui ne descend pas à un objet global trivial, ou plus généralement des données de descente non effectives ne produisent aucun objet global. ## Mauvaise application Mauvaise application Supposer que parce que des objets coïncident sur les recouvrements ils se recollent forcément globalement sans vérifier les obstructions de cocycle supérieures ou la topologie requise (par exemple utiliser la descente de Zariski alors que seule la descente fppf s’applique), ce qui conduit à des constructions globales incorrectes. ## Conséquence Conséquence Reconnaître un échec de la descente oblige à se raffiner : changer de topologie (utiliser un recouvrement plus fin), passer à des champs ou des gerbes où la descente devient effective, ou identifier la classe cohomologique dont l’annulation est nécessaire pour réussir la descente. ## Inversion Inversion La descente effective est l’inverse : des données de descente satisfaisant les conditions de cocycle qui proviennent effectivement d’un objet global unique à isomorphisme près, généralement témoignée par l’annulation des classes d’obstruction dans les groupes de cohomologie appropriés. ## Limite Limite Concerne les catégories fibrées en groupoïdes, faisceaux, schémas et modules sur des recouvrements dans des topologies précisées ; ne s’applique pas au recollement trivial dans des catégories discrètes ni au collage formel qui ignore la cohérence des cocycles. ## Tension sémantique Tension sémantique Tension entre le collage naïf (accord local sur les recouvrements deux à deux) et la descente complète (conditions cohérentes de cocycle supérieures et effectivité) ; aussi tension entre la représentabilité par des schémas et la nécessité de structures en champ pour une descente effective. ## Synthèse Synthèse L’échec de la descente est le phénomène où des données locales compatibles ne réalisent pas un objet global à cause de classes d’obstruction non nulles ou d’une ineffectivité ; le résoudre exige d’ajuster la topologie, d’enrichir la catégorie (champs, gerbes) ou d’éliminer les obstructions cohomologiques.