9b44260013475c32.tex
1: \begin{abstract}
2: Given a rack $Q$ and a ring $\A$, one can construct 
3: a Yang-Baxter operator $c_Q\colon V\tensor V\to V\tensor V$ 
4: on the free $\A$-module $V = \A{Q}$ by setting 
5: $c_Q(x \tensor y) = y \tensor x^y$ for all $x,y\in Q$. 
6: In answer to a question initiated by D.N.\,Yetter and P.J.\,Freyd, this article 
7: classifies formal deformations of $c_Q$ in the space of Yang-Baxter operators.
8: For the trivial rack, where $x^y = x$ for all $x,y$, one has, of course, 
9: the classical setting of r-matrices and quantum groups.
10: In the general case we introduce and calculate the cohomology theory 
11: that classifies infinitesimal deformations of $c_Q$. 
12: In many cases this allows us to conclude that $c_Q$ is rigid.
13: In the remaining cases, where infinitesimal deformations are possible, 
14: we show that higher-order obstructions 
15: are the same as in the quantum case.
16: \end{abstract}
17: