Let $G$ be a simple compact connected Lie group and let $K$ be a connected closed subgroup of $G$. 
Let $\widehat G$ and $\widehat K$ denote the corresponding unitary duals, that is, the (equivalence classes of) irreducible representations.
By the Highest Weight Theorem, elements in $\widehat G$ are in correspondence with elements in the set $P^+(G)$ of $G$-integral dominant weights. 
For $\lambda\in P^+(G)$, we will denote by $\pi\_\lambda$ the irreducible representation of $G$ with highest weight $\lambda$. 


Given $\tau\in\widehat K$, we define $\widehat G\_\tau=\{\pi\in\widehat G: \textrm{Hom}\_K(\pi,\tau)\neq0\}$. 
In other words, $\pi$ is in $\widehat G\_\tau$ if and only if $\tau$ appears in the decomposition in irreducible representations of the restriction of $\pi|\_K$ (the restriction of $\pi$ to $K$).
Elements in $\widehat G\_\tau$ are called $\tau$-spherical representations. 


I wish to know if there is $\omega\in P^+(G)$, with $\omega\neq0$, satisfying the following property: 



> 
> if $\lambda\in P^+(G)$ satisfies $\pi\_\lambda\in\widehat G\_\tau$, then
>  $\pi\_{\lambda+\omega}\in\widehat G\_\tau$.
> 
> 
> 


Here I list some examples coming from compact symmetric spaces of real rank one. In each case I used the obvious inclusion $K\subset G$ and standard conventions on the root system of $\mathfrak g$:


1. $G$ arbitrary and $K=\{1\}$, $\omega =$ any choice in $P^+(G)$.
2. $G=SU(2)$ and $K=T$ (maximal torus), $\omega = 2\varepsilon\_1$ (twice the first fundamental weight).
3. $G=SO(n+1)$ and $K=SO(n)$, $\omega=\varepsilon\_1$ (the first fundamental weight).
4. $G=SU(n+1)$ and $K=S(U(n)\times U(1))$, $\omega=\varepsilon\_1-\varepsilon\_{n+1}$ (the first plus the last fundamental weights).
5. $G=Sp(n+1)$ and $K=Sp(n)$, $\omega=\varepsilon\_1+\varepsilon\_2$ (the second fundamental weight).
6. $G=SO(2n)$ and $K=T$ (max. torus), $\omega= 2\varepsilon\_1$ (twice the first fundamental weight).


Each of the above examples follows by the explicit branching law from $G$ to $K$, which is (of course) not available for arbitrary $K$. Clearly, in each case, any positive multiple of the indicated $\omega$ also works. 


In case the answer is affirmative, it follows that $\widehat G\_\tau$ can always be written as a union of subsets of the form $\{\pi\_{\lambda+k\omega}: k\geq0 \}$ for some $\lambda\in P^+(G)$. 
(The union is not assumed finite or either disjoint.) 
This is the result I am looking for. 


**Edit:** Looking for more information, here is an intermediate question: 



> 
> For $G=SO(2n)$. Does a positive multiple of $\varepsilon\_1$ satisfy the above property for any closed subgroup $K$ of $G$? 
> 
> 
> 


Either a proof or a counterexample would help me to understand this problem. I picked $SO(2n)$ because is my favorite, but we may replace $(SO(2n),\varepsilon\_1)$ in the question by $(SO(2n+1),\varepsilon\_1)$, $(SU(n+1),\varepsilon\_1-\varepsilon\_{n+1})$, or $(Sp(n+1),\varepsilon\_1+\varepsilon\_2)$. 



Distinguished dominant integral weight related to a branching problem
It is true that there exists such a $\omega$. Indeed, $every$ $\omega \neq 0$ works. Fix a representation $\pi \_{\omega}$ which has a nonzero $K$ fixed vector, with $\omega \neq 0$. One can replace $G,K$ by their complexifications. Fix a Borel subgroup $B$ of $G(\mathbb C)$ and view the vectors in the representations $\pi \_{\lambda}$ as algebraic sections $\phi (x)$ of a homogeneous line bundle ${\mathcal L}\_{\lambda}$ on $G/B$ (the Borel-Weil theorem) . Fix a section $\phi (x)$ whose $K$ translates generate a representation of $K(\mathbb C)$ isomorphic to $\tau$. 


If $\psi (x)$ is the non-zero $K$ fixed vector in $\pi \_{\omega}$ viewed as a section of ${\mathcal L}\_{\omega}$, then the product $\phi (x)\psi (x)$ is a section of ${\mathcal L}\_{\lambda +\omega}$. But the $K$ translates of the product $\phi \psi$ generate a representation also isomorphic to $\tau$ since $\psi$ is $K$ invariant. Hence the restriction of $\pi \_{\lambda +\omega}$ to $K$ contains $\tau$. 


