:tracevstrace}
    t^w\bigl({\mathsf{Tr}}_{\mathcal{F}}(\delta_x(a) \circ b)\bigr) = {\mathsf{tr}}(a \circ b_x),$$ where ${\mathsf{Tr}}_{\mathcal{F}}: \operatorname{\mathsf{Ext}}({\mathcal{F}}, {\mathcal{F}}) {\longrightarrow}H^1({\mathcal{O}})$ is the trace map and $t^w$ is the composition $H^0({\mathcal{O}}) \stackrel{w}{\longrightarrow}H^0(\Omega) \stackrel{t}{\longrightarrow}{\mathbbm{k}}$ of the isomorphism induced by $w$ and the canonical map $t$ described in [@BK4 Subsection 4.3].

*Comment on the proof*. The first part of the statement is just [@BK4 Lemma 4.18]. The content of the second part is explained by the following commutative diagram: $$\xymatrix{
0 \ar[r] & {\mathcal{F}}\ar[r] \ar[d] & {\mathcal{Q}}\ar[r] \ar[d] & {\mathcal{F}}\ar[r] \ar[d]^b & 0 \\
0 \ar[r] & {\mathcal{F}}\ar[r] \ar[d] & {\mathcal{R}}\ar[r] \ar[d] & {\mathbbm{k}}_x \ar[r] \ar[d]^a & 0 \\
0 \ar[r] & {\mathcal{F}}\ar[r]^-\imath  & {\mathcal{F}}(x) \ar[r]^-{\underline{\operatorname{\mathsf{res}}}_x^{\mathcal{F}}}  & {\mathcal{F}}\otimes {\mathbbm{k}}_x \ar[r]  & 0.
}$$ The lowest horizontal sequence of this diagram is (\[E:resVectBundle\]). The middle sequence corresponds to the element $\delta_x(a) \in \operatorname{\mathsf{Ext}}({\mathbbm{k}}_x, {\mathcal{F}})$ and the top one corresponds to $\delta_x(a) \circ b \in \operatorname{\mathsf{Ext}}({\mathcal{F}}, {\mathcal{F}})$. The endomorphism $a \circ b_x \in \operatorname{\mathsf{End}}({\mathcal{F}}\big|_x)$ is the induced map in the fiber of ${\mathcal{F}}$ over $
: tracevstrace } 
     t^w\bigl({\mathsf{Tr}}_{\mathcal{F}}(\delta_x(a) \circ b)\bigr) = { \mathsf{tr}}(a \circ b_x),$$ where $ { \mathsf{Tr}}_{\mathcal{F } }: \operatorname{\mathsf{Ext}}({\mathcal{F } }, { \mathcal{F } }) { \longrightarrow}H^1({\mathcal{O}})$ is the trace map and $ t^w$ is the composition $ H^0({\mathcal{O } }) \stackrel{w}{\longrightarrow}H^0(\Omega) \stackrel{t}{\longrightarrow}{\mathbbm{k}}$ of the isomorphism induced by $ w$ and the basic function $ t$ described in [ @BK4 Subsection 4.3 ]. 

 * Comment on the validation *. The first share of the statement is merely [ @BK4 Lemma 4.18 ]. The content of the second part is explain by the following commutative diagram: $ $ \xymatrix { 
 0 \ar[r ] & { \mathcal{F}}\ar[r ] \ar[d ] & { \mathcal{Q}}\ar[r ] \ar[d ] & { \mathcal{F}}\ar[r ] \ar[d]^b & 0 \\ 
 0 \ar[r ] & { \mathcal{F}}\ar[r ] \ar[d ] & { \mathcal{R}}\ar[r ] \ar[d ] & { \mathbbm{k}}_x \ar[r ] \ar[d]^a & 0 \\ 
 0 \ar[r ] & { \mathcal{F}}\ar[r]^-\imath   & { \mathcal{F}}(x) \ar[r]^-{\underline{\operatorname{\mathsf{res}}}_x^{\mathcal{F } } }   & { \mathcal{F}}\otimes { \mathbbm{k}}_x \ar[r ]   & 0. 
 } $ $ The lowest horizontal succession of this diagram is (\[E: resVectBundle\ ]). The middle sequence corresponds to the element $ \delta_x(a) \in \operatorname{\mathsf{Ext}}({\mathbbm{k}}_x, { \mathcal{F}})$ and the top one corresponds to $ \delta_x(a) \circ b \in \operatorname{\mathsf{Ext}}({\mathcal{F } }, { \mathcal{F}})$. The endomorphism $ a \circ b_x \in \operatorname{\mathsf{End}}({\mathcal{F}}\big|_x)$ is the induce map in the roughage of $ { \mathcal{F}}$ over $
:trafevstrace}
    t^w\bigl({\mathsn{Tr}}_{\mathcal{F}}(\delta_r(q) \circ b)\bigr) = {\mathsf{gr}}(a \circ b_x),$$ where ${\mathsf{Tr}}_{\mavhcao{F}}: \optgatorname{\mathsf{Ext}}({\matfcal{F}}, {\matjcal{F}}) {\lobgrijhtarrow}H^1({\mathcal{O}})$ is the trace lap cnv $t^w$ is the comkosition $H^0({\madhcal{O}}) \stackren{w}{\uougrightarrow}H^0(\Omega) \stackrel{t}{\longrighearrow}{\mstjbbm{k}}$ of the ifomogprism pnbuced by $w$ and the canonical mal $t$ desbribed in [@BK4 Subsrction 4.3].

*Comment on the proov*. Thf first part of thf statement is tyst [@BK4 Lemma 4.18]. The conttnc of the sedond part is explained by the fullownng commutajnce fhagram: $$\xymavrix{
0 \ag[r] & {\mathcal{F}}\av[g] \ar[d] & {\kathcal{A}}\ar[r] \ar[d] & {\mathgal{F}}\ac[r] \ae[d]^b & 0 \\
0 \ar[r] & {\mathcal{F}}\ac[r] \ar[d] & {\mathcal{R}}\ar[r] \wr[d] & {\mathtbj{k}}_x \ar[r] \ar[d]^a & 0 \\
0 \ae[r] & {\matvcal{X}}\ar[r]^-\knatf  & {\methdal{F}}(x) \wr[r]^-{\nnderline{\opsratorname{\mqthsf{res}}}_x^{\mathcal{F}}}  & {\mwnncal{F}}\otimes {\jathbbi{k}}_v \ar[r]  & 0.
}$$ The lowest horizontal sequence of this diagram is (\[E:resVextBundle\]). The middle sgquence cowresponds to the element $\delta_x(a) \in \operatorname{\mdthsf{Xxg}}({\mauhnnm{k}}_x, {\nahhcal{F}})$ and the top one corresponds to $\delta_x(a) \ditc b \in \operatorkame{\mathsf{Ext}}({\mathcsl{V}}, {\kwthcal{F}})$. The evdomor'giam $a \circ b_x \in \opfratornwme{\marhsf{End}}({\mauhcal{G}}\big|_x)$ is the induced map in the fiber oy ${\mqthcal{F}}$ over $
:tracevstrace} t^w\bigl({\mathsf{Tr}}_{\mathcal{F}}(\delta_x(a) \circ b)\bigr) = {\mathsf{tr}}(a \circ ${\mathsf{Tr}}_{\mathcal{F}}: {\mathcal{F}}) {\longrightarrow}H^1({\mathcal{O}})$ the trace map $H^0({\mathcal{O}}) \stackrel{t}{\longrightarrow}{\mathbbm{k}}$ of the induced by $w$ the canonical map $t$ described in Subsection 4.3]. *Comment on the proof*. The first part of the statement is [@BK4 Lemma 4.18]. The content of the second part is explained by the commutative $$\xymatrix{ \ar[r] {\mathcal{F}}\ar[r] \ar[d] & {\mathcal{Q}}\ar[r] \ar[d] & {\mathcal{F}}\ar[r] \ar[d]^b & 0 \\ 0 \ar[r] & {\mathcal{F}}\ar[r] \ar[d] {\mathcal{R}}\ar[r] \ar[d] & {\mathbbm{k}}_x \ar[r] \ar[d]^a & 0 0 \ar[r] & {\mathcal{F}}\ar[r]^-\imath {\mathcal{F}}(x) \ar[r]^-{\underline{\operatorname{\mathsf{res}}}_x^{\mathcal{F}}} & {\mathcal{F}}\otimes {\mathbbm{k}}_x & }$$ The horizontal of diagram is (\[E:resVectBundle\]). middle sequence corresponds to the element $\delta_x(a) \in \operatorname{\mathsf{Ext}}({\mathbbm{k}}_x, {\mathcal{F}})$ and the top one corresponds to $\delta_x(a) b \in The endomorphism \circ \in is the induced the fiber of ${\mathcal{F}}$ over $
:tracevstrace}
    t^w\bigl({\mathsf{TR}}_{\mathcal{F}}(\dElta_x(A) \ciRc b)\BiGr) = {\maThsf{Tr}}(a \circ b_x),$$ where ${\MAthsF{Tr}}_{\mathcal{F}}: \operatornamE{\mathSf{eXt}}({\maTHcAl{F}}, {\maThcal{F}}) {\lONgRIGhtArRoW}H^1({\mAtHCaL{O}})$ is tHe tRace map And $t^w$ is the ComPoSition $H^0({\mathcAL{O}}) \Stackrel{w}{\lOngRightarrow}H^0(\OMegA) \stackReL{t}{\lONgrigHtaRrow}{\mAthbbm{K}}$ Of the iSomorphisM iNDuced bY $W$ and the CANoNicaL map $t$ described in [@Bk4 suBSection 4.3].

*Comment On the pRoOF*. THE FirSt pArt of the stAtEment IS just [@BK4 lEmMA 4.18]. tHe cONtent of the secOnd part is exPLaiNed by tHe FolLOwing cOmmutAtIVe dIagram: $$\xymatRix{
0 \aR[r] & {\mathcal{f}}\ar[r] \ar[D] & {\Mathcal{q}}\Ar[r] \ar[d] & {\mAthcal{f}}\ar[R] \ar[D]^b & 0 \\
0 \ar[R] & {\MaThCal{f}}\aR[R] \ar[D] & {\MaThcAL{R}}\aR[r] \ar[d] & {\matHbBm{K}}_x \ar[r] \Ar[d]^a & 0 \\
0 \AR[R] & {\MAthcAl{F}}\Ar[r]^-\iMath  & {\mAthcal{F}}(x) \ar[r]^-{\unDerLine{\OPerAtornAme{\maThsf{ReS}}}_x^{\matHcal{F}}}  & {\mAthcaL{F}}\Otimes {\mathbbm{k}}_x \Ar[r]  & 0.
}$$ THe lowest hOriZoNtaL sEquenCE of thiS diAgrAm is (\[E:reSVectBuNDle\]). thE MIDdLe sequence correspoNdS TO tHe elemenT $\delta_X(A) \iN \oPEratornaMe{\MatHsf{EXT}}({\MathbBm{k}}_x, {\MAtHcal{F}})$ and The top ONe CoRresponDs To $\deltA_x(A) \ciRc b \In \opeRAtorName{\maThsf{Ext}}({\mAthcaL{f}}, {\mathcal{F}})$. The enDOmorphism $a \cirC B_x \IN \OpERatoRnaMe{\mathsf{End}}({\MathCAl{F}}\bIg|_x)$ iS ThE inDUced mAp in tHe FIbER of ${\mathcal{F}}$ over $
:tracevstrace}
    t^w\big l({\mathsf {Tr}} _{\ mat hc al{F }}(\ delta_x(a) \ci r c b) \bigr) = {\mathsf{tr}} (a \c ir c  b_x ) ,$ $ whe re ${\m a th s f {Tr }} _{ \ma th c al {F}}:  \o perator name{\math sf{ Ex t}}({\mathca l {F }}, {\math cal {F}}) {\long rig htarro w} H^1 ( {\mat hca l{O}} )$ ist he tra ce map an d$ t^w$ i s  the co m p os itio n $H^0({\mathcal{ O }} )  \stackrel{w}{ \longr ig h ta r r ow} H^0 (\Omega) \ st ackre l {t}{\lo n gr i g h tar r ow}{\mathbbm{ k}}$ of the iso morphi sm  in d uced b y $w$  a n d t he canonica l ma p $t$ des cribed in [@BK 4  Subsec tion 4 .3] .
*Com m en tonth e  pr o of *.T hefirst pa rt  o f the  sta t e m e nt i s j ust[@BK4  Lemma 4.18].  Th e co n ten t ofthe s econ dpartis exp laine dby the followin g co mmutative  di ag ram :$$\xy m atrix{ 
0\ar [r] & { \mathca l {F} }\ a r [ r]  \ar[d] & {\mathca l{ Q } }\ ar[r] \a r[d] & {\ ma t hcal{F}} \a r[r ] \a r [ d]^b& 0\ \0 \ar[r]  & {\m a th ca l{F}}\a r[ r] \ar [d ] &  {\ mathc a l{R} }\ar[r ] \ar[d]  & {\ m athbbm{k}}_x \ a r[r] \ar[d]^a &0 \\ 0 \a r[r ] & {\mathc al{F } }\ar [r]^ - \i mat h   & { \math ca l {F } }(x) \ar[r]^-{\unde rl ine{\o perat orname{\maths f{res}}}_x ^ { \ mathcal{ F}}}  & {\mathcal{F}}\ otime s {\mathbb m {k}}_x \ ar[r]   & 0.
} $$ The lo w e st horiz ont alseq uen c e  o f this diagra m is ( \[ E:resVe ctB undle\] ).The  mi ddl esequencecorrespo nd sto  t heeleme n t $\delt a_ x(a )\in  \ope r atorna me{\m aths f{ Ex t }}( {\mathb b m{ k } }_x,  { \m athc al{ F} })$ a nd t h e t op onecorrespon dst o $\ de lt a_x(a)\circ b \in \ op eratorname {\ mat hsf{Ex t } }({\math cal{F}}, {\mathcal{F}}) $ . The e ndo morph ism$a \circb_x  \in \ ope r atorna me{\ma thsf{ En d}} ( { \math c a l{ F}} \b ig|_x)$ is t heinduc ed  map  in the  fiber of ${\mathc a l{F }}$ over $
:tracevstrace}
 _ _t^w\bigl({\mathsf{Tr}}_{\mathcal{F}}(\delta_x(a) \circ b)\bigr) =_{\mathsf{tr}}(a \circ_b_x),$$_where ${\mathsf{Tr}}_{\mathcal{F}}:_\operatorname{\mathsf{Ext}}({\mathcal{F}},_{\mathcal{F}}) {\longrightarrow}H^1({\mathcal{O}})$ is_the trace map_and $t^w$ is the_composition $H^0({\mathcal{O}}) \stackrel{w}{\longrightarrow}H^0(\Omega)_\stackrel{t}{\longrightarrow}{\mathbbm{k}}$_of the isomorphism induced by $w$ and the canonical map $t$ described in [@BK4_Subsection_4.3].

*Comment on_the_proof*._The first part of the_statement is just [@BK4 Lemma_4.18]. The_content of the second part is explained by_the_following commutative diagram:_$$\xymatrix{
0 \ar[r] & {\mathcal{F}}\ar[r] \ar[d] & {\mathcal{Q}}\ar[r] \ar[d] &_{\mathcal{F}}\ar[r] \ar[d]^b & 0 \\
0 \ar[r]_& {\mathcal{F}}\ar[r] \ar[d]_&_{\mathcal{R}}\ar[r]_\ar[d] & {\mathbbm{k}}_x \ar[r]_\ar[d]^a & 0 \\
0 \ar[r] &_{\mathcal{F}}\ar[r]^-\imath  & {\mathcal{F}}(x) \ar[r]^-{\underline{\operatorname{\mathsf{res}}}_x^{\mathcal{F}}} _& {\mathcal{F}}\otimes {\mathbbm{k}}_x \ar[r]  & 0.
}$$_The lowest horizontal sequence of this_diagram is (\[E:resVectBundle\]). The middle_sequence corresponds_to the element $\delta_x(a) \in_\operatorname{\mathsf{Ext}}({\mathbbm{k}}_x, {\mathcal{F}})$ and_the top_one corresponds to_$\delta_x(a) \circ b \in \operatorname{\mathsf{Ext}}({\mathcal{F}}, {\mathcal{F}})$._The endomorphism $a_\circ b_x \in \operatorname{\mathsf{End}}({\mathcal{F}}\big|_x)$ is the_induced_map in the_fiber_of_${\mathcal{F}}$ over_$