Differential graded algebra

Short description: Algebraic structure in homological algebra

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages)

This article provides insufficient context for those unfamiliar with the subject. Please help improve the article by providing more context for the reader. (March 2023) (Learn how and when to remove this template message)

|

Template:Short lead

(Learn how and when to remove this template message)

In mathematics, in particular in homological algebra, a differential graded algebra is a graded associative algebra with an added chain complex structure that respects the algebra structure.

## Contents

* 1 Definition
* 2 Examples of DG-algebras
* 2.1 Tensor algebra
* 2.2 Koszul complex
* 2.3 De-Rham algebra
* 2.4 Singular cohomology
* 3 Other facts about DG-algebras
* 4 See also
* 5 References

## Definition

A differential graded algebra (or DG-algebra for short) A is a graded algebra equipped with a map [math]\displaystyle{ d\colon A \to A }[/math] which has either degree 1 (cochain complex convention) or degree −1 (chain complex convention) that satisfies two conditions:

1. [math]\displaystyle{ d \circ d=0 }[/math].
This says that d gives A the structure of a chain complex or cochain complex (accordingly as the differential reduces or raises degree).
2. [math]\displaystyle{ d(a \cdot b)=(da) \cdot b + (-1)^{\deg(a)}a \cdot (db) }[/math], where [math]\displaystyle{ \operatorname{deg} }[/math] is the degree of homogeneous elements.
This says that the differential d respects the graded Leibniz rule.

A more succinct way to state the same definition is to say that a DG-algebra is a monoid object in the monoidal category of chain complexes. A DG morphism between DG-algebras is a graded algebra homomorphism which respects the differential d.

A differential graded augmented algebra (also called a DGA-algebra, an augmented DG-algebra or simply a DGA) is a DG-algebra equipped with a DG morphism to the ground ring (the terminology is due to Henri Cartan).[1]

Warning: some sources use the term DGA for a DG-algebra.

## Examples of DG-algebras

### Tensor algebra

The tensor algebra is a DG-algebra with differential similar to that of the Koszul complex. For a vector space [math]\displaystyle{ V }[/math] over a field [math]\displaystyle{ K }[/math] there is a graded vector space [math]\displaystyle{ T(V) }[/math] defined as

[math]\displaystyle{ T(V) = \bigoplus_{i\geq 0} T^i(V) = \bigoplus_{i \geq 0} V^{\otimes i} }[/math]

where [math]\displaystyle{ V^{\otimes 0} = K }[/math].

If [math]\displaystyle{ e_1, \ldots, e_n }[/math] is a basis for [math]\displaystyle{ V }[/math] there is a differential [math]\displaystyle{ d }[/math] on the tensor algebra defined component-wise

[math]\displaystyle{ d:T^k(V) \to T^{k-1}(V) }[/math]

sending basis elements to

[math]\displaystyle{ d(e_{i_1}\otimes \cdots \otimes e_{i_k}) = \sum_{1 \leq j \leq k} e_{i_1} \otimes \cdots \otimes d(e_{i_j}) \otimes \cdots \otimes e_{i_k} }[/math]

In particular we have [math]\displaystyle{ d(e_i) = (-1)^i }[/math] and so

[math]\displaystyle{ d(e_{i_1}\otimes \cdots \otimes e_{i_k}) = \sum_{1 \leq j \leq k} (-1)^{i_j}e_{i_1} \otimes \cdots \otimes e_{i_{j-1}} \otimes e_{i_{j+1}} \otimes \cdots \otimes e_{i_k} }[/math]

### Koszul complex

One of the foundational examples of a differential graded algebra, widely used in commutative algebra and algebraic geometry, is the Koszul complex. This is because of its wide array of applications, including constructing flat resolutions of complete intersections, and from a derived perspective, they give the derived algebra representing a derived critical locus.

### De-Rham algebra

Differential forms on a manifold, together with the exterior derivation and the exterior product form a DG-algebra. These have wide applications, including in derived deformation theory.[2] See also de Rham cohomology.

### Singular cohomology

* The singular cohomology of a topological space with coefficients in [math]\displaystyle{ \Z/p\Z }[/math] is a DG-algebra: the differential is given by the Bockstein homomorphism associated to the short exact sequence [math]\displaystyle{ 0 \to \Z/p\Z \to \Z/p^2\Z \to \Z/p\Z \to 0 }[/math], and the product is given by the cup product. This differential graded algebra was used to help compute the cohomology of Eilenberg–MacLane spaces in the Cartan seminar.[3][4]

## Other facts about DG-algebras

* The homology [math]\displaystyle{ H_*(A) = \ker(d) / \operatorname{im}(d) }[/math] of a DG-algebra [math]\displaystyle{ (A,d) }[/math] is a graded algebra. The homology of a DGA-algebra is an augmented algebra.

## See also

* Homotopy associative algebra
* Differential graded category
* Differential graded Lie algebra
* Differential graded scheme
* Differential graded module

## References

1. ↑ Cartan, Henri (1954). "Sur les groupes d'Eilenberg-Mac Lane [math]\displaystyle{ H(\Pi,n) }[/math]". Proceedings of the National Academy of Sciences of the United States of America 40 (6): 467–471. doi:10.1073/pnas.40.6.467. PMID 16589508.
2. ↑ Manetti. "Differential graded Lie algebras and formal deformation theory". https://www1.mat.uniroma1.it/people/manetti/DT2011/ManSea.pdf.
3. ↑ Cartan, H. (1954–1955). "DGA-algèbres et DGA-modules" (in en). Séminaire Henri Cartan 7 (1): 1–9. http://www.numdam.org/item/SHC_1954-1955__7_1_A2_0/.
4. ↑ Cartan, H. (1954–1955). "DGA-modules (suite), notion de construction" (in en). Séminaire Henri Cartan 7 (1): 1–11. http://www.numdam.org/item/SHC_1954-1955__7_1_A3_0/.

* Manin, Yuri Ivanovich; Gelfand, Sergei I. (2003), Methods of Homological Algebra, Berlin, New York: Springer-Verlag, ISBN 978-3-540-43583-9 , see sections V.3 and V.5.6

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Differential graded algebra. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Differential_graded_algebra&oldid=3360747"