No Arabic abstract
Let $r:X^{2}rightarrow X^{2}$ be a set-theoretic solution of the Yang-Baxter equation on a finite set $X$. It was proven by Gateva-Ivanova and Van den Bergh that if $r$ is non-degenerate and involutive then the algebra $Klangle x in X mid xy =uv mbox{ if } r(x,y)=(u,v)rangle$ shares many properties with commutative polynomial algebras in finitely many variables; in particular this algebra is Noetherian, satisfies a polynomial identity and has Gelfand-Kirillov dimension a positive integer. Lebed and Vendramin recently extended this result to arbitrary non-degenerate bijective solutions. Such solutions are naturally associated to finite skew left braces. In this paper we will prove an analogue result for arbitrary solutions $r_B$ that are associated to a left semi-brace $B$; such solutions can be degenerate or can even be idempotent. In order to do so we first describe such semi-braces and we prove some decompositions results extending results of Catino, Colazzo, and Stefanelli.
Several aspects of relations between braces and non-degenerate involutive set-theoretic solutions of the Yang-Baxter equation are discussed and many consequences are derived. In particular, for each positive integer $n$ a finite square-free multipermutation solution of the Yang-Baxter equation with multipermutation level $n$ and an abelian involutive Yang-Baxter group is constructed. This answers a problem of Gateva-Ivanova and Cameron. It is also proved that finite non-degenerate involutive set-theoretic solutions of the Yang-Baxter equation whose associated involutive Yang-Baxter group is abelian are retractable in the sense of Etingof, Schedler and Soloviev. Earlier the authors proved this with the additional square-free hypothesis on the solutions. Retractability of solutions is also proved for finite square-free non-degenerate involutive set-theoretic solutions associated to a left brace.
Cycle sets are known to give non-degenerate unitary solutions of the Yang--Baxter equation and linear cycle sets are enrich
We define a new class of unitary solutions to the classical Yang-Baxter equation (CYBE). These ``boundary solutions are those which lie in the closure of the space of unitary solutions to the modified classical Yang-Baxter equation (MCYBE). Using the Belavin-Drinfeld classification of the solutions to the MCYBE, we are able to exhibit new families of solutions to the CYBE. In particular, using the Cremmer-Gervais solution to the MCYBE, we explicitly construct for all n > 2 a boundary solution based on the maximal parabolic subalgebra of sl(n) obtained by deleting the first negative root. We give some evidence for a generalization of this result pertaining to other maximal parabolic subalgebras whose omitted root is relatively prime to $n$. We also give examples of non-boundary solutions for the classical simple Lie algebras.
To determine and analyze arbitrary left non-degenerate set-theoretic solutions of the Yang-Baxter equation (not necessarily bijective), we introduce an associative algebraic structure, called a YB-semitruss, that forms a subclass of the category of semitrusses as introduced by Brzezinski. Fundamental examples of YB-semitrusses are structure monoids of left non-degenerate set-theoretic solutions and (skew) left braces. Gateva-Ivanova and Van den Bergh introduced structure monoids and showed their importance (as well as that of the structure algebra) for studying involutive non-degenerate solutions. Skew left braces were introduced by Guarnieri, Vendramin and Rump to deal with bijective non-degenerate solutions. Hence, YB-semitrusses also yield a unified treatment of these different algebraic structures. The algebraic structure of YB-semitrusses is investigated, and as a consequence, it is proven, for example, that any finite left non-degenerate set-theoretic solution of the Yang-Baxter equation is right non-degenerate if and only if it is bijective. Furthermore, it is shown that some finite left non-degenerate solutions can be reduced to non-degenerate solutions of smaller size. The structure algebra of a finitely generated YB-semitruss is an algebra defined by homogeneous quadratic relations. We prove that it often is a left Noetherian algebra of finite Gelfand-Kirillov dimension that satisfies a polynomial identity, but in general, it is not right Noetherian.
We construct solutions to the set-theoretic Yang-Baxter equation using braid group representations in free group automorphisms and their Fox differentials. The method resembles the extensions of groups and quandles.