|
|
| Line 1: |
Line 1: |
| {{Refimprove|date=December 2009}}
| | Greetings! I am Marvella and I feel comfy when people [http://www.innovec.com/node/3171 home std test kit] use the full title. What I love performing is playing home std test baseball but I haven't produced a dime with [http://3bbc.com/index.php?do=/profile-548128/info/ why not try here] it. Since she was 18 she's been operating as a meter reader but she's usually wanted her own company. Years ago we moved to [http://Www.3fatchicks.com/5-harmful-types-of-bacteria/ North Dakota] and I adore every working day living right here.<br><br>Feel free to visit at home std over the counter std test test my site - [http://www.lankaclipstv.com/user/SFergerso http://www.lankaclipstv.com/user/SFergerso] |
| | |
| 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 motivation for this theory comes from the following analogy. The space of complex-valued functions on a compact Hausdorff topological space forms a ''commutative'' C*-algebra. On the other hand, 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]].
| |
| | |
| [[S. L. Woronowicz]] <ref>Woronowicz, S.L. "Compact Matrix Pseudogrooups", Commun. Math. Phys. 111 (1987), 613-665</ref> introduced the important concept of '''compact matrix quantum groups''', which he initially called '''compact pseudogroups'''. 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]].
| |
| | |
| ==Formulation==
| |
| For a compact [[topological group]], <math> G </math>, there exists a C*-algebra homomorphism
| |
| | |
| :<math> \Delta : C(G) \to C(G) \otimes C(G) </math> | |
| | |
| where <math> C(G) \otimes C(G) </math> is the minimal C*-algebra tensor product — the completion of the algebraic [[tensor product]] of <math> C(G) </math> and <math> C(G) </math>) — such that
| |
| | |
| :<math>\Delta(f)(x,y) = f(xy)</math>
| |
| | |
| for all <math> f \in C(G) </math>, and for all <math>x, y \in G</math>, where
| |
| | |
| :<math> (f \otimes g)(x,y) = f(x) g(y) </math>
| |
| | |
| for all <math> f, g \in C(G) </math> and all <math> x, y \in G </math>. There also exists a linear multiplicative mapping
| |
| | |
| :<math> \kappa : C(G) \to C(G) </math>,
| |
| | |
| such that
| |
| | |
| :<math>\kappa(f)(x) = f(x^{-1})</math>
| |
| | |
| for all <math> f \in C(G) </math> and all <math> x \in G </math>. Strictly speaking, this does not make <math> C(G) </math> into a [[Hopf algebra]], unless <math> G </math> is finite.
| |
| | |
| On the other hand, a finite-dimensional [[group representation|representation]] of ''G'' can be used to generate a [[*-subalgebra]] of <math>C(G)</math> which is also a Hopf *-algebra. Specifically, if
| |
| | |
| :<math>g \mapsto (u_{ij}(g))_{i,j}</math> | |
| | |
| is an <math>n</math>-dimensional representation of <math>G</math>, then
| |
| | |
| :<math>u_{ij} \in C(G)</math>
| |
| | |
| for all <math>i, j</math>, and
| |
| | |
| :<math>\Delta(u_{ij}) = \sum_k u_{ik} \otimes u_{kj}</math>
| |
| | |
| for all <math>i, j</math>. It follows that the [[*-algebra]] generated by <math>u_{ij}</math> for all <math>i, j</math> and <math>\kappa(u_{ij})</math> for all <math>i, j</math> is a Hopf *-algebra: the counit is determined by
| |
| | |
| :<math>\epsilon(u_{ij}) = \delta_{ij}</math>
| |
| | |
| for all <math>i, j</math> (where <math>\delta_{ij}</math> is the [[Kronecker delta]]), the antipode is <math>\kappa</math>, and the unit is given by
| |
| | |
| :<math>1 = \sum_k u_{1k} \kappa(u_{k1}) = \sum_k \kappa(u_{1k}) u_{k1}.</math>
| |
| | |
| ==Compact Matrix Quantum Groups== | |
| | |
| As a generalization, a '''compact matrix quantum group''' is defined as a pair <math>(C,u)</math>, where <math>C</math> is a C*-algebra and
| |
| | |
| :<math>u = (u_{ij})_{i,j = 1,\dots,n}</math>
| |
| | |
| is a matrix with entries in <math>C</math> such that
| |
| | |
| :*The *-subalgebra, <math>C_0</math>, of <math>C</math>, which is generated by the matrix elements of <math>u</math>, is dense in <math>C</math>;
| |
| | |
| :*There exists a C*-algebra homomorphism <math>\Delta : C \to C \otimes C</math> (where <math>C \otimes C</math> is the C*-algebra tensor product - the completion of the algebraic tensor product of <math>C</math> and <math>C</math>) such that <math>\Delta(u_{ij}) = \sum_k u_{ik} \otimes u_{kj}</math> for all <math>i, j</math> (<math>\Delta</math> is called the comultiplication);
| |
| | |
| :*There exists a linear antimultiplicative map <math>\kappa : C_0 \to C_0</math> (the coinverse) such that <math>\kappa(\kappa(v*)*) = v</math> for all <math>v \in C_0</math> and <math>\sum_k \kappa(u_{ik}) u_{kj} = \sum_k u_{ik} \kappa(u_{kj}) = \delta_{ij} I,</math> where <math>I</math> is the identity element of <math>C</math>. Since <math>\kappa</math> is antimultiplicative, then <math>\kappa(vw) = \kappa(w) \kappa(v)</math> for all <math>v, w \in C_0</math>.
| |
| | |
| As a consequence of continuity, the comultiplication on <math>C</math> is coassociative.
| |
| | |
| In general, <math>C</math> is a bialgebra, and <math>C_0</math> is a Hopf *-algebra.
| |
| | |
| Informally, <math>C</math> can be regarded as the *-algebra of continuous complex-valued functions over the compact matrix quantum group, and <math>u</math> can be regarded as a finite-dimensional representation of the compact matrix quantum group.
| |
| | |
| ==Compact Quantum Groups==
| |
| | |
| For C*-algebras <math>A</math> and <math>B </math> acting on the Hilbert spaces <math> H </math> and <math>K</math> respectively, their minimal tensor product is defined to be the norm completion of the algebraic tensor product <math> A \otimes B</math> in <math>B(H \otimes K)</math>; the norm completion is also denoted by <math> A \otimes B</math>.
| |
| | |
| A compact quantum group <ref>Woronowicz, S.L. "Compact Quantum Groups". Notes from http://www.fuw.edu.pl/~slworono/PDF-y/CQG3.pdf</ref><ref>van Daele, A. and Maes, Ann. "Notes on compact quantum groups", arXiv:math/9803122</ref> is defined as a pair <math>(C,\Delta)</math>, where <math>C</math> is a unital separable C*-algebra and
| |
| :* <math> \Delta : C \to C \otimes C</math> is a C*-algebra unital homomorphism satisfying <math> (\Delta \otimes id) \Delta = (id \otimes \Delta) \Delta</math> ; such that
| |
| | |
| :* the sets <math> \{ (C \otimes 1) \Delta(C) \} </math> and <math> \{ (1 \otimes C) \Delta(C)\} </math> are dense in <math>C \otimes C</math>.
| |
| | |
| ==Representations==
| |
| A representation of the compact matrix quantum group is given by a [[coalgebra|corepresentation]] of the Hopf *-algebra (a corepresentation of a counital coassiative coalgebra <math>A</math> is a square matrix
| |
| | |
| :<math>v = (v_{ij})_{i,j = 1,\dots,n}</math>
| |
| | |
| with entries in <math>A</math> (so <math>v \in M_n(A)</math>) such that
| |
| | |
| :<math>\Delta(v_{ij}) = \sum_{k=1}^n v_{ik} \otimes v_{kj}</math>
| |
| | |
| for all <math>i, j</math> and
| |
| | |
| :<math>\epsilon(v_{ij}) = \delta_{ij}</math> for all <math>i, j</math>). Furthermore, a representation, ''v'', is called unitary if the matrix for ''v'' is unitary, or equivalently, if
| |
| | |
| :<math>\kappa(v_{ij}) = v^*_{ji}</math> for all ''i'', ''j''.
| |
| | |
| ==Example==
| |
| An example of a compact matrix quantum group is <math>SU_{\mu}(2)</math><ref>van Daele, A. and Wang, S. "Universal quantum groups" Int. J. of Math. (1996), 255-263.</ref>
| |
| , where the parameter <math>\mu</math> is a positive real number. So <math>SU_{\mu}(2) = (C(SU_{\mu}(2),u)</math>, where <math>C(SU_{\mu}(2))</math> is the C*-algebra generated by <math>\alpha</math> and <math>\gamma</math>,subject to
| |
| | |
| :<math>\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,</math> | |
| | |
| and <math>u = \left( \begin{matrix} \alpha & \gamma \\ - \gamma^* & \alpha^* \end{matrix} \right),</math> so that the comultiplication is determined by <math>\Delta(\alpha) = \alpha \otimes \alpha - \gamma \otimes \gamma^*</math>, <math>\Delta(\gamma) = \alpha \otimes \gamma + \gamma \otimes \alpha^*</math>, and the coinverse is determined by <math>\kappa(\alpha) = \alpha^*</math>, <math>\kappa(\gamma) = - \mu^{-1} \gamma</math>, <math>\kappa(\gamma^*) = - \mu \gamma^*</math>, <math>\kappa(\alpha^*) = \alpha</math>. Note that <math>u</math> is a representation, but not a [[unitary representation]]. <math>u</math> 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, <math>SU_{\mu}(2) = (C(SU_{\mu}(2),w)</math>, where <math>C(SU_{\mu}(2))</math> is the C*-algebra generated by <math>\alpha</math> and <math>\beta</math>,subject to
| |
| | |
| :<math>\beta \beta^* = \beta^* \beta, \ \alpha \beta = \mu \beta \alpha, \ \alpha \beta^* = \mu \beta^* \alpha, \ \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 <math>\Delta(\alpha) = \alpha \otimes \alpha - \mu \beta \otimes \beta^*</math>, <math>\Delta(\beta) = \alpha \otimes \beta + \beta \otimes \alpha^*</math>, and the coinverse is determined by <math>\kappa(\alpha) = \alpha^*</math>, <math>\kappa(\beta) = - \mu^{-1} \beta</math>, <math>\kappa(\beta^*) = - \mu \beta^*</math>, <math>\kappa(\alpha^*) = \alpha</math>. Note that <math>w</math> is a unitary representation. The realizations can be identified by equating <math>\gamma = \sqrt{\mu} \beta</math>.
| |
| | |
| When <math>\mu = 1</math>, then <math>SU_{\mu}(2)</math> is equal to the concrete compact group <math>SU(2)</math>.
| |
| | |
| == References ==
| |
| {{reflist}}
| |
| | |
| {{DEFAULTSORT:Compact Quantum Group}}
| |
| [[Category:Quantum groups]]
| |
| [[Category:C*-algebras]]
| |
| [[Category:Hopf algebras]]
| |