 $W$. Owing to Lemma \[lem:410\], we have the identity: $$\{ \psi \in \operatorname{Pol}(\mathfrak{n}_+) \otimes \operatorname{Hom}_{\mathbb{C}}(V,W):
 \text{$\psi$ satisfies \eqref{eqn:Fmethod1}} \}
= (\operatorname{Pol}(\mathfrak{n}_+) \otimes \operatorname{Hom}_{\mathbb{C}}(V,W))^{\mathfrak{l}'},$$ where $\mathfrak{l}'$ acts on $\operatorname{Pol}(\mathfrak{n}_+) \otimes \operatorname{Hom}_{\mathbb{C}}(V,W)$ by $L^+\otimes\operatorname{id} + \operatorname{id} \otimes (\lambda^\vee \otimes \operatorname{id} + \operatorname{id} \otimes \nu)$ on the right-hand side.

For an $\mathfrak{l}'$-module $U$, we notice that the following contraction $$U\otimes W \otimes \mathbb{C} w^\vee \to U,
\quad
u \otimes w \otimes w^\vee \mapsto \langle w,w^\vee \rangle u$$ is a $\mathfrak{b}(\mathfrak{l}')$-homomorphism. Therefore, if $U$ is completely reducible, the evaluation map $$U\otimes W \to U, 
\quad
\psi\mapsto \langle\psi,w^\vee\rangle,$$ induces a bijection between two subspaces: $$\label{eqn:111}
(U\otimes W)^{\mathfrak{l}'}
\stackrel{\sim}{{\longrightarrow}}
U_\chi.$$ Applying to $U:=\operatorname{Pol}(\mathfrak{n}_+) \otimes \operatorname{Hom}_{\mathbb{C}}(V,W)$, we get Lemma \[lem:412\].

Since any nonzero vector in $W^\vee$ is cyclic, the next lemma explains how to recover $
 D_{X\to Y}(\varphi)$ from $P$ given in Lemma \[lem:412\].

We assume, for simplicity, that the $\mathfrak{l}$-module $(\lambda,V)$ lifts to $L_{\mathbb C}$, the $\mathfrak{l}'$-module $(\nu,W)$ lifts to $L'_{\mathbb C}$, and use the same letters to denote their liftings.

\[lem:hwv\] For any $\varphi\in\operatorname{Hom}_{\mathfrak p'}(W^\vee
$ W$. Owing to Lemma \[lem:410\ ], we have the identity: $ $ \ { \psi \in \operatorname{Pol}(\mathfrak{n}_+) \otimes \operatorname{Hom}_{\mathbb{C}}(V, W ): 
  \text{$\psi$ satisfies \eqref{eqn: Fmethod1 } } \ } 
 = (\operatorname{Pol}(\mathfrak{n}_+) \otimes \operatorname{Hom}_{\mathbb{C}}(V, W))^{\mathfrak{l}'},$$ where $ \mathfrak{l}'$ acts on $ \operatorname{Pol}(\mathfrak{n}_+) \otimes \operatorname{Hom}_{\mathbb{C}}(V, W)$ by $ L^+\otimes\operatorname{id } + \operatorname{id } \otimes (\lambda^\vee \otimes \operatorname{id } + \operatorname{id } \otimes \nu)$ on the right - bridge player slope. 

 For an $ \mathfrak{l}'$-module $ U$, we notice that the following contraction $ $ U\otimes W \otimes \mathbb{C } w^\vee \to U, 
 \quad 
 uranium \otimes w \otimes w^\vee \mapsto \langle w, w^\vee \rangle u$$ is a $ \mathfrak{b}(\mathfrak{l}')$-homomorphism. consequently, if $ U$ is completely reducible, the evaluation map $ $ U\otimes W \to U, 
 \quad 
 \psi\mapsto \langle\psi, w^\vee\rangle,$$ induces a bijection between two subspace: $ $ \label{eqn:111 } 
 (U\otimes W)^{\mathfrak{l }' } 
 \stackrel{\sim}{{\longrightarrow } } 
 U_\chi.$$ apply to $ U:=\operatorname{Pol}(\mathfrak{n}_+) \otimes \operatorname{Hom}_{\mathbb{C}}(V, W)$, we catch Lemma \[lem:412\ ]. 

 Since any nonzero vector in $ W^\vee$ is cyclic, the next lemma explain how to recuperate $ 
  D_{X\to Y}(\varphi)$ from $ P$ given in Lemma \[lem:412\ ]. 

 We assume, for simplicity, that the $ \mathfrak{l}$-module $ (\lambda, V)$ lifts to $ L_{\mathbb C}$, the $ \mathfrak{l}'$-module $ (\nu, W)$ lifts to $ L'_{\mathbb C}$, and practice the same letters to denote their liftings. 

 \[lem: hwv\ ] For any $ \varphi\in\operatorname{Hom}_{\mathfrak p'}(W^\vee
 $W$. Lwing to Lemma \[lem:410\], we haye the identity: $$\{ \psi \in \operaforname{Pul}(\mathfrak{n}_+) \otimes \operatorneme{Him}_{\matybb{C}}(V,W):
 \text{$\psi$ satisfids \eqref{een:Fmethoe1}} \}
= (\okeratorname{Pol}(\matirrak{n}_+) \obnmes \kieratmcname{Hom}_{\mathbb{C}}(Y,W))^{\mathfrak{l}'},$$ where $\mathfran{l}'$ aets on $\operatorname{Pol}(\mathfrak{n}_+) \otimqs \operstlrname{Hom}_{\mathbf{C}}(V,W)$ fy $L^+\knines\operatorname{id} + \operatornaje{id} \otpmes (\lambda^\vee \otomes \operatorname{id} + \operahornwme{id} \otimes \nu)$ on the right-hqnd fude.

For an $\maghfrak{l}'$-modlne $U$, we nojice that the following contractkon $$U\ptimes W \ojnnes \kathbb{C} w^\vex \to U,
\zuad
u \otimes w \otimev w^\vee \kapsto \langle e,w^\vxe \rqngle u$$ is a $\mathfrak{u}(\mathfrak{l}')$-homomorphifm. Therefmrz, if $U$ is completely eeeucibne, tve exqluxtikn mzp $$U\otlmea W \to U, 
\qhad
\psi\mapsti \langle\psi,w^\vee\rangke,$$ pmduces a bijsction bqtween two subspaces: $$\label{eqn:111}
(U\otimes W)^{\mdthrrak{l}'}
\stackrel{\sim}{{\longrigytarrow}}
U_\chi.$$ Applying jo $U:=\operatjrname{Pol}(\mathfrak{n}_+) \otimes \operatorname{Hom}_{\mathbb{C}}(V,F)$, we jeg Ltmna \[leo:412\].

Wijce any nonzero vector in $W^\vee$ is cyclic, the gsxu lvmma explains how to recover $
 F_{X\yj Y}(\varphi)$ froo $P$ girsn in Lemma \[lem:412\].

We asdume, fot simpoicity, thwt tne $\mathfrak{l}$-module $(\lambda,V)$ oifts to $L_{\manhbb C}$, the $\mathfrak{l}'$-mobule $(\nu,W)$ lifcs to $K'_{\mathnb C}$, and use the same lztters to denote hheir liffkngs.

\[lem:hwv\] For avy $\narpvi\in\operatorname{Hom}_{\mathfrah p'}(W^\vee
$W$. Owing to Lemma \[lem:410\], we have $$\{ \in \operatorname{Pol}(\mathfrak{n}_+) \operatorname{Hom}_{\mathbb{C}}(V,W): \text{$\psi$ satisfies \operatorname{Hom}_{\mathbb{C}}(V,W))^{\mathfrak{l}'},$$ $\mathfrak{l}'$ acts on \otimes \operatorname{Hom}_{\mathbb{C}}(V,W)$ by + \operatorname{id} \otimes (\lambda^\vee \otimes \operatorname{id} \operatorname{id} \otimes \nu)$ on the right-hand side. For an $\mathfrak{l}'$-module $U$, we notice the following contraction $$U\otimes W \otimes \mathbb{C} w^\vee \to U, \quad u \otimes \otimes \mapsto w,w^\vee u$$ is a $\mathfrak{b}(\mathfrak{l}')$-homomorphism. Therefore, if $U$ is completely reducible, the evaluation map $$U\otimes W \to \quad \psi\mapsto \langle\psi,w^\vee\rangle,$$ induces a bijection between two $$\label{eqn:111} (U\otimes W)^{\mathfrak{l}'} \stackrel{\sim}{{\longrightarrow}} Applying to $U:=\operatorname{Pol}(\mathfrak{n}_+) \otimes \operatorname{Hom}_{\mathbb{C}}(V,W)$, get \[lem:412\]. Since nonzero in is cyclic, the lemma explains how to recover $ D_{X\to Y}(\varphi)$ from $P$ given in Lemma \[lem:412\]. We assume, for that the lifts to C}$, $\mathfrak{l}'$-module lifts to $L'_{\mathbb use the same letters to denote For any $\varphi\in\operatorname{Hom}_{\mathfrak p'}(W^\vee
 $W$. Owing to Lemma \[lem:410\], we have the Identity: $$\{ \psI \in \opEraTorNaMe{PoL}(\matHfrak{n}_+) \otimes \opERatoRname{Hom}_{\mathbb{C}}(V,W):
 \text{$\pSi$ satIsFIes \eQReF{eqn:FMethod1}} \}
= (\oPErATOrnAmE{POl}(\mAtHFrAk{n}_+) \otImeS \operatOrname{Hom}_{\mAthBb{c}}(V,W))^{\mathfrak{l}'},$$ WHeRe $\mathfrak{L}'$ acTs on $\operatorNamE{Pol}(\maThFraK{N}_+) \otimEs \oPeratOrname{hOm}_{\mathBb{C}}(V,W)$ by $L^+\oTiMEs\operATorname{ID} + \OpEratOrname{id} \otimes (\lamBDa^\VEe \otimes \operatOrname{Id} + \OPeRATorNamE{id} \otimes \nU)$ oN the rIGht-hand SIdE.

fOR an $\MAthfrak{l}'$-modulE $U$, we notice tHAt tHe follOwIng COntracTion $$U\OtIMes w \otimes \mathBb{C} w^\Vee \to U,
\quaD
u \otimES w \otimeS W^\vee \mapSto \lanGle W,w^\vEe \raNGlE u$$ Is a $\MaTHfrAK{b}(\MatHFraK{l}')$-homomoRpHiSm. TheRefoRE, IF $u$ is cOmpLeteLy redUcible, the evalUatIon mAP $$U\oTimes w \to U, 
\qUad
\pSi\MapstO \langlE\psi,w^\VeE\rangle,$$ induces a BijeCtion betwEen TwO suBsPaces: $$\LAbel{eqN:111}
(U\oTimEs W)^{\mathFrak{l}'}
\stACkrEl{\SIM}{{\LoNgrightarrow}}
U_\chi.$$ ApPlYINg To $U:=\operaTornamE{poL}(\mAThfrak{n}_+) \oTiMes \OperATOrnamE{Hom}_{\MAtHbb{C}}(V,W)$, we Get LemMA \[lEm:412\].

since anY nOnzero VeCtoR in $w^\vee$ iS CyclIc, the nExt lemma ExplaINs how to recover $
 d_{x\to Y}(\varphi)$ froM $p$ gIVEn IN LemMa \[lEm:412\].

We assume, fOr siMPlicIty, tHAt The $\MAthfrAk{l}$-moDuLE $(\lAMbda,V)$ lifts to $L_{\mathbb c}$, tHe $\mathFrak{l}'$-Module $(\nu,W)$ liftS to $L'_{\mathbb c}$, AND use the sAme lETtERs to denote theiR liftIngs.

\[lem:hwv\] fOr any $\varPhi\in\OperatorName{Hom}_{\maTHFrak p'}(W^\veE
 $W$. Owing to Lemma \[lem :410\], we  have  th e i de ntit y: $ $\{ \psi \in \ o pera torname{Pol}(\mathfrak {n}_+ )\ otim e s\oper atornam e {H o m }_{ \m at hbb {C } }( V,W): 
 \ text{$\ psi$ satis fie s\eqref{eqn:F m et hod1}} \}= ( \operatornam e{P ol}(\m at hfr a k{n}_ +)\otim es \op e ratorn ame{Hom}_ {\ m athbb{ C }}(V,W) ) ^ {\ math frak{l}'},$$ wher e  $ \ mathfrak{l}'$acts o n$ \o p e rat orn ame{Pol}(\ ma thfra k {n}_+)\ ot i m e s \ o peratorname{H om}_{\mathb b {C} }(V,W) $by$ L^+\ot imes\ op e rat orname{id}+ \o peratorna me{id} \otimes (\lambd a^\vee  \o tim es \ o pe ra tor na m e{i d }+ \ o per atorname {i d}  \oti mes\ n u ) $ on  th e ri ght-h and side.

Fo r a n $\ m ath frak{ l}'$- modu le  $U$,  we no ticeth at the followin g co ntraction  $$ U\ oti me s W \ o times\ma thb b{C} w^ \vee \t o  U, 
\ q u a du \otimes w \otime sw ^ \v ee \maps to \la n gl ew ,w^\vee\r ang le u $ $  is a  $\m a th frak{b}( \mathf r ak {l }')$-ho mo morphi sm . T her efore ,  if$U$ is  complet ely r e ducible, the e v aluation map$ $U \ o ti m es W  \t o U, 
\quad 
\ps i \map sto\ la ngl e \psi, w^\ve e\ r an g le,$$ induces a bij ec tion b etwee n two subspac es: $$\lab e l { eqn:111} 
(U\ o ti m es W)^{\mathfr ak{l} '}
\stackr e l{\sim}{ {\lon grightar row}}
U_\ c h i.$$ App lyi ngto$U: = \ op eratorname{Po l } (\ma th frak{n} _+)  \otime s \ ope rat orn am e{Hom}_{\ mathbb{C }} (V ,W )$ , w e get Lemma \[ le m:4 12 \]. 

Sin c e anynonze ro v ec to r  in  $W^\ve e $i s  cyc li c,  the  ne xt  lemm a ex p lai ns howto recove r $  D_{ X\ to  Y}(\va rphi)$ from $ P$  given inLe mma  \[lem : 4 12\].

W e assume, for simplicit y , thatthe  $\ma thfr ak{l}$-mo dul e $(\l amb d a,V)$liftsto $L _{ \ma t h bb C} $ ,  t he$\ mathfrak{l } ' $-m odule  $ (\nu ,W)$ li fts to $L'_{\mathb b  C} $, and use th e s amel e tt ers to den ot e  th e i r liftings.

\[ lem:hwv\]Fo r  a ny $\varph i \in \o perator name{Ho m}_{\ m athfrak  p'}(W^\v ee
 $W$._Owing to_Lemma \[lem:410\], we have_the identity:_$$\{_\psi \in_\operatorname{Pol}(\mathfrak{n}_+)_\otimes \operatorname{Hom}_{\mathbb{C}}(V,W):
 \text{$\psi$_satisfies \eqref{eqn:Fmethod1}} \}
=_(\operatorname{Pol}(\mathfrak{n}_+) \otimes \operatorname{Hom}_{\mathbb{C}}(V,W))^{\mathfrak{l}'},$$ where_$\mathfrak{l}'$ acts on_$\operatorname{Pol}(\mathfrak{n}_+)_\otimes \operatorname{Hom}_{\mathbb{C}}(V,W)$ by $L^+\otimes\operatorname{id} + \operatorname{id} \otimes (\lambda^\vee \otimes \operatorname{id} + \operatorname{id} \otimes \nu)$_on_the right-hand_side.

For_an_$\mathfrak{l}'$-module $U$, we notice that_the following contraction $$U\otimes W_\otimes \mathbb{C}_w^\vee \to U,
\quad
u \otimes w \otimes w^\vee \mapsto_\langle_w,w^\vee \rangle u$$_is a $\mathfrak{b}(\mathfrak{l}')$-homomorphism. Therefore, if $U$ is completely reducible,_the evaluation map $$U\otimes W \to_U, 
\quad
\psi\mapsto \langle\psi,w^\vee\rangle,$$_induces_a_bijection between two subspaces:_$$\label{eqn:111}
(U\otimes W)^{\mathfrak{l}'}
\stackrel{\sim}{{\longrightarrow}}
U_\chi.$$ Applying to $U:=\operatorname{Pol}(\mathfrak{n}_+) \otimes_\operatorname{Hom}_{\mathbb{C}}(V,W)$, we get Lemma \[lem:412\].

Since any_nonzero vector in $W^\vee$ is cyclic, the_next lemma explains how to recover_$
 D_{X\to Y}(\varphi)$ from $P$_given in_Lemma \[lem:412\].

We assume, for simplicity,_that the $\mathfrak{l}$-module_$(\lambda,V)$ lifts_to $L_{\mathbb C}$,_the $\mathfrak{l}'$-module $(\nu,W)$ lifts to $L'_{\mathbb_C}$, and use_the same letters to denote their_liftings.

\[lem:hwv\]_For any $\varphi\in\operatorname{Hom}_{\mathfrak_p'}(W^\vee