Harman Patil (Editor)

Differential graded category

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit

In mathematics, especially homological algebra, a differential graded category or DG category for short, is a category whose morphism sets are endowed with the additional structure of a differential graded Z-module.

Contents

In detail, this means that H o m ( A , B ) , the morphisms from any object A to another object B of the category is a direct sum ⊕ n ∈ Z H o m n ( A , B ) and there is a differential d on this graded group, i.e. for all n a linear map d : H o m n ( A , B ) → H o m n + 1 ( A , B ) , which has to satisfy d ∘ d = 0 . This is equivalent to saying that H o m ( A , B ) is a cochain complex. Furthermore, the composition of morphisms H o m ( A , B ) ⊗ H o m ( B , C ) → H o m ( A , C ) is required to be a map of complexes, and for all objects A of the category, one requires d ( i d A ) = 0 .

Examples

  • Any additive category may be considered to be a DG-category by imposing the trivial grading (i.e. all H o m n ( − , − ) vanish for n ≠ 0) and trivial differential (d = 0).
  • A little bit more sophisticated is the category of complexes C ( A ) over an additive category A . By definition, H o m C ( A ) , n ( A , B ) is the group of maps A → B [ n ] which do not need to respect the differentials of the complexes A and B, i.e. H o m C ( A ) , n ( A , B ) = Π l ∈ Z H o m ( A l , B l + n ) . The differential of such a morphism f = ( f l : A l → B l + n ) of degree n is defined to be f l + 1 ∘ d A + ( − 1 ) n + 1 d B ∘ f l , where d A , d B are the differentials of A and B, respectively. This applies to the category of complexes of quasi-coherent sheaves on a scheme over a ring.
  • A DG-category with one object is the same as a DG-ring. A DG-ring over a field is called DG-algebra, or differential graded algebra.

    • Further properties

    The category of small dg-categories can be endowed with a model category structure such that weak equivalences are those functors that induce an equivalence of derived categories.

    Given a dg-category C over some ring R, there is a notion of smoothness and properness of C that reduces to the usual notions of smooth and proper morphisms in case C is the category of quasi-coherent sheaves on some scheme X over R.

    Relation to triangulated categories

    The homotopy category Ho(C) of a (pretriangulated) dg category C is a triangulated category. Conversely, given a triangulated category T, a (pretriangulated) dg category whose homotopy category is equivalent to T, is referred to as a dg enhancement. dg enhancements of an exact functor between triangulated categories are defined similarly. In general, there need not exist dg enhancements of triangulated categories or functors between them, for example stable homotopy category can be shown not to arise from a dg category in this way. However, various positive results do exist, for example the derived category D(A) of a Grothendieck abelian category A admits a unique dg enhancement.

    References

    Differential graded category Wikipedia
    (Text) CC BY-SA