An algebraic and geometric technique that allows objects, properties, or morphisms defined after base-change along a faithfully flat morphism to be descended back to the original base when compatible glueing (descent) data are satisfied; faithfulness and flatness ensure exactness and reflection of properties.

Principle

Faithfully flat base change is exact and reflects isomorphisms; descent data (cocycle conditions on overlaps) encode the compatibility needed to glue local objects on the cover into a global object on the base, and effectiveness of descent reconstructs the base object uniquely up to canonical isomorphism.

Demonstration

If a vector bundle on a scheme becomes trivial after a faithfully flat cover and the transition functions satisfy the cocycle relations, then the trivializations glue to give a vector bundle on the base; similarly, properties like being finitely presented or flat can be checked after faithfully flat base change.

Misapplication

Attempting to descend without faithfulness or flatness (for example using arbitrary extensions), or ignoring the need for effective descent data and cocycle conditions, can produce false reconstructions or lose uniqueness information.

Consequence

Reduces global questions to local checks on convenient faithfully flat covers (e.g., fppf or fpqc covers), simplifies verification of many properties, and enables glueing constructions that are central in algebraic geometry and module theory.

Reversal

Ascent or base-change takes objects from the base to the cover; descent is the inverse procedure of reconstructing base objects from cover data—reversal emphasizes different hypotheses and constructions.

Boundary

Applies when the morphism is faithfully flat (often in fppf or fpqc topologies) and when descent data are effective; not all properties descend under weaker topologies, and some structures require additional hypotheses (e.g., quasi-compactness, finite presentation).

Semantic Tension

Tension with other descent notions (étale, Nisnevich, fpqc) arises because different topologies allow different descent behaviors; 'faithfully flat' highlights exactness and faithfulness but may be stronger than necessary in some contexts.

Synthesis

Use a faithfully flat cover to work locally where objects are simpler, record compatibilities as descent data on overlaps, and, when those data are effective, glue the local pieces to reconstruct a unique global object on the base, thereby descending properties and structures.