Descent for the abelian categories may be given in two standard ways: one by using transition functors, and another to pack all the transition functors in a single comonad. We shall deal here with a family of flat localizations which are jointly a conservative family (cover by flat localization). If we satisfy conditions for one of the variants of the Beck’s comonadicity theorems we have descent.
This section is explained in (Ros:Nc-Sch) and (Skoda:nloc).
By a flat localization (functor) we will mean an exact additive functor having a fully faithful right adjoint . The composition is then often denoted by . A family , of functors with the same domain is conservative if is invertible for all only if is invertible. A flat cover of an abelian category is by definition a conservative family of flat functors .
Localization functors typically do not mutually commute. Namely, given a family of flat localizations , , the functors and for are in general not isomorphic. If the family is a cover then define the product category and the functor , where the notation denotes the ordered -tuple in . If has products of families of objects, then has a right adjoint given by . Indeed,
The unit of the adjunction is the map induced from the units , by the universality of Cartesian product in , namely . The counit has the components given by the compositions
where in the first functor the projections for the Cartesian product are used.
Denote ; then is the comonad on induced by the adjunction , where for each the component of the comultiplication is more explicitly the map
Again, if each commutes with -products then the products can be placed in front: $$
There is a comparison functor
under the appropriate (Beck comonadicity criteria) conditions is an equivalence, with the (quasi)inverse mapping sending an -comodule , into the equalizer of morphisms and in , thus identifying with the Eilenberg-Moore category of comodules for the comonad .
Now consider functor between two comonadic categories. Throughout we assume that the comonad is induced by a cover by flat localization functors commuting with direct products objects; without loss of generality, for simplicity, the categories are identified with the Eilenberg-Moore categories for the corresponding comonad. The localization data for will be denoted by primed symbols, like , etc. while the label set for the cover will be rather than .
We claim that can be locally represented by fucntors for all pairs where these local functors have to satisfy a set of compatibility conditions to explain later. The passage from to is given by a simple recipe, namely , reminding the description of morphisms of manifolds in pairs of local charts.
Let be a small family of functors having fully faithful right adjoints . In practice, the categories are not necessarily constructed from by a localization, but of course they are equivalent to such.
One may consider the category whose objects are families of objects in and morphisms are families where is a morphism in , with componentwise composition. This makes sense as the family of objects is literally a function from to the disjoint union which is in the same Grothendieck universe.
The family of adjoint pairs defines an inverse image functor by on objects and on morphisms. However, a direct image functor may not exist. We may naturally try where is now the symbol for the Cartesian product in which may not always exist. For finite families, with abelian, these trivially exist. Let be the power category. Assume a fixed choice of the Cartesian product for all -tuples in . Then extends to a functor , and the universality of products implies that the projections form a natural transformation of functors where is the -th formal projection . The unique liftings of morphisms in the sense that hence form a natural transformation .
Define componentwise. This way we obtain an adjunction . As usual, every adjunction generates a comonad on , which will be in our case denoted by where , the comultiplication is where the counit and the unit are from above.
If is faithful and exact for every then is as well.
Consider the comonad in associated to . We are interested in situation when the comparison functor is an equivalence of categories.
Typically one needs to ensure the faithfulness of for what we require that the family is a flat cover of , by that in this setup we mean that are all exact (and having right adjoint as before). Flat cover is by a definition a small flat family of functors with domain which is conservative, i.e. a morphism is invertible iff is invertible for each . A flat map whose direct image functor is conservative is called almost affine. In particular, this is true for adjoint triples coming from a map of rings. Adjoint triples where the direct image functor is conservative are called affine morphisms.
The cocycle condition for gluing morphism is equivalent to the coaction axiom for the associated comodule. The remaining requirements are made to ensure that the comparison functor is an equivalence and the other original data may be reconstructed as well. The Eilenberg-Moore category of the associated monad may be constructed directly from gluing morphisms, and it appears to be just a reformulation of the descent category.
A special case of Beck's theorem. Let be an adjoint pair and its associated comonad._If preserves and reflects equalizers of all parallel pairs in (for which equalizers exists) and if any parallel pair mapped by into a pair having an equalizer in has an equalizer in , then the comparison functor is an equivalence of categories.
Notation standard in the localization theory of modules. We usually denote the composition where is the right adjoint to the categorical localization . No star means hence means that we consider a localization as an endofunctor (comp. of a localization and an embedding back of the localized category). When ring theorists say that a localization is flat you never know if they mean really that the composition is flat (stronger property: means that both left and right adjoints and are flat, we say that the “geometric morphism” is biflat. If is in the nonlocalized category, then the component of the adjunction is denoted by . If the domain is the category of modules over a ring and itself has a right adjoint (affine localization) then in fact is also a ring and is a ring homomorphism (this is true for example for all perfect localizations e.g. Ore localizations which are affine and biflat).
Localization functors do not commute. While the descent over topological spaces compares the modules over multiple intersections and , for the descent over the covers by localizations the consecutive localized modules and are NOT in general isomorphic!
We denote . Thus (note order!).
Canonical maps between single and (pair-) consecutive localizations are of two distinct kinds
is given by the component of the adjunction morphism at
is obtained by applying localization functor to the component of adjunction morphism at .
Notice that while Grothendieck topologies satisfy stability exiom, we do not have pullback here at all: while intersections of open sets are pullbacks, the consecutive localizations are not pullbacks of and and instead of comparing modules at the pullbacks, the descent requires that we compare from -localization and module from -localization both in and -consecutive localizations, for the comparison we use both kinds of the canonical maps. When I say I mean some object in -localization, which is not necessarily of the form for some , if it were I would call it (lower index).
Globalization lemma. (version for Gabriel filters: in (Rosen:88) p. 103) Suppose is a finite cover of by affine biflat localization functors (e.g. a conservative family of Ore localizations ). Then for every left -module the sequence
is exact, where , and
The maps etc. are obtained as components of adjunctions as usual. For we use combination of all such maps. Here the order matters: pairs with may be (trivially) skipped, but, unlike in the commutative case, we can not confine to the pairs of indices with only. Nota bene!
Proof is a direct corollary of Beck theorem. For proofs in the cases and in terms of Gabriel filters and hereditary torsion theories see (Rosen:book), pp. 23–25, and (Jara-Verschoren-Vidal, Versch:96, vOyst:assalg).
(Jara-Verschoren-Vidal) P. Jara, A. Verschoren, C. Vidal, Localization and sheaves: a relative point of view, Pitman Res. Notes in Math. 339, Longman 1995.
(Rosen:88) A. L. Rosenberg, Non-commutative affine semischemes and schemes, Seminar on supermanifolds No. 26, edited by D. Leites, Dept. of Math., Univ. of Stockholm 1988, ISSN 0348-7652.
(Rosen:book) A. L. Rosenberg, Noncommutative algebraic geometry and representations of quantized algebras, MAIA 330, Kluwer 1995.
(Ros:Nc-Sch) A. L. Rosenberg, Noncommutative schemes, Comp. Math. 112 (1998), pp. 93–125.
(Skoda:nloc) Z. Škoda, Noncommutative localization in noncommutative geometry
(vOyst:assalg) F. van Oystaeyen, Algebraic geometry for associative algebras, Marcel Dekker 2000.
(vOyst-Willaert:1995) F. van Oystaeyen, L. Willaert, Grothendieck topology, coherent sheaves and Serre’s theorem, J. Pure Appl. Alg. 104 (1995), pp. 109–122.
(Versch:96) A. Verschoren, Sheaves and localization, J. Algebra 182 (1996), no. 2, pp. 341–346.