Let $(\Omega,d)$ be a differential calculus over an algebra $A$. It is easy to show that $\Omega$ is always equal to a quotient of $\Omega_u(A)$, the universal calculus over $A$, by some ideal $N$ of $\Omega_u(A)$. Now in practical terms, given a presentation of $\Omega$ in terms of generators and relations, how does one find the ideal $N$? I have some confused memory of there being a concrete recipe (due to Woronowicz?) for doing this when $A$ is a Hopf algebra and the calculus is left-covariant (or bi-covariant).
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
2
1
|
|
||||||
|
|
2
|
I don't know if you still care, but I think I found the answer to your question. Look at Proposition 1 in Chapter 14 of Quantum Groups and Their Representations by Klimyk and Schmudgen. It shows that there is a bijection between left-covariant first-order differential calculi over a Hopf algebra $H$ and right ideals of the kernel of the counit of $H$, and it shows how the relations in a first-order calculus are obtained from the ideal. I have never worked with these things, so I don't know how tractable the computations are, but as far as I can tell from quickly scanning it seems that all the maps are at least explicitly defined. As for higher order calculi, I am not sure whether/how these results extend. But at least maybe this is a good start? |
||
|
|
You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.
|
0
|
I don't much about differential calculi, but back in my head I also remember somewhat like this....so as a HINT (?): Could N be the kernel of something like a "quantum shuffle map" or "quantum symmetrizer"? Then chances are you are talking about a Nichols algebra....and then one had a good description of N but NOT easily explicit relations.... |
||
|
|
