The KZ equations on the configuration space of $n$ distinct points in $\mathbb C$ give rise to a representation of $B\_n$ on $V^{\otimes n}$, where $V$ is any given representation of $SL(2)$ (we'll stick to this case; clearly we could work with other Lie groups as well). The WRT Hilbert space $\mathcal H\_n$ associated to the $SL(2)$ character variety of $\mathbb S^2\setminus\{p\_0,\ldots,p\_n\}$ (where we restrict the monodromy around each $p\_i$ to lie in a particular conjugacy class) also carries a natural action of $B\_n$.


Now, both of these representations give rise to the Jones polynomial in a more or less straightforward manner, so I would almost like to conjecture that there is a natural isomorphism between the two. Unfortunately, I don't even see a reason why they should have the same dimension (and I'd guess they probably don't!). Thus I have a weaker proposal:


Question: Is there a natural homomorphism $\rho:V^{\otimes n}\to\mathcal H\_n$ (or perhaps it should go the other direction) which respects the action of $B\_n$?


Remark: There are choices to be made to construct these representations (KZ and WRT). I expect the choice of representation $V$ and Planck constant $\hbar$ in the KZ equations correspond in a straightforward manner with the choice of level $k$ and conjugacy class for the WRT character variety. More specifically, one would most certainly take $\hbar=k^{-1}$ and the conjugacy class to have trace $2\cos(\hbar(\dim V-1))$ [perhaps up to multiplicative constants].



How does one relate the monodromy of the KZ equations with the WRT representation of the braid group?
What I will say is just for quantum $SL(2)$ with $V$ being the 2-dimensional representation (or the analogous object in the representation category). Let us denote by $H$ the quantum group. For $q$ generic you can just use the following: $V^{\otimes n}\cong\bigoplus\_i Hom(V\_i,V^{\otimes n})\otimes V\_i$ as an $H$ module and the image of $\mathbb{C}B\_n$ in the centralizer algebra commutes with the action of $H$ so as a $B\_n$-representation $V^{\otimes n}\cong \bigoplus\_i \dim(V\_i)Hom(V\_i,V^{\otimes n})$. The WRT representation space is exactly $\mathcal{H}\_n=\bigoplus Hom(V\_i,V^{\otimes n})$, that is, the minimal faithful module for $End(V^{\otimes n})$. Here $V\_i$ are the simple $H$-submodules of $V^{\otimes n}$. So your injection $\rho$ goes the other way.


This proof works for any (topologically) quasi-triangular Hopf algebra. For the root of unity case (fixed level case) there is the problem that the object $V$ no longer has a vector space structure (in the semisimple quotient). This is necessary to consider particularly if you want unitary representations. However, there is something similar one can try, which Wang and I call a "localization." Basically you look for a Yang-Baxter operator $R$ on a vector space $W$ so that $\mathcal{H}\_n$ is a $B\_n$-subrepresentation of $W^{\otimes n}$. For the $SL(2)$ situation this is only possible at levels $k=1,2,4$ corresponding to roots of unity of degree $3,4$ and $6$.


Some references on the more general question: [link text](http://arxiv.org/abs/1009.0241) [link text](http://arxiv.org/abs/1105.5048)


