Tangent complexes and the Diamond Lemma

Abstract

The celebrated Diamond Lemma of Bergman gives an effectively verifiable criterion of uniqueness of normal forms for term rewriting in associative algebras. We present a new way to interpret and prove this result from the viewpoint of homotopical algebra. Our main result states that every multiplicative free resolution of an algebra with monomial relations gives rise to its own Diamond Lemma, so that Bergman's condition of "resolvable ambiguities" becomes the first non-trivial component of the Maurer--Cartan equation in the corresponding tangent complex. The same approach works for many other algebraic structures, emphasizing the relevance of computing multiplicative free resolutions of algebras with monomial relations.

arXiv comment28 pages, comments are welcome

References in corpus (13)

• Gröbner-Shirshov bases and their calculation
• Deformation theory and rational homotopy type
• Homological perturbation theory for algebras over operads
• Quillen homology for operads via Gröbner bases
• Shuffle algebras, homology, and consecutive pattern avoidance
• Groebner-Shirshov Bases for Lie Algebras: after A. I. Shirshov
• Convergent presentations and polygraphic resolutions of associative algebras
• Anti-commutative Groebner-Shirshov basis of a free Lie algebra
• Minimal models for monomial algebras
• Deformations of path algebras of quivers with relations
• Predicting zero reductions in Gröbner basis computations
• Homologies of monomial operads and algebras
• $L_{\infty }$-structure on Barzdell's complex for monomial algebras

Cited by in corpus (1)

• Deformations of path algebras of quivers with relations