Quadratic algebras and idempotent braided sets

TL;DR

This paper investigates the algebraic structures arising from set-theoretic solutions to the Yang-Baxter equation, establishing conditions for PBW properties, exploring Veronese subalgebras, and constructing duals and differentials.

Contribution

It introduces a new quadratic relation framework for Yang-Baxter algebras, characterizes their PBW property under certain conditions, and analyzes their subalgebras and dual structures.

Findings

Yang-Baxter algebra is PBW for left-nondegenerate idempotent solutions.

Veronese subalgebras correspond to solutions with the same properties.

All permutation idempotent solutions of a fixed size yield isomorphic Yang-Baxter algebras.

Abstract

We study the Yang-Baxter algebras $A(K,X,r)$ associated to finite set-theoretic solutions $(X,r)$ of the braid relations. We introduce an equivalent set of quadratic relations $\Re\subseteq G$, where $G$ is the reduced Gr\"obner basis of $(\Re)$. We show that if $(X,r)$ is left-nondegenerate and idempotent then $\Re= G$ and the Yang-Baxter algebra is PBW. We use graphical methods to study the global dimension of PBW algebras in the $n$-generated case and apply this to Yang-Baxter algebras in the left-nondegenerate idempotent case. We study the $d$-Veronese subalgebras for a class of quadratic algebras and use this to show that for $(X,r)$ left-nondegenerate idempotent, the $d$-Veronese subalgebra $A(K,X,r)^{(d)}$ can be identified with $A(K,X,r^{(d)})$, where $(X,r^{(d)})$ are all left-nondegenerate idempotent solutions. We determined the Segre product in the left-nondegenerate idempotent setting. Our results apply to a previously studied class of `permutation idempotent' solutions, where we show that all their Yang-Baxter algebras for a given cardinality of $X$ are isomorphic and are isomorphic to their $d$-Veronese subalgebras. In the linearised setting, we construct the Koszul dual of the Yang-Baxter algebra and the Nichols-Woronowicz algebra in the idempotent case, showing that the latter is quadratic. We also construct noncommutative differentials on some of these quadratic algebras.