In 1992 Drinfeld posed the question of finding the set theoretic solutions of the Yang-Baxter equation. Recently, Gateva-Ivanova and Van den Bergh and Etingof, Schedler and Soloviev have shown a group theoretical interpretation of involutive non-degenerate solutions. Namely, there is a one-to-one correspondence between involutive non-degenerate solutions on finite sets and groups of $I$-type. A group $\mathcal{G}$ of $I$-type is a group isomorphic to a subgroup of the natural semidirect product of $Fa_n$, the free abelian group of rank $n$, by $Sym_n$, the symmetric group on $n$ letters, so that the projection onto $Fa_n$ is a bijective map. The projection of $\mathcal{G}$ onto $Sym_n$ we call an involutive Yang-Baxter group (IYB group). This suggests the following strategy to attack Drinfeld's problem for involutive non-degenerate set theoretic solutions. First classify the IYB groups and second, for a given IYB group $G$, classify the groups of $I$-type with $G$ as associated IYB group. It is known that every IYB group is solvable. In this paper some results supporting the converse of this property are obtained. More precisely, we show that some classes of groups are IYB groups. We also give a non-obvious method to construct infinitely many groups of $I$-type (and hence infinitely many involutive non-degenerate set theoretic solutions of the Yang-Baxter equation) with a prescribed associated IYB group.
We use Constraint Satisfaction methods to enumerate and construct set-theoretic solutions to the Yang-Baxter equation of small size. We show that there are 321931 involutive solutions of size nine, 4895272 involutive solutions of size ten and 422449480 non-involutive solution of size eight. Our method is then used to enumerate non-involutive biquandles.
Motivated by the proof of Rump of a conjecture of Gateva-Ivanova on the decomposability of square-free solutions to the Yang-Baxter equation, we present several other decomposability theorems based on the cycle structure of a certain permutation associated with the solution.
Employing the algebraic structure of the left brace and the dynamical extensions of cycle sets, we investigate a class of indecomposable involutive set-theoretic solutions of the Yang-Baxter equation having specific imprimitivity blocks. Moreover, we study one-generator left braces of multipermutation level 2.
We develop a method to construct all the indecomposable involutive set-theoretic solutions of the Yang-Baxter equation with a prime-power number of elements and cyclic permutation group. Moreover, we give a complete classification of the indecomposable ones having abelian permutation group and cardinality $pq$ (where $p$ and $q$ are prime numbers not necessarily distinct).
In the first part of this paper, we investigate the retraction of finite uniconnected involutive non-degenerate set-theoretic solutions of the Yang-Baxter equation by means of left braces, giving a precise description in some cases. In the core of the paper, we also use left braces to classify all the uniconnected involutive non-degenerate set-theoretic solutions having odd size and a Z-group permutation group. As an application, we classify all the uniconnected involutive non-degenerate solutions having odd square-free size.
It is shown that square free set theoretic involutive non-degenerate solutions of the Yang-Baxter equation whose associated permutation group (referred to as an involutive Yang-Baxter group) is abelian are retractable in the sense of Etingof, Schedler and Soloviev. This solves a problem of Gateva-Ivanova in the case of abelian IYB groups. It also implies that the corresponding finitely presented abelian-by-finite groups (called the structure groups) are poly-${\mathbb Z}$ groups. Secondly, an example of a solution with an abelian involutive Yang-Baxter group which is not a generalized twisted …
In this paper, we investigate the Nichols algebra $\mathfrak{B}(W_{X,r})$ associated to any non-degenerate involutive solution $(X, r)$ of the Yang-Baxter equation. Infinite examples of finite dimensional Nichols algebras are obtained, including those of dimension $n^m$ with $m$, $n\in\Bbb Z^{\geq 2}$. It turns out that the Nichols algebra $\mathfrak{B}(W_{X, r})$ has interesting relations with multinomial expansion. This is a generalization of the work in arXiv:2103.06489, which built a connection between the Nichols algebras of squared dimension and Pascal's triangle.
Braces were introduced by Rump to study non-degenerate involutive set-theoretic solutions of the Yang-Baxter equation. We generalize Rump's braces to the non-commutative setting and use this new structure to study not necessarily involutive non-degenerate set-theoretical solutions of the Yang-Baxter equation. Based on results of Bachiller and Catino and Rizzo, we develop an algorithm to enumerate and construct classical and non-classical braces of small size up to isomorphism. This algorithm is used to produce a database of braces of small size. The paper contains several open problems, questi…
Using Bieberbach groups we study multipermutation involutive solutions to the Yang-Baxter equation. We use a linear representation of the structure group of an involutive solution to study the unique product property in such groups. An algorithm to find subgroups of a Bieberbach group isomorphic to the Promislow subgroup is introduced and then used in the case of structure group of involutive solutions. To extend the results related to retractability to non-involutive solutions, following the ideas of Meng, Ballester-Bolinches and Romero, we develop the theory of right $p$-nilpotent skew brace…
Studying solutions of the Yang-Baxter equation through skew braces, with an application to indecomposable involutive solutions with abelian permutation group
Given a left brace $G$, a method to construct all the involutive, non-degenerate set-theoretic solutions $(Y,s)$ of the YBE, such that $\mathcal{G}(Y,s)\cong G$ is given. This method depends entirely on the brace structure of $G$.
We prove that a finite non-degenerate involutive set-theoretic solution (X,r) of the Yang-Baxter equation is a multipermutation solution if and only if its structure group G(X,r) admits a left ordering or equivalently it is poly-(infinite cyclic).
We develop a theory of extensions for involutive and nondegenerate solutions of the set-theoretic Yang-Baxter equation and use it to produce new families of solutions. As an application we construct an infinite family of counterexamples to a conjecture of Gateva-Ivanova related to the retractability of square-free solutions.
This paper explores the structure groups $G_{(X,r)}$ of finite non-degenerate set-theoretic solutions $(X,r)$ to the Yang-Baxter equation. Namely, we construct a finite quotient $\overline{G}_{(X,r)}$ of $G_{(X,r)}$, generalizing the Coxeter-like groups introduced by Dehornoy for involutive solutions. This yields a finitary setting for testing injectivity: if $X$ injects into $G_{(X,r)}$, then it also injects into $\overline{G}_{(X,r)}$. We shrink every solution to an injective one with the same structure group, and compute the rank of the abelianization of $G_{(X,r)}$. We show that multipermu…
We establish a correspondence between the invariant subsets of a non-degenerate symmetric set-theoretical solution of the quantum Yang-Baxter equation and the parabolic subgroups of its structure group, equipped with its canonical Garside structure. Moreover, we introduce the notion of a foldable solution, which extends the one of a decomposable solution.
We study involutive set-theoretic solutions of the Yang-Baxter equation of multipermutation level 2. These solutions happen to fall into two classes -- distributive ones and non-distributive ones. The distributive ones can be effectively constructed using a set of abelian groups and a matrix of constants. Using this construction, we enumerate all distributive involutive solutions up to size 14. The non-distributive solutions can be also easily constructed, using a distributive solution and a permutation.
In this paper we present a characterization of finite simple involutive non-degenerate set-theoretic solutions of the Yang-Baxter equation by means of left braces and we provide some significant examples.
Braces were introduced by Rump as a generalization of Jacobson radical rings. It turns out that braces allow us to use ring-theoretic and group-theoretic methods for studying involutive solutions to the Yang-Baxter equation. If braces are replaced by skew braces, then one can use similar methods for studying not necessarily involutive solutions. Here we collect problems related to (skew) braces and set-theoretic solutions to the Yang-Baxter equation.
It is shown that a Yang-Baxter system can be constructed from any entwining structure. It is also shown that, conversely, Yang-Baxter systems of certain type lead to entwining structures. Examples of Yang-Baxter systems associated to entwining structures are given, and a Yang-Baxter operator of Hecke type is defined for any bijective entwining map.
Yang-Baxter operators from algebra structures appeared for the first time in [16], [17] and [8]. Later, Yang-Baxter systems from entwining structures were constructed in [5]. In this paper we show that an algebra factorisation can be constructed from a Yang-Baxter system.
The most common geometric interpretation of the Yang-Baxter equation is by braids, knots and relevant Reidemeister moves. So far, cubes were used for connections with the third Reidemeister move only. We will show that there are higher-dimensional cube complexes solving the $D$-state Yang-Baxter equation for arbitrarily large $D$. More precisely, we introduce explicit constructions of cube complexes covered by products of $n$ trees and show that these cube complexes lead to new solutions of the Yang-Baxter equations.
We introduce the concept of {sigma, tau}-Rota-Baxter operator, as a twisted version of a Rota-Baxter operator of weight zero. We show how to obtain a certain {sigma, tau}-Rota-Baxter operator from a solution of the associative (Bi)Hom-Yang-Baxter equation, and, in a compatible way, a Hom-pre-Lie algebra from an infinitesimal Hom-bialgebra.
A dynamical Yang-Baxter map, introduced by Shibukawa, is a solution of the set-theoretical analogue of the dynamical Yang-Baxter equation. In this paper, we initiate a quiver-theoretical approach for the study of dynamical Yang-Baxter maps. Our key observation is that the category of dynamical sets over a set $Λ$, introduced by Shibukawa to establish a categorical framework to deal with dynamical Yang-Baxter maps, can be embedded into the category of quivers with vertices $Λ$. By using this embedding, we shed light on Shibukawa's classification result of a certain class of dynamical Yang-Baxte…
An explicit quantization is given of certain skew-symmetric solutions of the classical Yang-Baxter, yielding a family of $R$-matrices which generalize to higher dimensions the Jordanian $R$-matrices. Three different approaches to their construction are given: as twists of degenerations of the Shibukawa-Ueno Yang-Baxter operators on meromorphic functions; as boundary solutions of the quantum Yang-Baxter equation; via a vertex-IRF transformation from solutions to the dynamical Yang-Baxter equation.
Generalized Yang-Baxter matrices sometimes give rise to braid group representations. We identify the exact images of some qubit representations of the braid groups from generalized Yang-Baxter matrices obtained from anyons in the metaplectic modular categories.
We investigate a class of non-involutive solutions of the Yang-Baxter equation which generalize self-distributive (derived) solutions. In particular, we study generalized multipermutation solutions in this class. We show that the Yang-Baxter (permutation) groups of such solutions are nilpotent. We formulate the results in the language of biracks.
For any algebra two families of coloured Yang-Baxter operators are constructed, thus producing solutions to the two-parameter quantum Yang-Baxter equation. An open problem about a system of functional equations is stated. The matrix forms of these operators for two and three dimensional algebras are computed. A FRT bialgebra for one of these families is presented. Solutions for the one-parameter quantum Yang-Baxter equation are derived and a Yang-Baxter system constructed.
An s-set is an algebraic generalization of the regular s-manifold introduced by Kowalski, one of the generalized symmetric spaces in differential geometry. We prove that suitable s-sets give birth to dynamical Yang-Baxter maps, set-theoretic solutions to a version of the quantum dynamical Yang-Baxter equation. As an application, Hopf algebroids and rigid tensor categories are constructed by means of these dynamical Yang-Baxter maps.
It is shown that for a certain class of Yang-Baxter maps (or set-theoretical solutions to the quantum Yang-Baxter equation) the Lax representation can be derived straight from the map itself. A similar phenomenon for 3D consistent equations on quad-graphs has been recently discovered by A. Bobenko and one of the authors, and by F. Nijhoff.
We describe several methods of constructing R-matrices that are dependent upon many parameters, for example unitary R-matrices and R-matrices whose entries are functions. As an application, we construct examples of R-matrices with prescribed singular values. We characterise some classes of indecomposable set-theoretic solutions of the quantum Yang-Baxter equation (QYBE) and construct R-matrices related to such solutions. In particular, we establish a correspondence between one-generator braces and indecomposable, non-degenerate involutive set-theoretic solutions of the QYBE, showing that such …
Sufficient conditions for an invertible two-tensor $F$ to relate two solutions to the Yang-Baxter equation via the transformation $R\to F^{-1}_{21} R F$ are formulated. Those conditions include relations arising from twisting of certain quasitriangular bialgebras.
Explicit solutions of the quantum Yang-Baxter equation are given corresponding to the non-unitary solutions of the classical Yang-Baxter equation for sl(5).
In this paper, the relations between the Yang-Baxter equation and affine actions are explored in detail. In particular, we classify solutions of the Yang-Baxter equations in two ways: (i) by their associated affine actions of their structure groups on their derived structure groups, and (ii) by the C*-dynamical systems obtained from their associated affine actions. On the way to our main results, several other useful results are also obtained.
The quantum Yang-Baxter equation admits generalisations to systems of Yang-Baxter type equations called Yang-Baxter systems. Starting from algebra structures, we propose new constructions of some constant as well as the spectral-parameter dependent Yang-Baxter systems. Besides, we also present explicitly the commutation algebra structure associated to the constant type in dimension two.
The (G, θ)-Lie algebras are structures which unify the Lie algebras and Lie superalgebras. We use them to produce solutions for the quantum Yang-Baxter equation. The constant and the spectral-parameter Yang-Baxter equations and Yang-Baxter systems are also studied.
Notions of an (H, X)-bialgebroid and of its dynamical representation are proposed. The dynamical representations of each (H, X)-bialgebroid form a tensor category. Every dynamical Yang-Baxter map R(lambda) satisfying suitable conditions, a generalization of the set-theoretical solution to the quantum Yang-Baxter equation, gives birth to an (H, X)-bialgebroid A_R. The categories of L-operators for R(lambda) and of dynamical representations of A_R are isomorphic as tensor categories.
In this paper a class of new quantum groups is presented: deformed Yangians. They arise from rational solutions of the classical Yang-Baxter equation of the form $c_2 /u + const$ . The universal quantum $R$-matrix for a deformed Yangian is described. Its image in finite-dimensional representaions of the Yangian gives new matrix rational solutions of the Yang-Baxter equation (YBE).
We present solutions for the (constant and spectral-parameter) Yang-Baxter equations and Yang-Baxter systems arising from algebra structures and discuss about their symmetries. In the last section, we present some applications.
We show that for each semi-Riemannian locally symmetric space the curvature tensor gives rise to a rational solution $r$ of the classical Yang-Baxter equation with spectral parameter. For several Riemannian globally symmetric spaces $M$ such as real, complex and quaternionic Grassmann manifolds we explicitly compute solutions $R$ of the quantum Yang Baxter equations (represented in the tangent spaces of $M$) which generalize the quantum $R$-matrix found by Zamolodchikov and Zamolodchikov in 1979.
Yang-Baxter system related to quantum doubles is introduced and large class of both continuous and discrete symmetries of the solution manifold are determined. Strategy for solution of the system based on the symmetries is suggested and accomplished in the dimension two.The complete list of invertible solutions of the system is presented.
At the previous congress (CRM 6), we reviewed the construction of Yang-Baxter operators from associative algebras, and presented some (colored) bialgebras and Yang-Baxter systems related to them. The current talk deals with Yang-Baxter operators from (G, θ)-Lie algebras (structures which unify the Lie algebras and the Lie superalgebras). Thus, we produce solutions for the constant and the spectral-parameter Yang-Baxter equations, Yang-Baxter systems, etc. Attempting to present the general framework we review the work of other authors and we propose problems, applications and directions of stud…
It is shown that all strongly symmetric elements are solutions of constant classical Yang-Baxter equation in Lie algebra, or of quantum Yang-Baxter equation in algebra. Otherwise, all solutions of constant classical Yang-Baxter equation (CYBE) in Lie algebra $L$ with dim $L \le 3$ over field $k$ of characteristic 2 are obtained
In this article, we adjust the Yang-Baxter operators constructed by Jones for the HOMFLYPT polynomal. Then we compute the second homology for this family of Yang-Baxter operators. It has the potential to yield 2-cocycle invariant for links.
