All Questions
23 questions
38
votes
6
answers
4k
views
Why Drinfel'd-Jimbo-type quantum groups?
Hopf algebras are pretty easy to motivate, as a not-necessarily-commutative generalization of the ring of functions on an algebraic group (and there are many other ways in which they come up). I like ...
- 13k
23
votes
1
answer
3k
views
Grothendieck and Non-commutative Geometry?
When Grothendieck and his followers were working on their profound progress of algebraic geometry, did they ever consider non-commutative rings? Is there anyway evidence that Grothendieck foresaw the ...
- 1,776
17
votes
2
answers
830
views
Relationship between "different" quantum deformations
This is a generic question, a good answer to it may be a reference to a corresponding paper\textbook, but any useful comments would be okay too.
Let $\mathfrak{g}$ be a (simple) Lie algebra and $U_q(\...
- 765
15
votes
1
answer
657
views
Is every finite quantum group a quantum symmetry group?
This post is basically a quantum extension of Is every finite group a group of “symmetries”?
Here finite quantum group means finite dimensional Hopf ${\rm C}^{\star}$-algebra.
Frucht's theorem ...
13
votes
6
answers
2k
views
Hopf algebras arising as Group Algebras
Every commutative $C^*$-algebra is isomorphic to the set of continuous functions, that vanish at infinity, of a locally compact Hausdorff space. Every commutative finite dimensional Hopf algebra is ...
- 1,462
11
votes
1
answer
556
views
Generators of the Odd Dimensional Quantum Spheres
As is well-known, the $(2N-1)$-quantum sphere $S^{2N-1}_q$ is defined to be the invariant subalgebra of $SU_q(N)$ under the coaction $\Delta_R = (id \otimes \pi) \circ \Delta$, where $\Delta$ is the ...
- 1,453
9
votes
1
answer
207
views
Separability of compact quantum groups
In the theory of compact quantum groups due Woronowicz, we assume usually that the C*-algebra of the compact quantum group is separable. Is the assumption essential in the theory? Will it eventually ...
- 151
7
votes
4
answers
1k
views
Compact Quantum Groups from Hopf Algebras
For a compact quantum group $C_q[G]$, it was shown by Woronowicz that $C_q[G]$ contains a dense Hopf algebra generalising the algebra of representations of $G$. I am interested in the other way around,...
- 1,462
7
votes
1
answer
751
views
Is there a good differential calculus for quantum SU(3)?
For quantum $\operatorname{SU}(2)$, Woronowicz gave a well differential calculus. If we denote the generators of quantum $\operatorname{SU}(2)$ by $a$, $b$, $c$, $d$, then the ideal of $\ker(\epsilon)$...
- 1,776
6
votes
1
answer
338
views
Invertible elements of the Hopf algebra quantum $SU(2)$
Let $SU_q(2)$ be the (polynomial) Hopf algebra introduced by Woronocicz called the quantum special unitary group. For details see
https://en.wikipedia.org/wiki/Compact_quantum_group
(Note that on the ...
- 1,144
6
votes
1
answer
1k
views
Weyl Character Formula for Quantum Groups
How much is known about the Weyl character formula for quantum groups? More specifically, has the formula been generalized to the general setting of deformed coordinate algebras $\mathbb{C}[G_q]$ of ...
- 1,462
6
votes
1
answer
157
views
The Quantum Group ${\cal O}_q(SL(n))$, for $q>1$
For the quantum group ${\cal O}_q(SL(n))$, $q\in \mathbb{R}$, I have read, without a proof, that for $p>1$, there exists a $q\in (0,1)$ such that
$$
{\cal O}_p(SL(n)) \simeq {\cal O}_q(SL(n)).
$$
...
- 459
6
votes
0
answers
349
views
Quantum Hilbert's fifth problem
Hilbert's fifth problem inquires whether every locally Euclidean group is necessarily a Lie group. Von Neumann demonstrated that this is indeed true for the compact case.
The definition of a quantum ...
5
votes
2
answers
462
views
Quantum Frobenius II
In a previous question, I asked how Lusztig's quantum Frobenius generalizes the classical Frobenius map on a variety over a finite field. I was directed to a very interesting paper by Kumar and ...
- 1,462
5
votes
1
answer
228
views
Zero divisors in compact quantum groups
Let $\mathcal{G}$ be compact quantum group in the sense of S. L. Woronowicz. As is well-known, every compact quantum group contains a dense Hopf algebra, called the polynomial Hopf algebra Pol$(\...
- 969
4
votes
3
answers
1k
views
Quantum Frobenius
In what sense does Lusztig's quantum Frobenius, defined on a quantum enveloping algebra, generalise the classical Frobenius mapping on a variety over a finite field?
- 1,462
4
votes
2
answers
570
views
$q$-Deforming Woronowicz's Leibniz Rule
The Woronowicz definition of a differential calculus over an algebra consists of a pair $(\Omega,$d$)$, where $\Omega$ is an $A-A$-bimodule, and
$$
\text{d}:A \to \Omega,
$$
is a bimodule map, ...
- 263
3
votes
3
answers
631
views
Basis of quantum SU(n)
As is well known, the set
$\{a^ib^jc^k | i,j,k \in \mathbb{Z}\_{\geq 0},k>0\} \cup \{b^lc^md^n | l,m,n \in \mathbb{Z}\_{\geq 0}\}$
forms a basis for quantum $SU(2)$. Does anyone know of a basis ...
- 1,776
3
votes
1
answer
142
views
Nonstandard Podles spheres as $U_c(\frak{h})$ invariants
In this paper Podles introduced a $2$-parameter family of $q$-deformed spheres $S_{q,c}$ that are now called the "Podles spheres". The case of $c=0$ is very special and is known as the "...
- 1,144
3
votes
1
answer
248
views
example of a compact quantum group at a root of unity?
In Woronowicz's theory of compact quantum groups, the most well-known example is $SU_q(2)$, for $q$ a real number. Moreover, all the other examples of compact quantum groups, based some Drinfeld--...
- 31
3
votes
0
answers
105
views
Haar Functionals and Coquasi-triangular Structures
In this question it is mentioned that the coordinate algebra $C_q[G]$ Drinfeld--Jimbo algebras, for $G$ a compact semi-simple Lie group, admit a unique positive definite Haar functional. I was ...
- 1,453
2
votes
2
answers
327
views
Deformation quantization of a closed Riemann surface with genus >1
Quantization of of an elliptic curve can be done in different ways.
In C^*-algebraic version,
one can start with the C^*-algebra ...
- 309
2
votes
1
answer
341
views
Basis for Universal Calculus
Can anyone give an explicit basis of the universal (noncommutative) differential calculus over an algebra $A$ with basis ${e_i}$. (The universal calculus over $A$ is the kernel of the multiplication ...
- 1,776