[1m[4m[31m2. Background[0m
In this chapter we summarize some of the theoretical concepts with which
[1mQuaGroup[0m operates. Due to the rather mathematical nature of this chapter
everything has been written in LaTeX. Therefore, it will be almost
unreadable in the html version.
[1m[4m[31m2.1 Gaussian Binomials[0m
Let $v$ be an indeterminate over $\mathbb{Q}$. For a positive integer $n$ we
set $$ [n] = v^{n-1}+v^{n-3}+\cdots + v^{-n+3}+v^{-n+1}. $$ We say that
$[n]$ is the [22m[36m Gaussian integer [0m corresponding to $n$. The [22m[36m Gaussian
factorial [0m $[n]!$ is defined by $$ [0]! = 1, ~ [n]! = [n][n-1]\cdots [1],
\text{ for } n>0.$$ Finally, the [22m[36m Gaussian binomial [0m is $$ \begin{bmatrix} n
\\ k \end{bmatrix} = \frac{[n]!}{[k]![n-k]!}.$$
[1m[4m[31m2.2 Quantized enveloping algebras[0m
Let $\mathfrak{g}$ be a semisimple Lie algebra with root system $\Phi$. By
$\Delta=\{\alpha_1,\ldots, \alpha_l \}$ we denote a fixed simple system of
$\Phi$. Let $C=(C_{ij})$ be the Cartan matrix of $\Phi$ (with respect to
$\Delta$, i.e., $ C_{ij} = \langle \alpha_i, \alpha_j^{\vee} \rangle$). Let
$d_1,\ldots, d_l$ be the unique sequence of positive integers with greatest
common divisor $1$, such that $ d_i C_{ji} = d_j C_{ij} $, and set $
(\alpha_i,\alpha_j) = d_j C_{ij} $. (We note that this implies that
$(\alpha_i,\alpha_i)$ is divisible by $2$.) By $P$ we denote the weight
lattice, and we extend the form $(~,~)$ to $P$ by bilinearity. \par By
$W(\Phi)$ we denote the Weyl group of $\Phi$. It is generated by the simple
reflections $s_i=s_{\alpha_i}$ for $1\leq i\leq l$ (where $s_{\alpha}$ is
defined by $s_{\alpha}(\beta) = \beta - \langle\beta, \alpha^{\vee}\rangle
\alpha$).\par We work over the field $\mathbb{Q}(q)$. For $\alpha\in\Phi $
we set $$ q_{\alpha} = q^{\frac{(\alpha,\alpha)}{2}},$$ and for a
non-negative integer $n$, $[n]_{\alpha}= [n]_{v=q_{\alpha}}$;
$[n]_{\alpha}!$ and $\begin{bmatrix} n \\ k \end{bmatrix}_{\alpha}$ are
defined analogously.\par The quantized enveloping algebra
$U_q(\mathfrak{g})$ is the associative algebra (with one) over
$\mathbb{Q}(q)$ generated by $F_{\alpha}$, $K_{\alpha}$, $K_{\alpha}^{-1}$,
$E_{\alpha}$ for $\alpha\in\Delta$, subject to the following relations
\begin{align*} K_{\alpha}K_{\alpha}^{-1} &= K_{\alpha}^{-1}K_{\alpha} = 1,~
K_{\alpha}K_{\beta} = K_{\beta}K_{\alpha}\\ E_{\beta} K_{\alpha} &=
q^{-(\alpha,\beta)}K_{\alpha} E_{\beta}\\ K_{\alpha} F_{\beta} &=
q^{-(\alpha,\beta)}F_{\beta}K_{\alpha}\\ E_{\alpha} F_{\beta} &=
F_{\beta}E_{\alpha} +\delta_{\alpha,\beta}
\frac{K_{\alpha}-K_{\alpha}^{-1}}{q_{\alpha}-q_{\alpha}^{-1}} \end{align*}
together with, for $\alpha\neq \beta\in\Delta$, \begin{align*}
\sum_{k=0}^{1-\langle \beta,\alpha^{\vee}\rangle } (-1)^k \begin{bmatrix}
1-\langle \beta,\alpha^{\vee}\rangle \\ k \end{bmatrix}_{\alpha}
E_{\alpha}^{1-\langle \beta,\alpha^{\vee}\rangle-k} E_{\beta} E_{\alpha}^k
=0 & \\ \sum_{k=0}^{1-\langle \beta,\alpha^{\vee}\rangle } (-1)^k
\begin{bmatrix} 1-\langle \beta,\alpha^{\vee}\rangle \\ k
\end{bmatrix}_{\alpha} F_{\alpha}^{1-\langle \beta,\alpha^{\vee}\rangle-k}
F_{\beta} F_{\alpha}^k =0 &. \end{align*} The quantized enveloping algebra
has an automorphism $\omega$ defined by $\omega( F_{\alpha} ) = E_{\alpha}$,
$\omega(E_{\alpha})= F_{\alpha}$ and $\omega(K_{\alpha})=K_{\alpha}^{-1}$.
Also there is an anti-automorphism $\tau$ defined by
$\tau(F_{\alpha})=F_{\alpha}$, $\tau(E_{\alpha})= E_{\alpha}$ and
$\tau(K_{\alpha})=K_{\alpha}^{-1}$. We have $\omega^2=1$ and $\tau^2=1$.\par
If the Dynkin diagram of $\Phi$ admits a diagram automorphism $\pi$, then
$\pi$ induces an automorphism of $U_q(\mathfrak{g})$ in the obvious way
($\pi$ is a permutation of the simple roots; we permute the $F_{\alpha}$,
$E_{\alpha}$, $K_{\alpha}^{\pm 1}$ accordingly).\par Now we view
$U_q(\mathfrak{g})$ as an algebra over $\mathbb{Q}$, and we let
$\overline{\phantom{A}} : U_q(\mathfrak{g})\to U_q(\mathfrak{g})$ be the
automorphism defined by $\overline{F_{\alpha}}=F_{\alpha}$,
$\overline{K_{\alpha}}= K_{\alpha}^{-1}$,
$\overline{E_{\alpha}}=E_{\alpha}$, $\overline{q}=q^{-1}$.
[1m[4m[31m2.3 Representations of $U_q(\mathfrak{g})$[0m
Let $\lambda\in P$ be a dominant weight. Then there is a unique irreducible
highest-weight module over $U_q(\mathfrak{g})$ with highest weight
$\lambda$. We denote it by $V(\lambda)$. It has the same character as the
irreducible highest-weight module over $\mathfrak{g}$ with highest weight
$\lambda$. Furthermore, every finite-dimensional $U_q(\mathfrak{g})$-module
is a direct sum of irreducible highest-weight modules.\par It is well-known
that $U_q(\mathfrak{g})$ is a Hopf algebra. The comultiplication $\Delta :
U_q(\mathfrak{g})\to U_q(\mathfrak{g}) \otimes U_q(\mathfrak{g})$ is defined
by \begin{align*} \Delta(E_{\alpha}) &= E_{\alpha}\otimes 1 +
K_{\alpha}\otimes E_{\alpha}\\ \Delta(F_{\alpha}) &= F_{\alpha}\otimes
K_{\alpha}^{-1} + 1\otimes F_{\alpha}\\ \Delta(K_{\alpha}) &=
K_{\alpha}\otimes K_{\alpha}. \end{align*} (Note that we use the same symbol
to denote a simple system of $\Phi$; of course this does not cause
confusion.) The counit $\varepsilon : U_q(\mathfrak{g}) \to \mathbb{Q}(q)$
is a homomorphism defined by
$\varepsilon(E_{\alpha})=\varepsilon(F_{\alpha})=0$, $\varepsilon(
K_{\alpha}) =1$. Finally, the antipode $S: U_q(\mathfrak{g})\to
U_q(\mathfrak{g})$ is an anti-automorphism given by
$S(E_{\alpha})=-K_{\alpha}^{-1}E_{\alpha}$, $S(F_{\alpha})=-F_{\alpha}
K_{\alpha}$, $S(K_{\alpha})=K_{\alpha}^{-1}$.\par Using $\Delta$ we can make
the tensor product $V\otimes W$ of two $U_q(\mathfrak{g})$-modules $V,W$
into a $U_q(\mathfrak{g})$-module. The counit $\varepsilon$ yields a trivial
$1$-dimensional $U_q(\mathfrak{g})$-module. And with $S$ we can define a
$U_q(\mathfrak{g})$-module structure on the dual $V^*$ of a
$U_q(\mathfrak{g})$-module $V$, by $(u\cdot f)(v) = f(S(u)\cdot v )$.\par
The Hopf algebra structure given above is not the only one possible. For
example, we can twist $\Delta,\varepsilon,S$ by an automorphism, or an
anti-automorphism $f$. The twisted comultiplication is given by $$\Delta^f =
f\otimes f \circ\Delta\circ f^{-1}.$$ The twisted antipode by $$ S^f =
\begin{cases} f\circ S\circ f^{-1} \text{ ~~~~if $f$ is an automorphism}\\
f\circ S^{-1}\circ f^{-1} \text{ ~if $f$ is an
anti-automorphism.}\end{cases}$$ And the twisted counit by $\varepsilon^f =
\varepsilon\circ f^{-1}$ (see [J96], 3.8).
[1m[4m[31m2.4 PBW-type bases[0m
The first problem one has to deal with when working with $U_q(\mathfrak{g})$
is finding a basis of it, along with an algorithm for expressing the product
of two basis elements as a linear combination of basis elements. First of
all we have that $U_q(\mathfrak{g})\cong U^-\otimes U^0\otimes U^+$ (as
vector spaces), where $U^-$ is the subalgebra generated by the $F_{\alpha}$,
$U^0$ is the subalgebra generated by the $K_{\alpha}$, and $U^+$ is
generated by the $E_{\alpha}$. So a basis of $U_q(\mathfrak{g})$ is formed
by all elements $FKE$, where $F$, $K$, $E$ run through bases of $U^-$,
$U^0$, $U^+$ respectively.\par Finding a basis of $U^0$ is easy: it is
spanned by all $K_{\alpha_1}^{r_1} \cdots K_{\alpha_l}^{r_l}$, where
$r_i\in\mathbb{Z}$. For $U^-$, $U^+$ we use the so-called {\em PBW-type}
bases. They are defined as follows. For $\alpha,\beta\in\Delta$ we set
$r_{\beta,\alpha} = -\langle \beta, \alpha^{\vee}\rangle$. Then for
$\alpha\in\Delta$ we have the automorphism $T_{\alpha} :
U_q(\mathfrak{g})\to U_q(\mathfrak{g})$ defined by \begin{align*}
T_{\alpha}(E_{\alpha}) &= -F_{\alpha}K_{\alpha}\\ T_{\alpha}(E_{\beta}) &=
\sum_{i=0}^{r_{\beta,\alpha}} (-1)^i q_{\alpha}^{-i}
E_{\alpha}^{(r_{\beta,\alpha}-i)}E_{\beta} E_{\alpha}^{(i)} \text{ (for
$\alpha\neq\beta$)}\\ T_{\alpha}(K_{\beta}) &=
K_{\beta}K_{\alpha}^{r_{\beta,\alpha}}\\ T_{\alpha}(F_{\alpha}) &=
-K_{\alpha}^{-1} E_{\alpha}\\ T_{\alpha}(F_{\beta}) &=
\sum_{i=0}^{r_{\beta,\alpha}} (-1)^i q_{\alpha}^{i}
F_{\alpha}^{(i)}F_{\beta}F_{\alpha}^ {(r_{\beta,\alpha}-i)}\text{ (for
$\alpha\neq\beta$),} \end{align*} (where $E_{\alpha}^{(k)} =
E_{\alpha}^k/[k]_{\alpha}!$, and likewise for $F_{\alpha}^{(k)}$). \par Let
$w_0=s_{i_1}\cdots s_{i_t}$ be a reduced expression for the longest element
in the Weyl group $W(\Phi)$. For $1\leq k\leq t$ set $F_k =
T_{\alpha_{i_1}}\cdots T_{\alpha_{i_{k-1}}}(F_{\alpha_{i_k}})$, and $E_k =
T_{\alpha_{i_1}}\cdots T_{\alpha_{i_{k-1}}}(E_{\alpha_{i_k}})$. Then $F_k\in
U^-$, and $E_k\in U^+$. Furthermore, the elements $F_1^{m_1} \cdots
F_t^{m_t}$, $E_1^{n_1}\cdots E_t^{n_t}$ (where the $m_i$, $n_i$ are
non-negative integers) form bases of $U^-$ and $U^+$ respectively. \par The
elements $F_{\alpha}$ and $E_{\alpha}$ are said to have weight $-\alpha$ and
$\alpha$ respectively, where $\alpha$ is a simple root. Furthermore, the
weight of a product $ab$ is the sum of the weights of $a$ and $b$. Now
elements of $U^-$, $U^+$ that are linear combinations of elements of the
same weight are said to be homogeneous. It can be shown that the elements
$F_k$, and $E_k$ are homogeneous of weight $-\beta$ and $\beta$
respectively, where $\beta=s_{i_1}\cdots s_{i_{k-1}}(\alpha_{i_k})$. \par In
the sequel we use the notation $F_k^{(m)} = F_k^m/[m]_{\alpha_{i_k}}!$, and
$E_k^{(n)} = E_k^n/[n]_{\alpha_{i_k}}!$. \par
[1m[4m[31m2.5 The ${\mathbb Z}$-form of $U_q(\mathfrak{g})$[0m
For $\alpha\in\Delta$ set $$\begin{bmatrix} K_{\alpha} \\ n \end{bmatrix} =
\prod_{i=1}^n \frac{q_{\alpha}^{-i+1}K_{\alpha} - q_{\alpha}^{i-1}
K_{\alpha}^{-1}} {q_{\alpha}^i-q_{\alpha}^{-i}}.$$ Then according to [L90],
Theorem 6.7 the elements $$F_1^{(k_1)}\cdots F_t^{(k_t)}
K_{\alpha_1}^{\delta_1} \begin{bmatrix} K_{\alpha_1} \\ m_1 \end{bmatrix}
\cdots K_{\alpha_l}^{\delta_l} \begin{bmatrix} K_{\alpha_l} \\ m_l
\end{bmatrix} E_1^{(n_1)}\cdots E_t^{(n_t)},$$ (where $k_i,m_i,n_i\geq 0$,
$\delta_i=0,1$) form a basis of $U_q(\mathfrak{g})$, such that the product
of any two basis elements is a linear combination of basis elements with
coefficients in $\mathbb{Z}[q,q^{-1}]$. The quantized enveloping algebra
over $\mathbb{Z}[q,q^{-1}]$ with this basis is called the $\mathbb{Z}$-form
of $U_q(\mathfrak{g})$, and denoted by $U_{\mathbb{Z}}$. Since
$U_{\mathbb{Z}}$ is defined over $\mathbb{Z}[q,q^{-1}]$ we can specialize
$q$ to any nonzero element $\epsilon$ of a field $F$, and obtain an algebra
$U_{\epsilon}$ over $F$. \par We call $q\in \mathbb{Q}(q)$, and $\epsilon
\in F$ the quantum parameter of $U_q(\mathfrak{g})$ and $U_{\epsilon}$
respectively. \par Let $\lambda$ be a dominant weight, and $V(\lambda)$ the
irreducible highest weight module of highest weight $\lambda$ over
$U_q(\mathfrak{g})$. Let $v_{\lambda}\in V(\lambda)$ be a fixed highest
weight vector. Then $U_{\mathbb{Z}}\cdot v_{\lambda}$ is a
$U_{\mathbb{Z}}$-module. So by specializing $q$ to an element $\epsilon$ of
a field $F$, we get a $U_{\epsilon}$-module. We call it the Weyl module of
highest weight $\lambda$ over $U_{\epsilon}$. We note that it is not
necessarily irreducible.
[1m[4m[31m2.6 The canonical basis[0m
As in Section [1m2.4[0m we let $U^-$ be the subalgebra of $U_q(\mathfrak{g})$
generated by the $F_{\alpha}$ for $\alpha\in\Delta$. In [L0a] Lusztig
introduced a basis of $U^-$ with very nice properties, called the {\em
canonical basis}. (Later this basis was also constructed by Kashiwara, using
a different method. For a brief overview on the history of canonical bases
we refer to [C06].) \par Let $w_0=s_{i_1}\cdots s_{i_t}$, and the elements
$F_k$ be as in Section [1m2.4[0m. Then, in order to stress the dependency of the
monomial \begin{equation}\label{eq0} F_1^{(n_1)}\cdots F_t^{(n_t)}
\end{equation} on the choice of reduced expression for the longest element
in $W(\Phi)$ we say that it is a $w_0$-monomial.\par Now we let
$\overline{\phantom{a}}$ be the automorphism of $U^-$ defined in Section
[1m2.2[0m. Elements that are invariant under $\overline{\phantom{a}}$ are said to
be bar-invariant. \par By results of Lusztig ([L93] Theorem 42.1.10, [L96],
Proposition 8.2), there is a unique basis ${\bf B}$ of $U^-$ with the
following properties. Firstly, all elements of ${\bf B}$ are bar-invariant.
Secondly, for any choice of reduced expression $w_0$ for the longest element
in the Weyl group, and any element $X\in{\bf B}$ we have that $X = x +\sum
\zeta_i x_i$, where $x,x_i$ are $w_0$-monomials, $x\neq x_i$ for all $i$,
and $\zeta_i\in q\mathbb{Z}[q]$. The basis ${\bf B}$ is called the canonical
basis. If we work with a fixed reduced expression for the longest element in
$W(\Phi)$, and write $X\in{\bf B}$ as above, then we say that $x$ is the
{\em principal monomial} of $X$.\par Let $\mathcal{L}$ be the
$\mathbb{Z}[q]$-lattice in $U^-$ spanned by {\bf B}. Then $\mathcal{L}$ is
also spanned by all $w_0$-monomials (where $w_0$ is a fixed reduced
expression for the longest element in $W(\Phi)$). Now let $\widetilde{w}_0$
be a second reduced expression for the longest element in $W(\Phi)$. Let $x$
be a $w_0$-monomial, and let $X$ be the element of {\bf B} with principal
monomial $x$. Write $X$ as a linear combination of
$\widetilde{w}_0$-monomials, and let $\widetilde{x}$ be the principal
monomial of that expression. Then we write $\widetilde{x} =
R_{w_0}^{\tilde{w}_0}(x)$. Note that $x = \widetilde{x} \bmod q\mathcal{L}$.
\par Now let $\mathcal{B}$ be the set of all $w_0$-monomials $\bmod
q\mathcal{L}$. Then $\mathcal{B}$ is a basis of the $\mathbb{Z}$-module
$\mathcal{L}/q\mathcal{L}$. Moreover, $\mathcal{B}$ is independent of the
choice of $w_0$. Let $\alpha\in\Delta$, and let $\widetilde{w}_0$ be a
reduced expression for the longest element in $W(\Phi)$, starting with
$s_{\alpha}$. The Kashiwara operators $\widetilde{F}_{ \alpha} :
\mathcal{B}\to \mathcal{B}$ and $\widetilde{E}_{\alpha} : \mathcal{B}\to
\mathcal{B}\cup\{0\}$ are defined as follows. Let $b\in\mathcal{B}$ and let
$x$ be the $w_0$-monomial such that $b = x \bmod q\mathcal{L}$. Set
$\widetilde{x} = R_{w_0}^ {\tilde{w}_0}(x)$. Then $\widetilde{x}'$ is the
$\widetilde{w}_0$-monomial constructed from $\widetilde{x}$ by increasing
its first exponent by $1$ (the first exponent is the $n_1$ in (\ref{eq0})).
Then $\widetilde{F}_{ \alpha}(b) = R_{\tilde{w}_0}^{w_0}(\widetilde{x}')
\bmod q\mathcal{L}$. For $\widetilde{E}_{\alpha}$ we let $\widetilde{x}'$ be
the $\widetilde{w}_0$-monomial constructed from $\widetilde{x}$ by
decreasing its first exponent by $1$, if this exponent is $\geq 1$. Then
$\widetilde{E}_{\alpha}(b) = R_{\tilde{w}_0}^{w_0}(\widetilde{x}')\bmod
q\mathcal{L}$. Furthermore, $\widetilde{E}_{\alpha}(b) =0$ if the first
exponent of $\widetilde{x}$ is $0$. It can be shown that this definition
does not depend on the choice of $w_0$, $\widetilde{w}_0$. Furthermore we
have $\widetilde{F}_{\alpha}\widetilde{E}_{\alpha}(b)=b$, if
$\widetilde{E}_{\alpha}(b)\neq 0$, and $\widetilde{E}_{\alpha}
\widetilde{F}_ {\alpha}(b)=b$ for all $b\in \mathcal{B}$.\par Let
$w_0=s_{i_1}\cdots s_{i_t}$ be a fixed reduced expression for the longest
element in $W(\Phi)$. For $b\in\mathcal{B}$ we define a sequence of elements
$b_k\in\mathcal{B}$ for $0\leq k\leq t$, and a sequence of integers $n_k$
for $1\leq k\leq t$ as follows. We set $b_0=b$, and if $b_{k-1}$ is defined
we let $n_k$ be maximal such that $\widetilde{E}_{\alpha_{i_k}}^
{n_k}(b_{k-1})\neq 0$. Also we set $b_k = \widetilde{E}_{\alpha_{i_k}}^{n_k}
(b_{k-1})$. Then the sequence $(n_1,\ldots,n_t)$ is called the {\em string}
of $b\in\mathcal{B}$ (relative to $w_0$). We note that $b=\widetilde{F}_
{\alpha_{i_1}}^{n_1}\cdots \widetilde{F}_{\alpha_{i_t}}^ {n_t}(1)$. The set
of all strings parametrizes the elements of $\mathcal{B}$, and hence of
${\bf B}$.\par Now let $V(\lambda)$ be a highest-weight module over
$U_q(\mathfrak{g})$, with highest weight $\lambda$. Let $v_{\lambda}$ be a
fixed highest weight vector. Then ${\bf B}_{\lambda} = \{ X\cdot
v_{\lambda}\mid X\in {\bf B}\} \setminus \{0\}$ is a basis of $V(\lambda)$,
called the {\em canonical basis}, or {\em crystal basis} of $V(\lambda)$.
Let $\mathcal{L}(\lambda)$ be the $\mathbb{Z}[q]$-lattice in $V(\lambda)$
spanned by ${\bf B}_{\lambda}$. We let $\mathcal{B}({\lambda})$ be the set
of all $x\cdot v_{\lambda}\bmod q\mathcal{L}(\lambda)$, where $x$ runs
through all $w_0$-monomials, such that $X\cdot v_{\lambda} \neq 0$, where
$X\in {\bf B}$ is the element with principal monomial $x$. Then the
Kashiwara operators are also viewed as maps $\mathcal{B}(\lambda)\to
\mathcal{B}(\lambda)\cup\{0\}$, in the following way. Let $b=x\cdot
v_{\lambda}\bmod q\mathcal{L}(\lambda)$ be an element of
$\mathcal{B}(\lambda)$, and let $b'=x\bmod q\mathcal{L}$ be the
corresponding element of $\mathcal{B}$. Let $y$ be the $w_0$-monomial such
that $\widetilde{F}_{\alpha}(b')=y\bmod q\mathcal{L}$. Then $\widetilde{F}_{
\alpha}(b) = y\cdot v_{\lambda} \bmod q\mathcal{L}(\lambda)$. The
description of $\widetilde{E}_{\alpha}$ is analogous. (In [J96], Chapter 9 a
different definition is given; however, by [J96], Proposition 10.9, Lemma
10.13, the two definitions agree).\par The set $\mathcal{B}(\lambda)$ has
$\dim V(\lambda)$ elements. We let $\Gamma$ be the coloured directed graph
defined as follows. The points of $\Gamma$ are the elements of
$\mathcal{B}(\lambda)$, and there is an arrow with colour $\alpha\in\Delta$
connecting $b,b'\in \mathcal{B}$, if $\widetilde{F}_{\alpha}(b)=b'$. The
graph $\Gamma$ is called the {\em crystal graph} of $V(\lambda)$.
[1m[4m[31m2.7 The path model[0m
In this section we recall some basic facts on Littelmann's path model. \par
From Section [1m2.2[0m we recall that $P$ denotes the weight lattice. Let
$P_{\mathbb{R}}$ be the vector space over $\mathbb{R}$ spanned by $P$. Let
$\Pi$ be the set of all piecewise linear paths $\xi : [0,1]\to P_{\mathbb{R}
$, such that $\xi(0)=0$. For $\alpha\in\Delta$ Littelmann defined operators
$f_{\alpha}, e_{\alpha} : \Pi \to \Pi\cup \{0\}$. Let $\lambda$ be a
dominant weight and let $\xi_{\lambda}$ be the path joining $\lambda$ and
the origin by a straight line. Let $\Pi_{\lambda}$ be the set of all nonzero
$f_{\alpha_{i_1}}\cdots f_{\alpha_{i_m}}(\xi_{\lambda})$ for $m\geq 0$. Then
$\xi(1)\in P$ for all $\xi\in \Pi_{\lambda}$. Let $\mu\in P$ be a weight,
and let $V(\lambda)$ be the highest-weight module over $U_q(\mathfrak{g})$
of highest weight $\lambda$. A theorem of Littelmann states that the number
of paths $\xi\in \Pi_{\lambda}$ such that $\xi(1)=\mu$ is equal to the
dimension of the weight space of weight $\mu$ in $V(\lambda)$ ([L95],
Theorem 9.1).\par All paths appearing in $\Pi_{\lambda}$ are so-called
Lakshmibai-Seshadri paths (LS-paths for short). They are defined as follows.
Let $\leq$ denote the Bruhat order on $W(\Phi)$. For $\mu,\nu\in
W(\Phi)\cdot \lambda$ (the orbit of $\lambda$ under the action of
$W(\Phi)$), write $\mu\leq \nu$ if $\tau\leq\sigma$, where $\tau,\sigma\in
W(\Phi)$ are the unique elements of minimal length such that
$\tau(\lambda)=\mu$, $\sigma(\lambda)= \nu$. Now a rational path of shape
$\lambda$ is a pair $\pi=(\nu,a)$, where $\nu=(\nu_1,\ldots, \nu_s)$ is a
sequence of elements of $W(\Phi)\cdot \lambda$, such that $\nu_i> \nu_{i+1}$
and $a=(a_0=0, a_1, \cdots ,a_s=1)$ is a sequence of rationals such that
$a_i <a_{i+1}$. The path $\pi$ corresponding to these sequences is given by
$$ \pi(t) =\sum_{j=1}^{r-1} (a_j-a_{j-1})\nu_j + \nu_r(t-a_{r-1})$$ for
$a_{r-1}\leq t\leq a_r$. Now an LS-path of shape $\lambda$ is a rational
path satisfying a certain integrality condition (see [L94], [L95]). We note
that the path $\xi_{\lambda} = ( (\lambda), (0,1) )$ joining the origin and
$\lambda$ by a straight line is an LS-path.\par Now from [L94], [L95] we
transcribe the following: \begin{itemize} \item Let $\pi$ be an LS-path.
Then $f_{\alpha}\pi$ is an LS-path or $0$; and the same holds for
$e_{\alpha}\pi$. \item The action of $f_{\alpha},e_{\alpha}$ can easily be
described combinatorially (see [L94]). \item The endpoint of an LS-path is
an integral weight. \item Let $\pi=(\nu,a)$ be an LS-path. Then by
$\phi(\pi)$ we denote the unique element $\sigma$ of $W(\Phi)$ of shortest
length such that $\sigma(\lambda)=\nu_1$. \end{itemize} Let $\lambda$ be a
dominant weight. Then we define a labeled directed graph $\Gamma$ as
follows. The points of $\Gamma$ are the paths in $\Pi_{\lambda}$. There is
an edge with label $\alpha\in\Delta$ from $\pi_1$ to $\pi_2$ if
$f_{\alpha}\pi_1 =\pi_2$. Now by [K96] this graph $\Gamma$ is isomorphic to
the crystal graph of the highest-weight module with highest weight
$\lambda$. So the path model provides an efficient way of computing the
crystal graph of a highest-weight module, without constructing the module
first. Also we see that $f_{\alpha_{i_1}}\cdots
f_{\alpha_{i_r}}\xi_{\lambda} =0$ is equivalent to
$\widetilde{F}_{\alpha_{i_1}}\cdots \widetilde{F}_
{\alpha_{i_r}}v_{\lambda}=0$, where $v_{\lambda}\in V(\lambda)$ is a highest
weight vector (or rather the image of it in $\mathcal{L}(\lambda)/
q\mathcal{L} (\lambda)$), and the $\widetilde{F}_{\alpha_k}$ are the
Kashiwara operators on $\mathcal{B}(\lambda)$ (see Section [1m2.6[0m).
[1m[4m[31m2.8 Notes[0m
I refer to [H90] for more information on Weyl groups, and to [S01] for an
overview of algorithms for computing with weights, Weyl groups and their
elements.\par For general introductions into the theory of quantized
enveloping algebras I refer to [C98], [J96] (from where most of the material
of this chapter is taken), [L92], [L93], [R91]. I refer to the papers by
Littelmann ([L94], [L95], [L98]) for more information on the path model. The
paper by Kashiwara ([K96]) contains a proof of the connection between path
operators and Kashiwara operators.\par Finally, I refer to [G01] (on
computing with PBW-type bases), [G02] (computation of elements of the
canonical basis) for an account of some of the algorithms used in [1mQuaGroup[0m.
distrib
>
Mandriva
>
2010.0
>
i586
>
media
>
contrib-release
>
by-pkgid
>
5e1854624d3bc613bdd0dd13d1ef9ac7
>
files
>
2776
