|
|
| Line 1: |
Line 1: |
| {{Group theory sidebar}}
| |
|
| |
|
| In [[mathematics]] and [[theoretical physics]], the term '''quantum group''' denotes various kinds of [[noncommutative algebra]] with additional structure. In general, a quantum group is some kind of [[Hopf algebra]]. There is no single, all-encompassing definition, but instead a family of broadly similar objects.
| |
|
| |
|
| The term "quantum group" often denotes a kind of [[noncommutative algebra]] with additional structure that first appeared in the theory of [[Integrable system#Quantum integrable systems|quantum integrable systems]], and which was then formalized by [[Vladimir Drinfeld]] and [[Michio Jimbo]] as a particular class of [[Hopf algebra]]. The same term is also used for other Hopf algebras that deform or are close to classical [[Lie groups]] or [[Lie algebras]], such as a `bicrossproduct' class of quantum groups introduced by Shahn Majid a little after the work of Drinfeld and Jimbo.
| | Jerrie is what you would call me but My family and i don't like when some individuals use my full identify. My husband and I chose to live a life in Massachusetts. What I love doing is always to play croquet together with now I have a chance to take on new things. The job I've been [http://search.Un.org/search?ie=utf8&site=un_org&output=xml_no_dtd&client=UN_Website_en&num=10&lr=lang_en&proxystylesheet=UN_Website_en&oe=utf8&q=occupying&Submit=Go occupying] suitable for years is an rule clerk. See what's new on your website here: http://circuspartypanama.com<br><br>My web-site ... [http://circuspartypanama.com clash of clans gold glitch] |
| | |
| In Drinfeld's approach, quantum groups arise as [[Hopf algebra]]s depending on an auxiliary parameter ''q'' or ''h'', which become [[universal enveloping algebra]]s of a certain Lie algebra, frequently [[semisimple Lie algebra|semisimple]] or [[affine Lie algebra|affine]], when ''q'' = 1 or ''h'' = 0. Closely related are certain dual objects, also Hopf algebras and also called quantum groups, deforming the algebra of functions on the corresponding semisimple [[algebraic group]] or a [[compact Lie group]].
| |
| | |
| Just as groups often appear as symmetries, quantum groups act on many other mathematical objects and it has become fashionable to introduce the adjective ''quantum'' in such cases; for example there are [[quantum plane]]s and [[quantum Grassmannian]]s.
| |
| | |
| == 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, they cannot be "deformed". One of the ideas behind quantum groups is that if we consider a structure that is in a sense equivalent but larger, namely a group algebra or a universal enveloping algebra, then a group or enveloping algebra 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 either [[commutative]] or [[cocommutative]]. One can think of the deformed object as an algebra of functions on a "noncommutative space", in the spirit of the [[noncommutative geometry]] of [[Alain Connes]]. This intuition, however, came after particular classes of quantum groups had already proved their usefulness in the study of the quantum [[Yang-Baxter equation]] and [[quantum inverse scattering method]] developed by the Leningrad School ([[Ludwig Faddeev]], Leon Takhtajan, Evgenii Sklyanin, [[Nicolai Reshetikhin]] and [[Vladimir Korepin|Korepin]]) and related work by the Japanese School.<ref>{{citation|first=Christian|last=Schwiebert|title=Generalized quantum inverse scattering|year=1994|id=|arxiv=hep-th/9412237v3|bibcode = 1994hep.th...12237S|pages=12237 }}</ref> The intuition behind the second, bicrossproduct, class of quantum groups was different and came from the search for self-dual objects as an approach to [[quantum gravity]].<ref>{{citation|first=Shahn|last=Majid|title=Hopf algebras for physics at the Planck scale|year=1988|journal=Classical and Quantum Gravity|volume= 5|pages=1587–1607|doi=10.1088/0264-9381/5/12/010|bibcode=1988CQGra...5.1587M|issue=12}}</ref>
| |
| | |
| ==Drinfeld-Jimbo type quantum groups==
| |
| One type of objects commonly called a "quantum group" appeared in the work of Vladimir Drinfeld and Michio Jimbo as a deformation of the [[universal enveloping algebra]] of a [[semisimple Lie algebra]] or, more generally, a [[Kac-Moody algebra]], in the category of [[Hopf algebra]]s. The resulting algebra has additional structure, making it into a [[quasitriangular Hopf algebra]].
| |
| | |
| Let ''A'' = (''a<sub>ij</sub>'') 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<sub>q</sub>(G)'', where ''G'' is the Lie algebra whose Cartan matrix is ''A'', is defined as the [[unital algebra|unital]] [[associative algebra]] with generators ''k''<sub>λ</sub> (where λ is an element of the [[weight lattice]], i.e. 2(λ, α<sub>''i''</sub>)/(α<sub>''i''</sub>, α<sub>''i''</sub>) is an integer for all ''i''), and ''e<sub>i</sub>'' and ''f<sub>i</sub>'' (for [[simple root (polynomial)|simple root]]s, α<sub>''i''</sub>), subject to the following relations:
| |
| | |
| *<math>k_0 = 1</math>,
| |
| *<math>k_{\lambda} k_{\mu} = k_{\lambda+\mu}</math>,
| |
| *<math>k_{\lambda} e_i k_{\lambda}^{-1} = q^{(\lambda,\alpha_i)} e_i</math>,
| |
| *<math>k_{\lambda} f_i k_{\lambda}^{-1} = q^{- (\lambda,\alpha_i)} f_i</math>,
| |
| *<math>[e_i,f_j] = \delta_{ij} \frac{k_i - k_i^{-1}}{q_i - q_i^{-1}}</math>,
| |
| *If ''i'' ≠ ''j'' then:
| |
| ::<math>\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,</math>
| |
| ::<math>\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.</math>
| |
| | |
| where <math>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}</math> for all positive integers ''n'', and <math>[m]_{q_i} = \frac{q_i^m - q_i^{-m}}{q_i - q_i^{-1}}.</math> These are the [[q-factorial]] and [[q-number]], respectively, the [[q-analog]]s of the ordinary [[factorial]]. The last two relations above are the ''q''-Serre relations, the deformations of the [[Jean-Pierre Serre|Serre]] relations.
| |
| | |
| In the limit as ''q'' → 1, these relations approach the relations for the universal enveloping algebra ''U(G)'', where ''k''<sub>λ</sub> → 1 and <math>\frac{k_{\lambda} - k_{-\lambda}}{q - q^{-1}} \to t_{\lambda}</math> as ''q'' → 1, where the element, ''t''<sub>λ</sub>, of the Cartan subalgebra satisfies (''t''<sub>λ</sub>, ''h'') = λ(''h'') for all ''h'' in the Cartan subalgebra.
| |
| | |
| There are various [[coalgebra|coassociative coproducts]] under which these algebras are Hopf algebras, for example,
| |
| | |
| :*<math>\Delta_1(k_\lambda) = k_\lambda \otimes k_\lambda</math>,
| |
| :*<math>\Delta_1(e_i) = 1 \otimes e_i + e_i \otimes k_i</math>,
| |
| :*<math>\Delta_1(f_i) = k_i^{-1} \otimes f_i + f_i \otimes 1</math>,
| |
| :*<math>\Delta_2(k_\lambda) = k_\lambda \otimes k_\lambda</math>,
| |
| :*<math>\Delta_2(e_i) = k_i^{-1} \otimes e_i + e_i \otimes 1</math>,
| |
| :*<math>\Delta_2(f_i) = 1 \otimes f_i + f_i \otimes k_i</math>,
| |
| :*<math>\Delta_3(k_\lambda) = k_\lambda \otimes k_\lambda</math>,
| |
| :*<math>\Delta_3(e_i) = k_i^{-\frac{1}{2}} \otimes e_i + e_i \otimes k_i^{\frac{1}{2}}</math>,
| |
| :*<math>\Delta_3(f_i) = k_i^{-\frac{1}{2}} \otimes f_i + f_i \otimes k_i^{\frac{1}{2}}</math>,
| |
| | |
| where the set of generators has been extended, if required, to include ''k''<sub>λ</sub> for λ which is expressible as the sum of an element of the weight lattice and half an element of the [[root lattice]].
| |
| | |
| In addition, any Hopf algebra leads to another with reversed coproduct ''T'' <small> o </small> Δ, where ''T'' is given by ''T(x ⊗ y)'' = ''y ⊗ x'', giving three more possible versions.
| |
| | |
| The [[counit]] on ''U<sub>q</sub>(A)'' is the same for all these coproducts: ε(''k''<sub>λ</sub>) = 1, ε(''e<sub>i</sub>'') = ε(''f<sub>i</sub>'') = 0, and the respective [[Hopf algebra|antipodes]] for the above coproducts are given by
| |
| | |
| :*<math>S_1(k_{\lambda}) = k_{-\lambda},\ S_1(e_i) = - e_i k_i^{-1},\ S_1(f_i) = - k_i f_i</math>,
| |
| :*<math>S_2(k_{\lambda}) = k_{-\lambda},\ S_2(e_i) = - k_i e_i,\ S_2(f_i) = - f_i k_i^{-1}</math>,
| |
| :*<math>S_3(k_{\lambda}) = k_{-\lambda},\ S_3(e_i) = - q_i e_i,\ S_3(f_i) = - q_i^{-1} f_i.</math>
| |
| | |
| Alternatively, the quantum group ''U<sub>q</sub>(G)'' can be regarded as an algebra over the field '''C'''(''q''), the field of all [[rational function]]s of an indeterminate ''q'' over '''C'''.
| |
| | |
| Similarly, the quantum group ''U<sub>q</sub>(G)'' can be regarded as an algebra over the field '''Q'''(''q''), the field of all [[rational function]]s of an indeterminate ''q'' over '''Q''' (see below in the section on quantum groups at ''q'' = 0). The center of quantum group can be described by quantum determinant.
| |
| | |
| ===Representation theory===
| |
| Just as there are many different types of representations 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<sub>q</sub>(G)'' has an [[adjoint endomorphism|adjoint representation]] on itself as a module, with the action being given by
| |
| :<math>{\mathrm{Ad}}_x \cdot y = \sum_{(x)} x_{(1)} y S(x_{(2)}),</math>
| |
| where
| |
| :<math>\Delta(x) = \sum_{(x)} x_{(1)} \otimes x_{(2)}</math>.
| |
| | |
| ====Case 1: ''q'' is not a root of unity====
| |
| One important type of representation is a weight representation, and the corresponding [[Module (mathematics)|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''<sub>λ</sub> · ''v'' = ''d''<sub>λ</sub>''v'' for all λ, where ''d''<sub>λ</sub> are complex numbers for all weights λ such that
| |
| | |
| :*<math>d_0 = 1</math>,
| |
| :*<math>d_{\lambda} d_{\mu} = d_{\lambda + \mu}</math>, for all weights λ and μ.
| |
| | |
| A weight module is called integrable if the actions of ''e<sub>i</sub>'' and ''f<sub>i</sub>'' are locally nilpotent (''i.e.'' for any vector ''v'' in the module, there exists a positive integer ''k'', possibly dependent on ''v'', such that <math>e_i^k.v = f_i^k.v = 0</math> for all ''i''). In the case of integrable modules, the complex numbers ''d''<sub>λ</sub> associated with a weight vector satisfy <math>d_{\lambda} = c_{\lambda} q^{(\lambda,\nu)}</math>, where ν is an element of the weight lattice, and ''c''<sub>λ</sub> are complex numbers such that
| |
| | |
| :*<math>c_0 = 1,\,</math>
| |
| :*<math>c_{\lambda} c_{\mu} = c_{\lambda + \mu}</math>, for all weights λ and μ,
| |
| :*<math>c_{2\alpha_i} = 1</math> 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''<sub>λ</sub> · ''v'' = ''d''<sub>λ</sub>''v'' for all weights μ, and ''e<sub>i</sub>'' · ''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''<sub>λ</sub> · ''v'' = ''d''<sub>λ</sub>''v'' for all weights λ, and ''f<sub>i</sub>'' · ''v'' = 0 for all ''i''.
| |
| | |
| Define a vector ''v'' to have weight ν if <math>k_{\lambda}.v = q^{(\lambda,\nu)} v</math> for all λ in the weight lattice.
| |
| | |
| If ''G'' is a Kac-Moody algebra, then in any irreducible highest weight representation of ''U<sub>q</sub>(G)'', with highest weight ν, 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 μ is dominant and integral if μ satisfies the condition that <math>2 (\mu,\alpha_i)/(\alpha_i,\alpha_i)</math> 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 <math>k_{\lambda}.v = c_{\lambda} q^{(\lambda,\nu)} v</math>, where ''c''<sub>λ</sub> · ''v'' = ''d''<sub>λ</sub>''v'' are complex numbers such that
| |
| | |
| :*<math>c_0 = 1</math>,
| |
| :*<math>c_{\lambda} c_{\mu} = c_{\lambda + \mu}</math>, for all weights λ and μ,
| |
| :*<math>c_{2\alpha_i} = 1</math> for all ''i'',
| |
| | |
| and ''ν'' 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<sub>q</sub>(G)'', and for vectors ''v'' and ''w'' in the respective modules, ''x'' ⋅ ''(v ⊗ w)'' = ''Δ(x) ⋅ (v ⊗ w)'', so that <math>k_{\lambda}.(v \otimes w) = k_{\lambda}.v \otimes k_{\lambda}.w</math>, and in the case of coproduct Δ<sub>1</sub>, <math>e_i.(v \otimes w) = k_i.v \otimes e_i.w + e_i.v \otimes w</math> and <math>f_i.(v \otimes w) = v \otimes f_i.w + f_i.v \otimes k_i^{-1}.w</math>.
| |
| | |
| The integrable highest weight module described above is a tensor product of a one-dimensional module (on which ''k''<sub>λ</sub> = ''c''<sub>λ</sub> for all λ, and ''e<sub>i</sub>'' = ''f<sub>i</sub>'' = 0 for all ''i'') and a highest weight module generated by a nonzero vector ''v''<sub>0</sub>, subject to <math>k_{\lambda}.v_0 = q^{(\lambda,\nu)} v_0</math> for all weights λ, and <math>e_i.v_0 = 0</math> 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====
| |
| <!--- This subsubsection is waiting for input --->
| |
| | |
| ===Quasitriangularity===
| |
| | |
| ====Case 1: ''q'' is not a root of unity====
| |
| Strictly, the quantum group ''U<sub>q</sub>(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<sub>i</sub>'' and ''f<sub>i</sub>'', and Cartan generators ''t''<sub>λ</sub>, where ''k''<sub>λ</sub> is formally identified with ''q''<sup>''t''<sub>λ</sub></sup>. The infinite formal sum is the product of two factors,
| |
| :<math>q^{\eta \sum_j t_{\lambda_j} \otimes t_{\mu_j}}</math>,
| |
| and an infinite formal sum, where λ<sub>''j''</sub> is a basis for the dual space to the Cartan subalgebra, and μ<sub>''j''</sub> is the dual basis, and η = ±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 α and ''w'' has weight β, then
| |
| :<math>q^{\eta \sum_j t_{\lambda_j} \otimes t_{\mu_j}}.(v \otimes w) = q^{\eta (\alpha,\beta)} v \otimes w</math>,
| |
| 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'' ⊗ ''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'' ⊗ ''V'', and this value of ''R'' (as an element of End(''V'' ⊗ ''V'')) satisfies the [[Yang-Baxter equation]], and therefore allows us to determine a representation of the [[braid group]], and to define quasi-invariants for [[knot (mathematics)|knots]], [[link (knot theory)|links]] and [[braid theory|braids]].
| |
| | |
| ====Case 2: ''q'' is a root of unity====
| |
| <!--- This subsubsection is waiting for input --->
| |
| | |
| ===Quantum groups at ''q'' = 0===
| |
| {{main|Crystal base}}
| |
| | |
| [[Masaki Kashiwara]] has researched the limiting behaviour of quantum groups as ''q'' → 0, and found a particularly well behaved base called a [[crystal base]].
| |
| | |
| ===Description and classification by root-systems and Dynkin diagrams===
| |
| There has been considerable progress in describing finite quotients of quantum groups such as the above ''U<sub>q</sub>''('''g''') for ''q<sup>n</sup>'' =1; one usually considers the class of '''pointed''' [[Hopf algebras]], meaning that all subcoideals are 1-dimensional and thus there sum form a group called '''coradical''':
| |
| * In 2002 H.-J. Schneider and N. Andruskiewitsch <ref>Andruskiewitsch, Schneider: Pointed Hopf algebras, New directions in Hopf algebras, 1–68, Math. Sci. Res. Inst. Publ., 43, Cambridge Univ. Press, Cambridge, 2002.</ref> finished their long-term classification effort of pointed Hopf algebras with coradical an abelian group (excluding primes 2, 3, 5, 7), especially as the above finite quotients of ''U<sub>q</sub>''('''g''') Just like ordinary [[Semisimple Lie algebra]] they decompose into ''E''´s (Borel part), dual ''F''´s and ''K''´s (Cartan algebra):
| |
| | |
| ::::<math>\left(\mathfrak{B}(V)\otimes k[\mathbf{Z}^n]\otimes\mathfrak{B}(V^*)\right)^\sigma</math>
| |
| | |
| ::Here, as in the classical theory ''V'' is a [[braided vector space]] of dimension ''n'' spanned by the ''E''´s, and σ (a so-called cocylce twist) creates the nontrivial '''linking''' between ''E''´s and ''F''´s. Note that in contrast to classical theory, more than two linked components may appear. The role of the '''quantum Borel algebra''' is taken by a [[Nichols algebra]] <math>\mathfrak{B}(V)</math> of the braided vectorspace. [[File:Dynkin4A3lift.png|thumb|generalized Dynkin diagram for a pointed Hopf algebra linking four A3 copies]]
| |
| * A crucial ingredient was hence the [[Nichols algebra|classification of finite Nichols algebras]] for '''abelian groups''' by I. Heckenberger <ref>Heckenberger: Nichols algebras of diagonal type and arithmetic root systems, Habilitation thesis 2005.</ref> in terms of generalized [[Dynkin diagram]]s. When small primes are present, some exotic examples, such as a triangle, occur (see also the Figure of a rank 3 Dankin diagram).
| |
| [[File:Dynkin Diagram Triangle.jpg|thumb|A rank 3 Dynkin diagram associated to a finite-dimensional Nichols algebra]]
| |
| * In the meanwhile, Schneider and Heckenberger<ref>Heckenberger, Schneider: Root system and Weyl gruppoid for Nichols algebras, 2008.</ref> have generally proven the existence of an '''arithmetic''' [[root system]] also in then nonabelian case, generating a [[Poincare-Birkhoff-Witt theorem|PBW basis]] as proven by Kharcheko in the abelian case (without the assumption on finite dimension).This could recently be used<ref>Heckenberger, Schneider: Right coideal subalgebras of Nichols algebras and the Duflo order of the Weyl grupoid, 2009.</ref> on the specific cases ''U<sub>q</sub>''('''g''') and explains e.g. the numerical coincidence between certain coideal subalgebras of these quantum groups to the order of the [[Weyl group]] of the [[Lie algebra]] '''g'''.
| |
| | |
| ==Compact matrix quantum groups==
| |
| See also [[compact quantum group]].
| |
| | |
| [[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 a [[C*-algebra]]. The geometry of a compact matrix quantum group is a special case of a [[noncommutative geometry]].
| |
| | |
| The continuous complex-valued functions on a compact Hausdorff topological space form a commutative C*-algebra. By the [[Gelfand representation|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 Δ: ''C(G)'' → ''C(G)'' ⊗ ''C(G)'' (where ''C(G)'' ⊗ ''C(G)'' is the C*-algebra tensor product - the completion of the algebraic tensor product of ''C(G)'' and ''C(G)''), such that ''Δ(f)(x, y)'' = ''f(xy)'' for all ''f'' ∈ ''C(G)'', and for all ''x, y'' ∈ ''G'' (where (''f'' ⊗ ''g'')(''x, y'') = ''f(x)g(y)'' for all ''f, g'' ∈ ''C(G)'' and all ''x, y'' ∈ ''G''). There also exists a linear multiplicative mapping κ: ''C(G)'' → ''C(G)'', such that κ(''f'')(''x'') = ''f(x<sup>−1</sup>)'' for all ''f'' ∈ ''C(G)'' and all ''x'' ∈ ''G''. Strictly, this does not make ''C(G)'' a Hopf algebra, unless ''G'' is finite. On the other hand, a finite-dimensional [[group representation|representation]] of ''G'' can be used to generate a *-subalgebra of ''C(G)'' which is also a Hopf *-algebra. Specifically, if <math>g \mapsto (u_{ij}(g))_{i,j}</math> is an ''n''-dimensional representation of ''G'', then for all ''i, j'' ''u<sub>ij</sub>'' ∈ ''C(G)'' and
| |
| | |
| :<math>\Delta(u_{ij}) = \sum_k u_{ik} \otimes u_{kj}.</math>
| |
| | |
| It follows that the *-algebra generated by ''u<sub>ij</sub>'' for all ''i, j'' and κ(''u<sub>ij</sub>'') for all ''i, j'' is a Hopf *-algebra: the counit is determined by ε(''u<sub>ij</sub>'') = δ<sub>''ij''</sub> for all ''i, j'' (where δ<sub>''ij''</sub> is the [[Kronecker delta]]), the antipode is κ, and the unit is given by
| |
| | |
| :<math>1 = \sum_k u_{1k} \kappa(u_{k1}) = \sum_k \kappa(u_{1k}) u_{k1}.</math>
| |
| | |
| As a generalization, a compact matrix quantum group is defined as a pair ''(C, fu)'', where ''C'' is a C*-algebra and <math>u = (u_{ij})_{i,j = 1,\dots,n}</math> is a matrix with entries in ''C'' such that
| |
| | |
| :*The *-subalgebra, ''C''<sub>0</sub>, of ''C'', which is generated by the matrix elements of ''u'', is dense in ''C'';
| |
| | |
| :*There exists a C*-algebra homomorphism called the comultiplication Δ: ''C'' → ''C'' ⊗ ''C'' (where ''C ⊗ C'' is the C*-algebra tensor product - the completion of the algebraic tensor product of ''C'' and ''C'') such that for all ''i, j'' we have:
| |
| :::<math>\Delta(u_{ij}) = \sum_k u_{ik} \otimes u_{kj}</math>
| |
| | |
| :*There exists a linear antimultiplicative map κ: ''C''<sub>0</sub> → ''C''<sub>0</sub> (the coinverse) such that ''κ(κ(v*)*)'' = ''v'' for all ''v'' ∈ ''C''<sub>0</sub> and
| |
| :::<math>\sum_k \kappa(u_{ik}) u_{kj} = \sum_k u_{ik} \kappa(u_{kj}) = \delta_{ij} I,</math>
| |
| where ''I'' is the identity element of ''C''. Since κ is antimultiplicative, then κ(''vw'') = κ(''w'') κ(''v'') for all ''v'', ''w'' in ''C''<sub>0</sub>.
| |
| | |
| As a consequence of continuity, the comultiplication on ''C'' is coassociative.
| |
| | |
| In general, ''C'' is not a bialgebra, and ''C''<sub>0</sub> 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 [[coalgebra|corepresentation]] of the Hopf *-algebra (a corepresentation of a counital coassociative coalgebra ''A'' is a square matrix <math>v = (v_{ij})_{i,j = 1,\dots,n}</math> with entries in ''A'' (so ''v'' belongs to M(''n'', ''A'')) such that
| |
| | |
| :<math>\Delta(v_{ij}) = \sum_{k=1}^n v_{ik} \otimes v_{kj}</math> | |
| | |
| for all ''i, j'' and ε(''v<sub>ij</sub>'') = δ<sub>''ij''</sub> for all ''i, j''). Furthermore, a representation ''v'', is called unitary if the matrix for ''v'' is unitary (or equivalently, if κ(''v<sub>ij</sub>'') = ''v*<sub>ij</sub>'' for all ''i'', ''j'').
| |
| | |
| An example of a compact matrix quantum group is SU<sub>μ</sub>(2), where the parameter μ is a positive real number. So SU<sub>μ</sub>(2) = (C(SU<sub>μ</sub>(2)), ''u''), where C(SU<sub>μ</sub>(2)) is the C*-algebra generated by α and γ, subject to
| |
| | |
| :<math>\gamma \gamma^* = \gamma^* \gamma, </math>
| |
| :<math>\alpha \gamma = \mu \gamma \alpha, </math>
| |
| :<math>\alpha \gamma^* = \mu \gamma^* \alpha, </math>
| |
| :<math>\alpha \alpha^* + \mu \gamma^* \gamma = \alpha^* \alpha + \mu^{-1} \gamma^* \gamma = I,</math>
| |
| | |
| and
| |
| | |
| :<math>u = \left( \begin{matrix} \alpha & \gamma \\ - \gamma^* & \alpha^* \end{matrix} \right),</math>
| |
| | |
| so that the comultiplication is determined by ∆(α) = α ⊗ α − γ ⊗ γ*, ∆(γ) = α ⊗ γ + γ ⊗ α*, and the coinverse is determined by κ(α) = α*, κ(γ) = −μ<sup>−1</sup>γ, κ(γ*) = −μγ*, κ(α*) = α. Note that ''u'' is a representation, but not a unitary representation. ''u'' is equivalent to the unitary representation
| |
| | |
| :<math>v = \left( \begin{matrix} \alpha & \sqrt{\mu} \gamma \\ - \frac{1}{\sqrt{\mu}} \gamma^* & \alpha^* \end{matrix} \right).</math>
| |
| | |
| Equivalently, SU<sub>μ</sub>(2) = (C(SU<sub>μ</sub>(2)), ''w''), where C(SU<sub>μ</sub>(2)) is the C*-algebra generated by α and β, subject to
| |
| | |
| :<math>\beta \beta^* = \beta^* \beta,</math>
| |
| :<math>\alpha \beta = \mu \beta \alpha,</math>
| |
| :<math>\alpha \beta^* = \mu \beta^* \alpha,</math>
| |
| :<math>\alpha \alpha^* + \mu^2 \beta^* \beta = \alpha^* \alpha + \beta^* \beta = I,</math>
| |
| | |
| and
| |
| | |
| :<math>w = \left( \begin{matrix} \alpha & \mu \beta \\ - \beta^* & \alpha^* \end{matrix} \right),</math>
| |
| | |
| so that the comultiplication is determined by ∆(α) = α ⊗ α − μβ ⊗ β*, Δ(β) = α ⊗ β + β ⊗ α*, and the coinverse is determined by κ(α) = α*, κ(β) = −μ<sup>−1</sup>β, κ(β*) = −μβ*, κ(α*) = α. Note that ''w'' is a unitary representation. The realizations can be identified by equating <math>\gamma = \sqrt{\mu} \beta</math>.
| |
| | |
| When μ = 1, then SU<sub>μ</sub>(2) is equal to the algebra ''C''(SU(2)) of functions on the concrete compact group SU(2).
| |
| | |
| ==Bicrossproduct quantum groups==
| |
| Whereas compact matrix pseudogroups are typically versions of Drinfeld-Jimbo quantum groups in a dual function algebra formulation, with additional structure, the bicrossproduct ones are a distinct second family of quantum groups of increasing importance as deformations of solvable rather than semisimple Lie groups. They are associated to Lie splittings of Lie algebras or local factorisations of Lie groups and can be viewed as the cross product or Mackey quantisation of one of the factors acting on the other for the algebra and a similar story for the coproduct Δ with the second factor acting back on the first. The very simplest nontrivial example corresponds to two copies of '''R''' locally acting on each other and results in a quantum group (given here in an algebraic form) with generators ''p'', ''K'', ''K''<sup>−1</sup>, say, and coproduct
| |
| | |
| :<math>[p, K]=h K(K-1)</math> | |
| :<math>\Delta p=p\otimes K+1\otimes p</math>
| |
| :<math>\Delta K=K\otimes K</math>
| |
| | |
| where ''h'' is the deformation parameter. This quantum group was linked to a toy model of Planck scale physics implementing [[Born reciprocity]] when viewed as a deformation of the [[Heisenberg algebra]] of quantum mechanics. Also, starting with any compact real form of a semisimple Lie algebra '''g''' its complexification as a real Lie algebra of twice the dimension splits into '''g''' and a certain solvable Lie algebra (the Iwasawa decomposition), and this provides a canonical bicrossproduct quantum group associated to '''g'''. For '''su'''(2) one obtains a quantum group deformation of the [[Euclidean group]] E(3) of motions in 3 dimensions.
| |
| | |
| ==See also==
| |
| * [[Lie bialgebra]]
| |
| * [[Poisson–Lie group]]
| |
| * [[Affine quantum group]]
| |
| * [[Quantum affine algebras]]
| |
| | |
| ==Notes==
| |
| <references/>
| |
| | |
| ==References==
| |
| *{{cite news |separator= . |last= Jagannathan |first= R. |authorlink= Ramaswamy Jagannathan |year= 2001 |title= Some introductory notes on quantum groups, quantum algebras, and their applications |url= http://arxiv.org/abs/math-ph/0105002v1 |publisher= arXiv:math-ph/0105002v1 }}
| |
| * {{Citation | last1=Kassel | first1=Christian | title=Quantum groups | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Graduate Texts in Mathematics | isbn=978-0-387-94370-1 | id={{MathSciNet | id = 1321145}} | year=1995 | volume=155}}
| |
| * {{cite book |last= Lusztig |first= George |year= 2010 |origyear= 1993 |title= Introduction to Quantum Groups |url= http://books.google.co.uk/books?id=HKPjCUiOUQ0C&printsec=frontcover |location= Cambridge, MA |publisher= Birkhäuser |isbn= 978-0-817-64716-2 }}
| |
| * {{Citation | last1=Majid | first1=Shahn | title=A quantum groups primer | publisher=[[Cambridge University Press]] | series=London Mathematical Society Lecture Note Series | isbn=978-0-521-01041-2 | id={{MathSciNet | id = 1904789}} | year=2002 | volume=292}}
| |
| * {{ citation
| |
| | last = Majid
| |
| | first = Shahn
| |
| | title = What Is...a Quantum Group?
| |
| | journal = [[Notices of the American Mathematical Society]]
| |
| |date=January 2006
| |
| | volume = 53
| |
| | issue = 1
| |
| | pages = 30–31
| |
| | url = http://www.ams.org/notices/200601/what-is.pdf
| |
| | format = [[PDF]]
| |
| | accessdate = 2008-01-16 }}
| |
| * {{citation|title=Introduction to quantum groups|first1=P.|last1=Podles|first2=E.|last2=Muller|id=|arxiv=q-alg/9704002|bibcode = 1997q.alg.....4002P|year=1997|pages=4002 }}
| |
| * {{cite book |last1= Shnider |first1= Steven |author1-link= Steve Shnider |last2= Sternberg |first2= Shlomo |year= 1993 |title= Quantum groups: From coalgebras to Drinfeld algebras |series= Graduate Texts in Mathematical Physics |volume= 2 |location= Cambridge, MA |publisher= International Press }}
| |
| * {{Citation | last1=Street | first1=Ross | author1-link=Ross Street | title=Quantum groups | publisher=[[Cambridge University Press]] | series=Australian Mathematical Society Lecture Series | isbn=978-0-521-69524-4; 978-0-521-69524-4 | id={{MathSciNet | id = 2294803}} | year=2007 | volume=19}}
| |
| | |
| {{DEFAULTSORT:Quantum Group}}
| |
| [[Category:Quantum groups| ]]
| |
| [[Category:Mathematical quantization]]
| |