Differential graded category

Last updated October 25, 2024

In mathematics, especially homological algebra, a differential graded category, often shortened to dg-category or DG category, is a category whose morphism sets are endowed with the additional structure of a differential graded $\mathbb {Z}$ -module.

which has to satisfy $d\circ d=0$ . This is equivalent to saying that $\operatorname {Hom} (A,B)$ is a cochain complex. Furthermore, the composition of morphisms $\operatorname {Hom} (A,B)\otimes \operatorname {Hom} (B,C)\rightarrow \operatorname {Hom} (A,C)$ is required to be a map of complexes, and for all objects A of the category, one requires $d(\operatorname {id} _{A})=0$ .

Examples

Any additive category may be considered to be a DG-category by imposing the trivial grading (i.e. all $\mathrm {Hom} _{n}(-,-)$ vanish for $n\neq 0$ ) and trivial differential ( $d=0$ ).
A little bit more sophisticated is the category of complexes $C({\mathcal {A}})$ over an additive category ${\mathcal {A}}$ . By definition, $\operatorname {Hom} _{C({\mathcal {A}}),n}(A,B)$ is the group of maps $A\rightarrow B[n]$ which do not need to respect the differentials of the complexes A and B, i.e.,

\mathrm {Hom} _{C({\mathcal {A}}),n}(A,B)=\prod _{l\in \mathbb {Z} }\mathrm {Hom} (A_{l},B_{l+n})

.

The differential of such a morphism

f=(f_{l}\colon A_{l}\rightarrow B_{l+n})

of degree n is defined to be

f_{l+1}\circ d_{A}+(-1)^{n+1}d_{B}\circ 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.^[1]

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

A DG category C is called pre-triangulated if it has a suspension functor $\Sigma$ and a class of distinguished triangles compatible with the suspension, such that its homotopy category Ho(C) is a triangulated category. A triangulated category T is said to have a dg enhancementC if C is a pretriangulated dg category whose homotopy category is equivalent to T.^[2] 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.

Related Research Articles

In mathematics, specifically category theory, a functor is a mapping between categories. Functors were first considered in algebraic topology, where algebraic objects are associated to topological spaces, and maps between these algebraic objects are associated to continuous maps between spaces. Nowadays, functors are used throughout modern mathematics to relate various categories. Thus, functors are important in all areas within mathematics to which category theory is applied.

In mathematics, especially in category theory and homotopy theory, a groupoid generalises the notion of group in several equivalent ways. A groupoid can be seen as a:

In mathematics, the Yoneda lemma is a fundamental result in category theory. It is an abstract result on functors of the type morphisms into a fixed object. It is a vast generalisation of Cayley's theorem from group theory. It allows the embedding of any locally small category into a category of functors defined on that category. It also clarifies how the embedded category, of representable functors and their natural transformations, relates to the other objects in the larger functor category. It is an important tool that underlies several modern developments in algebraic geometry and representation theory. It is named after Nobuo Yoneda.

In category theory, a branch of mathematics, a natural transformation provides a way of transforming one functor into another while respecting the internal structure of the categories involved. Hence, a natural transformation can be considered to be a "morphism of functors". Informally, the notion of a natural transformation states that a particular map between functors can be done consistently over an entire category.

In mathematics, specifically category theory, adjunction is a relationship that two functors may exhibit, intuitively corresponding to a weak form of equivalence between two related categories. Two functors that stand in this relationship are known as adjoint functors, one being the left adjoint and the other the right adjoint. Pairs of adjoint functors are ubiquitous in mathematics and often arise from constructions of "optimal solutions" to certain problems, such as the construction of a free group on a set in algebra, or the construction of the Stone–Čech compactification of a topological space in topology.

Homological algebra is the branch of mathematics that studies homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology and abstract algebra at the end of the 19th century, chiefly by Henri Poincaré and David Hilbert.

In algebraic geometry, motives is a theory proposed by Alexander Grothendieck in the 1960s to unify the vast array of similarly behaved cohomology theories such as singular cohomology, de Rham cohomology, etale cohomology, and crystalline cohomology. Philosophically, a "motif" is the "cohomology essence" of a variety.

In mathematics, the derived categoryD(A) of an abelian category A is a construction of homological algebra introduced to refine and in a certain sense to simplify the theory of derived functors defined on A. The construction proceeds on the basis that the objects of D(A) should be chain complexes in A, with two such chain complexes considered isomorphic when there is a chain map that induces an isomorphism on the level of homology of the chain complexes. Derived functors can then be defined for chain complexes, refining the concept of hypercohomology. The definitions lead to a significant simplification of formulas otherwise described (not completely faithfully) by complicated spectral sequences.

In mathematics, especially in category theory, a closed monoidal category is a category that is both a monoidal category and a closed category in such a way that the structures are compatible.

In mathematics, a triangulated category is a category with the additional structure of a "translation functor" and a class of "exact triangles". Prominent examples are the derived category of an abelian category, as well as the stable homotopy category. The exact triangles generalize the short exact sequences in an abelian category, as well as fiber sequences and cofiber sequences in topology.

In the branch of mathematics called homological algebra, a t-structure is a way to axiomatize the properties of an abelian subcategory of a derived category. A t-structure on $consists of two subcategories of a triangulated category or stable infinity category which abstract the idea of complexes whose cohomology vanishes in positive, respectively negative, degrees. There can be many distinct t -structures on the same category, and the interplay between these structures has implications for algebra and geometry. The notion of a t -structure arose in the work of Beilinson, Bernstein, Deligne, and Gabber on perverse sheaves.$

In mathematics, coherent duality is any of a number of generalisations of Serre duality, applying to coherent sheaves, in algebraic geometry and complex manifold theory, as well as some aspects of commutative algebra that are part of the 'local' theory.

This is a glossary of properties and concepts in category theory in mathematics.

In homological algebra in mathematics, the homotopy categoryK(A) of chain complexes in an additive category A is a framework for working with chain homotopies and homotopy equivalences. It lies intermediate between the category of chain complexes Kom(A) of A and the derived category D(A) of A when A is abelian; unlike the former it is a triangulated category, and unlike the latter its formation does not require that A is abelian. Philosophically, while D(A) turns into isomorphisms any maps of complexes that are quasi-isomorphisms in Kom(A), K(A) does so only for those that are quasi-isomorphisms for a "good reason", namely actually having an inverse up to homotopy equivalence. Thus, K(A) is more understandable than D(A).

In mathematics, the tensor-hom adjunction is that the tensor product $and hom-functor form an adjoint pair:$

In mathematics, the cotangent complex is a common generalisation of the cotangent sheaf, normal bundle and virtual tangent bundle of a map of geometric spaces such as manifolds or schemes. If $is a morphism of geometric or algebraic objects, the corresponding cotangent complex can be thought of as a universal "linearization" of it, which serves to control the deformation theory of . It is constructed as an object in a certain derived category of sheaves on using the methods of homotopical algebra.$

In mathematics, the term "graded" has a number of meanings, mostly related:

In mathematics, the quotient of an abelian category $by a Serre subcategory is the abelian category which, intuitively, is obtained from by ignoring all objects from . There is a canonical exact functor whose kernel is, and is in a certain sense the most general abelian category with this property.$

In mathematics, compact objects, also referred to as finitely presented objects, or objects of finite presentation, are objects in a category satisfying a certain finiteness condition.

In mathematics, derived noncommutative algebraic geometry, the derived version of noncommutative algebraic geometry, is the geometric study of derived categories and related constructions of triangulated categories using categorical tools. Some basic examples include the bounded derived category of coherent sheaves on a smooth variety, $, called its derived category, or the derived category of perfect complexes on an algebraic variety, denoted . For instance, the derived category of coherent sheaves on a smooth projective variety can be used as an invariant of the underlying variety for many cases. Unfortunately, studying derived categories as geometric objects of themselves does not have a standardized name.$

References

↑ Tabuada, Gonçalo (2005), "Invariants additifs de DG-catégories", International Mathematics Research Notices , 2005 (53): 3309–3339, doi: 10.1155/IMRN.2005.3309 , ISSN 1073-7928, S2CID 119162782
↑ See Alberto Canonaco; Paolo Stellari (2017), "A tour about existence and uniqueness of dg enhancements and lifts", Journal of Geometry and Physics, 122: 28–52, arXiv: 1605.00490 , Bibcode:2017JGP...122...28C, doi:10.1016/j.geomphys.2016.11.030, S2CID 119326832 for a survey of existence and unicity results of dg enhancements dg enhancements.

Keller, Bernhard (1994), "Deriving DG categories", Annales Scientifiques de l'École Normale Supérieure , Série 4, 27 (1): 63–102, doi: 10.24033/asens.1689 , ISSN 0012-9593, MR 1258406

External links

dg-category in nLab

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Tabuada, Gonçalo (2005), "Invariants additifs de DG-catégories", International Mathematics Research Notices , 2005 (53): 3309–3339, doi: 10.1155/IMRN.2005.3309 , ISSN 1073-7928, S2CID 119162782

[2] See Alberto Canonaco; Paolo Stellari (2017), "A tour about existence and uniqueness of dg enhancements and lifts", Journal of Geometry and Physics, 122: 28–52, arXiv: 1605.00490 , Bibcode:2017JGP...122...28C, doi:10.1016/j.geomphys.2016.11.030, S2CID 119326832 for a survey of existence and unicity results of dg enhancements dg enhancements.

[1]

[2]