ﻻ يوجد ملخص باللغة العربية
Several constructive homological methods based on noncommutative Grobner 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 Grobner 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 Grobner 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.
We compute coherent presentations of Artin monoids, that is presentations by generators, relations, and relations between the relations. For that, we use methods of higher-dimensional rewriting that extend Squiers and Knuth-Bendixs completions into a
We prove that geometric intersections between Weinstein handles induce algebraic relations in the wrapped Fukaya category, which we use to study the Grothendieck group. We produce a surjective map from middle-dimensional singular cohomology to the Gr
Let $kq$ denote the very effective cover of Hermitian K-theory. We apply the $kq$-based motivic Adams spectral sequence, or $kq$-resolution, to computational motivic stable homotopy theory. Over base fields of characteristic not two, we prove that th
We classify, up to isomorphism, the 2-dimensional algebras over a field K. We focuse also on the case of characteristic 2, identifying the matrices of GL(2,F_2) with the elements of the symmetric group S_3. The classification is then given by the stu
We introduce the notion of weakly associative algebra and its relations with the notion of nonassociative Poisson algebras.