@unpublished{230506023,
archiveprefix = {arXiv},
doi = {2305.06023},
author = {Colazzo, Ilaria and Jespers, Eric and Kubat, Łukasz and Van Antwerpen, Arne},
title = {Structure algebras of finite set-theoretic solutions of the {Y}ang--{B}axter equation},
year = {2023},
keywords = {arXiv},
publisher = {arXiv},
copyright = {arXiv.org perpetual, non-exclusive license}
}
Algebras related to finite bijective or idempotent left non-degenerate solutions (X,r) of the Yang–Baxter equation have been intensively studied. These are the monoid algebras K[M(X,r)] and K[A(X,r)], over a field K, of its structure monoid M(X,r) and left derived structure monoid A(X,r), which have quadratic defining relations.
In this paper we deal with arbitrary finite left non-degenerate solutions (X,r). Via divisibility by generators, i.e., the elements of X, we construct an ideal chain in M(X,r) that has very strong algebraic structural properties on its Rees factors. This allows to obtain characterizations of when the algebras K[M(X,r)] and K[A(X,r)] are left or right Noetherian. Intricate relationships between ring-theoretical and homological properties of these algebras and properties of the solution (X,r) are proven, which extends known results on bijective non-degenerate solutions. Furthermore, we describe the cancellative congruences of A(X,r) and M(X,r) as well as the prime spectrum of K[A(X,r)]. This then leads to an explicit formula for the Gelfand–Kirillov dimension of K[M(X,r)] in terms of the number of orbits in X under actions of certain finite monoids derived from (X,r). It is also shown that the former coincides with the classical Krull dimension of K[M(X,r)] in case the algebra K[M(X,r)] is left or right Noetherian. Finally, we obtain the first structural results for a class of finite degenerate solutions (X,r) of the form r(x,y)=(\lambda_x(y),ρ(y)) by showing that structure algebras of such solution are always right Noetherian.