Méthode et ensemble de conditions permettant de reconstruire ou de 'descendre' des objets mathématiques définis sur une extension (revêtement, corps ou schéma) vers des objets sur la base en munissant l'objet étendu de données de descente compatibles (par exemple actions galoisiennes ou cocycles) et en vérifiant l'effectivité.

Principe

Si un objet sur une extension porte une action ou des isomorphismes sur les recouvrements satisfaisant des compatibilités de cocycle, et si la donnée de descente est effective, alors il existe un objet sur la base unique à isomorphisme près dont le changement de base retrouve l'objet donné ; la descente fidèlement plate ou galoisienne fournit des cadres usuels.

Démonstration

Pour les espaces vectoriels : un espace vectoriel V de dimension finie sur une extension galoisienne K muni d'une action semi-linéaire de Gal(K/k) satisfaisant les conditions de cocycle descend vers un k-espace vectoriel W tel que V ≅ W ⊗_k K, avec les invariants V^{Gal(K/k)} fournissant W. En théorie des schémas, des données de descente sur un recouvrement étale se recollent en un schéma sur la base lorsque la descente est effective.

Mauvaise application

Supposer que tout objet invariant sous une action de groupe descend sans vérifier les conditions de cocycle/effectivité, ou tenter de descendre des structures exigeant une rigidité supplémentaire (p. ex. la descente de fibrés en droites nécessite de vérifier le recollage des fonctions de transition).

Conséquence

La descente traduit les problèmes de classification sur des bases compliquées en questions sur des objets munis de symétries sur des recouvrements et se relie aux obstructions cohomologiques : l'échec de la descente est mesuré par des classes de cohomologie non triviales et la descente construit des formes et torsions internes.

Inversion

Le processus inverse est le changement de base ou extension des scalaires : partir d'un objet sur la base pour produire son extension est direct, tandis que la descente est l'inverse et peut échouer ; voir la descente comme l'inverse met en lumière les conditions de compatibilité et d'effectivité nécessaires.

Limite

La descente effective exige des hypothèses précises : la descente galoisienne nécessite une action semi-linéaire compatible, la descente fidèlement plate exige des recouvrements adéquats pour la descente des faisceaux quasi-cohérents, et toutes catégories d'objets ne descendent pas sur n'importe quelle extension ou recouvrement.

Tension sémantique

Étroitement liée à la restriction des scalaires, au tordage et aux formes ; la restriction des scalaires produit un objet sur la base en agrégeant des données, tandis que la descente récupère un objet intrinsèque de la base à partir de données étendues et compatibles — les deux notions peuvent être confondues mais jouent des rôles différents.

Synthèse

La descente est le mécanisme précis qui transforme des données symétriques ou compatibles sur des extensions/recouvrements en objets bien définis sur la base : en encodant et vérifiant les conditions de cocycle et d'effectivité, la descente reconstruit l'objet de base ou met en évidence une obstruction cohomologique empêchant cette reconstruction.