Why does twisting quasi-Hopf algebras work (as in majid's article) - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T03:46:17Z http://mathoverflow.net/feeds/question/18846 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/18846/why-does-twisting-quasi-hopf-algebras-work-as-in-majids-article Why does twisting quasi-Hopf algebras work (as in majid's article) krolik 2010-03-20T15:33:07Z 2010-03-21T03:52:21Z <p>I can't understand this sentence i the article of Majid "Tannaka-Krein theorem for quasi-Hopf algebras and other results" about the reconstruction of a quasi-algebra (in fact its dual) from a given braided category (C,c) with a forgetful functor F ; at the end it considers the action of Drinfeld-twisting upon quasi-algebra and says: if A (quasi-algebra) corresponds to (C,F,c) then A_twisted corresponds to (C,F,c') for a new choice of braiding c'. i am very disturbed: the associativity constraint is modified too obviously; sorry for my very naive question.</p> http://mathoverflow.net/questions/18846/why-does-twisting-quasi-hopf-algebras-work-as-in-majids-article/18861#18861 Answer by David Jordan for Why does twisting quasi-Hopf algebras work (as in majid's article) David Jordan 2010-03-20T17:07:33Z 2010-03-20T17:07:33Z <p>You might find these notes helpful as a second source to read fro:</p> <p><a href="http://www-math.mit.edu/~etingof/tenscat1.pdf" rel="nofollow">http://www-math.mit.edu/~etingof/tenscat1.pdf</a></p> <p>There is a careful elaboration of the various variants of Tannaka-Krein construction, and the case of quasi-bialgebras and quasi-Hopf algebras is discussed. So far as I recall, Drinfeld twisting of a quasi bi-algebra just means acting on the original category by a tensor functor which is the identity on objects (and so is only interesting as a tensor functor).</p> <p>As such, it does have a fairly straightforward effect on the associator $\phi$. If you twist by an invertible element $F\in H\otimes H$, then the associator $\phi^F$ is something like $\phi^F:=B\phi B^{-1}$, where $B:=F(\Delta\otimes\operatorname{id})(F)$, or maybe $F(\operatorname{id}\otimes\Delta)(F)$, I can't remember.</p> <p>It might help you to note that nothing in your question relies on the braiding; there is a reconstruction theorem for any (quasi)bi-algebra with a fiber functor, and since you're asking about the associator, it isn't too important that there's a braiding lying around.</p> <p>What leads you to expect some more complicated effect on the associator?</p> http://mathoverflow.net/questions/18846/why-does-twisting-quasi-hopf-algebras-work-as-in-majids-article/18868#18868 Answer by Theo Johnson-Freyd for Why does twisting quasi-Hopf algebras work (as in majid's article) Theo Johnson-Freyd 2010-03-20T18:28:15Z 2010-03-21T03:52:21Z <p>You probably know all that I'm going to say, but I'll mention it anyway, for any other interlocutors:</p> <p>I'm going to adopt Stasheff's recommendation ("Drinfel$'$d's quasi-Hopf algebras and beyond", same volume) that "Drinfel$'$d-twisting" be called "skrooching" (a transliteration and abbreviation of the Russian, which is roughly four syllables.). Also, I'm going to talk about associative algebras and quasicoassociative coalgebras, not the other way around, even though the reconstruction theorem lands in "co" territory: if you really want to do Majid's theorem, you have to think about the convolution multiplication.</p> <p>Anyway, then the basic Drinfel$'$d idea is that you start with something that I think should be called a "weak bialgebra": an associative unital algebra $A$ and an algebra homomorphism $\Delta : A \to A\otimes A$. This gives a functor $\otimes: A\text{-rep} \times A\text{-rep} \to A\text{-rep}$, which forgets to the usual $\otimes$ on vector spaces.</p> <p>A <strong>quasicoassociative</strong> bialgebra is a weak bialgebra along with a distinguished invertible element <code>$\psi \in A^{\otimes 3}$</code> so that <code>$(\text{id} \otimes \Delta)\circ \Delta = \text{Ad}_\psi \circ (\Delta \otimes \text{id})\circ \Delta$</code>, where <code>$\text{Ad}_\psi$</code> is the inner automorphism of <code>$A^{\otimes 3}$</code> by conjugating by $\psi$ &mdash; then acting by $\psi$ gives a natural $A\text{-rep}$ isomorphism <code>$(X\otimes Y)\otimes Z \to X \otimes (Y\otimes Z)$</code> &mdash; and there's a pentagon for $\psi$ that matches Mac Lane's pentagon.</p> <p>Given any invertible element $\varphi \in A^{\otimes 2}$, you can <strong>skrooch</strong> the weak bialgebra $(A,\Delta)$ by $\varphi$ to get a new weak bialgebra <code>$(A,\Delta^\varphi)$</code>, which is the same algebra and <code>$\Delta^{\varphi} = \text{Ad}_\varphi\circ \Delta$</code>. If $(A,\Delta,\psi)$ is quasicoassociative, then $(A,\Delta^\varphi,\psi^\varphi)$ is, with: $$\psi^\varphi = \text{Ad}_\phi \psi \quad \text{where} \quad \phi = (\varphi\otimes 1) \cdot (\Delta \otimes \text{id})(\varphi) \in A^{\otimes 3}$$ and $\cdot$ is the multiplication in $A^{\otimes 3}$. You can translate this pretty straightforwardly into the representation theory.</p> <p>The easier observation is quasitriangularity. A weak bialgebra $(A,\Delta)$ is <strong>quasitriangular</strong> if it comes equipped with a skrooch $\rho \in A^{\otimes 2}$ such that $\Delta^\rho = \Delta^{\rm op}$. A (quasi)coassociative bialgebra is quasitriangular if additionally $\rho$ satisfies two hexagons. If you skrooch a quasitriangular bialgebra $(A,\Delta,\rho)$ by $\varphi$, then you get a new quasitriangular bialgebra $(A,\Delta^\varphi,\rho^\varphi)$, where $\rho^\varphi = \varphi^{\rm op}\rho\varphi^{-1}$ (multiplication in $A^{\otimes 2}$; $\varphi^{\rm op}$ is the obvious element with the two $A$s in $A^{\otimes 2}$ flipped).`</p>