Descent (mathematics)
In mathematics, the idea of descent extends the intuitive idea of 'gluing' in topology. Since the topologists' glue is the use of equivalence relations on topological spaces, the theory starts with some ideas on identification.
Descent of vector bundles
The case of the construction of vector bundles from data on a disjoint union of topological spaces is a straightforward place to start.Suppose is a topological space covered by open sets. Let be the disjoint union of the, so that there is a natural mapping
We think of as 'above', with the projection 'down' onto. With this language, descent implies a vector bundle on, and our concern is to 'glue' those bundles, to make a single bundle on. What we mean is that should, when restricted to, give back, up to a bundle isomorphism.
The data needed is then this: on each overlap
intersection of and, we'll require mappings
to use to identify and there, fiber by fiber. Further the must satisfy conditions based on the reflexive, symmetric and transitive properties of an equivalence relation. For example, the composition
for transitivity. The should be identity maps and hence symmetry becomes .
These are indeed standard conditions in fiber bundle theory. One important application to note is change of fiber : if the are all you need to make a bundle, then there are many ways to make an associated bundle. That is, we can take essentially same, acting on various fibers.
Another major point is the relation with the chain rule: the discussion of the way there of constructing tensor fields can be summed up as "once you learn to descend the tangent bundle, for which transitivity is the Jacobian chain rule, the rest is just 'naturality of tensor constructions'".
To move closer towards the abstract theory we need to interpret the disjoint union of the
now as
the fiber product of two copies of the projection. The bundles on the that we must control are and, the pullbacks to the fiber of via the two different projection maps to.
Therefore, by going to a more abstract level one can eliminate the combinatorial side and get something that makes sense for not of the special form of covering with which we began. This then allows a category theory approach: what remains to do is to re-express the gluing conditions.
History
The ideas were developed in the period 1955–1965. From the point of view of abstract category theory the work of comonads of Beck was a summation of those ideas; see Beck's monadicity theorem.The difficulties of algebraic geometry with passage to the quotient are acute. The urgency of the problem for the geometers accounts for the title of the 1959 Grothendieck seminar TDTE on theorems of descent and techniques of existence connecting the descent question with the representable functor question in algebraic geometry in general, and the moduli problem in particular.
Fully faithful descent
Let. Each sheaf F on X gives rise to a descent datumwhere satisfies the cocycle condition
The fully faithful descent says: The functor is fully faithful. Descent theory tells conditions for which there is a fully faithful descent, and when this functor is an equivalence of categories.