Braces, radical rings, and the quatum Yang-Baxter equation.(English)Zbl 1115.16022
A set \(X\) with a binary operation \(\cdot\) is called a cycle set if \(y\mapsto x\cdot y\) is invertible and \((x\cdot y)\cdot(x\cdot z)=(y\cdot x)\cdot(y\cdot z)\) for all \(x,y,z\in X\). We say \(X\) is non-degenerate if \(x\mapsto x\cdot x\) is bijective. Non-degenerate cycle sets are known to be in one-to-one correspondence with set-theoretical solutions of the quantum Yang-Baxter equation which are non-degenerate and unitary. In the case where \(X=A\) an Abelian group one can consider the free Abelian group on \(A\). If \(A\) has a multiplication \(\cdot\) which makes \(A\) a cycle set such that \(a\cdot(b+c)=a\cdot b+a\cdot c\) and \((a+b)\cdot c=(a\cdot b)\cdot(a\cdot c)\), then \(A\) is a linear cycle set. A non-degenerate cycle set can be embedded into a linear cycle set.
Let \(X\) be a square-free cycle set, that is \(x\cdot x=x\) for all \(x\). (Such an \(X\) is necessarily non-degenerate.) Let \(Y\) and \(Z\) be two finite sub-cycle-sets such that \(Y\) and \(Z\) operate transitively on each other. The main theorem in this paper is that \(y\cdot z=y'\cdot z\) for all \(y,y'\in Y\) and \(z\in Z\). As a result, if \(X\) is finite and has a decomposition \(X=Y\sqcup Z\) such that \(Y\) and \(Z\) operate transitively on each other, then \(X\) is a bi-cycle. As another consequence, if \(X\) is a nonempty finite square-free cycle set operating transitively on itself then \(X\) consists of a single point.
The key to the results in this paper is the relationship between linear cycle sets and braces. Here an Abelian group with a right distributive multiplication if and only if the operation \(a\circ b=ab+a+b\) (in the free Abelian group on \(A\)) gives a group structure on \(A\). An explicit one-to-one correspondence is given between braces and linear cycle sets.
Let \(X\) be a square-free cycle set, that is \(x\cdot x=x\) for all \(x\). (Such an \(X\) is necessarily non-degenerate.) Let \(Y\) and \(Z\) be two finite sub-cycle-sets such that \(Y\) and \(Z\) operate transitively on each other. The main theorem in this paper is that \(y\cdot z=y'\cdot z\) for all \(y,y'\in Y\) and \(z\in Z\). As a result, if \(X\) is finite and has a decomposition \(X=Y\sqcup Z\) such that \(Y\) and \(Z\) operate transitively on each other, then \(X\) is a bi-cycle. As another consequence, if \(X\) is a nonempty finite square-free cycle set operating transitively on itself then \(X\) consists of a single point.
The key to the results in this paper is the relationship between linear cycle sets and braces. Here an Abelian group with a right distributive multiplication if and only if the operation \(a\circ b=ab+a+b\) (in the free Abelian group on \(A\)) gives a group structure on \(A\). An explicit one-to-one correspondence is given between braces and linear cycle sets.
Reviewer: Alan Koch (Decatur)
MSC:
| 16W30 | Hopf algebras (associative rings and algebras) (MSC2000) |
| 81R50 | Quantum groups and related algebraic methods applied to problems in quantum theory |
| 16W35 | Ring-theoretic aspects of quantum groups (MSC2000) |
| 81R12 | Groups and algebras in quantum theory and relations with integrable systems |
Cite
Full Text:DOI
References:
| [1] | Benson, D. J., Representations and Cohomology, I, Cambridge Stud. Adv. Math., vol. 30 (1991), Cambridge Univ. Press: Cambridge Univ. Press Cambridge ·Zbl 0718.20001 |
| [2] | Drinfeld, V. G., On some unsolved problems in quantum group theory, (Quantum Groups. Quantum Groups, Leningrad, 1990. Quantum Groups. Quantum Groups, Leningrad, 1990, Lecture Notes in Math., vol. 1510 (1992), Springer-Verlag: Springer-Verlag Berlin), 1-8 ·Zbl 0765.17014 |
| [3] | Etingof, P., Geometric crystals and set-theoretical solutions to the quantum Yang-Baxter equation, Comm. Algebra, 31, 1961-1973 (2003) ·Zbl 1020.17008 |
| [4] | Etingof, P.; Schedler, T.; Soloviev, A., Set-theoretical solutions to the quantum Yang-Baxter equation, Duke Math. J., 100, 169-209 (1999) ·Zbl 0969.81030 |
| [5] | Gateva-Ivanova, T., A combinatorial approach to the set-theoretic solutions of the Yang-Baxter equation, J. Math. Phys., 45, 3828-3858 (2004) ·Zbl 1065.16037 |
| [6] | Gateva-Ivanova, T.; Van den Bergh, M., Semigroups of I-type, J. Algebra, 206, 97-112 (1998) ·Zbl 0944.20049 |
| [7] | Hall, P., A characteristic property of soluble groups, J. London Math. Soc., 12, 188-200 (1937) ·Zbl 0016.39204 |
| [8] | Jacobson, N., Structure of Rings, Amer. Math. Soc. Colloq. Publ., vol. 37 (1964) |
| [9] | Laffaille, G., Quantum binomial algebras, (Colloq. Homology and Representation Theory. Colloq. Homology and Representation Theory, Vaquerías, 1998. Colloq. Homology and Representation Theory. Colloq. Homology and Representation Theory, Vaquerías, 1998, Bol. Acad. Nac. Cienc. (Cordoba), vol. 65 (2000)), 177-182 ·Zbl 1011.16029 |
| [10] | Lu, J.-H.; Yan, M.; Zhu, Y.-C., On the set-theoretical Yang-Baxter equation, Duke Math. J., 104, 1-18 (2000) ·Zbl 0960.16043 |
| [11] | Takeuchi, M., Survey on matched pairs of groups—An elementary approach to the ESS-LYZ theory, (Noncommutative Geometry and Quantum Groups. Noncommutative Geometry and Quantum Groups, Warsaw, 2001. Noncommutative Geometry and Quantum Groups. Noncommutative Geometry and Quantum Groups, Warsaw, 2001, Banach Center Publ., vol. 61 (2003), Polish Acad. Sci.: Polish Acad. Sci. Warsaw), 305-331 ·Zbl 1066.16044 |
| [12] | Rump, W., A decomposition theorem for square-free unitary solutions of the quantum Yang-Baxter equation, Adv. Math., 193, 40-55 (2005) ·Zbl 1074.81036 |
| [13] | Veselov, A. P., Yang-Baxter maps and integrable dynamics, Phys. Lett. A, 314, 214-221 (2003) ·Zbl 1051.81014 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
