Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

A "well-known" fact is that a ${C}_q[U(1)]$-coaction on a vector space $V$ induces a $Z$-grading. I don't see why this is so. Clearly, a ${C}_q[U(1)]$-grading will induce a $Z$-grading. But why does a ${C}_q[U(1)]$-coaction induce a ${C}_q[U(1)]$-grading? In other words, Why should every $v \in V$ be equal to a sum $\sum_i v_i$, for which $\Delta (v_i) = v_i \otimes k^n$?

Moreover, what happens when we "move up" to a ${C}_q[U(2)]$-coaction, or a ${C}_q[U(N)]$-coactions? Does this induce a ${C}_q[U(2)]$-grading, and a ${C}_q[U(N)]$-grading?

share|improve this question
    
What is $C_q (U(N))$? Coactions by functions on a group are trivially grading but I am not sure that I understood the question. –  Bugs Bunny Dec 3 '10 at 8:59
    
$C_q[U(N)]$ is the quantised (noncommutative) coordinate algebra of $U(N)$. The definition is similar to that of the better known $C_q[SU(N)]$ but with one extra generator det$^{-1}$ and the relation det.det$^{-1} = $det$^{-1}$.det$=1$ instead of det$=1$. –  Dyke Acland Dec 3 '10 at 15:48
    
See math.ru.nl/~waltervs/trieste2005.pdf for a presentation of $C_q[SU(2)]$. –  Dyke Acland Dec 3 '10 at 15:50

1 Answer 1

This follow from the axioms of a coaction, and the Hopf algebra structure of $C_q[U(1)]$. Firstly, for $v \in V$, we will always have $\Delta_R(v) = \sum_i v_i \otimes k^{n_i}$. Applying the equality id$ \otimes \varepsilon = $id to both sides gives $v = \sum_i v_i$. We now use the axiom $(\Delta_R \otimes $id$) \circ \Delta_R = ($\id$ \otimes \Delta) \circ \Delta_R$. Applying both sides to $v$ we get $\sum_{ij} v_{ij} \otimes k^{n_j} \otimes k^{n_i} = \sum v_i \otimes k^{n_i} \otimes k^{n_i}$. Now consider the set of elements which are the sums of the terms with the same $k^{n_i}$ as the third tensor factor. This set is linearily independent. Thus, $\sum_j v_{ij} \otimes k^{n_j} = f_i \otimes k^{n_i}$. Since $\Delta_R (f_i) = \sum_j f_{ij} \otimes k^{n_j}$, we have the required result.

Not too sure about the $U(N)$ case though.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.