differential graded algebra

differential graded algebra
Name	Differential graded algebra
Field	Algebra, Homological algebra, Algebraic topology
Introduced	Henri Cartan and Samuel Eilenberg era developments
Notable	Jean-Louis Koszul, Alexander Grothendieck, Jean-Pierre Serre

differential graded algebra

A differential graded algebra is an algebraic structure combining a graded algebra with a differential operator that lowers or raises degree and satisfies a Leibniz rule. It appears throughout modern Algebraic topology, Homological algebra, Category theory, and Algebraic geometry, linking constructions by people such as Jean-Pierre Serre, Alexander Grothendieck, and Henri Cartan. Influential uses occur in the work of Daniel Quillen, Max Karoubi, Jean-Louis Koszul, Pierre Deligne, and Edward Witten.

Definition

A differential graded algebra (DGA) is a graded associative algebra A = ⊕_n A^n over a base ring or field (for example Alexander Grothendieck’s contexts often use fields) equipped with a differential d: A^n → A^{n+1} (or → A^{n-1} depending on convention) satisfying d^2 = 0 and the graded Leibniz rule d(ab) = d(a)b + (-1)^{|a|} a d(b). Foundational formalizations trace to collaborations in the era of Henri Cartan and Samuel Eilenberg and later abstractions by Daniel Quillen and Jean-Louis Koszul. Variants include commutative DGAs studied by Pierre Deligne and noncommutative DGAs used by Max Karoubi and Alain Connes.

Examples

Basic examples arise from chain complexes associated to topological spaces, such as the singular cochains C^*(X; k) for a space X studied in Algebraic topology by authors like Edwin H. Brown and J. H. C. Whitehead. The de Rham complex Ω^*(M) of a smooth manifold M, central in the work of Élie Cartan and André Weil, is a commutative DGA. The Koszul complex introduced by Jean-Louis Koszul provides a finite algebraic DGA in commutative algebra contexts like those of Oscar Zariski and David Mumford. The Hochschild cochain complex CH^*(A,A) of an associative algebra A, developed by Gerald Hochschild and applied by Bertram Kostant and Berndt Keller, carries a DGA structure. Sullivan's minimal models in rational homotopy theory, due to Dennis Sullivan, are commutative DGAs used to study manifolds and spaces considered by William Thurston and Michael Hopkins.

Algebraic Properties and Constructions

DGAs admit tensor products and graded tensor constructions analogous to those deployed by Alexander Grothendieck in module theory and by Hyman Bass in homological dimensions. One can form opposite DGAs, graded centers studied by Igor M. Gelfand, and graded commutator brackets linking to Lie algebra structures explored by Nathan Jacobson and Claude Chevalley. Bar and cobar constructions, developed in the lineage of Samuel Eilenberg and John C. Moore, produce new DGAs and DG coalgebras and are central in the work of E. H. Brown and Daniel Quillen. Homological invariants such as projective resolutions and Ext groups in the DGA setting extend ideas of Hassler Whitney and Cartan-Eilenberg and are used in computations by Henri Cartan’s school and Jean-Pierre Serre.

Modules, Morphisms, and Homotopy

Modules over a DGA generalize chain complexes of modules as studied by Emmy Noether’s algebraic descendants and are analogous to sheaves in the sense of Alexander Grothendieck’s theory. Morphisms of DGAs and quasi-isomorphisms play a role in model category approaches pioneered by Daniel Quillen and further developed by Bernard Keller and Vladimir Drinfeld. Homotopy of DGA maps, homotopy equivalence, and derived Morita theory relate to work by Max Karoubi, Jacob Lurie, and Kiyoshi Igusa, and underpin deformation theories studied by Michael Artin and Martin Schlessinger. The notion of A∞-algebras introduced by Jim Stasheff arises as homotopy coherent relaxations of strict DGAs and has been elaborated by Paul Seidel and Mikhail Kontsevich.

Cohomology and Derived Categories

The cohomology H^*(A) of a DGA is a graded algebra capturing first-order invariants; computations for de Rham cohomology involve figures such as Élie Cartan and André Weil, while Hochschild cohomology calculations trace to Gerald Hochschild and Jean-Louis Koszul. Derived categories of DG-modules, inspired by Alexander Grothendieck’s derived functor formalism and developed by Pierre Deligne and Joseph Bernstein, organize quasi-isomorphism classes and are central in modern representation theory as in the work of Jonathan Bernstein and Beilinson. Enhancements of derived categories by DG- or A∞-structures feature in contexts studied by Maxim Kontsevich and Paul Seidel and enter into homological mirror symmetry conjectures articulated by Maxim Kontsevich and explored by Edward Witten.

Applications and Connections

DGAs appear in algebraic topology through cochain algebras of spaces, influencing classifications pursued by Dennis Sullivan and Quillen; in algebraic geometry through derived algebraic geometry advanced by Alexander Grothendieck, Michael Artin, and Jacob Lurie; in mathematical physics via BRST and BV formalisms developed by Ilya Prigogine-adjacent physicists and Edward Witten; and in noncommutative geometry through cyclic homology and constructs of Alain Connes. They underpin deformation quantization work of Maxim Kontsevich and categorical representation problems addressed by Bernhard Keller and Raphaël Rouquier. DGAs also interface with modular representation theory studied by Jon Rogawski and with symplectic topology via Fukaya categories analyzed by Paul Seidel and Kenji Fukaya.

Category:Algebra