{cases}
  f_i^{\varphi_i(b)-\epsilon_i(b)}(b) & 
   \text{if $\varphi_i(b)>\epsilon_i(b)$} \\
  b & \text{if $\varphi_i(b)=\epsilon_i(b)$} \\
  e_i^{\epsilon_i(b)-\varphi_i(b)}(b) & 
   \text{if $\varphi_i(b)<\epsilon_i(b)$}.
    \end{cases}$$ It is obvious that $s_i$ is an involution.

Tensor products of crystals
---------------------------

Given two crystals $B$ and $B'$, there is also a crystal obtained by taking the tensor product $B\otimes B'$. As a set $B\otimes B'$ is just given by the Cartesian product of the sets $B$ and $B'$. The weight function ${\mathrm{wt}}$ for $b\otimes b'\in B\otimes B'$ is ${\mathrm{wt}}(b\otimes b')={\mathrm{wt}}(b)+{\mathrm{wt}}(b')$ and the raising and lowering operators $e_i$ and $f_i$ act as follows $$\label{tensor}
\begin{split}
e_i(b\otimes b')&=\begin{cases}
 e_i b \otimes b' & \text{if $\epsilon_i(b)>\phi_i(b')$,}\\
 b \otimes e_i b' & \text{otherwise,}
\end{cases}\\
f_i(b\otimes b')&=\begin{cases}
 f_i b \otimes b' & \text{if $\epsilon_i(b)\ge\phi_i(b')$,}\\
 b \otimes f_i b' & \text{otherwise.}
\end{cases}
\end{split}$$ The reader is warned that this convention is different from Kashiwara’s convention. The order of the tensor factors is interchanged.

Finite and infinite crystals
----------------------------

Let us fix some notation. From now on let ${\mathfrak{g}}$ be a simple complex Lie algebra and ${\hat{{\mathfrak{g}}}}$ be the associated untwisted affine algebra. That is, let ${\hat{{\mathfrak{g}}}}'={\mathfrak{g}}\otimes{\mathbb{C}}[
{ cases } 
   f_i^{\varphi_i(b)-\epsilon_i(b)}(b) & 
    \text{if $ \varphi_i(b)>\epsilon_i(b)$ } \\ 
   b & \text{if $ \varphi_i(b)=\epsilon_i(b)$ } \\ 
   e_i^{\epsilon_i(b)-\varphi_i(b)}(b) & 
    \text{if $ \varphi_i(b)<\epsilon_i(b)$ }. 
     \end{cases}$$ It is obvious that $ s_i$ is an involution. 

 Tensor products of crystals 
 --------------------------- 

 give two crystal $ B$ and $ B'$, there is also a crystal receive by taking the tensor product $ B\otimes B'$. As a stage set $ B\otimes B'$ is just given by the Cartesian merchandise of the sets $ B$ and $ B'$. The weight routine $ { \mathrm{wt}}$ for $ b\otimes b'\in B\otimes B'$ is $ { \mathrm{wt}}(b\otimes b')={\mathrm{wt}}(b)+{\mathrm{wt}}(b')$ and the raising and lowering operator $ e_i$ and $ f_i$ act as follows $ $ \label{tensor } 
 \begin{split } 
 e_i(b\otimes b')&=\begin{cases } 
  e_i b \otimes b' & \text{if $ \epsilon_i(b)>\phi_i(b')$,}\\ 
  b \otimes e_i b' & \text{otherwise, } 
 \end{cases}\\ 
 f_i(b\otimes b')&=\begin{cases } 
  f_i b \otimes b' & \text{if $ \epsilon_i(b)\ge\phi_i(b')$,}\\ 
  b \otimes f_i b' & \text{otherwise. } 
 \end{cases } 
 \end{split}$$ The reader is warned that this convention is different from Kashiwara ’s convention. The ordering of the tensor factors is interchanged. 

 Finite and infinite quartz glass 
 ---------------------------- 

 Let us fix some notation. From now on permit $ { \mathfrak{g}}$ be a simple complex Lie algebra and $ { \hat{{\mathfrak{g}}}}$ be the associated untwisted affine algebra. That is, let $ { \hat{{\mathfrak{g}}}}'={\mathfrak{g}}\otimes{\mathbb{C } } [
{casfs}
  f_i^{\varphi_i(b)-\epsilon_i(b)}(b) & 
   \text{if $\varkhu_i(b)>\epsmlon_i(b)$} \\
  b & \texg{if $\varphi_i(b)=\epsilon_i(b)$} \\
  e_i^{\epdioon_i(b)-\carphi_i(b)}(b) & 
   \text{if $\vxrphi_i(b)<\epdilon_i(b)$}.
    \eid{cases}$$ It is obtjous that $s_i$ jd an mnvolution.

Tensot products ox crystals
---------------------------

Givet gwl crystals $B$ and $B'$, there is also a srystal ohtained by takyng uhe tenaor product $B\otimes B'$. As a set $B\otjmes B'$ ps just given by yhe Cartesian product of tje sfts $B$ and $B'$. The welght functiin ${\mwrhrm{wt}}$ for $b\utimes b'\in B\otimes B'$ ia ${\mathrm{wt}}(b\otimes b')={\mathrm{wt}}(b)+{\matfrm{wt}}(y')$ and the rqiwinh and loweriig opegators $e_i$ and $f_i$ act ds follpws $$\label{tensov}
\begii{splut}
e_i(b\otimes b')&=\begin{casxs}
 e_i b \otimes b' & \tevt{if $\epsinou_i(b)>\phi_i(b')$,}\\
 b \otimes e_i v' & \text{mtheswisd,}
\wnd{zasts}\\
f_m(b\ofimes h')&=\bejin{cases}
 f_i b \otimes b' & \text{if $\epsilon_i(b)\gt\phy_p(n')$,}\\
 b \otimes f_j b' & \tqxe{otherwise.}
\end{cases}
\end{split}$$ The reader iv wzrned that this conventuon is different from Kashiwarw’s convention. The order of the tensor factors is hnterrhxngtd.

Nlnitd ajd infinite crystals
----------------------------

Let us fix some notation. Sdok kow on let ${\mathfvak{g}}$ be a simple cpmolrv Lie algebra and ${\hcf{{\mzthfrak{g}}}}$ be the asdociateq untqisted afsine algebra. That is, let ${\hat{{\matyfrak{g}}}}'={\mathfrck{g}}\itimes{\mathbb{C}}[
{cases} f_i^{\varphi_i(b)-\epsilon_i(b)}(b) & \text{if $\varphi_i(b)>\epsilon_i(b)$} \\ b $\varphi_i(b)=\epsilon_i(b)$} e_i^{\epsilon_i(b)-\varphi_i(b)}(b) & $\varphi_i(b)<\epsilon_i(b)$}. \end{cases}$$ It an Tensor products of --------------------------- Given two $B$ and $B'$, there is also crystal obtained by taking the tensor product $B\otimes B'$. As a set $B\otimes is just given by the Cartesian product of the sets $B$ and $B'$. weight ${\mathrm{wt}}$ $b\otimes B\otimes B'$ is ${\mathrm{wt}}(b\otimes b')={\mathrm{wt}}(b)+{\mathrm{wt}}(b')$ and the raising and lowering operators $e_i$ and $f_i$ act as $$\label{tensor} \begin{split} e_i(b\otimes b')&=\begin{cases} e_i b \otimes b' \text{if $\epsilon_i(b)>\phi_i(b')$,}\\ b \otimes b' & \text{otherwise,} \end{cases}\\ f_i(b\otimes f_i \otimes b' \text{if b f_i b' & \end{cases} \end{split}$$ The reader is warned that this convention is different from Kashiwara’s convention. The order of tensor factors Finite and crystals Let fix some notation. on let ${\mathfrak{g}}$ be a simple and ${\hat{{\mathfrak{g}}}}$ be the associated untwisted affine algebra. is, let
{cases}
  f_i^{\varphi_i(b)-\epsilon_i(b)}(b) & 
   \Text{if $\varpHi_i(b)>\ePsiLon_I(b)$} \\
  B & \texT{if $\vArphi_i(b)=\epsilon_I(B)$} \\
  e_i^{\ePsilon_i(b)-\varphi_i(b)}(b) & 
   \text{iF $\varpHi_I(B)<\epsILoN_i(b)$}.
    \enD{cases}$$ IT Is OBVioUs ThAt $s_I$ iS An InvolUtiOn.

TensoR products oF crYsTals
---------------------------

Given two CRyStals $B$ and $B'$, TheRe is also a cryStaL obtaiNeD by TAking The TensoR produCT $B\otimEs B'$. As a set $b\oTImes B'$ iS Just givEN By The CArtesian product of THe SEts $B$ and $B'$. The weiGht funCtIOn ${\MAThrM{wt}}$ For $b\otimes B'\iN B\otiMEs B'$ is ${\maTHrM{WT}}(B\otIMes b')={\mathrm{wt}}(b)+{\Mathrm{wt}}(b')$ anD The RaisinG aNd lOWering OperaToRS $e_i$ And $f_i$ act as fOlloWs $$\label{teNsor}
\beGIn{split}
E_I(b\otimeS b')&=\begiN{caSes}
 E_i b \oTImEs B' & \teXt{IF $\epSIlOn_i(B)>\Phi_I(b')$,}\\
 b \otimeS e_I b' & \Text{oTherWISE,}
\End{cAseS}\\
f_i(b\OtimeS b')&=\begin{cases}
 f_I b \oTimeS B' & \teXt{if $\ePsiloN_i(b)\gE\pHi_i(b')$,}\\
 b \Otimes F_i b' & \teXt{Otherwise.}
\end{casEs}
\enD{split}$$ The ReaDeR is WaRned tHAt this ConVenTion is dIfferenT FroM KASHIwAra’s convention. The oRdER Of The tensoR factoRS iS iNTerchangEd.

finIte aND InfinIte cRYsTals
----------------------------

Let uS fix soME nOtAtion. FrOm Now on lEt ${\MatHfrAk{g}}$ be A SimpLe compLex Lie alGebra ANd ${\hat{{\mathfrak{g}}}}$ BE the associateD UnTWIsTEd afFinE algebra. ThaT is, lET ${\hat{{\MathFRaK{g}}}}'={\mAThfraK{g}}\otiMeS{\MaTHbb{C}}[
{cases}
  f_i^{\varphi_i(b )-\epsilon _i(b) }(b ) &     \ text {if $\varphi_i ( b)>\ epsilon_i(b)$} \\
  b& \te xt { if $ \ va rphi_ i(b)=\e p si l o n_i (b )$ } \ \ e _i^{\ eps ilon_i( b)-\varphi _i( b) }(b) & 
   \ t ex t{if $\var phi _i(b)<\epsil on_ i(b)$} .  \end{ cas es}$$  It is obviou s that $s _i $  is an involut i o n. 

Te nsor products ofc ry s tals
--------- ------ -- - -- - - --- --
Given two  c rysta l s $B$ a n d$ B ' $,t here is alsoa crystal o b tai ned by  t aki n g thetenso rp rod uct $B\otim es B '$. As aset $B \ otimesB '$ is j ust gi ven  by  the Ca rt esi an pro d uc t o f  th e sets $ B$  a nd $B '$.T h e weig htfunc tion${\mathrm{wt} }$for$ b\o times  b'\i n B\ ot imesB'$ is  ${\m at hrm{wt}}(b\otim es b ')={\math rm{ wt }}( b) +{\ma t hrm{wt }}( b') $ and t he rais i ngan d l ow ering operators $e _i $ an d $f_i$act as fo ll o ws $$\la be l{t enso r } 
\beg in{s p li t}
e_i(b \otime s  b ') &=\begi n{ cases} 
e_i  b\otim e s b'  & \te xt{if $\ epsil o n_i(b)>\phi_i( b ')$,}\\
 b \o t im e s  e _ i b'  &\text{other wise , }
\e nd{c a se s}\ \ 
f_i( b\oti me s  b ' )&=\begin{cases}
 f _i  b \ot imesb' & \text{if  $\epsilon _ i ( b)\ge\ph i_i( b ') $ ,}\\
 b \otime s f_i  b' & \tex t {otherwi se.}\end{cas es}
\end{ s p lit}$$ T herea der  is w ar ned that this c onve nt ion isdif ferentfro m K ash iwa ra ’s conven tion. Th eor de rofthe t e nsor fac to rsis  in terch a nged.
Fini te a nd  i n fin ite cry s ta l s 
--- -- -- ---- --- -- ----- ---- - --
Let us  fix some  no t atio n.  F rom now  on let ${\ma th frak{g}}$be  asimple c omplex L ie algebra and ${\hat{{ \ mathfra k{g }}}}$  bethe assoc iat ed unt wis t ed aff ine al gebra .Tha t is, l e t  $ {\h at {{\mathfra k { g}} }}'={ \m athf rak{g}} \otimes{\mathbb{C} } [
{cases}
 _f_i^{\varphi_i(b)-\epsilon_i(b)}(b) &_
   \text{if_$\varphi_i(b)>\epsilon_i(b)$} \\
__b &_\text{if_$\varphi_i(b)=\epsilon_i(b)$} \\
 _e_i^{\epsilon_i(b)-\varphi_i(b)}(b) & 
_  \text{if $\varphi_i(b)<\epsilon_i(b)$}.
_  _\end{cases}$$_It is obvious that $s_i$ is an involution.

Tensor products of crystals
---------------------------

Given two crystals $B$_and_$B'$, there_is_also_a crystal obtained by taking_the tensor product $B\otimes B'$._As a_set $B\otimes B'$ is just given by the_Cartesian_product of the_sets $B$ and $B'$. The weight function ${\mathrm{wt}}$ for_$b\otimes b'\in B\otimes B'$ is ${\mathrm{wt}}(b\otimes_b')={\mathrm{wt}}(b)+{\mathrm{wt}}(b')$ and the_raising_and_lowering operators $e_i$ and_$f_i$ act as follows $$\label{tensor}
\begin{split}
e_i(b\otimes b')&=\begin{cases}
_e_i b \otimes b' & \text{if_$\epsilon_i(b)>\phi_i(b')$,}\\
 b \otimes e_i b' & \text{otherwise,}
\end{cases}\\
f_i(b\otimes_b')&=\begin{cases}
 f_i b \otimes b' &_\text{if $\epsilon_i(b)\ge\phi_i(b')$,}\\
 b \otimes f_i_b' &_\text{otherwise.}
\end{cases}
\end{split}$$ The reader is warned_that this convention_is different_from Kashiwara’s convention._The order of the tensor factors_is interchanged.

Finite and_infinite crystals
----------------------------

Let us fix some notation._From_now on let_${\mathfrak{g}}$_be_a simple_complex Lie algebra_and_${\hat{{\mathfrak{g}}}}$ be_the_associated untwisted affine algebra. That is,_let_${\hat{{\mathfrak{g}}}}'={\mathfrak{g}}\otimes{\mathbb{C}}[