Differential graded algebra

Short description: Algebraic structure in homological algebra

This article is about homological algebra. For the algebraic study of differential equations, see Differential algebra.

In mathematics – particularly in homological algebra, algebraic topology, and algebraic geometry – a differential graded algebra (or DGA, or DG algebra) is an algebraic structure often used to capture information about a topological or geometric space. Explicitly, a differential graded algebra is a graded associative algebra with a chain complex structure that is compatible with the algebra structure.

In geometry, the de Rham algebra of differential forms on a manifold has the structure of a differential graded algebra, and it encodes the de Rham cohomology of the manifold. In algebraic topology, the singular cochains of a topological space form a DGA encoding the singular cohomology. Moreover, American mathematician Dennis Sullivan developed a DGA to encode the rational homotopy type of topological spaces.[1]

## Contents

* 1 Definitions
* 1.1 Categorical Definition
* 1.2 Homology and Cohomology
* 2 Properties of DGAs
* 2.1 Commutative Differential Graded Algebras
* 2.2 Differential graded Lie algebras
* 2.3 Formal DGAs
* 3 Examples
* 3.1 Trivial DGAs
* 3.2 The de-Rham algebra
* 3.3 Singular Cochains
* 3.4 The Free DGA
* 3.5 The Free CDGA
* 4 Models for DGAs
* 4.1 Minimal Models
* 4.2 The Sullivan minimal model
* 5 See also
* 6 Notes
* 7 References

## Definitions

Let A∙=⨁i∈ℤAi be a ℤ-graded algebra, with product ⋅, equipped with a map d:A∙->A∙ of degree −1 (homologically graded) or degree +1 (cohomologically graded). We say that (A∙,d,⋅) is a differential graded algebra if d is a differential, giving A∙ the structure of a chain complex or cochain complex (depending on the degree), and satisfies a graded Leibniz rule. In what follows, we will denote the "degree" of a homogeneous element a∈Ai by |a|=i. Explicitly, the map d satisfies the conditions[2]

1. d∘d=0, often written d2=0.
2. d(a⋅b)=(da)⋅b+(−1)|a|a⋅(db).

Often one omits the differential and multiplication and simply writes A∙ or A to refer to the DGA (A∙,d,⋅).

A linear map f:A∙->B∙ between graded vector spaces is said to be of degree n if f(Ai)⊆Bi+n for all i. When considering (co)chain complexes, we restrict our attention to chain maps, that is, maps of degree 0 that commute with the differentials f∘dA=dB∘f. The morphisms in the category of DGAs are chain maps that are also algebra homomorphisms.

### Categorical Definition

One can also define DGAs more abstractly using category theory. There is a category of chain complexes over a ring R, often denoted ChR, whose objects are chain complexes and whose morphisms are chain maps. We define the tensor product of chain complexes (V,dV) and (W,dW) by[3]

(V⊗W)n=⨁i+j=nVi⊗RWj

with differential

d(v⊗w)=(dVv)⊗w−(−1)|v|v⊗(dWw)

This operation makes ChR into a symmetric monoidal category. Then, we can equivalently define a differential graded algebra as a monoid object in ChR. Heuristically, it is an object in ChR with an associative and unital multiplication.

### Homology and Cohomology

Associated to any chain complex (A∙,d) is its homology. Since d∘d=0, it follows that im⁡(d:Ai+1->Ai) is a subobject of ker⁡(d:Ai->Ai−1). Thus, we can form the quotient

Hi(A∙)=ker⁡(d:Ai->Ai−1)/im⁡(d:Ai+1->Ai)

This is called the ith homology group, and all together they form a graded vector space H∙(A). In fact, the homology groups form a DGA with zero differential. Analogously, one can define the cohomology groups of a cochain complex, which also form a graded algebra with zero differential.

Every chain map f:(A∙,dA)->(B∙,dB) of complexes induces a map on (co)homology, often denoted f*:H∙(A)->H∙(B) (respectively f*:H∙(B)->H∙(A)). If this induced map is an isomorphism on all (co)homology groups, the map f is called a quasi-isomorphism. In many contexts, this is the natural notion of equivalence one uses for (co)chain complexes. We say a morphism of DGAs is a quasi-isomorphism if the chain map on the underlying (co)chain complexes is.

## Properties of DGAs

### Commutative Differential Graded Algebras

A commutative differential graded algebra (or CDGA) is a differential graded algebra, (A∙,d,⋅), which satisfies a graded version of commutativity. Namely,

a⋅b=(−1)|a||b|b⋅a

for homogeneous elements a∈Ai,b∈Aj. Many of the DGAs commonly encountered in math happen to be CDGAs, like the de Rham algebra of differential forms.

### Differential graded Lie algebras

A differential graded Lie algebra (or DGLA) is a differential graded analogue of a Lie algebra. That is, it is a differential graded vector space, (L∙,d), together with an operation [,]:Li⊗Lj->Li+j, satisfying the following graded analogues of the Lie algebra axioms.

1. Graded skew-symmetry: [x,y]=−(−1)|x||y|[y,x] for homogeneous elements x∈Li,y∈Lj.
2. Graded Jacobi identity: (−1)|x||z|[x,[y,z]]+(−1)|y||x|[y,[z,x]]+(−1)|z||y|[z,[x,y]]=0.
3. Graded Leibniz rule: d[x,y]=[dx,y]+(−1)|x|[x,dy].

An example of a DGLA is the de Rham algebra Ω∙(M) tensored with a Lie algebra 𝔤, with the bracket given by the exterior product of the differential forms and Lie bracket; elements of this DGLA are known as Lie algebra–valued differential forms. DGLAs also arise frequently in the study of deformations of algebraic structures where, over a field of characteristic 0, "nice" deformation problems are described by the space of Maurer-Cartan elements of some suitable DGLA.[4]

### Formal DGAs

A (co)chain complex C∙ is called formal if there is a chain map to its (co)homology H∙(C∙) (respectively H∙(C∙)), thought of as a complex with 0 differential, that is a quasi-isomorphism. We say that a DGA A is formal if there exists a morphism of DGAs A->H∙(A) (respectively A->H∙(A)) that is a quasi-isomorphism.[5] This notion is important, for instance, when one wants to consider quasi-isomorphic chain complexes or DGAs as being equivalent, as in the derived category.

## Examples

### Trivial DGAs

Notice that any graded algebra A=⨁iAi has the structure of a DGA with trivial differential, i.e., d=0. In particular, as noted above, the (co)homology of any DGA forms a trivial DGA, since it is a graded algebra.

### The de-Rham algebra

Let M be a manifold. Then, the differential forms on M, denoted by Ω∙(M), naturally have the structure of a (cohomologically graded) DGA. The graded vector space is Ω∙(M), where the grading is given by form degree. This vector space has a product, given by the exterior product, which makes it into a graded algebra. Finally, the exterior derivative d:Ωi(M)->Ωi+1(M) satisfies d2=0 and the graded Leibniz rule. In fact, the exterior product is graded-commutative, which makes the de Rham algebra an example of a CDGA.[6]

### Singular Cochains

Let X be a topological space. Recall that we can associate to X its complex of singular cochains with coefficients in a ring R, denoted (C∙(X;R),d), whose cohomology is the singular cohomology of X. On C∙(X;R), one can define the cup product of cochains, which gives this cochain complex the structure of a DGA.[7] In the case where X is a smooth manifold and R=ℝ, the de Rham theorem states that the singular cohomology is isomorphic to the de Rham cohomology and, moreover, the cup product and exterior product of differential forms induce the same operation on cohomology.

Note, however, that while the cup product induces a graded-commutative operation on cohomology, it is not graded commutative directly on cochains. This is an important distinction, and the failure of a DGA to be commutative is referred to as the "commutative cochain problem". This problem is important because if, for any topological space X, one can associate a commutative DGA whose cohomology is the singular cohomology of X over R, then this CDGA determines the R-homotopy type of X.[7]

### The Free DGA

Let V be a (non-graded) vector space over a field k. The tensor algebra T(V) is defined to be the graded algebra

T(V)=⨁i≥0Ti(V)=⨁i≥0V⊗i

where, by convention, we take T0(V)=k. This vector space can be made into a graded algebra with the multiplication Ti(V)⊗Tj(V)->Ti+j(V) given by the tensor product ⊗. This is the free algebra on V, and can be thought of as the algebra of all non-commuting polynomials in the elements of V.

One can give the tensor algebra the structure of a DGA as follows. Let f:V->k be any linear map. Then, this extends uniquely to a derivation of T(V) of degree −1 (homologically graded) by the formula[8]

df(v1⊗⋯⊗vn)=∑i=1n(−1)i−1v1⊗⋯⊗f(vi)⊗⋯⊗vn

One can think of the minus signs on the right-hand side as coming from "jumping" the map f over the elements v1,…,vi−1, which are all of degree 1 in T(V). This is commonly referred to as the Koszul sign rule.

One can extend this construction to differential graded vector spaces. Let (V∙,dV) be a differential graded vector space, i.e., dV:Vi->Vi−1 and d2=0. Here we work with a homologically graded DG vector space, but this construction works equally well for a cohomologically graded one. Then, we can endow the tensor algebra T(V) with a DGA structure which extends the DG structure on V. The differential is given by

d(v1⊗⋯⊗vn)=∑i=1n(−1)|v1|+…+|vi−1|v1⊗⋯⊗dV(vi)⊗⋯⊗vn

This is similar to the previous case, except that now the elements of V can have different degrees, and T(V) is no longer graded by the number of tensor products but instead by the sum of the degrees of the elements of V, i.e., |v1⊗⋯⊗vn|=|v1|+…+|vn|.[9]

### The Free CDGA

Similar to the previous case, one can also construct the free CDGA. Given a graded vector space V∙, we define the free graded commutative algebra on it by

S(V)=Sym⁡(⨁i=2kVi)⊗⋀(⨁i=2k+1Vi)

where Sym denotes the symmetric algebra and ⋀ denotes the exterior algebra. If we begin with a DG vector space (V∙,d) (either homologically or cohomologically graded), then we can extend d to S(V) such that (S(V),d) is a CDGA in a unique way.[10]

## Models for DGAs

As mentioned previously, oftentimes one is most interested in the (co)homology of a DGA. As such, the specific (co)chain complex we use is less important, as long as it has the right (co)homology. Given a DGA A, we say that another DGA M is a model for A if it comes with a surjective DGA morphism p:M->A that is a quasi-isomorphism.[11]

### Minimal Models

Since one could form arbitrarily large (co)chain complexes with the same cohomology, it is useful to consider the "smallest" possible model of a DGA. We say that a DGA (A,d,⋅) is a minimal if it satisfies the following conditions.[12]

1. It is free as a graded algebra, i.e., A≅T(V) for some graded vector space V.
2. The differential satisfies d(A)⊆A+⋅A+, where A+=⨁i>0Ai consists of the positive degree parts of A.

Note that some conventions, often used in algebraic topology, additionally require that A be simply connected, which means that A0=k and A1=0.[12] This condition on the 0th and 1st degree components of A mirror the (co)homology groups of a simply connected space.

Finally, we say that M is a minimal model for A if it is both minimal and a model for A. The fundamental theorem of minimal models[11] states that if A is simply connected then it admits a minimal model, and that if a minimal model exists it is unique up to (non-unique) isomorphism.[13]

### The Sullivan minimal model

Main article: Rational homotopy theory

Minimal models were used with great success by Dennis Sullivan in his work on rational homotopy theory. Given a simplicial complex X, one can define a rational analogue of the (real) de Rham algebra: the DGA APL(X) of "piecewise polynomial" differential forms with ℚ-coefficients. Then, APL(X) has the structure of a CDGA over the field ℚ, and in fact the cohomology is isomorphic to the singular cohomology of X.[14] In particular, if X is a simply connected topological space then APL(X) is simply connected as a DGA, thus there exists a minimal model.

Moreover, since APL(X) is a CDGA whose cohomology is the singular cohomology of X with ℚ-coefficients, it is a solution to the commutative cochain problem. Thus, if X is a simply connected CW complex with finite dimensional rational homology groups, the minimal model of the CDGA APL(X) captures entirely the rational homotopy type of X.[15]

## See also

* Differential graded Lie algebra
* Rational homotopy theory
* Homotopy associative algebra

## Notes

1. ↑ Sullivan 1977.
2. ↑ Loday & Vallette 2012, p. 28-29.
3. ↑ Weibel 1994, p. 58.
4. ↑ Kontsevich & Soibelman, p. 14.
5. ↑ Sullivan 1977, p. 315.
6. ↑ Griffiths & Morgan 2013, p. 95.
7. ↑ 7.0 7.1 Griffiths & Morgan 2013, p. 96.
8. ↑ Loday & Vallette 2012, p. 5.
9. ↑ Loday & Vallette 2012, p. 17.
10. ↑ Felix, Oprea & Tanre 2008, p. 58.
11. ↑ 11.0 11.1 Loday & Vallette 2012, p. 29.
12. ↑ 12.0 12.1 Griffiths & Morgan 2013, p. 97.
13. ↑ Deligne et al. 1975, p. 251.
14. ↑ Deligne et al. 1975, p. 255.
15. ↑ Griffiths & Morgan 2013, p. 2.

## References

* Deligne, Pierre; Griffiths, Phillip; Morgan, John; Sullivan, Dennis (1975). "Real homotopy theory of Kähler manifolds". Inventiones Mathematicae (Springer) 29 (3): 245–274. doi:10.1007/BF01389853. Bibcode: 1975InMat..29..245D.

* Felix, Yves; Oprea, John; Tanre, Daniel (2008), Algebraic Models in Geometry, Oxford Graduate Texts in Mathematics, 17, New York: Oxford University Press, ISBN 978-0-19-920651-3

* Griffiths, Phillip; Morgan, John (2013), Rational Homotopy Theory and Differential Forms, Progress in Mathematics, 16 (3rd ed.), New York, Heidelberg, Dordrecht, London: Birkhäuser, ISBN 978-1-4614-8467-7

* Kontsevich, Maxim; Soibelman, Yan, Deformation Theory. I

* Loday, Jean-Louis; Vallette, Bruno (2012), Algebraic Operads, Grundlehren der mathematischen Wissenschaften, 346, Heidelberg, New York, Dordrecht, London: Springer, ISBN 978-3-642-30362-3

* "Infinitesimal computations in topology", Publications Mathématiques de l'IHÉS 47: 269–331, 1977, doi:10.1007/bf02684341, http://www.numdam.org/item?id=PMIHES_1977__47__269_0

* Weibel, Charles (1994), An Introduction to Homological Algebra, Cambridge Studies in Advanced Mathematics, 38, Cambridge: Cambridge University Press, ISBN 0-521-43500-5

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=3990296"