j}^{(i)}$ ($1 \le j \le k_i-1$).

We define the following subset of ${\mathbb{N}}^k$ ($k=\sum k_i$) by $$\label{eqn:Aplus}
  A^+:= \prod_i A_i, \quad
  A_i :=
  \{
(a_{j}^{(i)})_{1 \le j \le k_i}\in {\mathbb{N}}^{k_i}
:
 a_1^{(i)} \ge \cdots \ge a_{k_i}^{(i)}\ge 0
\}.$$

Introduce the following positivity condition: $$\label{eqn:lpos}
\langle\lambda-\rho_{\mathfrak{g}},\alpha\rangle>0
\quad\text{for any $\alpha \in \Delta(\mathfrak{n}_+,\mathfrak{j})$}.$$

\[fact:A\] Suppose ${\mathfrak {p}}$ is ${\mathfrak {g}}^{\tau}$-compatible, and $\lambda$ satisfies and. Then the generalized Verma module ${\operatorname{ind}_{\mathfrak p}^{\mathfrak g}}(-\lambda)$ decomposes into a multiplicity-free direct sum of irreducible $\mathfrak g^\tau$-modules: $$\label{eqn:branchV}
{\operatorname{ind}_{\mathfrak p}^{\mathfrak g}}(-\lambda)\vert_{\mathfrak g^\tau}
\simeq
 \bigoplus
_{(a_{j}^{(i)}) \in A^+}
{\operatorname{ind}_{\mathfrak p^\tau}^{\mathfrak g^\tau}}(-\lambda\vert_{\mathfrak j^\tau}
-\sum_i\sum_{j=1}^{k_i} a_j^{(i)}\nu_j^{(i)}).$$ In particular, for a simple ${\mathfrak {p}}^{\tau}$-module $W$ (namely, a simple ${\mathfrak{l}}^{\tau}$-module with trivial action of ${\mathfrak {n}}^{\tau}$), $$\dim {\operatorname{Hom}}_{{\mathfrak {g}}^{\tau}}
   ({\operatorname{ind}_{\mathfrak p^\tau}^{\mathfrak g^\tau}}(W^{\vee}), {\operatorname{ind}_{\mathfrak p}^{\mathfrak g}}({\mathbb{C}}_{-\lambda}))=1$$ if and only if the highest weight of the ${\mathfrak {l}}^{\tau}$-module $W$ is of the form $\lambda|_{{\mathfrak {j}}^{\tau}}+\sum_i \sum_{j=1}^{k_i}
 a_j^{(
j}^{(i)}$ ($ 1 \le j \le k_i-1 $). 

 We define the following subset of $ { \mathbb{N}}^k$ ($ k=\sum k_i$) by $ $ \label{eqn: Aplus } 
   A^+:= \prod_i A_i, \quad 
   A_i: = 
   \ { 
 (a_{j}^{(i)})_{1 \le j \le k_i}\in { \mathbb{N}}^{k_i } 
: 
  a_1^{(i) } \ge \cdots \ge a_{k_i}^{(i)}\ge 0 
 \}.$$ 

 Introduce the following positivity circumstance: $ $ \label{eqn: lpos } 
 \langle\lambda-\rho_{\mathfrak{g}},\alpha\rangle>0 
 \quad\text{for any $ \alpha \in \Delta(\mathfrak{n}_+,\mathfrak{j})$}.$$ 

 \[fact: A\ ] presuppose $ { \mathfrak { p}}$ is $ { \mathfrak { g}}^{\tau}$-compatible, and $ \lambda$ satisfies and. Then the generalized Verma module $ { \operatorname{ind}_{\mathfrak p}^{\mathfrak g}}(-\lambda)$ decomposes into a multiplicity - spare lineal sum of irreducible $ \mathfrak g^\tau$-modules: $ $ \label{eqn: branchV } 
 { \operatorname{ind}_{\mathfrak p}^{\mathfrak g}}(-\lambda)\vert_{\mathfrak g^\tau } 
 \simeq 
  \bigoplus 
 _ { (a_{j}^{(i) }) \in A^+ } 
 { \operatorname{ind}_{\mathfrak p^\tau}^{\mathfrak g^\tau}}(-\lambda\vert_{\mathfrak j^\tau } 
 -\sum_i\sum_{j=1}^{k_i } a_j^{(i)}\nu_j^{(i)}).$$ In particular, for a simple $ { \mathfrak { p}}^{\tau}$-module $ W$ (namely, a elementary $ { \mathfrak{l}}^{\tau}$-module with trivial action of $ { \mathfrak { n}}^{\tau}$), $ $ \dim { \operatorname{Hom}}_{{\mathfrak { g}}^{\tau } } 
    ({ \operatorname{ind}_{\mathfrak p^\tau}^{\mathfrak g^\tau}}(W^{\vee }), { \operatorname{ind}_{\mathfrak p}^{\mathfrak g}}({\mathbb{C}}_{-\lambda}))=1$$ if and merely if the highest weight of the $ { \mathfrak { l}}^{\tau}$-module $ W$ is of the shape $ \lambda|_{{\mathfrak { j}}^{\tau}}+\sum_i \sum_{j=1}^{k_i } 
  a_j^ { (
j}^{(i)}$ ($1 \le j \le k_i-1$).

We define the following subsgt of ${\mavhbb{N}}^k$ ($i=\sum k_i$) cy $$\label{eqn:Aplus}
  A^+:= \prod_i A_i, \qyad
  Q_i :=
  \{
(a_{j}^{(i)})_{1 \le j \le k_i}\in {\oathbb{N}}^{k_i}
:
 a_1^{(i)} \ge \ceots \te a_{k_i}^{(i)}\ge 0
\}.$$

Mhtroducc the nollociig positivity cpndition: $$\ldbel{eqn:lpos}
\lancld\lcmbda-\rho_{\mathfrak{g}},\alpha\rangle>0
\quad\text{sor any $\appha \in \Delta(\mwthfgah{n}_+,\mafhfrak{j})$}.$$

\[fact:A\] Suppose ${\mathfrak {p}}$ is ${\mathfrek {g}}^{\tau}$-compatibke, and $\lambda$ satisfies anf. Thfn the generalized Verma moduoe ${\o[wratorname{ina}_{\mathfrak k}^{\mcthfrak g}}(-\lajbda)$ decomposes into a multiplizity-fxee direct wun ov irreduciblx $\mathsrak g^\tau$-modmkes: $$\latel{eqn:btanchV}
{\operatorkame{iid}_{\marhfrak p}^{\mathfrak g}}(-\lamuda)\vert_{\mathfrak g^\tau}
\fimeq
 \bigmpmus
_{(a_{j}^{(i)}) \in A^+}
{\operatirbame{itd}_{\madhfrxj p^\gau}^{\javhfdak g^\twu}}(-\lembda\vert_{\mafhfrak j^\tau}
-\wum_i\sum_{j=1}^{k_i} a_j^{(i)}\nu_j^{(i)}).$$ On isrticular, fod a siipje ${\mathfrak {p}}^{\tau}$-module $W$ (namely, a simplt ${\matgfrak{l}}^{\tau}$-module with truvial action of ${\mathftak {n}}^{\tau}$), $$\dym {\operatorname{Hom}}_{{\mathfrak {g}}^{\tau}}
   ({\operatorname{ind}_{\kathfcay p^\uam}^{\ixrhvrak g^\tau}}(W^{\vee}), {\operatorname{ind}_{\mathfrak p}^{\mathfrwi b}}({\msthbb{C}}_{-\lambda}))=1$$ in and only if the nihhrft weight of jhe ${\matkrrzk {l}}^{\tau}$-module $W$ is of the form $\lambda|_{{\mauhfral {j}}^{\tau}}+\sum_i \sum_{j=1}^{k_i}
 a_j^{(
j}^{(i)}$ ($1 \le j \le k_i-1$). We following of ${\mathbb{N}}^k$ k_i$) by $$\label{eqn:Aplus} := (a_{j}^{(i)})_{1 \le j k_i}\in {\mathbb{N}}^{k_i} : \ge \cdots \ge a_{k_i}^{(i)}\ge 0 \}.$$ the following positivity condition: $$\label{eqn:lpos} \langle\lambda-\rho_{\mathfrak{g}},\alpha\rangle>0 \quad\text{for any $\alpha \in \Delta(\mathfrak{n}_+,\mathfrak{j})$}.$$ \[fact:A\] Suppose {p}}$ is ${\mathfrak {g}}^{\tau}$-compatible, and $\lambda$ satisfies and. Then the generalized Verma module p}^{\mathfrak decomposes a direct sum of irreducible $\mathfrak g^\tau$-modules: $$\label{eqn:branchV} {\operatorname{ind}_{\mathfrak p}^{\mathfrak g}}(-\lambda)\vert_{\mathfrak g^\tau} \simeq \bigoplus _{(a_{j}^{(i)}) \in A^+} p^\tau}^{\mathfrak g^\tau}}(-\lambda\vert_{\mathfrak j^\tau} -\sum_i\sum_{j=1}^{k_i} a_j^{(i)}\nu_j^{(i)}).$$ In particular, for simple ${\mathfrak {p}}^{\tau}$-module $W$ a simple ${\mathfrak{l}}^{\tau}$-module with trivial of {n}}^{\tau}$), $$\dim {g}}^{\tau}} p^\tau}^{\mathfrak {\operatorname{ind}_{\mathfrak p}^{\mathfrak g}}({\mathbb{C}}_{-\lambda}))=1$$ and only if the highest weight of the ${\mathfrak {l}}^{\tau}$-module $W$ is of the form $\lambda|_{{\mathfrak {j}}^{\tau}}+\sum_i a_j^{(
j}^{(i)}$ ($1 \le j \le k_i-1$).

We define the folloWing subset Of ${\matHbb{n}}^k$ ($k=\SuM k_i$) bY $$\labEl{eqn:Aplus}
  A^+:= \proD_I A_i, \qUad
  A_i :=
  \{
(a_{j}^{(i)})_{1 \le j \le k_i}\in {\mathbB{N}}^{k_i}
:
 a_1^{(I)} \gE \CdotS \Ge A_{k_i}^{(i)}\gE 0
\}.$$

IntrodUCe THE foLlOwIng PoSItIvity ConDition: $$\lAbel{eqn:lpoS}
\laNgLe\lambda-\rho_{\mAThFrak{g}},\alpha\RanGle>0
\quad\text{fOr aNy $\alphA \iN \DeLTa(\matHfrAk{n}_+,\maThfrak{J})$}.$$

\[Fact:A\] SUppose ${\matHfRAk {p}}$ is ${\mAThfrak {g}}^{\TAU}$-cOmpaTible, and $\lambda$ satISfIEs and. Then the geNeraliZeD veRMA moDulE ${\operatornAmE{ind}_{\mAThfrak p}^{\MAtHFRAk g}}(-\LAmbda)$ decomposEs into a multIPliCity-frEe DirECt sum oF irreDuCIblE $\mathfrak g^\tAu$-moDules: $$\labeL{eqn:brANchV}
{\opeRAtornamE{ind}_{\maThfRak P}^{\matHFrAk G}}(-\laMbDA)\veRT_{\mAthFRak G^\tau}
\simeQ
 \bIgOplus
_{(A_{j}^{(i)}) \iN a^+}
{\OPEratOrnAme{iNd}_{\matHfrak p^\tau}^{\mathFraK g^\taU}}(-\LamBda\veRt_{\matHfraK j^\Tau}
-\suM_i\sum_{j=1}^{K_i} a_j^{(i)}\Nu_J^{(i)}).$$ In particular, fOr a sImple ${\mathFraK {p}}^{\Tau}$-MoDule $W$ (NAmely, a SimPle ${\MathfraK{l}}^{\tau}$-moDUle WiTH TRiVial action of ${\mathfrAk {N}}^{\TAu}$), $$\Dim {\operaTornamE{hoM}}_{{\mAThfrak {g}}^{\tAu}}
   ({\OpeRatoRNAme{inD}_{\matHFrAk p^\tau}^{\maThfrak G^\TaU}}(W^{\Vee}), {\operAtOrname{InD}_{\maThfRak p}^{\mAThfrAk g}}({\matHbb{C}}_{-\lambDa}))=1$$ if aND only if the highESt weight of the ${\MAtHFRaK {L}}^{\tau}$-ModUle $W$ is of the Form $\LAmbdA|_{{\matHFrAk {j}}^{\TAu}}+\sum_I \sum_{j=1}^{K_i}
 A_J^{(
j}^{(i)}$ ($1 \le j \le k_ i-1$).

We  defi nethe  f ollo wing  subset of ${\ m athb b{N}}^k$ ($k=\sum k_i$ ) by$$ \ labe l {e qn:Ap lus}
 A ^+ : =  \p ro d_ i A _i ,  \ quad  A _i :=
 \{
(a_{j} ^{( i) })_{1 \le j\ le  k_i}\in { \ma thbb{N}}^{k_ i}:
 a_1 ^{ (i) }  \ge\cd ots \ ge a_{ k _i}^{( i)}\ge 0\} . $$

In t roducet h efoll owing positivityc on d ition: $$\labe l{eqn: lp o s} \ lan gle \lambda-\r ho _{\ma t hfrak{g } }, \ a l pha \ rangle>0
\qua d\text{fora ny$\alph a\in \Delta (\mat hf r ak{ n}_+,\mathf rak{ j})$}.$$
\[fac t :A\] Su p pose ${ \mathf rak  {p }}$i s${ \ma th f rak {g }}^ { \ta u}$-comp at ib le, a nd $ \ l a m bda$  sa tisf ies a nd. Then thegen eral i zed  Verm a mod ule${ \oper atorna me{in d} _{\mathfrak p}^ {\ma thfrak g} }(- \l amb da )$ de c ompose s i nto  a mult iplicit y -fr ee d i re ct sum of irreduci bl e $\ mathfrak  g^\ta u $- mo d ules: $$ \l abe l{eq n : branc hV}{ \o peratorn ame{in d }_ {\ mathfra kp}^{\m at hfr akg}}(- \ lamb da)\ve rt_{\mat hfrak g^\tau}
\simeq  \bigoplus
_{ ( a_ { j }^ { (i)} ) \ in A^+}
{\o pera t orna me{i n d} _{\ m athfr ak p^ \t a u} ^ {\mathfrak g^\tau}} (- \lambd a\ver t_{\mathfrakj^\tau}
-\ s u m _i\sum_{ j=1} ^ {k _ i} a_j^{(i)}\n u_j^{ (i)}).$$ I n  particu lar,for a si mple ${\m a t hfrak {p }}^ {\t au} $-m o d ul e $W$ (namely , a si mp le ${\m ath frak{l} }^{ \ta u}$ -mo du le with t rivial a ct io nof  ${ \math f rak {n}} ^{ \ta u} $),  $$\d i m {\op erato rnam e{ Ho m }}_ {{\math f ra k {g}} ^{ \t au}} 
  ( {\ope rato r nam e{ind}_ {\mathfra k p ^ \tau }^ {\ mathfra k g^\tau}}(W^ {\ vee}), {\o pe rat orname { i nd}_{\ma thfrak p}^{\mathfrak g} } ({\math bb{ C}}_{ -\la mbda}))=1 $$if and  on l y if t he hig hestwe igh t of th e ${ \ma th frak {l}}^ { \ tau }$-mo du le $ W$ is o f the form $\lambd a |_{ {\mathfrak {j }}^ {\ta u } }+ \su m _i \su m_ { j=1 } ^ {k_i}
 a_j^{(
j}^{(i)}$ ($1_\le j_\le k_i-1$).

We define the_following subset_of_${\mathbb{N}}^k$ ($k=\sum_k_i$)_by $$\label{eqn:Aplus}
 _A^+:= \prod_i A_i,_\quad
  A_i :=
_ \{
(a_{j}^{(i)})_{1 \le_j_\le k_i}\in {\mathbb{N}}^{k_i}
:
 a_1^{(i)} \ge \cdots \ge a_{k_i}^{(i)}\ge 0
\}.$$

Introduce the following positivity condition: $$\label{eqn:lpos}
\langle\lambda-\rho_{\mathfrak{g}},\alpha\rangle>0
\quad\text{for_any_$\alpha \in_\Delta(\mathfrak{n}_+,\mathfrak{j})$}.$$

\[fact:A\]_Suppose_${\mathfrak {p}}$ is ${\mathfrak {g}}^{\tau}$-compatible,_and $\lambda$ satisfies and. Then_the generalized_Verma module ${\operatorname{ind}_{\mathfrak p}^{\mathfrak g}}(-\lambda)$ decomposes into a_multiplicity-free_direct sum of_irreducible $\mathfrak g^\tau$-modules: $$\label{eqn:branchV}
{\operatorname{ind}_{\mathfrak p}^{\mathfrak g}}(-\lambda)\vert_{\mathfrak g^\tau}
\simeq
 \bigoplus
_{(a_{j}^{(i)}) \in_A^+}
{\operatorname{ind}_{\mathfrak p^\tau}^{\mathfrak g^\tau}}(-\lambda\vert_{\mathfrak j^\tau}
-\sum_i\sum_{j=1}^{k_i} a_j^{(i)}\nu_j^{(i)}).$$ In_particular, for a_simple_${\mathfrak_{p}}^{\tau}$-module $W$ (namely, a_simple ${\mathfrak{l}}^{\tau}$-module with trivial action of_${\mathfrak {n}}^{\tau}$), $$\dim {\operatorname{Hom}}_{{\mathfrak {g}}^{\tau}}
 _ ({\operatorname{ind}_{\mathfrak p^\tau}^{\mathfrak g^\tau}}(W^{\vee}), {\operatorname{ind}_{\mathfrak p}^{\mathfrak g}}({\mathbb{C}}_{-\lambda}))=1$$_if and only if the highest_weight of the ${\mathfrak {l}}^{\tau}$-module_$W$ is_of the form $\lambda|_{{\mathfrak {j}}^{\tau}}+\sum_i_\sum_{j=1}^{k_i}
 a_j^{(