# Smooth admissible representations, Hom, tensor and extension of scalars.

Let $G$ be a locally profinite group, and consider $V$ and $W$ smooth admissible representations of $G$ over some field $F$ (or char. $0$). Let $E/F$ be any field extension.

I'd like to find conditions to ensure that the natural map $$Hom_{F[G]}(V,W)\otimes_{F}E\to Hom_{E[G]}(V_E,W_E)$$

is an isomorphism. Here $V_E=V\otimes_FE$, $W_E=W\otimes_FE$ and $Hom_{F[G]}$ (resp. $Hom_{E[G]}$) are the $F$-linear (resp. $E$-linear) $G$-equivariant maps.

If $V$ is generated by $V^K$ as a $G$-space, for some compact open $K\subset G$ (for ex. if it's irreducible), then it's easy to see that the above map is injective by restricting to $V^K$. But I don't know about surjectivity. I don't want to assume too much on $W$ if possible.

The question might be related to try to find conditions under which the map $$\widetilde V\otimes_FW\to Hom_{F}(V,W)_{0}$$ is an isomorphism ($\widetilde V$ is the smooth dual and the subindex $0$ means the smooth vectors), at least when restricting to the subspaces of $G$-fixed vectors.