10
$\begingroup$

What are the most simple examples which can explain the meaning of Yang–Baxter equation? Is there any way to explain this mysterious object to a person who is not a professional in quantum groups? Illustration from Wikipedia enter image description here

is nice but I would like to see slightly more substantial examples.

$\endgroup$
10
$\begingroup$

One very nice family of examples is the one of set-theoretical solutions.

In the paper

  • Drinfelʹd, V. G. On some unsolved problems in quantum group theory. Quantum groups (Leningrad, 1990), 1--8, Lecture Notes in Math., 1510, Springer, Berlin, 1992. MR1183474 (94a:17006)

Drinfeld asked for pairs $(X,r)$, where $X$ is a set and $r:X\times X\to X\times X$ is a bijective map such that $$(r\times id)(id\times r)(r\times id)=(id\times r)(r\times id)(id\times r).$$ Such pairs are called set-theoretical solutions of the Yang-Baxter equation. Some examples are the following:

  1. $X$ is any set and $r(x,y)=(y,x)$.
  2. $X$ is a group and $r(x,y)=(xyx^{-1},x)$.
  3. $X=\mathbb{Z}/n\mathbb{Z}$ and $r(x,y)=(y-1,x+1)$.
  4. $X$ is a group and $r(x,y)=(xy^{-1}x^{-1},xy^2)$.

Set-theoretical solutions were first studied by Etingof, Schedler and Soloviev and independently by and Gateva-Ivanova and Van den Bergh:

  • Etingof, Pavel; Schedler, Travis; Soloviev, Alexandre. Set-theoretical solutions to the quantum Yang-Baxter equation. Duke Math. J. 100 (1999), no. 2, 169--209. MR1722951 (2001c:16076)
  • Gateva-Ivanova, Tatiana; Van den Bergh, Michel. Semigroups of $I$-type. J. Algebra 206 (1998), no. 1, 97--112. MR1637256 (99h:20090)

These papers are mainly devoted to involutive solutions (i.e. $r^2=id$) and show deep connections between set-theoretic solutions and other branches of mathematics such as group theory, binomial semigroups, and homological properties of quadratic algebras.

Let me show an application of set-theoretic solutions to knot theory. We will use a particular family of solution for constructing elementary invariants of knots similar to the 3-coloring invariant. This application shows the importance of the Yang-Baxter equation.

Suppose that $X$ is a set and $*:X\times X\to X$ is a map with:

  1. $x*x=x$ for all $x\in X$,
  2. For each $x\in X$, the map $y\mapsto x*y$ is bijective, and
  3. $x*(y*z)=(x*y)*(x*z)$ for all $x,y,z\in X$.

Then $r(x,y)=(x*y,x)$ is a set-theoretical solution of the Yang-Baxter equation. (For the Yang-Baxter equation one needs precisely the third condition.) The pair $(X,*)$ is called a quandle.

Quandles can be used to construct invariants of knots. Consider an oriented knot diagram. At each crossing, label the upper arc with the element $x$ of $X$, and with $y$ and $x*y$ the arcs that go under:

enter image description here

Then a quandle structure over $X$ is exactly what you need to have an invariant of knots! In particular, for the third Reidemeister move one needs the Yang-Baxter equation, i.e. $x*(y*z)=(x*y)*(x*z)$ for all $x,y,z\in X$.

More information on knot colorings by quandles can be found for example in:

  • Clark, W. Edwin; Elhamdadi, Mohamed; Saito, Masahico; Yeatman, Timothy. Quandle colorings of knots and applications. J. Knot Theory Ramifications 23 (2014), no. 6, 1450035, 29 pp. MR3253967
$\endgroup$
2
  • $\begingroup$ @ Leandro Vendramin Leandro, thank you for nice examples. It is really Yang–Baxter for Dummies. Are there any simple examples connecting Yang–Baxter with special functions? $\endgroup$ Apr 4 '15 at 3:24
  • 1
    $\begingroup$ @Alexey: Maybe you find something in [Etingof, Pavel; Latour, Frédéric. The dynamical Yang-Baxter equation, representation theory, and quantum integrable systems. Oxford Lecture Series in Mathematics and its Applications, 29. Oxford University Press, Oxford, 2005. xii+138 pp. ISBN: 978-0-19-853068-8; 0-19-853068-4 MR2142557 (2006k:81166)] $\endgroup$ Apr 4 '15 at 11:04
6
$\begingroup$

I personally like this note of John Baez: http://math.ucr.edu/home/baez/braids/node4.html

$\endgroup$
1
  • $\begingroup$ Vladimir, thank you! It is also a good explanation. $\endgroup$ Apr 6 '15 at 9:10

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.