Skip to content

Descent (Mathematics)

Recover a global mathematical object from compatible local objects by comparing pullbacks on fiber-product overlaps, enforcing a cocycle, and proving the resulting datum effective.

Version
v3 · 2026-09-06 · History
Domain-specific #
1648
Origin domain
algebraic geometry
Subdomain
descent theory

Core Idea

Descent is the mathematical theory of recognizing when objects given over a cover or a morphism come from one object over the base. Its decisive move is to compare the local objects only after pulling them to a common overlap, require those comparisons to compose coherently on triple overlaps, and then ask whether the resulting descent datum is effective—whether a global object actually exists whose pullbacks reproduce the supplied datum.

Let \(\mathcal C\) be a category with the needed fiber products and let \(\mathcal F\to\mathcal C\) be a fibred category of the objects under study. For a family \(\{u_i:U_i\to U\}\), a descent datum consists of objects \(X_i\in\mathcal F(U_i)\) and isomorphisms.

Scope of Application

Sheaves and modules on open covers. Compatible sheaves or modules on open subsets glue to a global sheaf. This is the most concrete effective case and supplies the equalizer formula behind many constructions.

Quasi-coherent sheaves in algebraic geometry. Quasi-coherent sheaves satisfy effective descent for fpqc coverings. In affine form, a faithfully flat ring map \(R\to A\) identifies \(R\)-modules with \(A\)-modules carrying descent data.

Clarity

Descent becomes clear once three verdicts are kept separate:

  1. Well-formed local data: objects exist over the members of the cover.
  2. Coherent descent data: their pullbacks are identified and the identifications satisfy the cocycle.
  3. Effective descent: the coherent datum is induced by a global object.

Manages Complexity

Descent replaces direct global construction with a controlled local workflow. One chooses a cover on which the object becomes simpler, constructs there, records only the overlap identifications, checks one cocycle pattern, and invokes an effectivity theorem. A difficult global object can therefore be represented by tractable local models plus a small coherence interface.

Abstract Reasoning

Recognition test. Name the base, the cover, the fibred object class, the two pullbacks on pair overlaps, the overlap isomorphism, and the triple cocycle. If any role has no literal referent, the case is generic local-to-global reasoning rather than mathematical descent.

Effectivity test. After verifying the cocycle, ask which theorem places the datum in the essential image of the canonical functor.

Knowledge Transfer

Within algebraic geometry, topology, and category theory, descent transfers as a literal method. Sheaves, modules, vector bundles, torsors, forms, schemes, and moduli objects change, but the operative sequence remains recognizable: pull back to a cover, compare on the fiber-product relation, impose cocycle coherence, and test the canonical functor for effectivity. The same proof architecture can move from Zariski covers to fpqc covers or from bundles to quasi-coherent modules while preserving its vocabulary and diagnostics.

Relationships to Other Abstractions

Local relationship map for Descent (Mathematics)Parents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Descent (Mathematics)DOMAINPrime abstraction: Local-to-Global Aggregation — is a kind ofLocal-to-GlobalAggregationPRIME

Current abstraction Descent (Mathematics) Domain-specific

Parents (1) — more general patterns this builds on

  • Descent (Mathematics) is a kind of Local-to-Global Aggregation Prime

    prime:local_to_global_aggregation — proposed strict subsumption parent. Descent is that prime specialized to category-valued mathematical objects, with pullback isomorphisms and effectivity as its differentia.

Hierarchy path (1) — routes to 1 parentless root

Neighborhood in Abstraction Space

Descent (Mathematics) sits in a sparse region of the domain-specific corpus (72nd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Formal Languages, Types & Programs (41 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-09-08