U({\mathfrak{sl}}_n \otimes \bc[t])$ is graded, the associated graded is again a module for $U({\mathfrak{sl}}_n \otimes \bc[t])$, denoted usually by $$V(\lambda_1)_{c_1} \ast \cdots \ast V(\lambda_k)_{c_k},$$ and is called the *fusion product*. Recall that the graded components are $U({\mathfrak{sl}}_n)$-modules, since $U({\mathfrak{sl}} \otimes 1)$ is the degree $0$ component of $U({\mathfrak{sl}}_n \otimes \bc[t])$. Further, since we have not changed the ${\mathfrak{sl}}_n$-structure in this construction:

\[fusion-decom\] Let $\lambda_1, \lambda_2 \in P^+$, $c_1 \neq c_2 \in \bc$, then for all $\tau \in P^+$ $$\dim \Hom_{{\mathfrak{sl}}_n} (V(\lambda_1)_{c_1} \ast V(\lambda_2)_{c_2}, V(\tau)) = c_{\lambda_1, \lambda_2}^{\tau}.$$

\[whatever\] For $\lambda_1, \lambda_2 \in P^+$, $c_1 \neq c_2 \in \bc$ we have a surjective map of ${\mathfrak{sl}}_{n} \otimes \bc[t]$-modules: $$F_{\lambda_1, \lambda_2} \twoheadrightarrow V(\lambda_1)_{c_1} \ast V(\lambda_2)_{c_2},$$ moreover $a_{\lambda_1, \lambda_2}^{\tau} \geq c_{\lambda_1, \lambda_2}^{\tau}$, $ \forall \, \tau \in P^+$.

We prove the ${\mathfrak{sl}}_2$-case first. Here dominant integral weights are parameterized by $\bz_{\geq 0}$, and for $k \geq 0$ let $V(k) =Sym^k \bc^2$. Fix $k \geq m \geq 0$. Then $$\dim (V(k)_{c_1} \otimes V(m)_{c_2})_{k + m - 2 \ell} = \begin{cases} \ell + 1 \text{ for } 0 \leq \ell \leq m \\ m + 1 \text{ for } m
U({\mathfrak{sl}}_n \otimes \bc[t])$ is graded, the associated graded is again a module for $ U({\mathfrak{sl}}_n \otimes \bc[t])$, announce normally by $ $ V(\lambda_1)_{c_1 } \ast \cdots \ast V(\lambda_k)_{c_k},$$ and is called the * fusion merchandise *. hark back that the graded components are $ U({\mathfrak{sl}}_n)$-modules, since $ U({\mathfrak{sl } } \otimes 1)$ is the academic degree $ 0 $ component of $ U({\mathfrak{sl}}_n \otimes \bc[t])$. Further, since we have not changed the $ { \mathfrak{sl}}_n$-structure in this structure: 

 \[fusion - decom\ ] lease $ \lambda_1, \lambda_2 \in P^+$, $ c_1 \neq c_2 \in \bc$, then for all $ \tau \in P^+$ $ $ \dim \Hom_{{\mathfrak{sl}}_n } (V(\lambda_1)_{c_1 } \ast V(\lambda_2)_{c_2 }, V(\tau) ) = c_{\lambda_1, \lambda_2}^{\tau}.$$ 

 \[whatever\ ] For $ \lambda_1, \lambda_2 \in P^+$, $ c_1 \neq c_2 \in \bc$ we have a surjective function of $ { \mathfrak{sl}}_{n } \otimes \bc[t]$-modules: $ $ F_{\lambda_1, \lambda_2 } \twoheadrightarrow V(\lambda_1)_{c_1 } \ast V(\lambda_2)_{c_2},$$ moreover $ a_{\lambda_1, \lambda_2}^{\tau } \geq c_{\lambda_1, \lambda_2}^{\tau}$, $ \forall \, \tau \in P^+$. 

 We prove the $ { \mathfrak{sl}}_2$-case first. Here dominant built-in weights are parameterized by $ \bz_{\geq 0}$, and for $ k \geq 0 $ let $ V(k) = Sym^k \bc^2$. Fix $ k \geq m \geq 0$. Then $ $ \dim (V(k)_{c_1 } \otimes V(m)_{c_2})_{k + m - 2 \ell } = \begin{cases } \ell + 1 \text { for } 0 \leq \ell \leq m \\ m + 1 \text { for } m
U({\mahhfrak{sl}}_n \otimes \bc[t])$ is nraded, the assocnqted gcaded ia again x module for $U({\mathfrak{sl}}_n \otmmes \bc[t])$, eenoted usually by $$V(\laobda_1)_{c_1} \ast \cdots \awt V(\oqmbda_k)_{c_k},$$ ais is called tgc *fusnoi product*. Recalk that the graded componangs are $U({\mathfrak{sl}}_n)$-modules, since $U({\matrfrak{sl}} \ohimes 1)$ is the qegrte $0$ comlonent of $U({\mathfrak{sl}}_n \otimes \bc[t])$. Rurther, since we havr not changed the ${\mathfrak{dl}}_n$-shructure in this clnstruction:

\[dusijb-decom\] Let $\lxmbda_1, \lambda_2 \in P^+$, $c_1 \nes c_2 \in \bc$, then for all $\tau \in P^+$ $$\dim \Kom_{{\mathfrak{wl}}_b} (V(\pdmbda_1)_{c_1} \ast T(\lambdw_2)_{c_2}, V(\tau)) = c_{\lambda_1, \lamtda_2}^{\tau}.$$

\[wnatever\] For $\lakbde_1, \lanbda_2 \in P^+$, $c_1 \neq c_2 \in \uc$ we have a surjectyve map ox ${\jathfrak{sl}}_{n} \otimew \vc[t]$-mogulev: $$F_{\lxnbdx_1, \lzmuda_2} \twohewdrmghtarrow V(\mambda_1)_{c_1} \ast V(\lambda_2)_{c_2},$$ moreover $s_{\lwnbda_1, \lambda_2}^{\tah} \geq s_{\lwmbda_1, \lambda_2}^{\tau}$, $ \forall \, \tau \in P^+$.

We prone tge ${\mathfrak{sl}}_2$-case first. Here dominant integrwl weightf are parameterized by $\bz_{\geq 0}$, and for $k \geq 0$ let $E(k) =Syj^y \be^2$. Fix $y \gfq m \geq 0$. Then $$\dim (V(k)_{c_1} \otimes V(m)_{c_2})_{k + m - 2 \ell} = \fsgon{bases} \ell + 1 \text{ nor } 0 \leq \ell \leq k \\ m + 1 \text{ for } m
U({\mathfrak{sl}}_n \otimes \bc[t])$ is graded, the associated again module for \otimes \bc[t])$, denoted \ast and is called *fusion product*. Recall the graded components are $U({\mathfrak{sl}}_n)$-modules, since \otimes 1)$ is the degree $0$ component of $U({\mathfrak{sl}}_n \otimes \bc[t])$. Further, since have not changed the ${\mathfrak{sl}}_n$-structure in this construction: \[fusion-decom\] Let $\lambda_1, \lambda_2 \in $c_1 c_2 \bc$, for all $\tau \in P^+$ $$\dim \Hom_{{\mathfrak{sl}}_n} (V(\lambda_1)_{c_1} \ast V(\lambda_2)_{c_2}, V(\tau)) = c_{\lambda_1, \lambda_2}^{\tau}.$$ \[whatever\] For \lambda_2 \in P^+$, $c_1 \neq c_2 \in \bc$ have a surjective map ${\mathfrak{sl}}_{n} \otimes \bc[t]$-modules: $$F_{\lambda_1, \lambda_2} V(\lambda_1)_{c_1} V(\lambda_2)_{c_2},$$ moreover \lambda_2}^{\tau} c_{\lambda_1, $ \forall \, \in P^+$. We prove the ${\mathfrak{sl}}_2$-case first. Here dominant integral weights are parameterized by $\bz_{\geq 0}$, and $k \geq $V(k) =Sym^k Fix \geq \geq 0$. Then \otimes V(m)_{c_2})_{k + m - 2 \ell + 1 \text{ for } 0 \leq \leq m m + 1 \text{ for }
U({\mathfrak{sl}}_n \otimes \bc[t])$ is grAded, the assOciatEd gRadEd Is agAin a Module for $U({\mathFRak{sL}}_n \otimes \bc[t])$, denoted usuaLly by $$v(\lAMbda_1)_{C_1} \AsT \cdotS \ast V(\laMBdA_K)_{C_k},$$ aNd Is CalLeD ThE *fusiOn pRoduct*. REcall that tHe gRaDed componentS ArE $U({\mathfrak{Sl}}_n)$-Modules, since $u({\maThfrak{Sl}} \OtiMEs 1)$ is tHe dEgree $0$ ComponENt of $U({\mAthfrak{sl}}_N \oTImes \bc[T])$. further, SINcE we hAve not changed the ${\mAThFRak{sl}}_n$-structurE in thiS cONsTRUctIon:

\[Fusion-decoM\] LEt $\lamBDa_1, \lambdA_2 \In p^+$, $C_1 \NEq c_2 \IN \bc$, then for all $\Tau \in P^+$ $$\dim \HoM_{{\MatHfrak{sL}}_n} (v(\laMBda_1)_{c_1} \asT V(\lamBdA_2)_{C_2}, V(\tAu)) = c_{\lambda_1, \laMbda_2}^{\Tau}.$$

\[whatevEr\] For $\lAMbda_1, \lamBDa_2 \in P^+$, $c_1 \nEq c_2 \in \bC$ we HavE a suRJeCtIve MaP Of ${\mAThFraK{Sl}}_{n} \Otimes \bc[T]$-mOdUles: $$F_{\LambDA_1, \LAMbda_2} \TwoHeadRightArrow V(\lambda_1)_{c_1} \Ast v(\lamBDa_2)_{c_2},$$ MoreoVer $a_{\lAmbdA_1, \lAmbda_2}^{\Tau} \geq C_{\lambDa_1, \Lambda_2}^{\tau}$, $ \forall \, \Tau \iN P^+$.

We prove The ${\MaThfRaK{sl}}_2$-caSE first. herE doMinant iNtegral WEigHtS ARE pArameterized by $\bz_{\geQ 0}$, aND FoR $k \geq 0$ let $v(k) =Sym^k \BC^2$. FIx $K \Geq m \geq 0$. THeN $$\diM (V(k)_{c_1} \OTImes V(M)_{c_2})_{k + m - 2 \ELl} = \Begin{casEs} \ell + 1 \tEXt{ FoR } 0 \leq \ell \LeQ m \\ m + 1 \texT{ fOr } m
U({\mathfrak{sl}}_n \otime s \bc[t])$  is g rad ed,  t he a ssoc iated graded i s  aga in a module for $U({\m athfr ak { sl}} _ n\otim es \bc[ t ]) $ ,  de no te d u su a ll y by$$V (\lambd a_1)_{c_1}  \a st  \cdots \ast V( \lambda_k) _{c _k},$$ and i s c alledth e * f usion  pr oduct *. Rec a ll tha t the gra de d  compo n ents ar e $U ({\m athfrak{sl}}_n)$- m od u les, since $U( {\math fr a k{ s l }}\ot imes 1)$ i sthe d e gree $0 $  c o m p one n t of $U({\mat hfrak{sl}}_ n  \o times\b c[t ] )$. Fu rther ,s inc e we have n ot c hanged th e ${\m a thfrak{ s l}}_n$- struct ure  in  thi s  c on str uc t ion : 
\[f u sio n-decom\ ]Le t $\l ambd a _ 1 ,  \la mbd a_2\in P ^+$, $c_1 \ne q c _2 \ i n \ bc$,thenforal l $\t au \in  P^+$  $ $\dim \Hom_{{\m athf rak{sl}}_ n}(V (\l am bda_1 ) _{c_1}  \a stV(\lamb da_2)_{ c _2} ,V ( \ ta u)) = c_{\lambda_1 ,\ l am bda_2}^{ \tau}. $ $
\ [ whatever \]  Fo r $\ l a mbda_ 1, \ l am bda_2 \i n P^+$ ,  $ c_ 1 \neqc_ 2 \in\b c$wehavea  sur jectiv e map of  ${\m a thfrak{sl}}_{n }  \otimes \bc[ t ]$ - m od u les:  $$ F_{\lambda_ 1, \ l ambd a_2} \t woh e adrig htarr ow V( \ lambda_1)_{c_1} \as tV(\lam bda_2 )_{c_2},$$ mo reover $a_ { \ l ambda_1,  \la m bd a _2}^{\tau} \ge q c_{ \lambda_1, \lambda_ 2}^{\ tau}$, $  \forall\ ,  \tau \i n P ^+$ .
Wep r ov e the ${\math f r ak{s l} }_2$-ca sefirst.Her e d omi nan tintegralweightsar epa ra met erize d  by $\bz _{ \ge q0}$ , and for $k  \geq  0$le t$ V(k ) =Sym^ k  \ b c ^2$.  F ix  $k\ge qm \ge q 0$ .  Th en $$\d im (V(k)_ {c_ 1 } \o ti me s V(m)_ {c_2})_{k + m  -  2 \ell} =  \ beg in{cas e s } \ell +  1 \text{ for } 0 \leq\ ell \le q m  \\ m  + 1  \text{ f or} m
U({\mathfrak{sl}}_n \otimes_\bc[t])$ is_graded, the associated graded_is again_a_module for_$U({\mathfrak{sl}}_n_\otimes \bc[t])$, denoted_usually by $$V(\lambda_1)_{c_1}_\ast \cdots \ast V(\lambda_k)_{c_k},$$_and is called_the_*fusion product*. Recall that the graded components are $U({\mathfrak{sl}}_n)$-modules, since $U({\mathfrak{sl}} \otimes 1)$ is_the_degree $0$_component_of_$U({\mathfrak{sl}}_n \otimes \bc[t])$. Further, since_we have not changed the_${\mathfrak{sl}}_n$-structure in_this construction:

\[fusion-decom\] Let $\lambda_1, \lambda_2 \in P^+$, $c_1_\neq_c_2 \in \bc$,_then for all $\tau \in P^+$ $$\dim \Hom_{{\mathfrak{sl}}_n} (V(\lambda_1)_{c_1}_\ast V(\lambda_2)_{c_2}, V(\tau)) = c_{\lambda_1, \lambda_2}^{\tau}.$$

\[whatever\]_For $\lambda_1, \lambda_2_\in_P^+$,_$c_1 \neq c_2 \in_\bc$ we have a surjective map_of ${\mathfrak{sl}}_{n} \otimes \bc[t]$-modules: $$F_{\lambda_1, \lambda_2}_\twoheadrightarrow V(\lambda_1)_{c_1} \ast V(\lambda_2)_{c_2},$$ moreover $a_{\lambda_1, \lambda_2}^{\tau}_\geq c_{\lambda_1, \lambda_2}^{\tau}$, $ \forall \,_\tau \in P^+$.

We prove the_${\mathfrak{sl}}_2$-case first._Here dominant integral weights are_parameterized by $\bz_{\geq_0}$, and_for $k \geq_0$ let $V(k) =Sym^k \bc^2$. Fix_$k \geq m_\geq 0$. Then $$\dim (V(k)_{c_1} \otimes_V(m)_{c_2})_{k_+ m -_2_\ell}_= \begin{cases}_\ell + 1_\text{_for }_0_\leq \ell \leq m \\ m_+_1 \text{ for } m