## The structure monoid and algebra of a non-degenerate set-theoretic solution of the Yang–Baxter equation

HTML articles powered by AMS MathViewer

- by Eric Jespers, Łukasz Kubat and Arne Van Antwerpen PDF
- Trans. Amer. Math. Soc.
**372**(2019), 7191-7223 Request permission

Corrigendum: Trans. Amer. Math. Soc.

**373**(2020), 4517-4521.

## Abstract:

For a finite involutive non-degenerate solution $(X,r)$ of the Yang–Baxter equation it is known that the structure monoid $M(X,r)$ is a monoid of I-type, and the structure algebra $K[M(X,r)]$ over a field $K$ shares many properties with commutative polynomial algebras; in particular, it is a Noetherian PI-domain that has finite Gelfand–Kirillov dimension. In this paper we deal with arbitrary finite (left) non-degenerate solutions. Although the structure of both the monoid $M(X,r)$ and the algebra $K[M(X,r)]$ is much more complicated than in the involutive case, we provide some deep insights.

In this general context, using a realization of Lebed and Vendramin of $M(X,r)$ as a regular submonoid in the semidirect product $A(X,r)\rtimes \operatorname {Sym} (X)$, where $A(X,r)$ is the structure monoid of the rack solution associated to $(X,r)$, we prove that $K[M(X,r)]$ is a finite module over a central affine subalgebra. In particular, $K[M(X,r)]$ is a Noetherian PI-algebra of finite Gelfand–Kirillov dimension bounded by $|X|$. We also characterize, in ring-theoretical terms of $K[M(X,r)]$, when $(X,r)$ is an involutive solution. This characterization provides, in particular, a positive answer to the Gateva-Ivanova conjecture concerning cancellativity of $M(X,r)$.

These results allow us to control the prime spectrum of the algebra $K[M(X,r)]$ and to describe the Jacobson radical and prime radical of $K[M(X,r)]$. Finally, we give a matrix-type representation of the algebra $K[M(X,r)]/P$ for each prime ideal $P$ of $K[M(X,r)]$. As a consequence, we show that if $K[M(X,r)]$ is semiprime, then there exist finitely many finitely generated abelian-by-finite groups, $G_1,\dotsc ,G_m$, each being the group of quotients of a cancellative subsemigroup of $M(X,r)$ such that the algebra $K[M(X,r)]$ embeds into $\operatorname {M}_{v_1}(K[G_1])\times \dotsb \times \operatorname {M}_{v_m}(K[G_m])$, a direct product of matrix algebras.

## References

- B. Amberg, O. Dickenschied, and Ya. P. Sysak,
*Subgroups of the adjoint group of a radical ring*, Canad. J. Math.**50**(1998), no. 1, 3–15. MR**1618706**, DOI 10.4153/CJM-1998-001-9 - A. Z. Anan′in,
*An intriguing story about representable algebras*, Ring theory 1989 (Ramat Gan and Jerusalem, 1988/1989) Israel Math. Conf. Proc., vol. 1, Weizmann, Jerusalem, 1989, pp. 31–38. MR**1029294** - David Bachiller,
*Solutions of the Yang-Baxter equation associated to skew left braces, with applications to racks*, J. Knot Theory Ramifications**27**(2018), no. 8, 1850055, 36. MR**3835326**, DOI 10.1142/S0218216518500554 - David Bachiller,
*Extensions, matched products, and simple braces*, J. Pure Appl. Algebra**222**(2018), no. 7, 1670–1691. MR**3763276**, DOI 10.1016/j.jpaa.2017.07.017 - David Bachiller,
*Classification of braces of order $p^3$*, J. Pure Appl. Algebra**219**(2015), no. 8, 3568–3603. MR**3320237**, DOI 10.1016/j.jpaa.2014.12.013 - David Bachiller, Ferran Cedó, and Eric Jespers,
*Solutions of the Yang-Baxter equation associated with a left brace*, J. Algebra**463**(2016), 80–102. MR**3527540**, DOI 10.1016/j.jalgebra.2016.05.024 - D. Bachiller, F. Cedó, E. Jespers, and J. Okniński,
*Asymmetric product of left braces and simplicity; new solutions of the Yang–Baxter equation*, Commun. Contemp. Math. (2018), 1850042, doi.org/10.1142/S0219199718500426. - Rodney J. Baxter,
*Partition function of the eight-vertex lattice model*, Ann. Physics**70**(1972), 193–228. MR**290733**, DOI 10.1016/0003-4916(72)90335-1 - Amiram Braun,
*The nilpotency of the radical in a finitely generated PI ring*, J. Algebra**89**(1984), no. 2, 375–396. MR**751151**, DOI 10.1016/0021-8693(84)90224-2 - Francesco Catino, Ilaria Colazzo, and Paola Stefanelli,
*Semi-braces and the Yang-Baxter equation*, J. Algebra**483**(2017), 163–187. MR**3649817**, DOI 10.1016/j.jalgebra.2017.03.035 - Ferran Cedó,
*Left braces: solutions of the Yang-Baxter equation*, Adv. Group Theory Appl.**5**(2018), 33–90. MR**3824447**, DOI 10.4399/97888255161422 - Ferran Cedó, Tatiana Gateva-Ivanova, and Agata Smoktunowicz,
*On the Yang-Baxter equation and left nilpotent left braces*, J. Pure Appl. Algebra**221**(2017), no. 4, 751–756. MR**3574204**, DOI 10.1016/j.jpaa.2016.07.014 - Ferran Cedó, Eric Jespers, and Jan Okniński,
*Braces and the Yang-Baxter equation*, Comm. Math. Phys.**327**(2014), no. 1, 101–116. MR**3177933**, DOI 10.1007/s00220-014-1935-y - A. H. Clifford and G. B. Preston,
*The algebraic theory of semigroups. Vol. I*, Mathematical Surveys, No. 7, American Mathematical Society, Providence, R.I., 1961. MR**0132791** - V. G. Drinfel′d,
*On some unsolved problems in quantum group theory*, Quantum groups (Leningrad, 1990) Lecture Notes in Math., vol. 1510, Springer, Berlin, 1992, pp. 1–8. MR**1183474**, DOI 10.1007/BFb0101175 - Pavel Etingof, Travis Schedler, and Alexandre Soloviev,
*Set-theoretical solutions to the quantum Yang-Baxter equation*, Duke Math. J.**100**(1999), no. 2, 169–209. MR**1722951**, DOI 10.1215/S0012-7094-99-10007-X - Carl Faith,
*Algebra. II*, Grundlehren der Mathematischen Wissenschaften, No. 191, Springer-Verlag, Berlin-New York, 1976. Ring theory. MR**0427349**, DOI 10.1007/978-3-642-65321-6 - Tatiana Gateva-Ivanova,
*Set-theoretic solutions of the Yang-Baxter equation, braces and symmetric groups*, Adv. Math.**338**(2018), 649–701. MR**3861714**, DOI 10.1016/j.aim.2018.09.005 - T. Gateva-Ivanova,
*A combinatorial approach to noninvolutive set-theoretic solutions of the Yang–Baxter equation*, preprint, arXiv:1808.03938, 2018. - T. Gateva-Ivanova, Eric Jespers, and Jan Okniński,
*Quadratic algebras of skew type and the underlying monoids*, J. Algebra**270**(2003), no. 2, 635–659. MR**2019633**, DOI 10.1016/j.jalgebra.2003.06.005 - Tatiana Gateva-Ivanova and Michel Van den Bergh,
*Semigroups of $I$-type*, J. Algebra**206**(1998), no. 1, 97–112. MR**1637256**, DOI 10.1006/jabr.1997.7399 - Isabel Goffa and Eric Jespers,
*Monoids of IG-type and maximal orders*, J. Algebra**308**(2007), no. 1, 44–62. MR**2290908**, DOI 10.1016/j.jalgebra.2006.07.029 - L. Guarnieri and L. Vendramin,
*Skew braces and the Yang-Baxter equation*, Math. Comp.**86**(2017), no. 307, 2519–2534. MR**3647970**, DOI 10.1090/mcom/3161 - Eric Jespers and Jan Okniński,
*Noetherian semigroup algebras*, Algebra and Applications, vol. 7, Springer, Dordrecht, 2007. MR**2301033** - Eric Jespers and Jan Okniński,
*Monoids and groups of $I$-type*, Algebr. Represent. Theory**8**(2005), no. 5, 709–729. MR**2189580**, DOI 10.1007/s10468-005-0342-7 - Eric Jespers, Jan Okniński, and Maya Van Campenhout,
*Finitely generated algebras defined by homogeneous quadratic monomial relations and their underlying monoids*, J. Algebra**440**(2015), 72–99. MR**3373388**, DOI 10.1016/j.jalgebra.2015.05.017 - Eric Jespers and Arne Van Antwerpen,
*Left semi-braces and solutions of the Yang-Baxter equation*, Forum Math.**31**(2019), no. 1, 241–263. MR**3898225**, DOI 10.1515/forum-2018-0059 - Eric Jespers and Maya Van Campenhout,
*Finitely generated algebras defined by homogeneous quadratic monomial relations and their underlying monoids II*, J. Algebra**492**(2017), 524–546. MR**3709164**, DOI 10.1016/j.jalgebra.2017.09.011 - Seiichi Kamada,
*Knot invariants derived from quandles and racks*, Invariants of knots and 3-manifolds (Kyoto, 2001) Geom. Topol. Monogr., vol. 4, Geom. Topol. Publ., Coventry, 2002, pp. 103–117. MR**2002606**, DOI 10.2140/gtm.2002.4.103 - A. Konovalov, A. Smoktunowicz, and L. Vendramin,
*On skew braces and their ideals*, Exp. Math., online (2018), doi.org/10.1080/10586458.2018.1492476. - Victoria Lebed,
*Cohomology of idempotent braidings with applications to factorizable monoids*, Internat. J. Algebra Comput.**27**(2017), no. 4, 421–454. MR**3668103**, DOI 10.1142/S0218196717500229 - V. Lebed and L. Vendramin,
*On structure groups of set-theoretic solutions to the Yang–Baxter equation*, Proc. Edinb. Math. Soc., online (2019), doi.org/10.1017/S0013091518000548. - Victoria Lebed and Leandro Vendramin,
*Cohomology and extensions of braces*, Pacific J. Math.**284**(2016), no. 1, 191–212. MR**3530867**, DOI 10.2140/pjm.2016.284.191 - Jiang-Hua Lu, Min Yan, and Yong-Chang Zhu,
*On the set-theoretical Yang-Baxter equation*, Duke Math. J.**104**(2000), no. 1, 1–18. MR**1769723**, DOI 10.1215/S0012-7094-00-10411-5 - J. C. McConnell and J. C. Robson,
*Noncommutative Noetherian rings*, Revised edition, Graduate Studies in Mathematics, vol. 30, American Mathematical Society, Providence, RI, 2001. With the cooperation of L. W. Small. MR**1811901**, DOI 10.1090/gsm/030 - Jan Okniński,
*Semigroups of matrices*, Series in Algebra, vol. 6, World Scientific Publishing Co., Inc., River Edge, NJ, 1998. MR**1785162**, DOI 10.1142/9789812816290 - Jan Okniński,
*Semigroup algebras*, Monographs and Textbooks in Pure and Applied Mathematics, vol. 138, Marcel Dekker, Inc., New York, 1991. MR**1083356** - Donald S. Passman,
*Infinite crossed products*, Pure and Applied Mathematics, vol. 135, Academic Press, Inc., Boston, MA, 1989. MR**979094** - Donald S. Passman,
*The algebraic structure of group rings*, Pure and Applied Mathematics, Wiley-Interscience [John Wiley & Sons], New York-London-Sydney, 1977. MR**0470211** - J. E. Roseblade,
*Prime ideals in group rings of polycyclic groups*, Proc. London Math. Soc. (3)**36**(1978), no. 3, 385–447. MR**491797**, DOI 10.1112/plms/s3-36.3.385 - Wolfgang Rump,
*Braces, radical rings, and the quantum Yang-Baxter equation*, J. Algebra**307**(2007), no. 1, 153–170. MR**2278047**, DOI 10.1016/j.jalgebra.2006.03.040 - Wolfgang Rump,
*Modules over braces*, Algebra Discrete Math.**2**(2006), 127–137. MR**2320986** - Wolfgang Rump,
*A decomposition theorem for square-free unitary solutions of the quantum Yang-Baxter equation*, Adv. Math.**193**(2005), no. 1, 40–55. MR**2132760**, DOI 10.1016/j.aim.2004.03.019 - Agata Smoktunowicz,
*On Engel groups, nilpotent groups, rings, braces and the Yang-Baxter equation*, Trans. Amer. Math. Soc.**370**(2018), no. 9, 6535–6564. MR**3814340**, DOI 10.1090/tran/7179 - Agata Smoktunowicz and Leandro Vendramin,
*On skew braces (with an appendix by N. Byott and L. Vendramin)*, J. Comb. Algebra**2**(2018), no. 1, 47–86. MR**3763907**, DOI 10.4171/JCA/2-1-3 - Alexander Soloviev,
*Non-unitary set-theoretical solutions to the quantum Yang-Baxter equation*, Math. Res. Lett.**7**(2000), no. 5-6, 577–596. MR**1809284**, DOI 10.4310/MRL.2000.v7.n5.a4 - C. N. Yang,
*Some exact results for the many-body problem in one dimension with repulsive delta-function interaction*, Phys. Rev. Lett.**19**(1967), 1312–1315. MR**261870**, DOI 10.1103/PhysRevLett.19.1312

## Additional Information

**Eric Jespers**- Affiliation: Department of Mathematics, Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussel, Belgium
- MR Author ID: 94560
- Email: Eric.Jespers@vub.be
**Łukasz Kubat**- Affiliation: Department of Mathematics, Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussel, Belgium
- MR Author ID: 972249
- Email: Lukasz.Kubat@vub.be
**Arne Van Antwerpen**- Affiliation: Department of Mathematics, Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussel, Belgium
- MR Author ID: 1273209
- Email: Arne.Van.Antwerpen@vub.be
- Received by editor(s): December 5, 2018
- Published electronically: June 17, 2019
- Additional Notes: The first author was supported in part by Onderzoeksraad of Vrije Universiteit Brussel and Fonds voor Wetenschappelijk Onderzoek (Belgium), grant G016117.

The second author was supported by Fonds voor Wetenschappelijk Onderzoek (Flanders), grant G016117.

The third author was supported by Fonds voor Wetenschappelijk Onderzoek (Flanders) via an FWO Aspirant-mandate. - © Copyright 2019 American Mathematical Society
- Journal: Trans. Amer. Math. Soc.
**372**(2019), 7191-7223 - MSC (2010): Primary 16N60, 16T25; Secondary 16R20, 16S36, 16S37
- DOI: https://doi.org/10.1090/tran/7837
- MathSciNet review: 4024551