Une technique algébrique et géométrique qui permet, lorsqu'on effectue un changement de base par un morphisme fidèlement plat, de redescendre des objets, propriétés ou morphismes au schéma de départ dès que les données de recollement compatibles (données de descente) sont satisfaites ; fidèlement plat assure l'exactitude et la réflexion des propriétés.

Principe

Le changement de base fidèlement plat est exact et reflète les isomorphismes ; les données de descente (conditions de cocycle sur les recouvrements) codent la compatibilité requise pour recoller des objets locaux du recouvrement en un objet global sur la base, et l'effectivité de la descente reconstruit l'objet de base de façon unique à isomorphisme canonique près.

Démonstration

Si un fibré vectoriel sur un schéma devient trivial après un recouvrement fidèlement plat et que les fonctions de transition satisfont les relations de cocycle, alors les trivialisations se recollent pour donner un fibré vectoriel sur la base ; de même, des propriétés comme être de présentation finie ou plat se vérifient après changement de base fidèlement plat.

Mauvaise application

Tenter de descendre sans fidélité ni platitude (par exemple en utilisant des extensions arbitraires), ou ignorer la nécessité de données de descente effectives et des conditions de cocycle, peut conduire à de fausses reconstructions ou à la perte d'unicité.

Conséquence

Permet de réduire des questions globales à des vérifications locales sur des recouvrements fidèlement plats pratiques (par exemple fppf ou fpqc), simplifie la vérification de nombreuses propriétés et permet des constructions par recollement centrales en géométrie algébrique et en théorie des modules.

Inversion

L'ascension ou changement de base transporte des objets de la base vers le recouvrement ; la descente est la procédure inverse de reconstruction des objets de la base à partir des données locales — l'inversion met l'accent sur des hypothèses et constructions différentes.

Limite

S'applique lorsque le morphisme est fidèlement plat (souvent dans les topologies fppf ou fpqc) et lorsque les données de descente sont effectives ; toutes les propriétés ne descendent pas sous des topologies plus faibles, et certaines structures exigent des hypothèses supplémentaires (par ex. quasi-compactitude, présentation finie).

Tension sémantique

Il existe une tension entre les différentes notions de descente (étale, Nisnevich, fpqc) car des topologies différentes autorisent des comportements de descente distincts ; « fidèlement plat » met en avant l'exactitude et la fidélité mais peut être plus fort que nécessaire dans certains contextes.

Synthèse

Utiliser un recouvrement fidèlement plat pour travailler localement là où les objets sont plus simples, enregistrer les compatibilités sous forme de données de descente sur les intersections et, quand ces données sont effectives, recoller les morceaux locaux pour reconstruire un objet global unique sur la base, descendant ainsi les structures et propriétés.