Math 2.0

Category theory; homological algebra Definition

dg category

Builds on CategoryEnriched categoryChain complex

Definition

Let kk be a commutative ring. A dg category over kk is a category ๐’ž\mathcal{C} enriched over the monoidal category of cochain complexes of kk-modules. In detail, for objects x,yx, y of ๐’ž\mathcal{C} there is a chain complex Homโก(x,y)=โจnโˆˆโ„คHomโกn(x,y)\Hom(x, y) = \bigoplus_{n \in \Z} \Hom^n(x, y) of kk-modules with differential dd of degree +1+1, such that:

  1. For objects x,y,zx, y, z there are kk-bilinear composition maps Homโกp(y,z)ร—Homโกq(x,y)โ†’Homโกp+q(x,z)\Hom^p(y, z) \times \Hom^q(x, y) \to \Hom^{p+q}(x, z), written (g,f)โ†ฆgโˆ˜f(g, f) \mapsto g \circ f.
  2. Composition is associative.
  3. Each object xx has an identity 1xโˆˆHomโก0(x,x)1_x \in \Hom^0(x, x) with d(1x)=0d(1_x) = 0, which is a unit for composition.
  4. The Leibniz rule holds: d(gโˆ˜f)=d(g)โˆ˜f+(โˆ’1)pgโˆ˜d(f)d(g \circ f) = d(g) \circ f + (-1)^{p} g \circ d(f) for gโˆˆHomโกp(y,z)g \in \Hom^p(y, z) and fโˆˆHomโกq(x,y)f \in \Hom^q(x, y).

Clauses 1 and 4 say that composition is a map of complexes Homโก(y,z)โŠ—kHomโก(x,y)โ†’Homโก(x,z)\Hom(y, z) \otimes_k \Hom(x, y) \to \Hom(x, z).

Remarks

Example: the dg category Cdg(k)C_{dg}(k) has as objects the cochain complexes XX of kk-modules, with Homโกn(X,Y)=โˆiHomโกk(Xi,Yi+n)\Hom^n(X, Y) = \prod_{i} \Hom_k(X^i, Y^{i+n}). For ff of degree nn the differential is d(f)=dYโˆ˜fโˆ’(โˆ’1)nfโˆ˜dXd(f) = d_Y \circ f - (-1)^n f \circ d_X. One checks d2(f)=dY2โˆ˜fโˆ’fโˆ˜dX2=0d^2(f) = d_Y^2 \circ f - f \circ d_X^2 = 0, because the two middle terms ยฑdYโˆ˜fโˆ˜dX\pm d_Y \circ f \circ d_X cancel, and the Leibniz rule follows from the same sign computation. The closed morphisms of degree 00 are the chain maps, and the exact ones are the null-homotopic chain maps.

Non-example: over k=โ„šk = \Q, use the same graded maps but drop the sign, so d(f)=dYโˆ˜f+fโˆ˜dXd(f) = d_Y \circ f + f \circ d_X. Then d2(f)=2โ€‰dYโˆ˜fโˆ˜dXd^2(f) = 2\, d_Y \circ f \circ d_X. Let CC be the complex with C0=C1=โ„šC^0 = C^1 = \Q and differential the identity, and let fโˆˆHomโกโˆ’1(C,C)f \in \Hom^{-1}(C, C) be the identity map C1โ†’C0C^1 \to C^0. Then d2(f)d^2(f) is 2โ‰ 02 \ne 0 on C0C^0, so Homโก(C,C)\Hom(C, C) is not a complex.

A dg category with one object is the same as a differential graded algebra.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Category concept
  2. Chain complex concept
  3. Enriched category concept
  4. dg category definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Differential_graded_category
About this page
Tag2FR1BWY3H6
URIm2://2FR1BWY3H6
Kinddefinition
WritingW0 stub
MSC18G35, 18D20, 16E45
Definesdg category
UsesCategory, Enriched category, Chain complex

Markdown ยท JSON ยท Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.