I asked this question over on [Math.Stack](https://math.stackexchange.com/questions/706547/a-little-bit-of-intuition-for-corepresentations-from-representations) --- where it has a bounty --- but I didn't really get a helpful response so I am asking the question here. One commenter suggests that I am confusing left- and right-actions but perhaps some of ye might be able to help.


"
Hi folks I am trying to prove what I think should be a straightforward enough result but I am having to make a somewhat unnatural definition to do it. This unnatural definition is hinted at in a paper by [Franz & Gohm](http://link.springer.com/chapter/10.1007/11376637_1):



> 
> If $G$ is a group, then $b:M\times G\rightarrow M$ is called a (left) action of $G$ on $M$, if it satisfies... 
> 
> 
> ...as before we have the unital \*-homomorphisms $\alpha\_g:F(G)\rightarrow F(G)$ defined by $\alpha\_g(f)(x):=f(b(x,g))$. Actually, in order to get a representation of $G$ on $F(G)$, i.e. $\alpha\_g\alpha\_h=\alpha\_{gh}$, we must modify the definition and use $\alpha\_g(f)(x):=f(b(x,g^{-1}))$. Otherwise we get an *anti-representation*.
> 
> 
> 


Let $G$ be a finite group and let $\rho:G\rightarrow GL(V)$ be a representation of $G$. I had wanted to prove that if we define a map by


$$\chi(v)=\sum\_{g\in G}u\otimes\mathbf{1}\_{\{g\,:\,\rho(g)u=v\}}=\sum\_{g\in G}\rho(g^{-1})v\otimes\mathbf{1}\_{\{g\}},$$


that $\chi$ would be a corepresentation of the quantum group $F(G)$ on $V$. Something that will ultimately fix my problem, in line with Franz & Gohm's comments above, is if I define 


$$\chi\_0(v)=\sum\_{g\in G}u\otimes\mathbf{1}\_{\{g\,:\,\rho(g^{-1})u=v\}}=\sum\_{g\in G}\rho(g)v\otimes\mathbf{1}\_{\{g\}}.$$


The reason I am uneasy about this is because it destroys a lot of the understanding I thought I had... briefly, if we consider the representation to be an action of $G$ on $V$ such that $u\overset{g}{\longrightarrow}v$ I wanted $\chi$ to encode all of this by saying look all of the things that bring you to $v$: something that looks or feels like $\coprod\_i(u\_i\overset{g\_i}{\longrightarrow} v)$.


To be a corepresentation we need $(I\_V\otimes \varepsilon)\circ\chi=I\_V$ where $\varepsilon$ is the counit. There is no problem showing this with either definition.


The [other property](http://ems-ph.org/books/book.php?proj_nr=72) we need is  

$$(I\_V\otimes \Delta)\circ \chi=(\chi\otimes I\_A)\circ\chi,$$
which works fine for $\chi\_0$ but for what I want the best I can do is 
$$\sum\_{g,t\in G}\rho(gt)^{-1}\otimes \mathbf{1}\_{\{gtg^{-1}\}}\otimes\mathbf{1}\_{\{g\}}=\sum\_{g,t\in G}\rho(gt)^{-1}\otimes \mathbf{1}\_{\{t\}}\otimes\mathbf{1}\_{\{g\}},$$
which only works if $G$ is abelian.


The map $\Delta$ is the coproduct given by $\Delta: F(G)\rightarrow F(G)\otimes F(G)$ 
$$\Delta(\mathbf{1}\_{\{g\}})=\sum\_{t\in G}\mathbf{1}\_{\{gt^{-1}\}}\otimes \mathbf{1}\_{\{t\}}.$$


I suppose I am a little uneasy about letting go of the very little intuition that I have in the realm of quantum groups and I am wondering is there a better reason for using $\chi\_0$ over $\chi$ apart from "it works".


Thank you for your time.
"



A little bit of Intuition for Corepresentations from Representations
Sorry about the left-right confusion (I think I am left-right-illiterate...).


If we have a left action $(g,x)\mapsto g.x$, but write it as a map $b:M\times G\to M$, $b(x,g)=g.x$, is that a left or a right action?


The reason for our choice of notion in the co- or bialgebraic part is time-ordering, we want the time to run from the left to the right, i.e. increments from the future are multiplied from the right. Mixing this with the usual preference for left action in the "classical" discussion in the introduction probably wasn't a good idea.


Your action of $G$ on $V$ is a map $\rho:G\times V\to V$. You can extend it linearly to the group algebra, $\rho:\mathbb{C}G\otimes V\to V$.


When you want to pass to a coaction, you take the dual $\rho^\*:V^\*\to (\mathbb{C} G\otimes V)^\*\cong F(G)\otimes V^\*$, since the dual of the group algebra $\mathbb{C}G$ is the algebra of function on $G$. On linear functional $\phi\in V^\*$, you have $\rho^\*(\phi)=\phi\circ \rho$. To get a coaction on $V$, you have to identify $V$ with its dual space. For $V=\mathbb{C}^M$ we can do this by considering $V$ as the Hilbert space $L^2(M)$ with the counting measure.


So we have $F(G)\otimes V^\*\cong \mathbb{C}^G\otimes\mathbb{C}^M=\mathbb{C}^{G\times M}$ and 
then $\rho^\*(\mathbf{1}\_x)(g,y)=\langle \mathbf{1}\_x, \alpha\_g(\mathbf{1}\_y)\rangle=\langle \mathbf{1}\_x, \mathbf{1}\_{g^{-1}.y})\rangle = \delta\_{g.x,y}=\left(\sum\_{h\in G}\mathbf{1}\_h\otimes\mathbf{1}\_{h.x}\right)(g,y)=\left(\sum\_{h\in G}\mathbf{1}\_h\otimes \alpha\_{h^{-1}}(\mathbf{1}\_{x})\right)(g,y)$. Which is your formula (except that I switched left and right back).


This coaction satisfies $({\rm id}\otimes \rho^\*)\circ\rho^\*(v) = \sum\_{g,h\in G} \mathbf{1}\_g\otimes \mathbf{1}\_h \otimes \alpha\_{(gh)^{-1}}(v)= (\Delta\otimes {\rm id})\circ\rho^\*(v)$.


