Descente Fidèlement Plate
Définition
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.