All Questions
Tagged with qa.quantum-algebra hopf-algebras
27 questions
11
votes
2
answers
1k
views
Quantized Enveloping Algebras at $q=1$
As is well-known, the quantized enveloping algebra $U_q(\frak{sl}_2)$ is not well-defined when $q=1$ because of the relation
$$
[E,F] = \frac{K-K^{-1}}{q-q^{-1}}.
$$
To address this problem, one has ...
- 263
30
votes
2
answers
2k
views
quantum groups... not via presentations
Given a semisimple Lie algebra $\mathfrak g$ with Cartan matrix $a_{ij}$, the quantum group $U_q(\mathfrak g)$ is usually defined as the $\mathbb Q(q)$-algebra with generators $K_i$, $E_i$, $F_i$ (the ...
- 43.2k
8
votes
0
answers
488
views
Is there a non-trivial Hopf algebra without left coideal subalgebra?
Let $H$ be a finite dimensional Hopf ${\rm C}^{\star}$-algebra.
A $\star$-subalgebra $I$ of $H$ is a left coideal if $\Delta(I) \subset H \otimes I$.
$H$ is called maximal if it has no left coideal $\...
13
votes
2
answers
997
views
Can one define quantized universal enveloping algebras in a basis-free way?
(For the background, I am learning about quantum groups — essentially in order to understand crystal/global/canonical bases in the context of this question — from the books by Jantzen and by Hong&...
- 32.5k
8
votes
3
answers
528
views
Classification of $\operatorname{Rep} D(G)$
Let $G$ be a finite group and $D(G)$ its quantum double. Its finite dimensional complex representations are classified in this Dijkgraaf et al. Quasi-Quantum Groups Related To Orbifold Models. However,...
- 5,230
6
votes
0
answers
239
views
Existence of a Kac algebra for a given fusion ring in a particular class
A $n$-dimensional Kac algebra (i.e., a Hopf C*-algebra), admits finitely many irreducible representations, whose cardinal $r$ is called its rank, the increasing sequence $(d_{1},d_{2},d_{3}, ..., d_{r}...
1
vote
1
answer
129
views
About extensions between morphisms on the multiplier algebra
Let $A$ be a non-degenerate algebra and let $\Delta: A \to M(A \otimes A)$ be a non-degenerate morphism. We can extend the algebra morphism
$$\iota \otimes \Delta: M(A \otimes A) \to M(A \otimes A \...
user167952
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
20
votes
10
answers
4k
views
Hopf algebras examples
Following Richard Borcherds' questions 34110 and 61315, I'm looking for interesting examples of Hopf algebras for an introductory Hopf algebras graduate course.
Some of the examples I know are well-...
18
votes
3
answers
2k
views
Hopf dual of the Hopf dual
Given any Hopf algebra $A$ over a field $k$, one can also define the Hopf dual $A^*$ of as follows: Let $A^∗$ be the subspace of the full linear dual of $A$ consisting of elements that vanish on some ...
- 835
14
votes
2
answers
1k
views
Is a bialgebra with all group-like elements invertible a Hopf algebra?
We know that in a Hopf algebra all group-like elements are invertible. Is the converse also true? Here is the precise formulation of my question :
Let $B$ be a bialgebra and $GLE$ = { $g \in B ~|~ g \...
- 465
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
12
votes
0
answers
285
views
Is there a non-Kac complex finite dimensional semisimple Hopf algebra?
A complex (finite-dimensional) Hopf algebra is said to be a
Kac algebra if it is a ${\rm C^{\star}}$-algebra in such a way that the comultiplication $\Delta$ is a $\star$-homomorphism. Obviously, a (...
8
votes
2
answers
852
views
Is a Hopf algebra a group object of some category?
The page of ncatlab on group object states that:
A group object in $\mathrm{CRing}^{\mathrm{op}}$ is a commutative Hopf
algebra.
Question: Is a (noncommutative) Hopf algebra a group object of some ...
7
votes
2
answers
469
views
Low dimensional noncommutative non-cocommutative Hopf algebras
Sweedler's Hopf algebra (see here) is the lowest dimesnional ($4$-dimensional) Hopf algebra that is noncommutative and non-cocommutative. What are the next examples? Are there noncommutative, ...
- 141
7
votes
3
answers
650
views
Representations of $D(G)$ as an object in the center of $\operatorname{Rep}(G)$
Let $G$ be a finite group and $D(G)$ its quantum double. As in my previous question, a typical irreducible representation (finite dimensional over $\mathbb{C}$) is labeled by $(\theta,\pi)$, where $\...
- 5,230
7
votes
2
answers
631
views
Abelian category from the category of Hopf algebras
The kernel of a Hopf algebra map $\phi:H_1 \to H_2$ is in general not a Hopf
sub-algebra of $H_1$. Is there some replacement or alteration of the notion
of a kernel in the Hopf algebra setting. Same ...
- 1,144
6
votes
3
answers
442
views
Commutative and Cocommutative Quantum Groups
I am using this definition:
An algebra of functions on a finite quantum group $\mathbb{G}$ is a finite dimensional $C^\ast$-Hopf algebra $A=:F(\mathbb{G})$.
I have the following (very well known --...
- 1,037
6
votes
1
answer
308
views
Compact Quantum Groups and FRT-Algebras
As is well known, every compact quantum group in the sense of Woronowicz has a dense Hopf $*$-sub-algebra. For the case of $q-SU(n)$ (among others) this Hopf $*$-sub-algebra is an FRT-algebra, which ...
- 159
5
votes
0
answers
203
views
Is there a perfect integral fusion category with PFdim = 2 mod 4?
A finite group $G$ is perfect if $G = G^{(1)} := \langle [G,G] \rangle$.
Proposition: A finite group $G$ is perfect iff every $1$-dimensional complex representation of $G$ is trivial.
proof: First if $...
4
votes
1
answer
347
views
Fusion Rules for Quantum Groups
For the Drinfeld--Jimbo quantum groups $U_q(\frak{g})$, we have an equivalence of categories between the representations of $U_q(\frak{g})$ and the representations of $U(\frak{g})$.
Is this a ...
- 1,479
3
votes
0
answers
229
views
The convolution on a semisimple finite quantum groupoid
Let $\mathbb{A}$ be a finite dim. weak Hopf $C^*$-algebra (or semisimple finite quantum groupoid) and $\hat{\mathbb{A}}$ its dual.
Let the Fourier transform $\mathcal{F}: \mathbb{A} \to \hat{\mathbb{...
3
votes
0
answers
276
views
Is there a non-pointed simple integral modular fusion category?
The complex field $\mathbb{C}$ is assumed to be the base field. Let WGT stand for weakly group-theoretical; then [ENO11, Question 2] asks whether the following holds:
Statement 1 (open): There is a ...
3
votes
1
answer
207
views
Characterising algebraic compact quantum groups among Hopf $^*$-algebras
Let $(A, \Delta)$ be a Hopf $^*$-algebra. Assume that $\{u^\alpha\}_{\alpha \in I}$ is a maximal collection of pairwise inequivalent irreducible unitary corepresentation matrices. I want to show that
$...
- 175
2
votes
1
answer
78
views
Does there exist a nontrivial triangular weak Hopf algebra?
Quasitriangular weak Hopf algebras (QWHAs) are defined in Nikshych-Turaev-Vainerman (2000): A QWHA is a pair
($H,\mathcal{R}$) where $H$ is a WHA and
$\mathcal{R} \in \Delta^{op}(1)(H\otimes H)\Delta(...
- 727
1
vote
0
answers
107
views
Weakly group theoretical fusion category and subsystems
Let $\mathcal{C}$ be a fusion category and $H$ a semi-simple finite weak Hopf algebra such that $\mathcal{C}(H) = \mathcal{C}$.
Suppose that for every nontrivial left coideal subalgebras $S$ of $H$ or ...
1
vote
1
answer
157
views
Non-degeneracy of comultiplication (multiplier Hopf algebras)
Consider the following fragment from the paper "Multiplier Hopf-algebras" by Van Daele.
Can someone explain how the coassociativity in definition 2.2 (ii) and the requirement $(\Delta \...
user167952