 top square is commutative by Lemma \[L:commdiag1\], the commutativity of the remaining parts is straightforward. Hence, the diagram (\[E:diagwithresandev\]) is commutative, too.

Next, observe that all maps in the diagram (\[E:diagwithresandev\]) but $\bar{\imath}^{!}$ and $\operatorname{\mathsf{ev}}_y$ are isomorphisms. By Lemma \[L:basicsonresandev\], the map $\operatorname{\mathsf{ev}}_y$ is an isomorphism if and only if $n \cdot \bigl([x]-[y]\bigr) \ne 0$ in $J(E)$. This proves the second part of this Proposition.

Note that from the exact sequence (\[E:resVectBundle\]) we get the induced map $$R:= H^0\bigl(\underline{\operatorname{\mathsf{res}}}_x^{{\mathcal End}({\mathcal{P}})}\bigr):  \quad \operatorname{\mathsf{Hom}}\bigl({\mathcal{P}}, {\mathcal{P}}(x)\bigr) {\longrightarrow}\operatorname{\mathsf{End}}\bigl({\mathcal{P}}\big|_x\bigr)$$ sending an element $g \in \operatorname{\mathsf{Hom}}\bigl({\mathcal{P}}, {\mathcal{P}}(x)\bigr)$ to $\bigl(\underline{\operatorname{\mathsf{res}}}_x^{\mathcal{P}}\circ g)_x
\in \operatorname{\mathsf{End}}\bigl({\mathcal{P}}\big|_x\bigr)$. Clearly, $R(\imath) = 0$, thus we obtain the induced map $$\label{E:mapRbar}
\overline{R}: \quad \frac{\displaystyle \operatorname{\mathsf{Hom}}\bigl({\mathcal{P}}, {\mathcal{P}}(x)\bigr)}{\displaystyle \langle \imath \rangle}
{\longrightarrow}\operatorname{\mathsf{End}}\bigl({\mathcal{P}}\big|_x\bigr).$$

In the above notation, the following statements are true.

1.  $\mathsf{Im}(\overline{R}) = \operatorname{\mathfrak{sl}}\bigl({\mathcal{P}}\big|_x\bigr)$.

2.  Moreover, the map $\overline{R}: \quad \frac{\displaystyle \operatorname{\mathsf{Hom}}\bigl({\mathcal{P}}, {\mathcal{P}}(x)\bigr)}{\displaystyle \langle \imath \rangle}
    {\longrightarrow}\operatorname{\
top square is commutative by Lemma \[L: commdiag1\ ], the commutativity of the remaining parts is straightforward. therefore, the diagram (\[E: diagwithresandev\ ]) is commutative, excessively. 

 Next, observe that all maps in the diagram (\[E: diagwithresandev\ ]) but $ \bar{\imath}^{!}$ and $ \operatorname{\mathsf{ev}}_y$ are isomorphism. By Lemma \[L: basicsonresandev\ ], the map $ \operatorname{\mathsf{ev}}_y$ is an isomorphism if and entirely if $ n \cdot \bigl([x]-[y]\bigr) \ne 0 $ in $ J(E)$. This proves the second contribution of this Proposition. 

 Note that from the exact succession (\[E: resVectBundle\ ]) we contract the induce map $ $ R:= H^0\bigl(\underline{\operatorname{\mathsf{res}}}_x^{{\mathcal End}({\mathcal{P}})}\bigr ):   \quad \operatorname{\mathsf{Hom}}\bigl({\mathcal{P } }, { \mathcal{P}}(x)\bigr) { \longrightarrow}\operatorname{\mathsf{End}}\bigl({\mathcal{P}}\big|_x\bigr)$$ sending an element $ gravitational constant \in \operatorname{\mathsf{Hom}}\bigl({\mathcal{P } }, { \mathcal{P}}(x)\bigr)$ to $ \bigl(\underline{\operatorname{\mathsf{res}}}_x^{\mathcal{P}}\circ g)_x 
 \in \operatorname{\mathsf{End}}\bigl({\mathcal{P}}\big|_x\bigr)$. Clearly, $ R(\imath) = 0 $, thus we obtain the induced map $ $ \label{E: mapRbar } 
 \overline{R }: \quad \frac{\displaystyle \operatorname{\mathsf{Hom}}\bigl({\mathcal{P } }, { \mathcal{P}}(x)\bigr)}{\displaystyle \langle \imath \rangle } 
 { \longrightarrow}\operatorname{\mathsf{End}}\bigl({\mathcal{P}}\big|_x\bigr).$$ 

 In the above note, the following statements are true. 

 1.   $ \mathsf{Im}(\overline{R }) = \operatorname{\mathfrak{sl}}\bigl({\mathcal{P}}\big|_x\bigr)$. 

 2.   furthermore, the map $ \overline{R }: \quad \frac{\displaystyle \operatorname{\mathsf{Hom}}\bigl({\mathcal{P } }, { \mathcal{P}}(x)\bigr)}{\displaystyle \langle \imath \rangle } 
     { \longrightarrow}\operatorname{\
 too square is commutative ny Lemma \[L:commdict1\], the rommutafivity ow the remaining parts is streighrforwqrd. Hence, the diagram (\[D:diagwithgesandev\]) us cinmutative, vko.

Next, observs thac ell maps in the diagram (\[E:giagwithresandav\]) bbt $\bar{\imath}^{!}$ and $\operatorname{\mathsf{ev}}_r$ are ixolorphisms. By Lgmma \[K:fasidsonresandev\], the map $\operatorname{\mzthsf{ev}}_j$ is an isomorphixm if and only if $n \cdot \blgl([x]-[j]\bigr) \ne 0$ in $J(E)$. Thls proves tye sqxond part of this Proposition.

Note jhat from the exact sequence (\[E:rerVectYundle\]) we ggc thf induced ma' $$R:= H^0\bpgl(\underline{\oivratorndme{\mathxf{res}}}_x^{{\mathcal Cnd}({\mavhcao{P}})}\bigr):  \quad \operatoriame{\mathsf{Hom}}\bigl({\matrcal{P}}, {\matvccl{P}}(x)\bigr) {\longrightarriw}\iperajornake{\magysf{Dnd}}\gijl({\mzthcal{O}}\bij|_x\bigr)$$ sendjng an elemwnt $g \in \operatornake{\iqthsf{Hom}}\bigl({\mzthcal{[}}, {\iathcal{P}}(x)\bigr)$ to $\bigl(\underline{\operatorndme{\jathsf{res}}}_x^{\mathcal{P}}\circ t)_x
\in \operatorname{\mathdf{End}}\bigl({\iathcal{P}}\big|_x\bigr)$. Clearly, $R(\imath) = 0$, thus we obtain dhe iidjceb map $$\uqbfl{E:mapRbar}
\overline{R}: \quad \frac{\displaystyle \opewztprkame{\mathsf{Hom}}\bigj({\mathcal{P}}, {\mstjcsj{P}}(x)\bigr)}{\displaistyle \lanfle \imath \rangle}
{\lojgrightwrrow}\iperatornwme{\msthsf{End}}\bigl({\mathcal{P}}\big|_x\bige).$$

In the abovv noration, the followiug statementr arg true.

1.  $\mathsf{Im}(\overline{R}) = \opzratorhame{\mathfran{sl}}\bigl({\maffcal{P}}\big|_x\bigr)$.

2.  Murepvar, the map $\overline{R}: \quad \srac{\displeystyke \operxtormame{\maehsf{Hom}}\bigp({\mathgdl{P}}, {\mathcal{P}}(x)\bigr)}{\dlsplaistyle \langle \imwth \rangle}
    {\longrightarrow}\opecetorname{\
top square is commutative by Lemma \[L:commdiag1\], of remaining parts straightforward. Hence, the Next, that all maps the diagram (\[E:diagwithresandev\]) $\bar{\imath}^{!}$ and $\operatorname{\mathsf{ev}}_y$ are isomorphisms. By \[L:basicsonresandev\], the map $\operatorname{\mathsf{ev}}_y$ is an isomorphism if and only if $n \cdot \ne 0$ in $J(E)$. This proves the second part of this Proposition. Note from exact (\[E:resVectBundle\]) get the induced map $$R:= H^0\bigl(\underline{\operatorname{\mathsf{res}}}_x^{{\mathcal End}({\mathcal{P}})}\bigr): \quad \operatorname{\mathsf{Hom}}\bigl({\mathcal{P}}, {\mathcal{P}}(x)\bigr) {\longrightarrow}\operatorname{\mathsf{End}}\bigl({\mathcal{P}}\big|_x\bigr)$$ sending an element $g \in {\mathcal{P}}(x)\bigr)$ to $\bigl(\underline{\operatorname{\mathsf{res}}}_x^{\mathcal{P}}\circ g)_x \in \operatorname{\mathsf{End}}\bigl({\mathcal{P}}\big|_x\bigr)$. Clearly, $R(\imath) 0$, thus we obtain induced map $$\label{E:mapRbar} \overline{R}: \quad \operatorname{\mathsf{Hom}}\bigl({\mathcal{P}}, \langle \imath {\longrightarrow}\operatorname{\mathsf{End}}\bigl({\mathcal{P}}\big|_x\bigr).$$ the notation, the following are true. 1. $\mathsf{Im}(\overline{R}) = \operatorname{\mathfrak{sl}}\bigl({\mathcal{P}}\big|_x\bigr)$. 2. Moreover, the map $\overline{R}: \quad \frac{\displaystyle \operatorname{\mathsf{Hom}}\bigl({\mathcal{P}}, {\mathcal{P}}(x)\bigr)}{\displaystyle \langle \imath {\longrightarrow}\operatorname{\
 top square is commutative by LEmma \[L:commdIag1\], thE coMmuTaTiviTy of The remaining paRTs is Straightforward. Hence, thE diagRaM (\[e:diaGWiThresAndev\]) is COmMUTatIvE, tOo.

NExT, ObServe ThaT all mapS in the diagRam (\[e:dIagwithresanDEv\]) But $\bar{\imatH}^{!}$ anD $\operatornamE{\maThsf{ev}}_Y$ aRe iSOmorpHisMs. By LEmma \[L:bASicsonResandev\], tHe MAp $\operATorname{\MAThSf{ev}}_Y$ is an isomorphism iF AnD Only if $n \cdot \bigL([x]-[y]\bigR) \nE 0$ In $j(e)$. thiS prOves the secOnD part OF this PrOPoSITIon.

nOte that from thE exact sequeNCe (\[E:ResVecTBUndLE\]) we get The inDuCEd mAp $$R:= H^0\bigl(\undErliNe{\operatoRname{\mAThsf{res}}}_X^{{\Mathcal end}({\matHcaL{P}})}\bIgr):  \qUAd \OpEraToRNamE{\MaThsF{hom}}\Bigl({\mathCaL{P}}, {\MathcAl{P}}(x)\BIGR) {\LongRigHtarRow}\opEratorname{\matHsf{end}}\bIGl({\mAthcaL{P}}\big|_X\bigR)$$ sEndinG an eleMent $g \In \Operatorname{\matHsf{HOm}}\bigl({\matHcaL{P}}, {\MatHcAl{P}}(x)\bIGr)$ to $\biGl(\uNdeRline{\opEratornAMe{\mAtHSF{ReS}}}_x^{\mathcal{P}}\circ g)_x
\in \OpERAtOrname{\maThsf{EnD}}\BiGl({\MAthcal{P}}\bIg|_X\biGr)$. ClEARly, $R(\iMath) = 0$, THuS we obtaiN the inDUcEd Map $$\labeL{E:MapRbaR}
\oVerLinE{R}: \quaD \Frac{\DisplaYstyle \opEratoRName{\mathsf{Hom}}\bIGl({\mathcal{P}}, {\matHCaL{p}}(X)\bIGr)}{\diSplAystyle \langLe \imATh \raNgle}
{\LOnGriGHtarrOw}\opeRaTOrNAme{\mathsf{End}}\bigl({\matHcAl{P}}\big|_X\bigr).$$

in the above notAtion, the foLLOWing statEmenTS aRE true.

1.  $\mathsf{Im}(\oVerliNe{R}) = \operatoRName{\mathFrak{sL}}\bigl({\matHcal{P}}\big|_x\BIGr)$.

2.  MoreovEr, tHe mAp $\oVerLINe{r}: \quad \frac{\dispLAYstyLe \OperatoRnaMe{\mathsF{HoM}}\biGl({\mAthCaL{P}}, {\mathcal{p}}(x)\bigr)}{\diSpLaYsTyLe \lAngle \IMath \rangLe}
    {\LonGrIghTarroW}\OperatOrnamE{\
 top square is commutative  by Lemma\[L:c omm dia g1 \],thecommutativityo f th e remaining parts is s traig ht f orwa r d.  Henc e, thed ia g r am(\ [E :di ag w it hresa nde v\]) is  commutati ve,  t oo.

Next, o b se rve that a llmaps in thedia gram ( \[ E:d i agwit hre sande v\]) b u t $\ba r{\imath} ^{ ! }$ and $\opera t o rn ame{ \mathsf{ev}}_y$ a r ei somorphisms. B y Lemm a\ [L : b asi cso nresandev\ ],  them ap $\op e ra t o r nam e {\mathsf{ev}} _y$ is an i s omo rphism  i f a n d only  if $ n\ cdo t \bigl([x] -[y] \bigr) \n e 0$ i n  $J(E)$ .  This p rovesthe  se cond pa rt  of  t h isP ro pos i tio n.

Note  t ha t fro m th e e x actseq uenc e (\[ E:resVectBund le\ ]) w e  ge t the  indu cedma p $$R := H^0 \bigl (\ underline{\oper ator name{\mat hsf {r es} }} _x^{{ \ mathca l E nd} ({\math cal{P}} ) }\b ig r ) :  \quad \operatornam e{ \ m at hsf{Hom} }\bigl ( {\ ma t hcal{P}} ,{\m athc a l {P}}( x)\b i gr ) {\long righta r ro w} \operat or name{\ ma ths f{E nd}}\ b igl( {\math cal{P}}\ big|_ x \bigr)$$ sendi n g an element$ g\ i n\ oper ato rname{\math sf{H o m}}\ bigl ( {\ mat h cal{P }}, { \m a th c al{P}}(x)\bigr)$ to  $ \bigl( \unde rline{\operat orname{\ma t h s f{res}}} _x^{ \ ma t hcal{P}}\circg)_x\in \opera t orname{\ maths f{End}}\ bigl({\ma t h cal{P}}\ big |_x \bi gr) $ .  C learly, $R(\i m a th)=0$, thu s w e obtai n t heind uce dmap $$\la bel{E:ma pR ba r} 
\ ove rline { R}: \qua d\fr ac {\d ispla y style\oper ator na me { \ma thsf{Ho m }} \ b igl( {\ ma thca l{P }} , {\m athc a l{P }}(x)\b igr)}{\di spl a ysty le  \ langle\imath \rangl e} 
{\longrig ht arr ow}\op e r atorname {\mathsf{End}}\bigl({\m a thcal{P }}\ big|_ x\bi gr).$$

I n t he abo ven otatio n, the  foll ow ing s tatem e n ts  ar etrue.

1.$ \ma thsf{ Im }(\o verline {R}) = \operatorna m e{\ mathfrak{sl}} \bi gl({ \ m at hca l {P } }\b ig | _x\ b i gr)$.

2.  More over, thema p  $ \overline{ R }:\q uad \fr ac{\dis plays t yle \op eratornam e{\mathsf {H om}} \ b igl ({\mathcal {P}}, {\ mathcal{P } }(x)\ b ig r)}{\ dis playst yl e \ langl e \ima t h \ rangl e}
   { \longr ighta rr ow}\oper atorname{\
 top_square is_commutative by Lemma \[L:commdiag1\],_the commutativity_of_the remaining_parts_is straightforward. Hence,_the diagram (\[E:diagwithresandev\])_is commutative, too.

Next, observe_that all maps_in_the diagram (\[E:diagwithresandev\]) but $\bar{\imath}^{!}$ and $\operatorname{\mathsf{ev}}_y$ are isomorphisms. By Lemma \[L:basicsonresandev\], the map_$\operatorname{\mathsf{ev}}_y$_is an_isomorphism_if_and only if $n \cdot_\bigl([x]-[y]\bigr) \ne 0$ in $J(E)$._This proves_the second part of this Proposition.

Note that from_the_exact sequence (\[E:resVectBundle\])_we get the induced map $$R:= H^0\bigl(\underline{\operatorname{\mathsf{res}}}_x^{{\mathcal End}({\mathcal{P}})}\bigr): _\quad \operatorname{\mathsf{Hom}}\bigl({\mathcal{P}}, {\mathcal{P}}(x)\bigr) {\longrightarrow}\operatorname{\mathsf{End}}\bigl({\mathcal{P}}\big|_x\bigr)$$ sending an_element $g \in_\operatorname{\mathsf{Hom}}\bigl({\mathcal{P}},_{\mathcal{P}}(x)\bigr)$_to $\bigl(\underline{\operatorname{\mathsf{res}}}_x^{\mathcal{P}}\circ g)_x
\in \operatorname{\mathsf{End}}\bigl({\mathcal{P}}\big|_x\bigr)$._Clearly, $R(\imath) = 0$, thus we_obtain the induced map $$\label{E:mapRbar}
\overline{R}: \quad_\frac{\displaystyle \operatorname{\mathsf{Hom}}\bigl({\mathcal{P}}, {\mathcal{P}}(x)\bigr)}{\displaystyle \langle \imath \rangle}
{\longrightarrow}\operatorname{\mathsf{End}}\bigl({\mathcal{P}}\big|_x\bigr).$$

In the_above notation, the following statements are_true.

1.  $\mathsf{Im}(\overline{R}) = \operatorname{\mathfrak{sl}}\bigl({\mathcal{P}}\big|_x\bigr)$.

2._ Moreover,_the map $\overline{R}: \quad \frac{\displaystyle_\operatorname{\mathsf{Hom}}\bigl({\mathcal{P}}, {\mathcal{P}}(x)\bigr)}{\displaystyle \langle_\imath \rangle}
_  _{\longrightarrow}\operatorname{\