Let $G$ be a reductive group and $\lambda$, $\mu$ and $\nu$ be dominant weights of $G$. Denote by $V\_\lambda$ the irreducible representation of $G$ of highest weight $\lambda$. It seems to be true that
$$
V\_\lambda \otimes V\_\mu^\* \subseteq V\_{\lambda+\nu}\otimes V\_{\mu+\nu}^\*,
$$
where $W^\*$ as usual is the dual representation for $W$.
This is obvious in the case $\lambda=0$ or $\mu=0$.
Here are two questions:


(1) about multiplicities, i.e. how to prove that for any $\theta$ the multiplicity of $V\_\theta$ in right hand side is more or equal than in the left hand side?


(2) is there a natural inclusion?



Tensor products of two irreducible representations of reductive groups and their inclusions
There is a natural inclusion, defined as follows:


The space of sections of weight $\mu$ on $\mathcal{F} = G/B$ can naturally be identified with $V\_\mu^\*$ (via the map $w \rightarrow [g \rightarrow \langle w, g v\_\mu \rangle ]$ where $v\_\mu$ is a highest-weight vector). Similarly, if we consider $\mathcal{F} = G/B^-$, we can identify $V\_\lambda$ with the space of sections of weight $-\lambda$ (which is dominant with respect to $B^-$). We can therefore identify $V\_\lambda \otimes V\_\mu^\*$ with sections on $\mathcal{F} \times \mathcal{F}$.


Consider the $G$-invariant vector $\iota\_\nu \in V\_\nu \otimes V\_\nu^\*$ (we can choose this naturally by choosing the identity on $V\_\nu$); by the above, we can identify it with a section on $\mathcal{F} \times \mathcal{F}$. Then the inclusion of $V\_\lambda \otimes V\_\mu^\*$ into $V\_{\lambda + \nu} \otimes V\_{\mu + \nu}^\*$ is given by taking the product of the relevant section with $\iota\_\nu$; because $\mathcal{F} \times \mathcal{F}$ is irreducible, there are no zero-divisors, which makes this an inclusion. It is $G$-equivariant because $\iota\_\nu$ is $G$-invariant and the product map is $G \times G$-equivariant, and so $G$-diagonally equivariant.


