Namespaces
Variants
Actions

Difference between revisions of "Quantum sphere"

From Encyclopedia of Mathematics
Jump to: navigation, search
m
(details)
 
(2 intermediate revisions by one other user not shown)
Line 1: Line 1:
 +
<!--This article has been texified automatically. Since there was no Nroff source code for this article,
 +
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
 +
was used.
 +
If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category.
 +
 +
Out of 2 formulas, 2 were replaced by TEX code.-->
 +
 +
{{TEX|semi-auto}}{{TEX|done}}
 
A [[C*-algebra|$ C^{*} $-algebra]] $ \text{Fun}_{q} \left( \Bbb{S}^{2}_{c} \right) $ generated by two elements $ A $ and $ B $ satisfying [[#References|[a1]]]
 
A [[C*-algebra|$ C^{*} $-algebra]] $ \text{Fun}_{q} \left( \Bbb{S}^{2}_{c} \right) $ generated by two elements $ A $ and $ B $ satisfying [[#References|[a1]]]
 
\begin{gather}
 
\begin{gather}
Line 10: Line 18:
 
\text{Fun}_{q} \left( \Bbb{S}^{2}_{c} \right) \to \text{Fun}_{q} \left( \Bbb{S}^{2}_{c} \right) \otimes {\text{Fun}_{q}}(\text{SU}(2)),
 
\text{Fun}_{q} \left( \Bbb{S}^{2}_{c} \right) \to \text{Fun}_{q} \left( \Bbb{S}^{2}_{c} \right) \otimes {\text{Fun}_{q}}(\text{SU}(2)),
 
$$
 
$$
where $ {\text{Fun}_{q}}(\text{SU}(2)) $ stands for the quantum $ \text{SU}(2) $-group [[#References|[a7]]] (cf. also [[Quantum groups|Quantum groups]]) considered as a deformation of the [[Poisson algebra|Poisson algebra]] $ \text{Fun}(\text{SU}(2)) $. The one-parameter family of quantum spheres is in correspondence with the family of $ \text{SU}(2) $-covariant Poisson structures on $ \Bbb{S}^{2} $, which is known to be one-parametric too ([[#References|[a2]]], Appendix). The deformation of the Poisson structure $ \text{Fun}_{q} \left( \Bbb{S}^{2}_{c} \right) $ can be introduced in a precisely defined manner [[#References|[a2]]]. Also, the structure of representations of $ \text{Fun}_{q} \left( \Bbb{S}^{2}_{c} \right) $ is in correspondence with the structure of symplectic leaves on $ \Bbb{S}^{2}_{c} $ [[#References|[a1]]], [[#References|[a2]]]. For $ c > 0 $, the symplectic leaves are two open discs and the points of a circle separating them. For $ c = 0 $, one disc leaf is attached to one one-point leaf and, in fact, this is the Bruhat decomposition of the Poisson homogeneous space $ \text{U}(1) \setminus \text{SU}(2) $. For $ c < 0 $, $ \Bbb{S}^{2}_{c} $ is a [[Symplectic manifold|symplectic manifold]].
+
where $ {\text{Fun}_{q}}(\text{SU}(2)) $ stands for the quantum $ \text{SU}(2) $-group [[#References|[a7]]] (cf. also [[Quantum groups|Quantum groups]]) considered as a deformation of the [[Poisson algebra|Poisson algebra]] $ \text{Fun}(\text{SU}(2)) $. The one-parameter family of quantum spheres is in correspondence with the family of $ \text{SU}(2) $-covariant Poisson structures on $ \Bbb{S}^{2} $, which is known to be one-parametric too ([[#References|[a2]]], Appendix). The deformation of the Poisson structure $ \text{Fun}_{q} \left( \Bbb{S}^{2}_{c} \right) $ can be introduced in a precisely defined manner [[#References|[a2]]]. Also, the structure of representations of $ \text{Fun}_{q} \left( \Bbb{S}^{2}_{c} \right) $ is in correspondence with the structure of symplectic leaves on $ \Bbb{S}^{2}_{c} $ [[#References|[a1]]], [[#References|[a2]]]. For $ c &gt; 0 $, the symplectic leaves are two open discs and the points of a circle separating them. For $ c = 0 $, one disc leaf is attached to one one-point leaf and, in fact, this is the Bruhat decomposition of the Poisson homogeneous space $ \text{U}(1) \setminus \text{SU}(2) $. For $ c < 0 $, $ \Bbb{S}^{2}_{c} $ is a [[Symplectic manifold|symplectic manifold]].
  
 
The symplectic spheres $ \Bbb{S}^{2}_{c} $, with $ c < 0 $, can be realized as orbits of the dressing transformation of $ \text{SU}(2) $ acting on its dual [[Poisson Lie group|Poisson Lie group]]. An equivalent realization is given by the right $ \text{SU}(2) $-action on the manifold $ M $ of $ (2 \times 2) $-unimodular positive matrices, which is just the unitary transformation $ (m,u) \mapsto u^{*} m u $. There exists a quantum analogue as a right co-action $ {\text{Fun}_{q}}(M) \to {\text{Fun}_{q}}(M) \otimes {\text{Fun}_{q}}(\text{SU}(2)) $, which is defined formally in the same way as in the Poisson case. If $ c(n) = - \dfrac{q^{2 n}}{(1 + q^{2 n})^{2}} $, $ n = 1,2,\ldots $, one can construct, using this structure, the $ n $-dimensional irreducible representation of the deformed universal enveloping algebra $ {\mathcal{U}_{q}}(\mathfrak{su}(2)) $ [[#References|[a3]]]. Moreover, if $ c < 0 $, then the $ C^{*} $-algebra $ \text{Fun}_{q} \left( \Bbb{S}^{2}_{c} \right) $ is non-trivial only for $ c = c(n) $ [[#References|[a1]]].
 
The symplectic spheres $ \Bbb{S}^{2}_{c} $, with $ c < 0 $, can be realized as orbits of the dressing transformation of $ \text{SU}(2) $ acting on its dual [[Poisson Lie group|Poisson Lie group]]. An equivalent realization is given by the right $ \text{SU}(2) $-action on the manifold $ M $ of $ (2 \times 2) $-unimodular positive matrices, which is just the unitary transformation $ (m,u) \mapsto u^{*} m u $. There exists a quantum analogue as a right co-action $ {\text{Fun}_{q}}(M) \to {\text{Fun}_{q}}(M) \otimes {\text{Fun}_{q}}(\text{SU}(2)) $, which is defined formally in the same way as in the Poisson case. If $ c(n) = - \dfrac{q^{2 n}}{(1 + q^{2 n})^{2}} $, $ n = 1,2,\ldots $, one can construct, using this structure, the $ n $-dimensional irreducible representation of the deformed universal enveloping algebra $ {\mathcal{U}_{q}}(\mathfrak{su}(2)) $ [[#References|[a3]]]. Moreover, if $ c < 0 $, then the $ C^{*} $-algebra $ \text{Fun}_{q} \left( \Bbb{S}^{2}_{c} \right) $ is non-trivial only for $ c = c(n) $ [[#References|[a1]]].
  
A few other concepts have been developed for quantum spheres, including a description in terms of a local holomorphic coordinate $ z $ <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120040/q12004039.png" /> and its adjoint $ z^{*} $ <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q120/q120040/q12004040.png" /> [[#References|[a3]]], [[#References|[a4]]] and a differential and integral calculus [[#References|[a4]]], [[#References|[a5]]]. In a precise analogy with the classical case, quantum spherical functions were defined as special basis elements in
+
A few other concepts have been developed for quantum spheres, including a description in terms of a local holomorphic coordinate $z$ and its adjoint $ z^{*} $ [[#References|[a3]]], [[#References|[a4]]] and a differential and integral calculus [[#References|[a4]]], [[#References|[a5]]]. In a precise analogy with the classical case, quantum spherical functions were defined as special basis elements in
 
$$
 
$$
 
\text{Fun}_{q} \left( \Bbb{S}^{2}_{c = 0} \right) \equiv \text{Fun}_{q}(\text{U}(1) \setminus \text{SU}(2))
 
\text{Fun}_{q} \left( \Bbb{S}^{2}_{c = 0} \right) \equiv \text{Fun}_{q}(\text{U}(1) \setminus \text{SU}(2))
Line 22: Line 30:
 
====References====
 
====References====
 
<table>
 
<table>
<TR><TD valign="top">[a1]</TD> <TD valign="top"> P. Podles, “Quantum spheres” ''Lett. Math. Phys.'', '''14''' (1987) pp. 193–202.</TD></TR>
+
<tr><td valign="top">[a1]</td> <td valign="top"> P. Podles, “Quantum spheres” ''Lett. Math. Phys.'', '''14''' (1987) pp. 193–202.</td></tr>
<TR><TD valign="top">[a2]</TD> <TD valign="top"> A.J.-L. Sheu, “Quantization of the Poisson $ \text{SU}(2) $ and its Poisson homogeneous space — the $ 2 $-sphere” ''Comm. Math. Phys.'', '''135''' (1991) pp. 217–232.</TD></TR>
+
<tr><td valign="top">[a2]</td> <td valign="top"> A.J.-L. Sheu, “Quantization of the Poisson $ \text{SU}(2) $ and its Poisson homogeneous space — the $ 2 $-sphere” ''Comm. Math. Phys.'', '''135''' (1991) pp. 217–232.</td></tr>
<TR><TD valign="top">[a3]</TD> <TD valign="top"> P. Šťovíček, “Quantum line bundles on $ S^{2} $ and the method of orbits for $ {\text{SU}_{q}}(2) $” ''J. Math. Phys.'', '''34''' (1993) pp. 1606–1613.</TD></TR>
+
<tr><td valign="top">[a3]</td> <td valign="top"> P. Šťovíček, “Quantum line bundles on $ S^{2} $ and the method of orbits for $ {\text{SU}_{q}}(2) $” ''J. Math. Phys.'', '''34''' (1993) pp. 1606–1613.</td></tr>
<TR><TD valign="top">[a4]</TD> <TD valign="top"> C.S. Chu, P.M. Ho, B. Zumino, “The quantum $ 2 $-sphere as a complex manifold” ''Z. Phys. C'', '''70''' (1996) pp. 339–344.</TD></TR>
+
<tr><td valign="top">[a4]</td> <td valign="top"> C.S. Chu, P.M. Ho, B. Zumino, “The quantum $ 2 $-sphere as a complex manifold” ''Z. Phys. C'', '''70''' (1996) pp. 339–344.</td></tr>
<TR><TD valign="top">[a5]</TD> <TD valign="top"> P. Podles, “Differential calculus on quantum spheres” ''Lett. Math. Phys.'', '''18''' (1989) pp. 107–119.</TD></TR>
+
<tr><td valign="top">[a5]</td> <td valign="top"> P. Podles, “Differential calculus on quantum spheres” ''Lett. Math. Phys.'', '''18''' (1989) pp. 107–119.</td></tr>
<TR><TD valign="top">[a6]</TD> <TD valign="top"> M. Noumi, K. Mimachi, “Quantum $ 2 $-spheres and big $ q $-Jacobi polynomials” ''Comm. Math. Phys.'', '''128''' (1990) pp. 521–531.</TD></TR>
+
<tr><td valign="top">[a6]</td> <td valign="top"> M. Noumi, K. Mimachi, “Quantum $ 2 $-spheres and big $ q $-Jacobi polynomials” ''Comm. Math. Phys.'', '''128''' (1990) pp. 521–531.</td></tr>
<TR><TD valign="top">[a7]</TD> <TD valign="top"> S.L. Woronowicz, “Twisted $ \text{SU}(2) $ group. An example of a non-commutative differential calculus” ''Publ. RIMS Univ. Kyoto'', '''23''' (1987) pp. 117–181.</TD></TR>
+
<tr><td valign="top">[a7]</td> <td valign="top"> S.L. Woronowicz, “Twisted $ \text{SU}(2) $ group. An example of a non-commutative differential calculus” ''Publ. RIMS Univ. Kyoto'', '''23''' (1987) pp. 117–181.</td></tr>
 
</table>
 
</table>

Latest revision as of 07:12, 24 January 2024

A $ C^{*} $-algebra $ \text{Fun}_{q} \left( \Bbb{S}^{2}_{c} \right) $ generated by two elements $ A $ and $ B $ satisfying [a1] \begin{gather} A^{*} = A, \qquad B A = q^{2} A B, \\ B^{*} B = A - A^{2} + c \mathbf{1}, \qquad B B^{*} = q^{2} A - q^{4} A^{2} + c \mathbf{1}. \end{gather} Here, $ q \in \Bbb{R} $ is a deformation parameter and $ c \in \Bbb{R} $ is another parameter labeling the family of quantum spheres. Each quantum sphere is a quantum homogeneous space in the sense that there exists a right co-action $$ \text{Fun}_{q} \left( \Bbb{S}^{2}_{c} \right) \to \text{Fun}_{q} \left( \Bbb{S}^{2}_{c} \right) \otimes {\text{Fun}_{q}}(\text{SU}(2)), $$ where $ {\text{Fun}_{q}}(\text{SU}(2)) $ stands for the quantum $ \text{SU}(2) $-group [a7] (cf. also Quantum groups) considered as a deformation of the Poisson algebra $ \text{Fun}(\text{SU}(2)) $. The one-parameter family of quantum spheres is in correspondence with the family of $ \text{SU}(2) $-covariant Poisson structures on $ \Bbb{S}^{2} $, which is known to be one-parametric too ([a2], Appendix). The deformation of the Poisson structure $ \text{Fun}_{q} \left( \Bbb{S}^{2}_{c} \right) $ can be introduced in a precisely defined manner [a2]. Also, the structure of representations of $ \text{Fun}_{q} \left( \Bbb{S}^{2}_{c} \right) $ is in correspondence with the structure of symplectic leaves on $ \Bbb{S}^{2}_{c} $ [a1], [a2]. For $ c > 0 $, the symplectic leaves are two open discs and the points of a circle separating them. For $ c = 0 $, one disc leaf is attached to one one-point leaf and, in fact, this is the Bruhat decomposition of the Poisson homogeneous space $ \text{U}(1) \setminus \text{SU}(2) $. For $ c < 0 $, $ \Bbb{S}^{2}_{c} $ is a symplectic manifold.

The symplectic spheres $ \Bbb{S}^{2}_{c} $, with $ c < 0 $, can be realized as orbits of the dressing transformation of $ \text{SU}(2) $ acting on its dual Poisson Lie group. An equivalent realization is given by the right $ \text{SU}(2) $-action on the manifold $ M $ of $ (2 \times 2) $-unimodular positive matrices, which is just the unitary transformation $ (m,u) \mapsto u^{*} m u $. There exists a quantum analogue as a right co-action $ {\text{Fun}_{q}}(M) \to {\text{Fun}_{q}}(M) \otimes {\text{Fun}_{q}}(\text{SU}(2)) $, which is defined formally in the same way as in the Poisson case. If $ c(n) = - \dfrac{q^{2 n}}{(1 + q^{2 n})^{2}} $, $ n = 1,2,\ldots $, one can construct, using this structure, the $ n $-dimensional irreducible representation of the deformed universal enveloping algebra $ {\mathcal{U}_{q}}(\mathfrak{su}(2)) $ [a3]. Moreover, if $ c < 0 $, then the $ C^{*} $-algebra $ \text{Fun}_{q} \left( \Bbb{S}^{2}_{c} \right) $ is non-trivial only for $ c = c(n) $ [a1].

A few other concepts have been developed for quantum spheres, including a description in terms of a local holomorphic coordinate $z$ and its adjoint $ z^{*} $ [a3], [a4] and a differential and integral calculus [a4], [a5]. In a precise analogy with the classical case, quantum spherical functions were defined as special basis elements in $$ \text{Fun}_{q} \left( \Bbb{S}^{2}_{c = 0} \right) \equiv \text{Fun}_{q}(\text{U}(1) \setminus \text{SU}(2)) $$ and expressed in terms of big $ q $-Jacobi polynomials [a6].

References

[a1] P. Podles, “Quantum spheres” Lett. Math. Phys., 14 (1987) pp. 193–202.
[a2] A.J.-L. Sheu, “Quantization of the Poisson $ \text{SU}(2) $ and its Poisson homogeneous space — the $ 2 $-sphere” Comm. Math. Phys., 135 (1991) pp. 217–232.
[a3] P. Šťovíček, “Quantum line bundles on $ S^{2} $ and the method of orbits for $ {\text{SU}_{q}}(2) $” J. Math. Phys., 34 (1993) pp. 1606–1613.
[a4] C.S. Chu, P.M. Ho, B. Zumino, “The quantum $ 2 $-sphere as a complex manifold” Z. Phys. C, 70 (1996) pp. 339–344.
[a5] P. Podles, “Differential calculus on quantum spheres” Lett. Math. Phys., 18 (1989) pp. 107–119.
[a6] M. Noumi, K. Mimachi, “Quantum $ 2 $-spheres and big $ q $-Jacobi polynomials” Comm. Math. Phys., 128 (1990) pp. 521–531.
[a7] S.L. Woronowicz, “Twisted $ \text{SU}(2) $ group. An example of a non-commutative differential calculus” Publ. RIMS Univ. Kyoto, 23 (1987) pp. 117–181.
How to Cite This Entry:
Quantum sphere. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Quantum_sphere&oldid=36737
This article was adapted from an original article by Pavel Štovíček (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article