Algebra structures of Koszul complexes defined by Yang-Baxter operators (Q1175528): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q356530 |
||
Property / reviewed by | |||
Property / reviewed by: Jiří Vanžura / rank | |||
Revision as of 23:18, 13 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Algebra structures of Koszul complexes defined by Yang-Baxter operators |
scientific article |
Statements
Algebra structures of Koszul complexes defined by Yang-Baxter operators (English)
0 references
25 June 1992
0 references
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.
0 references
Yang-Baxter operator
0 references
Koszul complex
0 references
resolution
0 references
bialgebra structure
0 references