DG algebra

DG algebra
Name	DG algebra
Other names	differential graded algebra
Field	Algebra, Homological algebra
Notable people	Jean-Pierre Serre, Henri Cartan, Alexander Grothendieck, Maxim Kontsevich, Bernhard Keller, Vladimir Drinfeld, Dennis Sullivan
Introduced	20th century

DG algebra

A DG algebra is an algebraic object combining graded algebra and differential structure; it plays a central role in modern algebraic topology, algebraic geometry, representation theory, mathematical physics and category theory. Historically motivated by ideas of Henri Cartan in cohomology and formalized through work influenced by Jean-Pierre Serre and Alexander Grothendieck, DG algebras provide a flexible framework for expressing chain-level phenomena used by researchers such as Maxim Kontsevich and Bernhard Keller. They serve as refinements of ordinary algebras that retain homotopical information exploited in contexts ranging from deformation theory to mirror symmetry.

Introduction

A DG algebra is a graded algebra equipped with a differential of degree +1 (or −1 by some conventions) satisfying a Leibniz rule; this structure allows simultaneous control of multiplicative and homological behavior. DG algebras appear naturally in constructions by Henri Cartan on differential forms, in Sullivan models developed by Dennis Sullivan for rational homotopy theory, and in derived enhancements studied by Vladimir Drinfeld and Bernhard Keller. Foundational techniques involving DG algebras have been applied in programs led by Alexander Grothendieck and later in conjectures by Maxim Kontsevich concerning homological mirror symmetry.

Definitions and Basic Properties

Formally, a DG algebra A over a commutative ring R is a graded R-module A = ⊕_{n∈ℤ} A^n with an associative multiplication A^p × A^q → A^{p+q} and a differential d: A^n → A^{n+1} such that d^2 = 0 and d(ab) = d(a)b + (−1)^{|a|} a d(b). The unit and augmentation structures are discussed in contexts like those examined by Jean-Pierre Serre and in constructions used by Bernhard Keller. Morphisms of DG algebras respect grading, differential, and multiplication and form categories studied in the work of Vladimir Drinfeld and Alexander Grothendieck. Important properties include homotopy equivalence, quasi-isomorphism, and cofibrancy conditions used in model category approaches introduced in part by researchers following Daniel Quillen's methods.

Examples and Constructions

Standard examples include the de Rham algebra of smooth manifolds appearing in the work of Henri Cartan and Sullivan models used by Dennis Sullivan in rational homotopy; the singular cochain algebra of a topological space featured in studies by Jean-Pierre Serre; and endomorphism DG algebras of complexes in derived category contexts pioneered by Alexander Grothendieck and extended by Bernhard Keller. Constructions producing new DG algebras include tensor products, DG quotients used in constructions of Vladimir Drinfeld, bar and cobar constructions arising in homological algebra work related to Samuel Eilenberg and Saunders Mac Lane, and Koszul complexes used in studies by Jean-Louis Koszul and others.

Homological Algebra of DG Algebras

Homology H^*(A) of a DG algebra A inherits a graded algebra structure; comparisons between A and H^*(A) via quasi-isomorphisms are central to deformation and obstruction theories studied by Maxim Kontsevich and Deligne-inspired programs. Spectral sequences, notably those used by Jean-Pierre Serre and in Grothendieck’s work, analyze filtrations on DG algebras. Resolutions and derived functors for DG modules extend classical homological techniques from Samuel Eilenberg and Saunders Mac Lane, with homotopy categories and model structures developed along lines influenced by Daniel Quillen and applied by Bernhard Keller.

Derived Categories and DG Modules

DG modules over a DG algebra A form a DG category whose homotopy category gives rise to derived categories akin to those introduced by Alexander Grothendieck and Jean-Louis Verdier. The study of compact objects, tilting complexes, and Morita theory in the DG setting has been advanced by Bernhard Keller and Vladimir Drinfeld. Enhancements of derived categories via DG modules allow fine control of Hochschild cohomology used in deformation problems addressed by Maxim Kontsevich and in relations to Calabi–Yau categories appearing in mirror symmetry conjectures explored by Maxim Kontsevich and collaborators.

Koszul Duality and A-infinity Structures

Koszul duality relates quadratic DG algebras to coalgebraic constructions; origins trace to work by Jean-Louis Koszul and later algebraists who systematized duality phenomena. Homotopy-algebraic generalizations produce A∞-algebras and A∞-modules developed by Jim Stasheff; higher homotopies encode multiplicative coherence absent in strict DG settings. Kontsevich’s formality theorem, proven in part through techniques by Maxim Kontsevich and Mikhail Kontsevich-associated collaborators, exploits A∞-structures; related contributions by Bernhard Keller clarify links between Koszul duality, Hochschild (co)homology, and deformation quantization.

Applications and Further Developments

DG algebras underpin modern approaches in deformation theory central to programs by Alexander Grothendieck and Maxim Kontsevich, and they appear in representation-theoretic contexts influenced by Pierre Deligne and Hervé Jacquet-style frameworks. In mathematical physics, DG techniques inform constructions in topological field theories analyzed by Ed Witten and in string theory via homological mirror symmetry by Maxim Kontsevich. Active research areas include derived algebraic geometry advanced by groups around Jacob Lurie and Bertrand Toën, categorical enhancements studied by Denis-Charles Cisinski and Gonçalo Tabuada, and computational approaches by those inspired by Bernhard Keller to classify derived equivalence classes.

Category:Differential graded algebras