Algebra structures of Koszul complexes defined by Yang-Baxter operators (Q1175528): Difference between revisions

Let \(R\) be a commutative ring with unit. A YB-pair (YB = Yang-Baxter) \((V,\beta_ V)\) is an \(R\)-module \(V\) together with a YB-operator \(\beta_ V\in \text{End}_ R V^{\otimes 2}\). For two YB-pairs \((V,\beta_ V)\), \((W,\beta_ W)\) and a homomorphism \(f: W\to V\) (subject to some further conditions) the author introduces a Koszul complex \((Sf,\partial^{Sf})\), \(Sf=SV\otimes \Lambda W\) generalizing the classical Koszul complex. (\(SV\), \(\Lambda W\) etc. are to be understood here in the YB-sense). In line with the classical situation the author proves that under additional assumptions on \(\beta_ V\) the Koszul complex \(Sid_ V\) (i.e. we take \(V=W\) and \(f=id_ V\)) is a resolution of the left \(SV\)-module \(R\), and consequently \(\text{Tor}_ *^{SV}(R,R)\) has a YB-bialgebra structure isomorphic to \(\Lambda V\). It is interesting to notice that when \(R\) is a field and the additional conditions are satisfied, then the author's Koszul complex coincides with Priddy's one. The additional assumptions are satisfied by many YB- operators whose symmetric algebras are algebras with straightening laws. These examples can be found at the end of the paper.