An inner product that makes the R-matrix unitary - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T02:31:23Z http://mathoverflow.net/feeds/question/472 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/472/an-inner-product-that-makes-the-r-matrix-unitary An inner product that makes the R-matrix unitary Ben Webster 2009-10-14T01:35:26Z 2011-11-29T19:39:22Z <p>So, if you talk to the right people, they will tell you that the braiding of the category of representations of a quantum group are not unitary and that one can fix this by taking a different commutor (the cactus commutor). But I like the R-matrix better, and I think I know an inner product where it's unitary. I'm throwing this up here in hopes that it will look familiar to someone.</p> <p>For those of you wondering why I would do such a thing, I should mention that I like categorification. Categorification is a funny thing, and one funny thing about it is that you can't really categorify just a vector space; you can only categorify a vector space with (maybe non-symmetric) inner product, and any map you categorify to an equivalence of categories must be unitary for this inner product. So if one is to categorify a linear operator, it had better be unitary with respect to something.</p> <p>So, this inner product on V (x) W for any irreducibles V and W is the unique one (up to scalar) such that</p> <p>$$(\Delta(F_i)v,w)=(v,\Delta(q^{-d}_iK_iE_i)w)$$ $$(\Delta(q^{-d}_iK_iE_i)v,w)= (v,\bar \Delta(F_i)w)$$</p> <p>(Here, $\Delta(F)=F \otimes K^{-1} + 1\otimes F$ and $\bar \Delta(F)=F \otimes K + 1 \otimes F$).</p> <blockquote> <p>Ring any bells with anyone?</p> </blockquote> <p><strong>EDIT:</strong> Anyone curious how this story actually works out should look at my papers Knot invariants and higher representation theory <a href="http://front.math.ucdavis.edu/1001.2020" rel="nofollow">I</a> and <a href="http://front.math.ucdavis.edu/1005.4559" rel="nofollow">II</a>. The upshot is that there is a bilinear form on a tensor product for which the R-matrix is an isometry. </p> http://mathoverflow.net/questions/472/an-inner-product-that-makes-the-r-matrix-unitary/474#474 Answer by Noah Snyder for An inner product that makes the R-matrix unitary Noah Snyder 2009-10-14T02:41:45Z 2011-05-18T01:29:41Z <p>You're being thrown off by a poor choice of names that Drinfel'd made. (Hey, he had to name a lot of stuff, so I can't really blame him for getting one wrong.) By "unitarization" he means "modifying it so that it's square is 1" which has nothing whatsoever to do with being unitary. The usual R-matrix should be unitary wrt to the usual *-structures on quantum groups if q is a number of the right form (either size 1 or real depending on the *-structure).</p> <p>Edit: As pointed out in the comments I seem to be wrong here. I'm going to leave up the answer unmodified, however, because the comments clarify the situation and editing it would make the comments more confusing.</p> http://mathoverflow.net/questions/472/an-inner-product-that-makes-the-r-matrix-unitary/21332#21332 Answer by Charlie Frohman for An inner product that makes the R-matrix unitary Charlie Frohman 2010-04-14T12:33:41Z 2010-04-14T12:33:41Z <p>In the beginning of $SO(3)$-TQFT (Communications in Geometry and Analysis) by F and Kania-Bartoszynska we construct a pairing with respect to which the $R$-matrix for $U_q(sl_2)$ is unitary. The trick is to use pairings on the representations that are not positive, but the induced pairing on intertwiners is. There is a later paper by Kirilov where he does the same thing in a much more general setting, but I forget the citation.</p> <p>My take-away from struggling to construct TQFT with corners that is Hermitian is, <strong>it's a mistake</strong>. TQFT as framed in low dimensional topology depends on linearity in an essential way. If some of your basic data is conjugate linear, it messes up the small level structure of the theory.</p> <p>As a kid who got sucked into mathematics by his desire to understand the quantum mechanics, the fact that TQFT is conceived with bilinear pairings messed me up, because, of course you take the complex conjugate when you are computing the bracket.</p> http://mathoverflow.net/questions/472/an-inner-product-that-makes-the-r-matrix-unitary/26270#26270 Answer by Eric Rowell for An inner product that makes the R-matrix unitary Eric Rowell 2010-05-28T14:58:00Z 2010-05-28T14:58:00Z <p>Actually if you take the usual R-matrix for type $A$ it is only unitary for the choice $q=1$! There seems to be some conflict between "local" braidings and unitarity (as Z. Wang and I will explain in a paper currently being written).</p> http://mathoverflow.net/questions/472/an-inner-product-that-makes-the-r-matrix-unitary/82211#82211 Answer by MTS for An inner product that makes the R-matrix unitary MTS 2011-11-29T19:39:22Z 2011-11-29T19:39:22Z <p>I'm pretty late to the party here, and Ben, it seems that you already have a satisfactory answer to your question, but I thought for the sake of completeness I would just post this in case anybody stumbles across this question and is still curious.</p> <p>The key observation is that the eigenvalues of the braiding induced by the $R$-matrix are of the form $\pm q^{t}$, where $2t$ is a rational number in the image of the bilinear pairing of the weight lattice with itself. This follows from a result of Drinfeld which says that the square of the braiding acts as $\Delta(C^{-1})C \otimes C$, where $C$ is the quantum Casimir element. $C$ acts as the scalar $q^{(\lambda, \lambda + 2\rho)}$ in the irrep $V_{\lambda}$, and the statement about the eigenvalues of the braiding follows from this.</p> <p>If you want the braiding to be unitary, and you want that statement to have some meaning in the category of representations of $U_q(\mathfrak{g})$, then you need a $*$-structure on the quantum group. There are three cases to consider: $q \in \mathbb{R}, q \in i \mathbb{R}$ and $\mathfrak{g}=\mathfrak{sp}(2n,\mathbb{C})$, and $|q|=1$.</p> <p>The first two cases are ruled out because the eigenvalues of the braiding will not have modulus one, and hence the braiding cannot be unitary. This leaves only the case $|q|=1$.</p> <p>If you want this inner product to be natural/compatible with the quantum group infrastructure, then it should probably be invariant under the action of $U_q(\mathfrak{g})$ in the sense that $\langle av, w \rangle = \langle v, a^*w\rangle$ for $a \in U_q(\mathfrak{g})$ and $v,w \in V \otimes V$. Of course a $*$-structure on $U_q(\mathfrak{g})$ needs to be specified in order to make sense of this. For $|q|=1$ the standard choice is $K_i^* = K_i, E_i^*=-E_i, F_i^*=-F_i$, although this can also be modified by a diagram automorphism of $\mathfrak{g}$.</p> <p>To find an invariant inner product on $V \otimes V$, one way is to take the tensor product of an invariant inner product on $V$ with itself (if $V$ is an irrep then this is unique up to a scalar multiple if it exists). However, after a brief glance in Chari-Pressley, I'm not sure if the finite-dimensional irreps have an invariant inner product for the case $|q|=1$. I didn't do any further checking, but I would be interested to know if there are invariant inner products for irreps in that case.</p> <p>Also, this doesn't rule out the possibility of inner products on $V \otimes V$ that do not come from inner products on $V$.</p> <p>Summary of answer: the $R$-matrix cannot be made unitary in any inner product for $q \in \mathbb{R}$ or $q \in i \mathbb{R}$. For $|q|=1$ the situation is unclear to me.</p>