# Quantum group

In

mathematics andtheoretical physics ,**quantum groups**are certainnoncommutative algebra s that first appeared in the theory ofquantum integrable system s, and which were then formalized byVladimir Drinfel'd andMichio Jimbo . There is no single, all-encompassing definition of quantum group.In Drinfeld's approach, quantum groups arise as

Hopf algebra s depending on an auxiliary parameter "q" or "h", which becomeuniversal enveloping algebra s of a certain Lie algebra, frequently semisimple or affine, when "q" = 1 or "h" = 0. Distinct but related objects, also called quantum groups, are deformations of the algebra of functions on a semisimplealgebraic group or acompact Lie group .Since the discovery of quantum groups, it has become fashionable to introduce the attribute "quantum" into the names of many other mathematical objects, such as

quantum plane orquantum grassmanian . They may also be loosely referred to as aspects of "quantum groups".**Intuitive meaning**The discovery of quantum groups was quite unexpected, since it was known for a long time that compact groups and semisimple Lie algebras are "rigid" objects, in other words, cannot be deformed. One of the ideas behind quantum groups is that if we consider in some sense equivalent but larger structure, namely a group algebra or a universal enveloping algebra, then it "can" be deformed, although the deformation will no longer remain a group or enveloping algebra. More precisely, deformation can be accomplished within the category of

Hopf algebra s that are not required to be eithercommutative orcocommutative . One can think of the deformed object as an algebra of functions on a "noncommutative space", in the spirit ofAlain Connes 'noncommutative geometry . This intuition, however, came after particular classes of quantum groups had already proved their usefulness in the study of the quantumYang-Baxter equation andquantum inverse scattering method developed by the Leningrad School (Ludwig Faddeev ,Leon Takhtajan ,Evgenii Sklyanin ,Nicolai Reshetikhin and others) and related work by the Japanese School.Fact|date=March 2007**Drinfel'd-Jimbo type quantum groups**One type of objects commonly called a "quantum group" appeared in the work of Vladimir Drinfel'd and Michio Jimbo as a deformation of the

universal enveloping algebra of asemisimple Lie algebra or, more generally, aKac-Moody algebra , in the category ofHopf algebra s. The resulting algebra has additional structure, making it into aquasitriangular Hopf algebra .Let $A\; =\; (a\_\{ij\})$ be the

Cartan matrix of the Kac-Moody algebra, and let "q" be a nonzero complex number distinct from 1, then the quantum group, $U\_q(G)$, where "G" is the Lie algebra whose Cartan matrix is "A", is defined as theunital associative algebra with generators $k\_\{lambda\}$ (where $lambda$ is an element of theweight lattice , "i.e." $2\; (lambda,alpha\_i)/(alpha\_i,alpha\_i)\; in\; mathbb\{Z\}$ for all "i"), and $e\_i$ and $f\_i$ (forsimple root s, $alpha\_i$), subject to the following relations:*$k\_0\; =\; 1$,

*$k\_\{lambda\}\; k\_\{mu\}\; =\; k\_\{lambda+mu\}$,

*$k\_\{lambda\}\; e\_i\; k\_\{lambda\}^\{-1\}\; =\; q^\{(lambda,alpha\_i)\}\; e\_i$,

*$k\_\{lambda\}\; f\_i\; k\_\{lambda\}^\{-1\}\; =\; q^\{-\; (lambda,alpha\_i)\}\; f\_i$,

*$[e\_i,f\_j]\; =\; delta\_\{ij\}\; frac\{k\_i\; -\; k\_i^\{-1\{q\_i\; -\; q\_i^\{-1$,

*$sum\_\{n=0\}^\{1\; -\; a\_\{ij\; (-1)^n\; frac\{\; [1\; -\; a\_\{ij\}]\; \_\{q\_i\}!\}\{\; [1\; -\; a\_\{ij\}\; -\; n]\; \_\{q\_i\}!\; [n]\; \_\{q\_i\}!\}\; e\_i^n\; e\_j\; e\_i^\{1\; -\; a\_\{ij\}\; -\; n\}\; =\; 0$, for $i\; e\; j$,

*$sum\_\{n=0\}^\{1\; -\; a\_\{ij\; (-1)^n\; frac\{\; [1\; -\; a\_\{ij\}]\; \_\{q\_i\}!\}\{\; [1\; -\; a\_\{ij\}\; -\; n]\; \_\{q\_i\}!\; [n]\; \_\{q\_i\}!\}\; f\_i^n\; f\_j\; f\_i^\{1\; -\; a\_\{ij\}\; -\; n\}\; =\; 0$, for $i\; e\; j$,

where $k\_i\; =\; k\_\{alpha\_i\}$, $q\_i\; =\; q^\{frac\{1\}\{2\}(alpha\_i,alpha\_i)\}$, $[0]\; \_\{q\_i\}!\; =\; 1$, $[n]\; \_\{q\_i\}!\; =\; prod\_\{m=1\}^n\; [m]\; \_\{q\_i\}$ for all positive integers $n$, and $[m]\; \_\{q\_i\}\; =\; frac\{q\_i^m\; -\; q\_i^\{-m\{q\_i\; -\; q\_i^\{-1$. These are the

q-factorial andq-number , respectively, theq-analog s of the ordinaryfactorial . The last two relations above are the "q"-Serre relations, the deformations of theSerre relation s.In the limit as $q\; o\; 1$, these relations approach the relations for the universal enveloping algebra $U\_q(G)$, where $k\_\{lambda\}\; o\; 1$ and $frac\{k\_\{lambda\}\; -\; k\_\{-lambda\{q\; -\; q^\{-1\; o\; t\_\{lambda\}$ as $q\; o\; 1$, where the element, $t\_\{lambda\}$, of the Cartan subalgebra satisfies $(t\_\{lambda\},h)\; =\; lambda(h)$ for all "h" in the Cartan subalgebra.

There are various coassociative coproducts under which the quantum groups are Hopf algebras, for example,

:*$Delta\_1(k\_lambda)\; =\; k\_lambda\; otimes\; k\_lambda$, $Delta\_1(e\_i)\; =\; 1\; otimes\; e\_i\; +\; e\_i\; otimes\; k\_i$, $Delta\_1(f\_i)\; =\; k\_i^\{-1\}\; otimes\; f\_i\; +\; f\_i\; otimes\; 1$,

:*$Delta\_2(k\_lambda)\; =\; k\_lambda\; otimes\; k\_lambda$, $Delta\_2(e\_i)\; =\; k\_i^\{-1\}\; otimes\; e\_i\; +\; e\_i\; otimes\; 1$, $Delta\_2(f\_i)\; =\; 1\; otimes\; f\_i\; +\; f\_i\; otimes\; k\_i$,

:*$Delta\_3(k\_lambda)\; =\; k\_lambda\; otimes\; k\_lambda$, $Delta\_3(e\_i)\; =\; k\_i^\{-frac\{1\}\{2\; otimes\; e\_i\; +\; e\_i\; otimes\; k\_i^\{frac\{1\}\{2$, $Delta\_3(f\_i)\; =\; k\_i^\{-frac\{1\}\{2\; otimes\; f\_i\; +\; f\_i\; otimes\; k\_i^\{frac\{1\}\{2$, where the set of generators has been extended, if required, to include $k\_\{lambda\}$ for λ which is expressible as the sum of an element of the weight lattice and half an element of the

root lattice ,along with the reverse coproducts $T\; circ\; Delta$, where $T\; :\; U\_q(G)\; otimes\; U\_q(G)\; o\; U\_q(G)\; otimes\; U\_q(G)$ is given by $T(x\; otimes\; y)\; =\; y\; otimes\; x$,"i.e."

:*$Delta\_4(k\_lambda)\; =\; k\_lambda\; otimes\; k\_lambda$, $Delta\_4(e\_i)\; =\; k\_i\; otimes\; e\_i\; +\; e\_i\; otimes\; 1$, $Delta\_4(f\_i)\; =\; 1\; otimes\; f\_i\; +\; f\_i\; otimes\; k\_i^\{-1\}$, where $Delta\_4\; =\; T\; circ\; Delta\_1$,

:*$Delta\_5(k\_lambda)\; =\; k\_lambda\; otimes\; k\_lambda$, $Delta\_5(e\_i)\; =\; 1\; otimes\; e\_i\; +\; e\_i\; otimes\; k\_i^\{-1\}$, $Delta\_5(f\_i)\; =\; k\_i\; otimes\; f\_i\; +\; f\_i\; otimes\; 1$, where $Delta\_5\; =\; T\; circ\; Delta\_2$,

:*$Delta\_6(k\_lambda)\; =\; k\_lambda\; otimes\; k\_lambda$, $Delta\_6(e\_i)\; =\; k\_i^\{frac\{1\}\{2\; otimes\; e\_i\; +\; e\_i\; otimes\; k\_i^\{-frac\{1\}\{2$, $Delta\_6(f\_i)\; =\; k\_i^\{frac\{1\}\{2\; otimes\; f\_i\; +\; f\_i\; otimes\; k\_i^\{-frac\{1\}\{2$, where $Delta\_6\; =\; T\; circ\; Delta\_3$.

The

counit on $U\_q(A)$ is the same for all these coproducts: $epsilon(k\_\{lambda\})\; =\; 1$, $epsilon(e\_i)\; =\; 0$, $epsilon(f\_i)\; =\; 0$, and the respective antipodes for the above coproducts are given by:*$S\_1(k\_\{lambda\})\; =\; k\_\{-lambda\},\; S\_1(e\_i)\; =\; -\; e\_i\; k\_i^\{-1\},\; S\_1(f\_i)\; =\; -\; k\_i\; f\_i$,

:*$S\_2(k\_\{lambda\})\; =\; k\_\{-lambda\},\; S\_2(e\_i)\; =\; -\; k\_i\; e\_i,\; S\_2(f\_i)\; =\; -\; f\_i\; k\_i^\{-1\}$,

:*$S\_3(k\_\{lambda\})\; =\; k\_\{-lambda\},\; S\_3(e\_i)\; =\; -\; q\_i\; e\_i,\; S\_3(f\_i)\; =\; -\; q\_i^\{-1\}\; f\_i$,

:*$S\_4(k\_\{lambda\})\; =\; k\_\{-lambda\},\; S\_4(e\_i)\; =\; -\; k\_i^\{-1\}\; e\_i,\; S\_4(f\_i)\; =\; -\; f\_i\; k\_i$,

:*$S\_5(k\_\{lambda\})\; =\; k\_\{-lambda\},\; S\_5(e\_i)\; =\; -\; e\_i\; k\_i,\; S\_5(f\_i)\; =\; -\; k\_i^\{-1\}\; f\_i$,

:*$S\_6(k\_\{lambda\})\; =\; k\_\{-lambda\},\; S\_6(e\_i)\; =\; -\; q\_i^\{-1\}\; e\_i,\; S\_6(f\_i)\; =\; -\; q\_i\; f\_i$.

Alternatively, the quantum group $U\_q(G)$ can be regarded as an algebra over the field $\{Bbb\; C\}(q)$, the field of all

rational function s of an indeterminate "q" over $Bbb\; C$.Similarly, the quantum group $U\_q(G)$ can be regarded as an algebra over the field $\{Bbb\; Q\}(q)$, the field of all

rational function s of an indeterminate "q" over $Bbb\; Q$ (see below in the section on quantum groups at "q" = 0).**Representation Theory**Just as there are many different types of representation for Kac-Moody algebras and their universal enveloping algebras, so there are many different types of representation for quantum groups.

As is the case for all Hopf algebras, $U\_q(G)$ has an

adjoint representation on itself as a module, with the action being given by $\{mathrm\{Ad\_x.y\; =\; sum\_\{(x)\}\; x\_\{(1)\}\; y\; S(x\_\{(2)\})$, where $Delta(x)\; =\; sum\_\{(x)\}\; x\_\{(1)\}\; otimes\; x\_\{(2)\}$.**Case 1: "q" is not a**root of unity One important type of representation is a weight representation, and the corresponding module is called a weight module. A weight module is a module with a basis of weight vectors. A weight vector is a nonzero vector "v" such that $k\_\{lambda\}.v\; =\; d\_\{lambda\}\; v$ for all $lambda$, where $d\_\{lambda\}$ are complex numbers for all weights $lambda$ such that

:*$d\_0\; =\; 1$,

:*$d\_\{lambda\}\; d\_\{mu\}\; =\; d\_\{lambda\; +\; mu\}$, for all weights $lambda$ and $mu$.

A weight module is called integrable if the actions of $e\_i$ and $f\_i$ are locally nilpotent ("i.e." for any vector "v" in the module, there exists a positive integer "k", possibly dependent on "v", such that $e\_i^k.v\; =\; f\_i^k.v\; =\; 0$ for all "i"). In the case of integrable modules, the complex numbers $d\_\{lambda\}$ associated with a weight vector satisfy $d\_\{lambda\}\; =\; c\_\{lambda\}\; q^\{(lambda,\; u)\}$, where $u$ is an element of the weight lattice, and $c\_\{lambda\}$ are complex numbers such that

:*$c\_0\; =\; 1$,

:*$c\_\{lambda\}\; c\_\{mu\}\; =\; c\_\{lambda\; +\; mu\}$, for all weights $lambda$ and $mu$,

:*$c\_\{2alpha\_i\}\; =\; 1$ for all "i".

Of special interest are

highest weight representation s, and the corresponding highest weight modules. A highest weight module is a module generated by a weight vector "v", subject to $k\_\{lambda\}.v\; =\; d\_\{lambda\}\; v$ for all weights $lambda$, and $e\_i.v\; =\; 0$ for all "i". Similarly, a quantum group can have a lowest weight representation and lowest weight module, "i.e." a module generated by a weight vector "v", subject to $k\_\{lambda\}.v\; =\; d\_\{lambda\}\; v$ for all weights $lambda$, and $f\_i.v\; =\; 0$ for all "i".Define a vector "v" to have weight $u$ if $k\_\{lambda\}.v\; =\; q^\{(lambda,\; u)\}\; v$ for all $lambda$ in the weight lattice.

If "G" is a Kac-Moody algebra, then in any irreducible highest weight representation of $U\_q(G)$, with highest weight $u$, the multiplicities of the weights are equal to their multiplicities in an irreducible representation of $U(G)$ with equal highest weight. If the highest weight is dominant and integral (a weight $mu$ is dominant and integral if $mu$ satisfies the condition that $2\; (mu,alpha\_i)/(alpha\_i,alpha\_i)$ is a non-negative integer for all "i"), then the weight spectrum of the irreducible representation is invariant under the

Weyl group for "G", and the representation is integrable.Conversely, if a highest weight module is integrable, then its highest weight vector "v" satisfies $k\_\{lambda\}.v\; =\; c\_\{lambda\}\; q^\{(lambda,\; u)\}\; v$, where $c\_\{lambda\}$ are complex numbers such that

:*$c\_0\; =\; 1$,

:*$c\_\{lambda\}\; c\_\{mu\}\; =\; c\_\{lambda\; +\; mu\}$, for all weights $lambda$ and $mu$,

:*$c\_\{2alpha\_i\}\; =\; 1$ for all "i",

and $u$ is dominant and integral.

As is the case for all Hopf algebras, the

tensor product of two modules is another module. For an element "x" of $U\_q(G)$, and for vectors "v" and "w" in the respective modules, $x.(v\; otimes\; w)\; =\; Delta(x).(v\; otimes\; w)$, so that $k\_\{lambda\}.(v\; otimes\; w)\; =\; k\_\{lambda\}.v\; otimes\; k\_\{lambda\}.w$, and in the case of coproduct $Delta\_1$, $e\_i.(v\; otimes\; w)\; =\; k\_i.v\; otimes\; e\_i.w\; +\; e\_i.v\; otimes\; w$ and $f\_i.(v\; otimes\; w)\; =\; v\; otimes\; f\_i.w\; +\; f\_i.v\; otimes\; k\_i^\{-1\}.w$.The integrable highest weight module described above is a tensor product of a one-dimensional module (on which $k\_\{lambda\}\; =\; c\_\{lambda\}$ for all $lambda$, and $e\_i\; =\; f\_i\; =\; 0$ for all "i") and a highest weight module generated by a nonzero vector $v\_0$, subject to $k\_\{lambda\}.v\_0\; =\; q^\{(lambda,\; u)\}\; v\_0$ for all weights $lambda$, and $e\_i.v\_0\; =\; 0$ for all "i".

In the specific case where "G" is a finite-dimensional Lie algebra (as a special case of a Kac-Moody algebra), then the irreducible representations with dominant integral highest weights are also finite-dimensional.

In the case of a tensor product of highest weight modules, its decomposition into submodules is the same as for the tensor product of the corresponding modules of the Kac-Moody algebra (the highest weights are the same, as are their multiplicities).

**Case 2: "q" is a root of unity****Quasitriangularity****Case 1: "q" is not a root of unity**Strictly, the quantum group $U\_q(G)$ is not quasitriangular, but it can be thought of as being "nearly quasitriangular" in that there exists an infinite formal sum which plays the role of an "R"-matrix. This infinite formal sum is expressible in terms of generators $e\_i$ and $f\_i$, and Cartan generators $t\_\{lambda\}$, where $k\_\{lambda\}$ is formally identified with $q^\{t\_\{lambda$. The infinite formal sum is the product of two factors, $q^\{eta\; sum\_j\; t\_\{lambda\_j\}\; otimes\; t\_\{mu\_j$, and an infinite formal sum, where $\{lambda\_j\}$ is a basis for the dual space to the Cartan subalgebra, and $\{mu\_j\}$ is the dual basis, and $eta$ is a sign (+1 or -1).

The formal infinite sum which plays the part of the "R"-matrix has a well-defined action on the tensor product of two irreducible highest weight modules, and also on the tensor product if two lowest weight modules. Specifically, if "v" has weight $alpha$ and "w" has weight $eta$, then $q^\{eta\; sum\_j\; t\_\{lambda\_j\}\; otimes\; t\_\{mu\_j.(v\; otimes\; w)\; =\; q^\{eta\; (alpha,eta)\}\; v\; otimes\; w$, and the fact that the modules are both highest weight modules or both lowest weight modules reduces the action of the other factor on $v\; otimes\; w$ to a finite sum.

Specifically, if "V" is a highest weight module, then the formal infinite sum, "R", has a well-defined, and

invertible , action on $V\; otimes\; V$, and this value of "R" (as an element of $mathrm\{Hom\}(V)\; otimes\; mathrm\{Hom\}(V)$) satisfies theYang-Baxter equation , and therefore allows us to determine a representation of thebraid group , and to define quasi-invariants for knots, links and braids.**Case 2: "q" is a root of unity**

=Quantum groups at "q" = 0=Masaki Kashiwara has researched the limiting behaviour of quantum groups as $q\; o\; 0$.As a consequence of the defining relations for the quantum group $U\_q(G)$, $U\_q(G)$ can be regarded as a Hopf algebra over $\{Bbb\; Q\}(q)$, the field of all rational functions of an indeterminate "q" over $Bbb\; Q$.

For simple root $alpha\_i$ and non-negative integer $n$, define $e\_i^\{(n)\}\; =\; e\_i^n/\; [n]\; \_\{q\_i\}!$ and $f\_i^\{(n)\}\; =\; f\_i^n/\; [n]\; \_\{q\_i\}!$ (specifically, $e\_i^\{(0)\}\; =\; f\_i^\{(0)\}\; =\; 1$). In an integrable module $M$, and for weight $lambda$, a vector $u\; in\; M\_\{lambda\}$ ("i.e." a vector $u$ in $M$ with weight $lambda$) can be uniquely decomposed into the sums

* $u\; =\; sum\_\{n=0\}^infty\; f\_i^\{(n)\}\; u\_n\; =\; sum\_\{n=0\}^infty\; e\_i^\{(n)\}\; v\_n$,

where $u\_n\; in\; mathrm\{ker\}(e\_i)\; cap\; M\_\{lambda\; +\; n\; alpha\_i\}$, $v\_n\; in\; mathrm\{ker\}(f\_i)\; cap\; M\_\{lambda\; -\; n\; alpha\_i\}$, $u\_n\; e\; 0$ only if $n\; +\; frac\{2\; (lambda,alpha\_i)\}\{(alpha\_i,alpha\_i)\}\; ge\; 0$, and $v\_n\; e\; 0$ only if $n\; -\; frac\{2\; (lambda,alpha\_i)\}\{(alpha\_i,alpha\_i)\}\; ge\; 0$. Linear mappings $ilde\{e\}\_i\; :\; M\; o\; M$ and $ilde\{f\}\_i\; :\; M\; o\; M$ can be defined on $M\_\{lambda\}$ by

* $ilde\{e\}\_i\; u\; =\; sum\_\{n=1\}^infty\; f\_i^\{(n-1)\}\; u\_n\; =\; sum\_\{n=0\}^infty\; e\_i^\{(n+1)\}\; v\_n$,

* $ilde\{f\}\_i\; u\; =\; sum\_\{n=0\}^infty\; f\_i^\{(n+1)\}\; u\_n\; =\; sum\_\{n=1\}^infty\; e\_i^\{(n-1)\}\; v\_n$.

Let $A$ be the integral domain of all rational functions in $\{Bbb\; Q\}(q)$ which are regular at $q\; =\; 0$ ("i.e." a rational function $f(q)$ is an element of $A$ if and only if there exist polynomials $g(q)$ and $h(q)$ in the polynomial ring $\{Bbb\; Q\}\; [q]$ such that $h(0)\; e\; 0$, and $f(q)\; =\; g(q)/h(q)$). A

**crystal base**for $M$ is an ordered pair $(L,B)$, such that:*$L$ is a free $A$-submodule of $M$ such that $M\; =\; \{Bbb\; Q\}(q)\; otimes\_A\; L$;

:*$B$ is a $Bbb\; Q$-basis of the vector space $L/qL$ over $Bbb\; Q$,

:*$L\; =\; oplus\_\{lambda\}\; L\_\{lambda\}$ and $B\; =\; sqcup\_\{lambda\}\; B\_\{lambda\}$, where $L\_\{lambda\}\; =\; L\; cap\; M\_\{lambda\}$ and $B\_\{lambda\}\; =\; B\; cap\; (L\_\{lambda\}/qL\_\{lambda\})$,

:*$ilde\{e\}\_i\; L\; subset\; L$ and $ilde\{f\}\_i\; L\; subset\; L$ for all "i",

:*$ilde\{e\}\_i\; B\; subset\; B\; cup\; \{0\}$ and $ilde\{f\}\_i\; B\; subset\; B\; cup\; \{0\}$ for all "i",

:*for all $b\; in\; B$ and $b\text{'}\; in\; B$, and for all "i", $ilde\{e\}\_i\; b\; =\; b\text{'}$ if and only if $ilde\{f\}\_i\; b\text{'}\; =\; b$.

To put this into a more informal setting, the actions of $e\_i\; f\_i$ and $f\_i\; e\_i$ are generally singular at $q\; =\; 0$ on an integrable module $M$. The linear mappings $ilde\{e\}\_i$ and $ilde\{f\}\_i$ on the module are introduced so that the actions of $ilde\{e\}\_i\; ilde\{f\}\_i$ and $ilde\{f\}\_i\; ilde\{e\}\_i$ are regular at $q\; =\; 0$ on the module. There exists a $\{Bbb\; Q\}(q)$-basis of weight vectors $ilde\{B\}$ for $M$, with respect to which the actions of $ilde\{e\}\_i$ and $ilde\{f\}\_i$ are regular at $q\; =\; 0$ for all "i". The module is then restricted to the free $A$-module generated by the basis, and the basis vectors, the $A$-submodule and the actions of $ilde\{e\}\_i$ and $ilde\{f\}\_i$ are evaluated at $q\; =\; 0$. Furthermore, the basis can be chosen such that at $q\; =\; 0$, for all $i$, $ilde\{e\}\_i$ and $ilde\{f\}\_i$ are represented by mutual transposes, and map basis vectors to basis vectors or 0.

A crystal base can be represented by a directed graph with labelled edges. Each vertex of the graph represents an element of the $Bbb\; Q$-basis $B$ of $L/qL$, and a directed edge, labelled by "i", and directed from vertex $v\_1$ to vertex $v\_2$, represents that $b\_2\; =\; ilde\{f\}\_i\; b\_1$ (and, equivalently, that $b\_1\; =\; ilde\{e\}\_i\; b\_2$), where $b\_1$ is the basis element represented by $v\_1$, and $b\_2$ is the basis element represented by $v\_2$. The graph completely determines the actions of $ilde\{e\}\_i$ and $ilde\{f\}\_i$ at $q\; =\; 0$. If an integrable module has a crystal base, then the module is irreducible if and only if the graph representing the crystal base is connected (a graph is called "connected" if the set of vertices cannot be partitioned into the union of nontrivial disjoint subsets $V\_1$ and $V\_2$ such that there are no edges joining any vertex in $V\_1$ to any vertex in $V\_2$).

For any integrable module with a crystal base, the weight spectrum for the crystal base is the same as the weight spectrum for the module, and therefore the weight spectrum for the crystal base is the same as the weight spectrum for the corresponding module of the appropriate Kac-Moody algebra. The multiplicities of the weights in the crystal base are also the same as their multiplicities in the corresponding module of the appropriate Kac-Moody algebra.

It is a theorem of Kashiwara that every integrable highest weight module has a crystal base. Similarly, every integrable lowest weight module has a crystal base.

**Tensor products of crystal bases**Let $M$ be an integrable module with crystal base $(L,B)$ and $M\text{'}$ be an integrable module with crystal base $(L\text{'},B\text{'})$. For crystal bases, the coproduct $Delta$, given by $Delta(k\_\{lambda\})\; =\; k\_\{lambda\}\; otimes\; k\_\{lambda\},\; Delta(e\_i)\; =\; e\_i\; otimes\; k\_i^\{-1\}\; +\; 1\; otimes\; e\_i,\; Delta(f\_i)\; =\; f\_i\; otimes\; 1\; +\; k\_i\; otimes\; f\_i$, is adopted. The integrable module $M\; otimes\_$Bbb Q}(q)} M' has crystal base $(L\; otimes\_A\; L\text{'},B\; otimes\; B\text{'})$, where $B\; otimes\; B\text{'}\; =\; \{\; b\; otimes\_\{Bbb\; Q\}\; b\text{'}\; :\; b\; in\; B,\; b\text{'}\; in\; B\text{'}\; \}$. For a basis vector $b\; in\; B$, define $epsilon\_i(b)\; =\; mathrm\{max\}\{\; n\; ge\; 0\; :\; ilde\{e\}\_i^n\; b\; e\; 0\; \}$ and $phi\_i(b)\; =\; mathrm\{max\}\{\; n\; ge\; 0\; :\; ilde\{f\}\_i^n\; b\; e\; 0\; \}$. The actions of $ilde\{e\}\_i$ and $ilde\{f\}\_i$ on $b\; otimes\; b\text{'}$ are given by

:*$ilde\{e\}\_i\; (b\; otimes\; b\text{'})\; =\; left\{\; egin\{matrix\}\; ilde\{e\}\_i\; b\; otimes\; b\text{'},\; mathrm\{if\}\; phi\_i(b)\; ge\; epsilon\_i(b\text{'}),\; \backslash \; b\; otimes\; ilde\{e\}\_i\; b\text{'},\; mathrm\{if\}\; phi\_i(b)\; epsilon\_i(b\text{'}),\; end\{matrix\}\; ight.$

:*$ilde\{f\}\_i\; (b\; otimes\; b\text{'})\; =\; left\{\; egin\{matrix\}\; ilde\{f\}\_i\; b\; otimes\; b\text{'},\; mathrm\{if\}\; phi\_i(b)\; epsilon\_i(b\text{'}),\; \backslash \; b\; otimes\; ilde\{f\}\_i\; b\text{'},\; mathrm\{if\}\; phi\_i(b)\; le\; epsilon\_i(b\text{'}).\; end\{matrix\}\; ight.$

The decomposition of the product two integrable highest weight modules into irreducible submodules is determined by the decomposition of the graph of the crystal base into its connected components ("i.e." the highest weights of the submodules are determined, and the multiplicity of each highest weight is determined).

**Compact matrix quantum groups**S.L. Woronowicz introduced compact matrix quantum groups. Compact matrix quantum groups are abstract structures on which the "continuous functions" on the structure are given by elements of aC*-algebra . The geometry of a compact matrix quantum group is a special case of anoncommutative geometry .The continuous complex-valued functions on a compact Hausdorff topological space form a commutative C*-algebra. By the Gelfand theorem, a commutative C*-algebra is isomorphic to the C*-algebra of continuous complex-valued functions on a compact Hausdorff topological space, and the topological space is uniquely determined by the C*-algebra up to

homeomorphism .For a compact

topological group , "G", there exists a C*-algebra homomorphism $Delta\; :\; C(G)\; o\; C(G)\; otimes\; C(G)$ (where $C(G)\; otimes\; C(G)$ is the C*-algebra tensor product - the completion of the algebraic tensor product of $C(G)$ and $C(G)$), such that $Delta(f)(x,y)\; =\; f(xy)$ for all $f\; in\; C(G)$, and for all $x,\; y\; in\; G$ (where $(f\; otimes\; g)(x,y)\; =\; f(x)\; g(y)$ for all $f,\; g\; in\; C(G)$ and all $x,\; y\; in\; G$). There also exists a linear multiplicative mapping $kappa\; :\; C(G)\; o\; C(G)$, such that $kappa(f)(x)\; =\; f(x^\{-1\})$ for all $f\; in\; C(G)$ and all $x\; in\; G$. Strictly, this does not make $C(G)$ a Hopf algebra, unless "G" is finite. On the other hand, a finite-dimensional representation of "G" can be used to generate a *-subalgebra of $C(G)$ which is also a Hopf *-algebra. Specifically, if $g\; mapsto\; (u\_\{ij\}(g))\_\{i,j\}$ is an $n$-dimensional representation of $G$, then $u\_\{ij\}\; in\; C(G)$ for all $i,\; j$, and $Delta(u\_\{ij\})\; =\; sum\_k\; u\_\{ik\}\; otimes\; u\_\{kj\}$ for all $i,\; j$. It follows that the *-algebra generated by $u\_\{ij\}$ for all $i,\; j$ and $kappa(u\_\{ij\})$ for all $i,\; j$ is a Hopf *-algebra: the counit is determined by $epsilon(u\_\{ij\})\; =\; delta\_\{ij\}$ for all $i,\; j$ (where $delta\_\{ij\}$ is theKronecker delta ), the antipode is $kappa$, and the unit is given by $1\; =\; sum\_k\; u\_\{1k\}\; kappa(u\_\{k1\})\; =\; sum\_k\; kappa(u\_\{1k\})\; u\_\{k1\}.$As a generalization, a compact matrix quantum group is defined as a pair $(C,u)$, where $C$ is a C*-algebra and $u\; =\; (u\_\{ij\})\_\{i,j\; =\; 1,dots,n\}$ is a matrix with entries in $C$ such that

:*The *-subalgebra, $C\_0$, of $C$, which is generated by the matrix elements of $u$, is dense in $C$;

:*There exists a C*-algebra homomorphism $Delta\; :\; C\; o\; C\; otimes\; C$ (where $C\; otimes\; C$ is the C*-algebra tensor product - the completion of the algebraic tensor product of $C$ and $C$) such that $Delta(u\_\{ij\})\; =\; sum\_k\; u\_\{ik\}\; otimes\; u\_\{kj\}$ for all $i,\; j$ ($Delta$ is called the comultiplication);

:*There exists a linear antimultiplicative map $kappa\; :\; C\_0\; o\; C\_0$ (the coinverse) such that $kappa(kappa(v*)*)\; =\; v$ for all $v\; in\; C\_0$ and $sum\_k\; kappa(u\_\{ik\})\; u\_\{kj\}\; =\; sum\_k\; u\_\{ik\}\; kappa(u\_\{kj\})\; =\; delta\_\{ij\}\; I,$ where $I$ is the identity element of $C$. Since $kappa$ is antimultiplicative, then $kappa(vw)\; =\; kappa(w)\; kappa(v)$ for all $v,\; w\; in\; C\_0$.

As a consequence of continuity, the comultiplication on $C$ is coassociative.

In general, $C$ is not a bialgebra, and $C\_0$ is a Hopf *-algebra.

Informally, $C$ can be regarded as the *-algebra of continuous complex-valued functions over the compact matrix quantum group, and $u$ can be regarded as a finite-dimensional representation of the compact matrix quantum group.

A representation of the compact matrix quantum group is given by a corepresentation of the Hopf *-algebra (a corepresentation of a counital coassiative coalgebra $A$ is a square matrix $v\; =\; (v\_\{ij\})\_\{i,j\; =\; 1,dots,n\}$ with entries in $A$ (so $v\; in\; M\_n(A)$) such that $Delta(v\_\{ij\})\; =\; sum\_\{k=1\}^n\; v\_\{ik\}\; otimes\; v\_\{kj\}$ for all $i,\; j$ and $epsilon(v\_\{ij\})\; =\; delta\_\{ij\}$ for all $i,\; j$). Furthermore, a representation, "v", is called unitary if the matrix for "v" is unitary (or equivalently, if $kappa(v\_\{ij\})\; =\; v^*\_\{ji\}$ for all "i", "j").

An example of a compact matrix quantum group is $SU\_\{mu\}(2)$, where the parameter $mu$ is a positive real number. So $SU\_\{mu\}(2)\; =\; (C(SU\_\{mu\}(2),u)$, where $C(SU\_\{mu\}(2))$ is the C*-algebra generated by $alpha$ and $gamma$,subject to

:$gamma\; gamma^*\; =\; gamma^*\; gamma,\; alpha\; gamma\; =\; mu\; gamma\; alpha,\; alpha\; gamma^*\; =\; mu\; gamma^*\; alpha,\; alpha\; alpha^*\; +\; mu\; gamma^*\; gamma\; =\; alpha^*\; alpha\; +\; mu^\{-1\}\; gamma^*\; gamma\; =\; I,$

and $u\; =\; left(\; egin\{matrix\}\; alpha\; gamma\; \backslash \; -\; gamma^*\; alpha^*\; end\{matrix\}\; ight),$ so that the comultiplication is determined by $Delta(alpha)\; =\; alpha\; otimes\; alpha\; -\; gamma\; otimes\; gamma^*$, $Delta(gamma)\; =\; alpha\; otimes\; gamma\; +\; gamma\; otimes\; alpha^*$, and the coinverse is determined by $kappa(alpha)\; =\; alpha^*$, $kappa(gamma)\; =\; -\; mu^\{-1\}\; gamma$, $kappa(gamma^*)\; =\; -\; mu\; gamma^*$, $kappa(alpha^*)\; =\; alpha$. Note that $u$ is a representation, but not a unitary representation. $u$ is equivalent to the unitary representation $v\; =\; left(\; egin\{matrix\}\; alpha\; sqrt\{mu\}\; gamma\; \backslash \; -\; frac\{1\}\{sqrt\{mu$ gamma^* & alpha^* end{matrix} ight).

Equivalently, $SU\_\{mu\}(2)\; =\; (C(SU\_\{mu\}(2),w)$, where $C(SU\_\{mu\}(2))$ is the C*-algebra generated by $alpha$ and $eta$,subject to

:$eta\; eta^*\; =\; eta^*\; eta,\; alpha\; eta\; =\; mu\; eta\; alpha,\; alpha\; eta^*\; =\; mu\; eta^*\; alpha,\; alpha\; alpha^*\; +\; mu^2\; eta^*\; eta\; =\; alpha^*\; alpha\; +\; eta^*\; eta\; =\; I,$

and $w\; =\; left(\; egin\{matrix\}\; alpha\; mu\; eta\; \backslash \; -\; eta^*\; alpha^*\; end\{matrix\}\; ight),$ so that the comultiplication is determined by $Delta(alpha)\; =\; alpha\; otimes\; alpha\; -\; mu\; eta\; otimes\; eta^*$, $Delta(eta)\; =\; alpha\; otimes\; eta\; +\; eta\; otimes\; alpha^*$, and the coinverse is determined by $kappa(alpha)\; =\; alpha^*$, $kappa(eta)\; =\; -\; mu^\{-1\}\; eta$, $kappa(eta^*)\; =\; -\; mu\; eta^*$, $kappa(alpha^*)\; =\; alpha$. Note that $w$ is a unitary representation. The realizations can be identified by equating $gamma\; =\; sqrt\{mu\}\; eta$.

When $mu\; =\; 1$, then $SU\_\{mu\}(2)$ is equal to the concrete compact group $SU(2)$.

**ee also***

Lie bialgebra

*Poisson-Lie group

*Affine quantum group **References*** [

*http://arxiv.org/abs/q-alg/9704002 Elementary introduction to quantum groups*]

* Christian Kassel. "Quantum Groups" (Springer: 1994). ISBN 0-387-94370-6.

* Shahn Majid, N. J. Hitchin (series editor). "A Quantum Groups Primer" (Cambridge University Press: 2002). ISBN 0-521-01041-1.

* Ross Street, "Quantum Groups: A Path to Current Algebra" (Cambridge University Press: 2007). ISBN 0-521-69524-4

* cite journal

last = Majid

first = Shahn

title = What Is...a Quantum Group?

journal =Notices of the American Mathematical Society

year = 2006

month = January

volume = 53

issue = 1

pages = pp.30–31

url = http://www.ams.org/notices/200601/what-is.pdf

format =PDF

accessdate = 2008-01-16

*Wikimedia Foundation.
2010.*

### Look at other dictionaries:

**Quantum Group of Funds**— The Quantum Group of Funds are privately owned hedge funds based on Curaçao (Netherlands Antilles) and Cayman Islands. They are currently advised by George Soros through his company Soros Fund Management. Soros started the fund in the early 1970… … Wikipedia**Compact quantum group**— In mathematics, a compact quantum group is an abstract structure on a unital separable C* algebra axiomatized from those that exist on the commutative C* algebra of continuous complex valued functions on a compact quantum group. The basic… … Wikipedia**Locally compact quantum group**— The locally compact (l.c.) quantum group is a relatively new C* algebraic formalism for quantum groups, generalizing the Kac algebra, compact quantum group and Hopf algebra approaches. Earlier attempts of a unifying definition of quantum groups… … Wikipedia**Affine quantum group**— is a common name of several objects in representation theory, which include Yangians and quantized universal enveloping algebras of affine Kac Moody Lie algebras (quantized affine algebras).Affine quantum groups were introduced by Vladimir… … Wikipedia**Supersymmetry as a quantum group**— The concept in theoretical physics of supersymmetry can be reinterpretated in the language of noncommutative geometry and quantum groups. In particular, it involves a mild form of noncommutativity, namely supercommutativity. ( 1)F Let s look at… … Wikipedia**Group (mathematics)**— This article covers basic notions. For advanced topics, see Group theory. The possible manipulations of this Rubik s Cube form a group. In mathematics, a group is an algebraic structure consisting of a set together with an operation that combines … Wikipedia**Quantum number**— Quantum numbers describe values of conserved numbers in the dynamics of the quantum system. They often describe specifically the energies of electrons in atoms, but other possibilities include angular momentum, spin etc.Since any quantum system… … Wikipedia**Quantum mind**— theories are based on the premise that quantum mechanics is necessary to fully understand the mind and brain, particularly concerning an explanation of consciousness. This approach is considered a minority opinion in science, although it does… … Wikipedia**Quantum information science**— concerns information science that depends on quantum effects in physics. It includes theoretical issues in computational models as well as more experimental topics in quantum physics including what can and cannot be done with quantum information … Wikipedia**Quantum error correction**— is used in quantum computing to protect quantum information from errors due to decoherence and other quantum noise. Quantum error correction is essential if one is to achieve fault tolerant quantum computation that can deal not only with noise on … Wikipedia