Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userConvergent presentations and polygraphic resolutions of associative algebras
233
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
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.
rate research
Read More
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 homotopical completion-reduction, applied to Artins and Garsides presentations. The main result of the paper states that the so-called Tits-Zamolodchikov 3-cells extend Artins presentation into a coherent presentation. As a byproduct, we give a new constructive proof of a theorem of Deligne on the actions of an Artin monoid on a category.
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 Grothendieck group, show that the geometric acceleration map to symplectic cohomology factors through the categorical Dennis trace map, and introduce a Viterbo functor for $C^0$-close Weinstein hypersurfaces, which gives an obstruction for Legendrians to be $C^0$-close. We show that symplectic flexibility is a geometric manifestation of Thomasons correspondence between split-generating subcategories and subgroups of the Grothendieck group, which we use to upgrade Abouzaids split-generation criterion to a generation criterion for Weinstein domains. Thomasons theorem produces exotic presentations for certain categories and we give geometric analogs: exotic Weinstein presentations for standard cotangent bundles and Legendrians whose Chekanov-Eliashberg algebras are not quasi-isomorphic but are derived Morita equivalent.
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 the $n$-th stable homotopy group of motivic spheres is detected in the first $n$ lines of the $kq$-resolution, thereby reinterpreting results of Morel and R{o}ndigs-Spitzweck-{O}stv{ae}r in terms of $kq$ and $kq$-cooperations. Over algebraically closed fields of characteristic 0, we compute the ring of $kq$-cooperations modulo $v_1$-torsion, establish a vanishing line of slope $1/5$ in the $E_2$-page, and completely determine the $0$- and $1$- lines of the $kq$-resolution. This gives a full computation of the $v_1$-periodic motivic stable stems and recovers Andrews and Millers calculation of the $eta$-periodic $mathbb{C}$-motivic stable stems. We also construct a motivic connective $j$ spectrum and identify its homotopy groups with the $v_1$-periodic motivic stable stems. Finally, we propose motivic analogs of Ravenels Telescope and Smashing Conjectures and present evidence for both.
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 study of the orbits of this group on a 3-dimensional plane, viewed as a Fano plane. As applications, we establish classifications of Jordan algebras, algebras of Lie type or Hom-Associative algebras.
We introduce the notion of weakly associative algebra and its relations with the notion of nonassociative Poisson algebras.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
