Convergent presentations and polygraphic resolutions of associative algebras
From MaRDI portal
Publication:2272945
DOI10.1007/S00209-018-2185-ZzbMATH Open1423.16008arXiv1406.0815OpenAlexW2777301030WikidataQ128247939 ScholiaQ128247939MaRDI QIDQ2272945FDOQ2272945
Authors: Yves Guiraud, Eric Hoffbeck, Philippe Malbos 
Publication date: 17 September 2019
Published in: Mathematische Zeitschrift (Search for Journal in Brave)
Abstract: Several constructive homological methods based on noncommutative Gr"obner bases are known to compute free resolutions of associative algebras. In particular, these methods relate the Koszul property for an associative algebra to the existence of a quadratic Gr"obner basis of its ideal of relations. In this article, using a higher-dimensional rewriting theory approach, we give several improvements of these methods. We define polygraphs for associative algebras as higher-dimensional linear rewriting systems that generalise the notion of noncommutative Gr"obner bases, and allow more possibilities of termination orders than those associated to monomial orders. We introduce polygraphic resolutions of associative algebras, giving a categorical description of higher-dimensional syzygies for presentations of algebras. We show how to compute polygraphic resolutions starting from a convergent presentation, and how these resolutions can be linked with the Koszul property.
Full work available at URL: https://arxiv.org/abs/1406.0815
Recommendations
- Polygraphic resolutions and homology of monoids
- scientific article; zbMATH DE number 4202533
- Resolutions of Associative and Lie Algebras
- On constructing resolutions over the polynomial algebras
- Residually finite dimensional algebras and polynomial almost identities
- Projective resolutions of associative algebras and ambiguities.
- scientific article; zbMATH DE number 6440888
- Graded associative algebras and Grothendieck standard conjectures
- On Conway Algebras and the Homflypt Polynomial
- \(\Pi^0_1\)-presentations of algebras
free resolutionspolygraphsKoszulnessconfluence and terminationhigher-dimensional associative algebraslinear rewriting
Syzygies, resolutions, complexes in associative algebras (16E05) Quadratic and Koszul algebras (16S37) Computational aspects of associative rings (general theory) (16Z05) Grammars and rewriting systems (68Q42) Resolutions; derived functors (category-theoretic aspects) (18G10)
Cites Work
- Title not available (Why is that?)
- Morse theory from an algebraic viewpoint
- An introduction to commutative and noncommutative Gröbner bases
- Resolution of singularities of an algebraic variety over a field of characteristic zero. I
- On the Homology of Associative Algebras
- Higher categorified algebras versus bounded homotopy algebras
- The diamond lemma for ring theory
- An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German
- On theories with a combinatorial definition of 'equivalence'
- Polygraphs of finite derivation type
- Term Rewriting and All That
- Title not available (Why is that?)
- Gröbner bases for operads
- Title not available (Why is that?)
- Confluence and Koszulity
- Title not available (Why is that?)
- Title not available (Why is that?)
- Koszul Resolutions
- Koszulity for nonquadratic algebras.
- Gröbner deformations of hypergeometric differential equations
- Koszul and Gorenstein properties for homogeneous algebras.
- The algebra of oriented simplexes
- Über die Deformation isolierter Singularitäten analytischer Mengen
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Limits indexed by category-valued 2-functors
- Complete rewriting systems and homology of monoid algebras
- Word problems and a homological finiteness condition for monoids
- On Monomial Algebras of Finite Global Dimension
- Title not available (Why is that?)
- A finiteness condition for rewriting systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Quantized Koszul complexes
- A finite Thue system with decidable word problem and without equivalent finite canonical system
- Higher-dimensional categories with finite derivation type
- Higher-dimensional normalisation strategies for acyclicity
- Higher-dimensional word problems with applications to equational logic
- Title not available (Why is that?)
- Coherent presentations of Artin monoids
- A note on a special one-rule semi-Thue system
- Title not available (Why is that?)
- Projective resolutions of straightening closed algebras generated by minors
- On the homology of quotients of path algebras
- Title not available (Why is that?)
- Another denormalization theorem for abelian chain complexes
- Algebraic operads. An algorithmic companion
- History and basic features of the critical-pair/completion procedure
- Title not available (Why is that?)
- Resolution of singularities of an algebraic variety over a field of characteristic zero. II
Cited In (21)
- Shuffle polygraphic resolutions for operads
- Free precategories as presheaf categories
- Coherent confluence modulo relations and double groupoids
- Algebraic coherent confluence and higher globular Kleene algebras
- Rewriting modulo isotopies in pivotal linear \((2,2)\)-categories
- Rewriting modulo isotopies in Khovanov-Lauda-Rouquier's categorification of quantum groups
- Koszul calculus for \(N\)-homogeneous algebras
- Koszul calculus
- Formal proofs of operator identities by a single formal computation
- Noncommutative Gröbner bases: applications and generalizations
- Coherence for plactic monoids via rewriting theory and crystal structures
- Algebra and geometry of rewriting
- On the Golod property of Stanley-Reisner rings
- From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work
- Confluence of algebraic rewriting systems
- A lattice formulation of the noncommutative \(F_4\) procedure
- Single-set cubical categories and their formalisation with a proof assistant
- Tangent complexes and the Diamond Lemma
- Topological rewriting systems applied to standard bases and syntactic algebras
- Completion in operads via essential syzygies
- Operads with compatible CL-shellable partition posets admit a Poincaré-Birkhoff-Witt basis
Uses Software
This page was built for publication: Convergent presentations and polygraphic resolutions of associative algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2272945)
