Given representations $\rho_1 : G \to \mathrm{GL}(V)$ and $\rho_2 : G \to \mathrm{GL}(W)$, how can we define explicitly the representation of $G$ over $\mathrm{Hom}(V, W) \cong V^* \otimes W$?
Representation over Hom(V, W)
3
$\begingroup$
representation-theory
1 Answers
8
The isomorphism of $\mathrm{Hom}(V,W)$ with $V^*\otimes W$ only holds when $V$ is finite-dimensional. I'll assume both $V$ and $W$ are finite-dimensional. If we write our group actions on the right, if $\phi\in\mathrm{Hom}(V,W)$ then $$\phi g:v\mapsto\phi(vg^{-1})g.$$
-
0@user314: See, for example, page 4 in Fulton & Harris: http://books.google.com/books?id=6GUH8ARxhp8C&printsec=frontcover#v=onepage&q&f=false – 2010-10-11