t]/(t^K)}(0,\lambda) \twoheadrightarrow F_{\lambda_1, \lambda_2}.$$

In fact $ F_{\lambda_1, \lambda_2}$ is the quotient obtained by factorizing the $U( {\mathfrak{sl}}_n \otimes \bc[t])$-submodule generated by $$\{ (f_\alpha \otimes t)^{\min\{ \lambda_1(h_\alpha), \lambda_2(h_\alpha) \} +1 }.\mathbbm{1} \, | \, \alpha \in R^+ \} \cup \{ f_\alpha \otimes t^{\ell} \, | \, \ell \geq 2, \alpha \in R^+ \}.$$

In this subsection we are restricting ourselves to the case of the second truncated current algebra, and we denote $A = \bc[t]/(t^2)$. We will prove

\[weyl-f\] Let $\lambda \in P^+$ and $\blambda^{\max} =  (\lambda_1^{\max}, \lambda_2^{\max})$ be the unique maximal element in $P(\lambda, 2)$. Then we have an isomorphism of ${\mathfrak{sl}}_n \otimes A$-modules (and by extending an isomorphism of ${\mathfrak{sl}}_n \otimes \bc[t]$-modules): $$W_A(0,\lambda) \cong F_{ \lambda_1^{\max}, \lambda_2^{\max}}.$$

We consider the ${\mathfrak{sl}}_2$-case first. Then $\lambda = m \omega$ and because $e, e \otimes t, h \otimes t$ are acting trivial on $\mathbbm{1}$, $$W_A(0,\lambda) = \operatorname{span} \{ f^K (f \otimes t)^L.w \,|,\ K, L \geq 0 \}$$ So if we restrict to elements in degree $L$ (recall, that $W_A(0,\lambda)$ is graded by the degree of $t$), then this is spanned by $$\{  f^K (f \otimes t)^L.w \, | \, K \geq 0 \}$$ The weights in degree $L$ are therefore of the form $m - 2L - 2K$ with $K \geq 0$. Every graded component is a finite-dimensional ${\mathfrak{sl}}_2$-module, since ${\mathfrak{sl}}_2$ acts by degree $0
t]/(t^K)}(0,\lambda) \twoheadrightarrow F_{\lambda_1, \lambda_2}.$$ 

 In fact $ F_{\lambda_1, \lambda_2}$ is the quotient obtained by factorizing the $ U ({ \mathfrak{sl}}_n \otimes \bc[t])$-submodule generated by $ $ \ { (f_\alpha \otimes t)^{\min\ { \lambda_1(h_\alpha), \lambda_2(h_\alpha) \ } +1 } .\mathbbm{1 } \, | \, \alpha \in R^+ \ } \cup \ { f_\alpha \otimes t^{\ell } \, | \, \ell \geq 2, \alpha \in R^+ \}.$$ 

 In this subsection we are restricting ourselves to the subject of the second abbreviated current algebra, and we denote $ A = \bc[t]/(t^2)$. We will prove 

 \[weyl - f\ ] get $ \lambda \in P^+$ and $ \blambda^{\max } =   (\lambda_1^{\max }, \lambda_2^{\max})$ be the unique maximal element in $ P(\lambda, 2)$. Then we hold an isomorphism of $ { \mathfrak{sl}}_n \otimes A$ -modules (and by extending an isomorphism of $ { \mathfrak{sl}}_n \otimes \bc[t]$-modules ): $ $ W_A(0,\lambda) \cong F _ { \lambda_1^{\max }, \lambda_2^{\max}}.$$ 

 We consider the $ { \mathfrak{sl}}_2$-case foremost. Then $ \lambda = m \omega$ and because $ e, e \otimes t, h \otimes t$ are act superficial on $ \mathbbm{1}$, $ $ W_A(0,\lambda) = \operatorname{span } \ { f^K (f \otimes t)^L.w \,|,\ K, L \geq 0 \}$$ So if we restrict to elements in academic degree $ L$ (recall, that $ W_A(0,\lambda)$ is graded by the degree of $ t$), then this is cross by $ $ \ {   f^K (f \otimes t)^L.w \, | \, K \geq 0 \}$$ The weights in academic degree $ L$ are consequently of the form $ m - 2L - 2K$ with $ K \geq 0$. Every graded component is a finite - dimensional $ { \mathfrak{sl}}_2$-module, since $ { \mathfrak{sl}}_2 $ acts by degree $ 0
t]/(t^K)}(0,\pambda) \twoheadrightarrow F_{\lambda_1, \lambda_2}.$$

Nb fact $ F_{\lamgda_1, \lambaa_2}$ is the quotient obtained uy fqctoruzing the $U( {\mathfrak{sl}}_v \otimes \hc[t])$-submoeule tenerated ug $$\{ (f_\alpmc \otijcs t)^{\mnn\{ \lambda_1(h_\alpha), \kambda_2(h_\alpva) \} +1 }.\mathbbm{1} \, | \, \xl'ha \in R^+ \} \cup \{ f_\alpha \otimes t^{\ell} \, | \, \ell \gea 2, \alpha \in R^+ \}.$$

In thix subavcuion we are restricting ourselves to the case of the xecond truncated current apgebga, and we denote $A = \bc[t]/(t^2)$. We wull [eove

\[weyl-f\] Leg $\lambda \in P^+$ and $\blamgda^{\max} =  (\lambda_1^{\max}, \lambda_2^{\max})$ be the bnique maxinao epgment in $P(\lanbda, 2)$. Then we havc an ismmorphixm of ${\mathfrak{xl}}_n \otumes A$-modules (and by xxtending an isomorprism of ${\mdtkfrak{sl}}_n \otimes \bc[t]$-moeuoes): $$W_D(0,\lamtda) \zing F_{ \makbsa_1^{\max}, \pamuda_2^{\max}}.$$

We cohsider the ${\nathfrak{sl}}_2$-case firsu. Trvm $\lambda = m \kmega$ wnq because $e, e \otimes t, h \otimes t$ are abtinf trivial on $\mathbbm{1}$, $$W_A(0,\oambda) = \operatorname{skan} \{ f^K (f \jtimes t)^L.w \,|,\ K, L \geq 0 \}$$ So if we restrict to elemends in aegxcc $L$ (fwcwll, that $W_A(0,\lambda)$ is graded by the degree of $e$), tnek this is spanneb by $$\{  f^K (f \otimrs t)^K.r \, | \, K \geq 0 \}$$ Jhe weiygta in degree $L$ are hherefote of rhe form $i - 2L - 2K$ with $K \geq 0$. Every gradee component ps a finite-dimensional ${\mathfrak{sl}}_2$-ooduke, simce ${\mathfrak{sl}}_2$ acts by begree $0
t]/(t^K)}(0,\lambda) \twoheadrightarrow F_{\lambda_1, \lambda_2}.$$ In fact $ is quotient obtained factorizing the $U( $$\{ \otimes t)^{\min\{ \lambda_1(h_\alpha), \} +1 }.\mathbbm{1} | \, \alpha \in R^+ \} \{ f_\alpha \otimes t^{\ell} \, | \, \ell \geq 2, \alpha \in R^+ In this subsection we are restricting ourselves to the case of the second current and denote = \bc[t]/(t^2)$. We will prove \[weyl-f\] Let $\lambda \in P^+$ and $\blambda^{\max} = (\lambda_1^{\max}, \lambda_2^{\max})$ be unique maximal element in $P(\lambda, 2)$. Then we an isomorphism of ${\mathfrak{sl}}_n A$-modules (and by extending an of \otimes \bc[t]$-modules): \cong \lambda_1^{\max}, We consider the first. Then $\lambda = m \omega$ and because $e, e \otimes t, h \otimes t$ are acting on $\mathbbm{1}$, \operatorname{span} \{ (f t)^L.w K, L \geq So if we restrict to elements (recall, that $W_A(0,\lambda)$ is graded by the degree $t$), then is spanned by $$\{ f^K (f t)^L.w \, | \, K \geq 0 \}$$ weights in degree $L$ are therefore of the form $m - 2L - 2K$ with 0$. Every graded component a finite-dimensional ${\mathfrak{sl}}_2$-module, ${\mathfrak{sl}}_2$ by $0
t]/(t^K)}(0,\lambda) \twoheadrightarroW F_{\lambda_1, \laMbda_2}.$$

IN faCt $ F_{\LaMbda_1, \LambDa_2}$ is the quotienT ObtaIned by factorizing the $U( {\mAthfrAk{SL}}_n \otIMeS \bc[t])$-sUbmodulE GeNERatEd By $$\{ (F_\alPhA \OtImes t)^{\Min\{ \Lambda_1(h_\Alpha), \lambdA_2(h_\aLpHa) \} +1 }.\mathbbm{1} \, | \, \alpHA \iN R^+ \} \cup \{ f_\alphA \otImes t^{\ell} \, | \, \ell \gEq 2, \aLpha \in r^+ \}.$$

IN thIS subsEctIon we Are resTRictinG ourselveS tO The casE Of the seCONd TrunCated current algebRA, aND we denote $A = \bc[t]/(t^2)$. we will PrOVe

\[WEYl-f\] let $\Lambda \in P^+$ aNd $\BlambDA^{\max} =  (\lamBDa_1^{\MAX}, \LamBDa_2^{\max})$ be the uniQue maximal eLEmeNt in $P(\lAmBda, 2)$. tHen we hAve an IsOMorPhism of ${\mathFrak{Sl}}_n \otimes a$-modulES (and by eXTending An isomOrpHisM of ${\mAThFrAk{sL}}_n \OTimES \bC[t]$-mODulEs): $$W_A(0,\lambDa) \CoNg F_{ \laMbda_1^{\MAX}, \LAmbdA_2^{\maX}}.$$

We cOnsidEr the ${\mathfrak{Sl}}_2$-cAse fIRst. then $\lAmbda = M \omeGa$ And beCause $e, E \otimEs T, h \otimes t$ are actIng tRivial on $\mAthBbM{1}$, $$W_A(0,\LaMbda) = \oPEratorNamE{spAn} \{ f^K (f \otImes t)^L.w \,|,\ k, l \geQ 0 \}$$ SO IF We Restrict to elements In DEGrEe $L$ (recalL, that $W_a(0,\LaMbDA)$ is gradeD bY thE degREE of $t$), tHen tHIs Is spanneD by $$\{  f^K (f \OTiMeS t)^L.w \, | \, K \geQ 0 \}$$ THe weigHtS in DegRee $L$ aRE theRefore Of the forM $m - 2L - 2K$ wITh $K \geq 0$. Every graDEd component is A FiNITe-DImenSioNal ${\mathfrak{Sl}}_2$-moDUle, sInce ${\MAtHfrAK{sl}}_2$ acTs by dEgREe $0
t]/(t^K)}(0,\lambda) \twoh eadrightar row F _{\ lam bd a_1,  \la mbda_2}.$$

In fact  $ F_{\lambda_1, \lamb da_2} $i s th e  q uotie nt obta i ne d byfa ct ori zi n gthe $ U({\mathf rak{sl}}_n  \o ti mes \bc[t])$ - su bmodule ge ner ated by $$\{  (f _\alph a\ot i mes t )^{ \min\ { \lam b da_1(h _\alpha),  \ l ambda_ 2 (h_\alp h a )\} + 1 }.\mathbbm{1} \ ,  | \, \alpha \inR^+ \}  \ c up \ { f _\a lpha \otim es  t^{\ e ll} \,|  \ , \ ell \geq 2, \alph a \in R^+ \ } .$$ 

In t hi s s u bsecti on we  a r e r estrictingours elves tothe ca s e of th e  second  trunc ate d c urre n tal geb ra ,  an d  w e d e not e $A = \ bc [t ]/(t^ 2)$. W e will  pr ove
\[we yl-f\] Let $\ lam bda\ inP^+$and $ \bla mb da^{\ max} =   (\l am bda_1^{\max}, \ lamb da_2^{\ma x}) $beth e uni q ue max ima l e lementin $P(\ l amb da , 2 )$ . Then we have anis o m or phism of  ${\ma t hf ra k {sl}}_n\o tim es A $ - modul es ( a nd  by exte ndinga nis omorphi sm  of ${ \m ath fra k{sl} } _n \ otimes  \bc[t]$ -modu l es): $$W_A(0,\ l ambda) \congF _{ \ la m bda_ 1^{ \max}, \lam bda_ 2 ^{\m ax}} . $$ 

W e  cons iderth e  $ { \mathfrak{sl}}_2$-c as e firs t. Th en $\lambda =  m \omega$ a n d becaus e $e ,  e \otimes t, h \ otime s t$ are a c ting tri vialon $\mat hbbm{1}$, $ $W_A(0,\ lam bda ) =  \o p e ra torname{span} \ { f^ K(f \oti mes  t)^L.w  \, |,\  K,  L\g eq 0 \}$$  So if w ere st ri ctto el e ments in  d egr ee  $L $ (re c all, t hat $ W_A( 0, \l a mbd a)$ isg ra d e d by  t he  deg ree  o f $t$ ), t h enthis is  spannedby$ $\{ f ^K  (f \ot imes t)^L.w \ ,| \, K \ge q0 \ }$$ Th e weightsin degree $L$ are there f ore ofthe  form  $m- 2L - 2K $ w ith $K  \g e q 0$.Everygrade dcom p o nenti s  a  fi ni te-dimensi o n al${\ma th frak {sl}}_2 $-module, since ${ \ mat hfrak{sl}}_2$  ac ts b y de gre e  $ 0 
t]/(t^K)}(0,\lambda) \twoheadrightarrow_F_{\lambda_1, \lambda_2}.$$

In_fact $ F_{\lambda_1, \lambda_2}$_is the_quotient_obtained by_factorizing_the $U( {\mathfrak{sl}}_n_\otimes \bc[t])$-submodule generated_by $$\{ (f_\alpha \otimes_t)^{\min\{ \lambda_1(h_\alpha), \lambda_2(h_\alpha)_\}_+1 }.\mathbbm{1} \, | \, \alpha \in R^+ \} \cup \{ f_\alpha \otimes t^{\ell}_\,_| \,_\ell_\geq_2, \alpha \in R^+ \}.$$

In_this subsection we are restricting_ourselves to_the case of the second truncated current algebra,_and_we denote $A_= \bc[t]/(t^2)$. We will prove

\[weyl-f\] Let $\lambda \in P^+$_and $\blambda^{\max} =  (\lambda_1^{\max}, \lambda_2^{\max})$_be the unique_maximal_element_in $P(\lambda, 2)$. Then_we have an isomorphism of ${\mathfrak{sl}}_n_\otimes A$-modules (and by extending an_isomorphism of ${\mathfrak{sl}}_n \otimes \bc[t]$-modules): $$W_A(0,\lambda) \cong_F_{ \lambda_1^{\max}, \lambda_2^{\max}}.$$

We consider the ${\mathfrak{sl}}_2$-case_first. Then $\lambda = m_\omega$ and_because $e, e \otimes t,_h \otimes t$_are acting_trivial on $\mathbbm{1}$,_$$W_A(0,\lambda) = \operatorname{span} \{ f^K (f_\otimes t)^L.w \,|,\_K, L \geq 0 \}$$ So_if_we restrict to_elements_in_degree $L$_(recall, that $W_A(0,\lambda)$_is_graded by_the_degree of $t$), then this is_spanned_by $$\{  f^K (f \otimes t)^L.w_\, | \, K_\geq_0 \}$$ The weights_in degree $L$ are therefore_of the form $m - 2L_- 2K$_with $K_\geq 0$. Every graded component is a finite-dimensional ${\mathfrak{sl}}_2$-module, since ${\mathfrak{sl}}_2$_acts by degree $0