{F}}$.

The commutativity of the top square is given by [@BK4 Lemma 4.21]. The commutativity of the lower square can be easily verified by diagram chasing.

\[L:factontraces\] The following diagram of vector spaces is commutative. $$\xymatrix{
\operatorname{\mathsf{Hom}}({\mathcal{F}}, {\mathbbm{k}}_x) \otimes \operatorname{\mathsf{Ext}}({\mathbbm{k}}_x, {\mathcal{F}}) \ar[rrr]^-{\overline{\mathbb{S}}} \ar[ddd]_T & & & \operatorname{\mathsf{End}}\bigl(\operatorname{\mathsf{Hom}}({\mathcal{F}}, {\mathbbm{k}}_x)\bigr)
\ar[ddd] \\
 & K \ar[r]^-{\overline{\mathbb{S}}} \ar[d]_-{\overline{T}} \ar@{_{(}->}[lu]& \operatorname{\mathfrak{sl}}\bigl(\operatorname{\mathsf{Hom}}({\mathcal{F}}, {\mathbbm{k}}_x)\bigr) \ar@{^{(}->}[ru] \ar[d] & \\
 &\operatorname{\mathfrak{sl}}({\mathcal{F}}\big|_x) \ar[r]^-{Y_1} \ar@{^{(}->}[ld] & \operatorname{\mathfrak{sl}}\bigl(\operatorname{\mathsf{Lin}}({\mathcal{F}}\big|_x, {\mathbbm{k}})\bigr) \ar@{^{(}->}[rd]& \\
\operatorname{\mathsf{End}}({\mathcal{F}}\big|_x) \ar[rrr]^-{Y} &  & & \operatorname{\mathsf{End}}\bigl(\operatorname{\mathsf{Lin}}({\mathcal{F}}\big|_x, {\mathbbm{k}})\bigr)
}$$ In this diagram, $\overline{\mathbb{S}}$ is the isomorphism induced by the Serre duality (\[E:SerreMap\]), $Y$ and $Y_1$ are canonical isomorphisms from Lemma \[L:LA2\], $K$ is the subspace of $\operatorname{\mathsf{Hom}}({\mathcal{F}}, \otimes {\mathbbm{k}}_x) \otimes \operatorname{\mathsf{Ext}}({\mathbbm{k}}_x, {\mathcal{F}})$ defined in (\[E:linearspaceK\]), $T$ is the composition of $\mathbbm{1} \otimes (\delta_x^{\mathcal{F}})^{-1}$ from Proposition \[P:
{ F}}$. 

 The commutativity of the top square is given by [ @BK4 Lemma 4.21 ]. The commutativity of the lower square can be well verify by diagram chasing. 

 \[L: factontraces\ ] The following diagram of vector spaces is commutative. $ $ \xymatrix { 
 \operatorname{\mathsf{Hom}}({\mathcal{F } }, { \mathbbm{k}}_x) \otimes \operatorname{\mathsf{Ext}}({\mathbbm{k}}_x, { \mathcal{F } }) \ar[rrr]^-{\overline{\mathbb{S } } } \ar[ddd]_T & & & \operatorname{\mathsf{End}}\bigl(\operatorname{\mathsf{Hom}}({\mathcal{F } }, { \mathbbm{k}}_x)\bigr) 
 \ar[ddd ] \\ 
  & K \ar[r]^-{\overline{\mathbb{S } } } \ar[d]_-{\overline{T } } \ar@{_{(}->}[lu ] & \operatorname{\mathfrak{sl}}\bigl(\operatorname{\mathsf{Hom}}({\mathcal{F } }, { \mathbbm{k}}_x)\bigr) \ar@{^{(}->}[ru ] \ar[d ] & \\ 
  & \operatorname{\mathfrak{sl}}({\mathcal{F}}\big|_x) \ar[r]^-{Y_1 } \ar@{^{(}->}[ld ] & \operatorname{\mathfrak{sl}}\bigl(\operatorname{\mathsf{Lin}}({\mathcal{F}}\big|_x, { \mathbbm{k}})\bigr) \ar@{^{(}->}[rd ] & \\ 
 \operatorname{\mathsf{End}}({\mathcal{F}}\big|_x) \ar[rrr]^-{Y } &   & & \operatorname{\mathsf{End}}\bigl(\operatorname{\mathsf{Lin}}({\mathcal{F}}\big|_x, { \mathbbm{k}})\bigr) 
 } $ $ In this diagram, $ \overline{\mathbb{S}}$ is the isomorphism induce by the Serre dichotomy (\[E: SerreMap\ ]), $ Y$ and $ Y_1 $ are canonical isomorphisms from Lemma \[L: LA2\ ], $ K$ is the subspace of $ \operatorname{\mathsf{Hom}}({\mathcal{F } }, \otimes { \mathbbm{k}}_x) \otimes \operatorname{\mathsf{Ext}}({\mathbbm{k}}_x, { \mathcal{F}})$ defined in (\[E: linearspaceK\ ]), $ T$ is the typography of $ \mathbbm{1 } \otimes (\delta_x^{\mathcal{F}})^{-1}$ from Proposition \[P:
{F}}$.

Thf commutativity of the tup square is girwn by [@UK4 Lemmz 4.21]. The cummutativity of the lower sqnare can ve easily verified by aiagram cjasing.

\[L:fqctoitraces\] The following diagram kn veccoc spaces is comkutative. $$\xfmatrix{
\operatosnxmz{\mathsf{Hom}}({\mathcal{F}}, {\mathbbm{k}}_x) \otimes \jperatotnwme{\mathsf{Ext}}({\majhbbm{l}}_v, {\mafhcal{F}}) \ar[rrr]^-{\overline{\mathbb{S}}} \ar[ddd]_T & & & \opegatorname{\mathsf{Enc}}\bigl(\operatorname{\mathsf{Hom}}({\lathfal{F}}, {\mathbbm{k}}_x)\bigr)
\wr[ddd] \\
 & K \at[d]^-{\ovqeline{\mathbb{S}}} \ar[d]_-{\overline{T}} \ar@{_{(}->}[lu]& \opetatorname{\mathfrak{sl}}\bigl(\operatornxme{\machsf{Hom}}({\mathxao{F}}, {\ldthbbm{k}}_x)\bigc) \ar@{^{(}->}[ru] \ar[d] & \\
 &\operabprname{\kathfral{sl}}({\mathcal{F}}\big|_w) \ar[r]^-{B_1} \ar@{^{(}->}[od] & \operatorname{\mathfcak{sl}}\bigl(\operatornamg{\mathsf{Lin}}({\kachcal{F}}\big|_x, {\mathbbm{k}})\bitr) \ar@{^{(}->}[rd]& \\
\opesatofbamd{\mauhsh{Ens}}({\mathcwl{F}}\uig|_x) \ar[rrr]^-{Y} &  & & \operatirname{\mathsf{End}}\bigl(\ppqgstorname{\mathaf{Lin}}({\mwtrcal{F}}\big|_x, {\mathbbm{k}})\bigr)
}$$ In this diagram, $\mvedline{\mathbb{S}}$ is the isonorphism induced by tje Serre quality (\[E:SerreMap\]), $Y$ and $Y_1$ are canonical isomorphivms fcoo Ltmna \[L:LX2\], $K$ is the subspace of $\operatorname{\mathsf{Hom}}({\mathszl{G}}, \ptimes {\mathbbm{h}}_x) \otimes \olegayjrname{\mathsf{Ebt}}({\mathygm{i}}_x, {\mathcal{F}})$ definef in (\[E:lynearwpaceK\]), $T$ ys tne composition of $\mathbbm{1} \orimes (\delta_x^{\iqthcal{F}})^{-1}$ from Propodition \[P:
{F}}$. The commutativity of the top square by Lemma 4.21]. commutativity of the verified diagram chasing. \[L:factontraces\] following diagram of spaces is commutative. $$\xymatrix{ \operatorname{\mathsf{Hom}}({\mathcal{F}}, {\mathbbm{k}}_x) \operatorname{\mathsf{Ext}}({\mathbbm{k}}_x, {\mathcal{F}}) \ar[rrr]^-{\overline{\mathbb{S}}} \ar[ddd]_T & & & \operatorname{\mathsf{End}}\bigl(\operatorname{\mathsf{Hom}}({\mathcal{F}}, {\mathbbm{k}}_x)\bigr) \ar[ddd] \\ & K \ar[d]_-{\overline{T}} \ar@{_{(}->}[lu]& \operatorname{\mathfrak{sl}}\bigl(\operatorname{\mathsf{Hom}}({\mathcal{F}}, {\mathbbm{k}}_x)\bigr) \ar@{^{(}->}[ru] \ar[d] & \\ &\operatorname{\mathfrak{sl}}({\mathcal{F}}\big|_x) \ar[r]^-{Y_1} \ar@{^{(}->}[ld] & \operatorname{\mathfrak{sl}}\bigl(\operatorname{\mathsf{Lin}}({\mathcal{F}}\big|_x, \ar@{^{(}->}[rd]& \operatorname{\mathsf{End}}({\mathcal{F}}\big|_x) & & \operatorname{\mathsf{End}}\bigl(\operatorname{\mathsf{Lin}}({\mathcal{F}}\big|_x, {\mathbbm{k}})\bigr) }$$ In this diagram, $\overline{\mathbb{S}}$ is the isomorphism induced by the Serre duality $Y$ and $Y_1$ are canonical isomorphisms from Lemma $K$ is the subspace $\operatorname{\mathsf{Hom}}({\mathcal{F}}, \otimes {\mathbbm{k}}_x) \otimes \operatorname{\mathsf{Ext}}({\mathbbm{k}}_x, defined (\[E:linearspaceK\]), $T$ the of \otimes (\delta_x^{\mathcal{F}})^{-1}$ from \[P:
{F}}$.

The commutativity of the top Square is giVen by [@bK4 LEmmA 4.21]. THe coMmutAtivity of the loWEr sqUare can be easily verifieD by diAgRAm chASiNg.

\[L:faCtontraCEs\] tHE foLlOwIng DiAGrAm of vEctOr spaceS is commutaTivE. $$\xYmatrix{
\operaTOrName{\mathsf{hom}}({\Mathcal{F}}, {\mathBbm{K}}_x) \otimEs \OpeRAtornAme{\MathsF{Ext}}({\maTHbbm{k}}_x, {\Mathcal{F}}) \aR[rRR]^-{\overlINe{\mathbB{s}}} \Ar[Ddd]_T & & & \Operatorname{\mathsF{enD}}\Bigl(\operatornaMe{\mathSf{hOm}}({\MAThcAl{F}}, {\Mathbbm{k}}_x)\bIgR)
\ar[ddD] \\
 & k \ar[r]^-{\oveRLiNE{\MAthBB{S}}} \ar[d]_-{\overline{t}} \ar@{_{(}->}[lu]& \operatORnaMe{\mathFrAk{sL}}\Bigl(\opEratoRnAMe{\mAthsf{Hom}}({\matHcal{f}}, {\mathbbm{k}}_X)\bigr) \aR@{^{(}->}[Ru] \ar[d] & \\
 &\opERatornaMe{\mathFraK{sl}}({\MathCAl{f}}\bIg|_x) \Ar[R]^-{y_1} \ar@{^{(}->}[LD] & \oPerATorName{\mathFrAk{Sl}}\bigL(\opeRATORnamE{\maThsf{lin}}({\maThcal{F}}\big|_x, {\matHbbM{k}})\biGR) \ar@{^{(}->}[Rd]& \\
\opeRatorName{\MaThsf{ENd}}({\mathCal{F}}\bIg|_X) \ar[rrr]^-{Y} &  & & \operatorName{\Mathsf{End}}\BigL(\oPerAtOrnamE{\Mathsf{lin}}({\MatHcal{F}}\biG|_x, {\mathbBM{k}})\bIgR)
}$$ iN ThIs diagram, $\overline{\mAtHBB{S}}$ Is the isoMorphiSM iNdUCed by the seRre DualITY (\[E:SerReMaP\]), $y$ aNd $Y_1$ are caNonicaL IsOmOrphismS fRom LemMa \[l:LA2\], $k$ is The suBSpacE of $\opeRatornamE{\mathSF{Hom}}({\mathcal{F}}, \otIMes {\mathbbm{k}}_x) \oTImES \OpERatoRnaMe{\mathsf{Ext}}({\MathBBm{k}}_x, {\MathCAl{f}})$ deFIned iN (\[E:linEaRSpACeK\]), $T$ is the compositioN oF $\mathbBm{1} \otiMes (\delta_x^{\mathCal{F}})^{-1}$ from PrOPOSition \[P:
{F}}$.

The commutativityof the top  squa reisgi venby [ @BK4 Lemma 4.2 1 ]. T he commutativity of th e low er squa r ecan b e easil y  v e r ifi ed  b y d ia g ra m cha sin g.

\[L :factontra ces \]  The followi n gdiagram of  ve ctor spacesiscommut at ive .  $$\x yma trix{ 
\oper a tornam e{\mathsf {H o m}}({\ m athcal{ F } },  {\m athbbm{k}}_x) \ot i me s  \operatorname {\math sf { Ex t } }({ \ma thbbm{k}}_ x,  {\ma t hcal{F} } )\ a r [rr r ]^-{\overline {\mathbb{S} } } \ ar[ddd ]_ T & & & \o perat or n ame {\mathsf{En d}}\ bigl(\ope ratorn a me{\mat h sf{Hom} }({\ma thc al{ F}}, {\ ma thb bm { k}} _ x) \bi g r)\ar[ddd]  \ \ & K\ar[ r ] ^ - {\ov erl ine{ \math bb{S}}} \ar[d ]_- {\ov e rli ne{T} } \ar @{_{ (} ->}[l u]& \o perat or name{\mathfrak{ sl}} \bigl(\op era to rna me {\mat h sf{Hom }}( {\m athcal{ F}}, {\ m ath bb m { k }} _x)\bigr) \ar@{^{( }- > } [r u] \ar[d ] & \\  & \o p eratorna me {\m athf r a k{sl} }({\ m at hcal{F}} \big|_ x )\a r[r]^-{ Y_ 1} \ar @{ ^{( }-> }[ld] & \o perato rname{\m athfr a k{sl}}\bigl(\o p eratorname{\m a th s f {L i n}}( {\m athcal{F}}\ big| _ x, { \mat h bb m{k } })\bi gr) \ ar @ {^ { (}->}[rd]& \\
\oper at orname {\mat hsf{End}}({\m athcal{F}} \ b i g|_x) \a r[rr r ]^ - {Y} &  & & \op erato rname{\mat h sf{End}} \bigl (\operat orname{\m a t hsf{Lin} }({ \ma thc al{ F } }\ big|_x, {\mat h b bm{k }} )\bigr) 
}$ $ In th isdia gra m,$\ overline{ \mathbb{ S} }$  i sthe  isom o rphism i nd uce dbythe S e rre du ality  (\[ E: Se r reM ap\]),$ Y$ a nd $ Y_ 1$  are  ca no nical  iso m orp hisms f rom Lemma  \[ L :LA2 \] ,$K$ isthe subspaceof  $\operato rn ame {\math s f {Hom}}({ \mathcal{F}}, \otimes { \ mathbbm {k} }_x)\oti mes \oper ato rname{ \ma t hsf{Ex t}}({\ mathb bm {k} } _ x, {\ m a th cal {F }})$ defin e d  in  (\[E :l inea rspaceK \]), $T$ is the co m pos ition of $\ma thb bm{1 } \o tim e s( \de lt a _x^ { \ mathcal{F}})^{- 1}$ from P ro p os ition \[P: 
{F}}$.

The commutativity_of the_top square is given_by [@BK4_Lemma_4.21]. The_commutativity_of the lower_square can be_easily verified by diagram_chasing.

\[L:factontraces\] The following_diagram_of vector spaces is commutative. $$\xymatrix{
\operatorname{\mathsf{Hom}}({\mathcal{F}}, {\mathbbm{k}}_x) \otimes \operatorname{\mathsf{Ext}}({\mathbbm{k}}_x, {\mathcal{F}}) \ar[rrr]^-{\overline{\mathbb{S}}} \ar[ddd]_T & &_&_\operatorname{\mathsf{End}}\bigl(\operatorname{\mathsf{Hom}}({\mathcal{F}}, {\mathbbm{k}}_x)\bigr)
\ar[ddd]_\\
_&_K \ar[r]^-{\overline{\mathbb{S}}} \ar[d]_-{\overline{T}} \ar@{_{(}->}[lu]& \operatorname{\mathfrak{sl}}\bigl(\operatorname{\mathsf{Hom}}({\mathcal{F}},_{\mathbbm{k}}_x)\bigr) \ar@{^{(}->}[ru] \ar[d] & \\
_&\operatorname{\mathfrak{sl}}({\mathcal{F}}\big|_x) \ar[r]^-{Y_1}_\ar@{^{(}->}[ld] & \operatorname{\mathfrak{sl}}\bigl(\operatorname{\mathsf{Lin}}({\mathcal{F}}\big|_x, {\mathbbm{k}})\bigr) \ar@{^{(}->}[rd]& \\
\operatorname{\mathsf{End}}({\mathcal{F}}\big|_x) \ar[rrr]^-{Y} &__& & \operatorname{\mathsf{End}}\bigl(\operatorname{\mathsf{Lin}}({\mathcal{F}}\big|_x,_{\mathbbm{k}})\bigr)
}$$ In this diagram, $\overline{\mathbb{S}}$ is the isomorphism induced_by the Serre duality (\[E:SerreMap\]), $Y$_and $Y_1$ are_canonical_isomorphisms_from Lemma \[L:LA2\], $K$_is the subspace of $\operatorname{\mathsf{Hom}}({\mathcal{F}}, \otimes_{\mathbbm{k}}_x) \otimes \operatorname{\mathsf{Ext}}({\mathbbm{k}}_x, {\mathcal{F}})$ defined in_(\[E:linearspaceK\]), $T$ is the composition of $\mathbbm{1}_\otimes (\delta_x^{\mathcal{F}})^{-1}$ from Proposition \[P: