Yang–Baxter equation

The Yang–Baxter equation is an equation which was first introduced in the field of statistical mechanics. It takes its name from independent work of C. N. Yang from 1968, and R. J. Baxter from 1982.

Parameter-dependent Yang-Baxter equation

Let $A$ be a unital associative algebra. The parameter-dependent Yang–Baxter equation is an equation for $R(u)$, a parameter-dependent invertible element of the tensor product $A\; otimes\; A$ (here, $u$ is the parameter, which usually ranges over all real numbers in the case of an additive parameter, or over all positive real numbers in the case of a multiplicative parameter). The Yang–Baxter equation is

:$R\_\{12\}(u)\; R\_\{13\}(u+v)\; R\_\{23\}(v)\; =\; R\_\{23\}(v)\; R\_\{13\}(u+v)\; R\_\{12\}(u),$

for all values of $u$ and $v$, in the case of an additive parameter, and

:$R\_\{12\}(u)\; R\_\{13\}(uv)\; R\_\{23\}(v)\; =\; R\_\{23\}(v)\; R\_\{13\}(uv)\; R\_\{12\}(u),$

for all values of $u$ and $v$, in the case of a multiplicative parameter, where $R\_\{12\}(w)\; =\; phi\_\{12\}(R(w))$, $R\_\{13\}(w)\; =\; phi\_\{13\}(R(w))$, and $R\_\{23\}(w)\; =\; phi\_\{23\}(R(w))$, for all values of the parameter $w$, and $phi\_\{12\}\; :\; A\; otimes\; A\; o\; A\; otimes\; A\; otimes\; A$, $phi\_\{13\}\; :\; A\; otimes\; A\; o\; A\; otimes\; A\; otimes\; A$, and $phi\_\{23\}\; :\; A\; otimes\; A\; o\; A\; otimes\; A\; otimes\; A$, are algebra morphisms determined by

:$phi\_\{12\}(a\; otimes\; b)\; =\; a\; otimes\; b\; otimes\; 1$,

:$phi\_\{13\}(a\; otimes\; b)\; =\; a\; otimes\; 1\; otimes\; b$,

:$phi\_\{23\}(a\; otimes\; b)\; =\; 1\; otimes\; a\; otimes\; b$.

Parameter-independent Yang–Baxter equation

Let $A$ be a unital associative algebra. The parameter-independent Yang–Baxter equation is an equation for $R$, an invertible element of the tensor product $A\; otimes\; A$. The Yang-Baxter equation is

:$R\_\{12\}\; R\_\{13\}\; R\_\{23\}\; =\; R\_\{23\}\; R\_\{13\}\; R\_\{12\},$

where $R\_\{12\}\; =\; phi\_\{12\}(R)$, $R\_\{13\}\; =\; phi\_\{13\}(R)$, and $R\_\{23\}\; =\; phi\_\{23\}(R)$.

Let $V$ be a module of $A$. Let $T\; :\; V\; otimes\; V\; o\; V\; otimes\; V$ be the linear map satisfying $T(x\; otimes\; y)\; =\; y\; otimes\; x$ for all $x,\; y\; in\; V$, then a representation of the braid group, $B\_n$, can be constructed on $V^\{otimes\; n\}$ by $sigma\_i\; =\; 1^\{otimes\; i-1\}\; otimes\; check\{R\}\; otimes\; 1^\{otimes\; n-i-1\}$ for $i\; =\; 1,dots,n-1$, where $check\{R\}\; =\; T\; circ\; R$ on $V\; otimes\; V$. This representation can be used to determine quasi-invariants of braids, knots and links.

ee also

* Lie bialgebra

* Yangian

References

* H.-D. Doebner, J.-D. Hennig, eds, "Quantum groups, Proceedings of the 8th International Workshop on Mathematical Physics, Arnold Sommerfeld Institute, Clausthal, FRG, 1989", Springer-Verlag Berlin, ISBN 3-540-53503-9.
* Vyjayanthi Chari and Andrew Pressley, "A Guide to Quantum Groups", (1994), Cambridge University Press, Cambridge ISBN 0-521-55884-0.