All Questions
Tagged with qa.quantum-algebra hopf-algebras
180 questions
13
votes
1
answer
284
views
Finiteness of the number of Hopf subalgebras
Let $H$ be a finite-dimensional Hopf algebra over the complex field.
Question: Does $ H $ have a finite number of Hopf subalgebras?
In the case where $ H $ is semisimple, the answer is yes. According ...
5
votes
1
answer
179
views
Semisimplicity of algebras in fusion categories
Let $\mathcal{C}$ be a fusion category and $A \in \mathcal{C}$ be an algebra object. We say that $A$ is semisimple if its category of (right) modules $\mathsf{mod}_A(\mathcal{C})$ is a semisimple ...
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 ...
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(...
4
votes
0
answers
68
views
Smallest finite dimensional $\mathbb{C}^*$-Hopf algebra that is not "strongly group theoretical"
In this question, let us call a finite dimensional $\mathbb{C}^*$ Hopf algebra $H$ strongly group theoretical if there exists a finite group $G$ such that one of the following three equivalent ...
7
votes
2
answers
201
views
Does the canonical element associated to a finite dimensional $\mathbb{C}^* $-Hopf algebra always have finite order?
Let $\mathcal{A}$ be a finite dimensional $\mathbb{C}^* $-Hopf algebra. Let $B(\mathcal{A})$ be a basis of $\mathcal{A}$ and let
$B(\mathcal{A}^* )=\{ \delta_x\in\mathcal{A}^* | x\in B(\mathcal{A}) \}$...
3
votes
1
answer
165
views
quantum invariants, ribbon Tannakian duality and classification of ribbon Hopf algebras
In a nutshell, my question is:
Q0: is there a classification of invariant of (framed) tangles arising from the Reshetikhin–Turaev construction?
I will now make it more precise. One could define a ...
4
votes
0
answers
82
views
Is the Drinfeld element of a semisimple quasitriangular Hopf algebra invariant under the Drinfeld twist?
Let $A$ be a finite dimensional semisimple quasitriangular Hopf algebra over $\mathbb{C}$ with universal $R$-matrix denoted by $\mathcal{R}\in A\otimes A$. The Drinfeld element of $A$ is defined as
$$...
4
votes
1
answer
161
views
Existence of an element in a Hopf algebra that satisfies a 'flip' property
Consider a Hopf algebra $H$ where $S$ is the antipode and $\Delta$ is the coproduct. Given $a \in H$, I want to know if there always exists an element $b \in H$ satisfying the 'flip' property: $$\...
4
votes
0
answers
56
views
When does Morita equivalence between two Hopf-von Neumann algebras imply also equivalence of their categories of comodules?
Let $A$ and $B$ be two Hopf-von Neumann (bi)algebras. Furthermore, let us assume that we know that they are Morita equivalent as von Neumann algebras (i.e. their categories of appropriate ...
7
votes
0
answers
151
views
How to construct the quantum group $U_q(\mathfrak{sl}(2))$ from the quantum coordinate ring $\operatorname{SL}_q(2)$?
Let $k$ be the ground field, and $q$ be an invertible element with $q$ not being a root of unity.
Let $\operatorname{SL}_q(2)$ be the quantum coordinate ring of $\operatorname{SL}(2)$ given explicitly ...
2
votes
0
answers
28
views
Examples of (weak-)bialgebras/Hopf algebras with a finite dimensional unitary representation and corepresentation and polynomial growth rate
I need examples (the more the better, even better if there is a systematic way of construction) of (weak-)bialgebras or (weak-)Hopf algebras $H$ with a finite dimensional representation $\rho$ and a ...
4
votes
1
answer
175
views
Drinfeld-Jimbo quantum groups for $q=0$
In the Wikipedia page of Drinfeld--Jimbo quantum groups the values of $q=0,1$ are excluded so as to avoid dividing by zero. The $q=1$ case is discussed in this old question. What about the $q=0$ case? ...
4
votes
1
answer
228
views
Hopf algebra and coideal question
Let $A$ be a Hopf algebra (over a field). Consider a unital subalgebra $B\subseteq A$ with $\Delta(B)\subseteq B\otimes A$. Put
$$B^+:= B\cap \ker(\epsilon).$$
It can be shown that $B^+$ is a two-...
3
votes
0
answers
151
views
Is there a classical version of Yetter-Drinfeld modules?
One motivation for the notion of the Drinfeld double $D(H)$ of an Hopf algebra $H$ is that it is defined exactly so that modules over $D(H)$ correspond to Yetter-Drinfeld modules over $H$.
If we think ...
3
votes
0
answers
113
views
Is the Frobenius property invariant by Morita equivalence?
Kaplansky's sixth conjecture [Ka75] states that the dimension of a semisimple finite dimensional Hopf algebra over $\mathbb{C}$ is divisible by the dimension of its irreducible complex representations....
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 ...
7
votes
0
answers
385
views
How to define $U_q \mathfrak{g}$ without generators and relations?
I'm trying to learn something about quantum groups. The related definitions tend to consist of formulas which are not extremely intuitive, on the first glance. So I wonder how the amount of formulas ...
10
votes
1
answer
569
views
Hopf algebra with a non-invertible antipode
What is an example of a Hopf algebra with a non-invertible antipode?
3
votes
0
answers
103
views
How to interpret compositional diagrams for quantum sets algebraically
$\newcommand{\id}{\mathrm{id}}$My reference for this post is Musto, Reutter and Verdon's A compositional approach to quantum functions, arXiv:1711.07945. Questions are in bold below. Allow me to begin ...
2
votes
1
answer
180
views
Timmerman's "An invitation to quantum groups and duality" corollary 3.2.8
Consider the following propositions of Timmerman's book "An invitation to quantum groups and duality":
I do not understand the equivalence
$$h(\mathfrak{C}(\delta_V)S(\mathfrak{C}(\delta_W))...
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
$...
1
vote
1
answer
97
views
Orthogonality relations for Haar state and antipode (Timmerman)
Consider the following proposition from Timmerman's "An invitation to quantum groups and duality":
I am having trouble seeing why the boxed equations are true (Note that on the left the ...
3
votes
1
answer
314
views
Is there a definition of Heisenberg double for quasi-Hopf algebras?
$\newcommand{\dmod}{\text{-}\mathrm{mod}}$Let $A$ be a finite-dimensional quasi-Hopf algebra over a field $k$ and $A\dmod$ be the category of finite dimensional left $A$-modules.
Since $A\dmod$ is a ...
1
vote
0
answers
62
views
Indecomposable comodules
For a Hopf algebra $A$, we say that a comodule $V$ is indecomposable if it is not equivalent to a direct sum of irreducible comodules.
$\bullet$ What is an example of a finite dimensional ...
1
vote
1
answer
652
views
What is a coalgebra?
A coalgebra is a triple $(A,\Delta,\epsilon)$ consisting of a vector space, a coproduct, and a counit. Now as we all know, just like the unit in an algebra, the counit of a coalgebra is unique, i.e. ...
5
votes
2
answers
343
views
Classifying Hopf algebras that admit a single irreducible comodule
Is it possible to classify Hopf algebras $H$, over a field $k$, which admit a unique (up to isomorphism) irreducible comodule, namely the trivial $1$-dim comodule
$$
k \to k \otimes H, ~~ k \mapsto k ...
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 ...
4
votes
3
answers
540
views
Name for a Hopf algebra admitting no non-trivial 1-dimensional comodule
A Hopf algebra is called pointed if all its simple left (or right) comodules are one-dimensional. See for example this question for a discussion.
Now every Hopf algebra $H$ admits a one-dimensional ...
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, ...
9
votes
1
answer
332
views
The double cover in the classical limit of $U_q(\mathfrak{sl}_2)$
I am trying to learn about Drinfeld–Jimbo quantum groups and I am having trouble with the classical limit of $U_q(\mathfrak{sl}_2)$. When properly expressed the limit makes sense as $q\to 1$ — see for ...
2
votes
0
answers
99
views
Superfluous axioms for ribbon Hopf algebra
In his book Foundations of quantum group theory, Majid defines (2.1.10) a ribbon Hopf algebra as a quasi-triangular Hopf algebra $(H, R)$ with a special central element $v \in H$ satisfying
(1) $v^2 ...
18
votes
2
answers
1k
views
Why does Drinfeld Unitarization work?
In Drinfeld's paper "Quasi-Hopf Algebras" he illuminates a process by which you can replace the $R \in A \otimes A$ associated to a quasi-Hopf QUE-algebra $(A, \Delta, \varepsilon, \Phi)$ ...
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 \...
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 \...
0
votes
1
answer
115
views
Antipode on a multiplier Hopf-algebra
Probably an easy question, but here goes:
I'm reading the paper Multiplier Hopf algebras by Van Daele.
Let $(A, \Delta)$ be a multiplier Hopf algebra. Let $L(A), R(A), M(A)$ be the left, right and ...
2
votes
1
answer
205
views
A comodule algebra map from a Hopf algebra to itself
Let $H$ be a cosemisimple Hopf algebra (or just a bialgebra). Considering $H$ as a left $H$-comodule (i.e. take $\Delta_H$ to be the coaction), can there exist a (non-identity) algebra map $\sigma:H \...
6
votes
1
answer
194
views
Morphisms between compact quantum groups
Let $(A, \Delta_A)$ and $(B, \Delta_B)$ be two compact quantum groups (in the sense of Woronowicz). I would be tempted to define a morphism $(A, \Delta_A) \to (B, \Delta_B)$ to be a unital $*$-...
2
votes
1
answer
121
views
Definition of multiplier bialgebra
Consider the following fragments from "An invitation to quantum groups and duality" by Timmerman:
Question: In remark 2.1.6 (ii), it is stated that the homomorphism $\Delta\otimes \text{id}:...
4
votes
1
answer
101
views
Non-cosemisimple duals of pointed Hopf algebras
I take the following quote from an answer to this question
A Hopf algebra is called pointed if all its simple left (or right)
comodules are one-dimensional. The quantized enveloping algebras and
...
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 ...
0
votes
0
answers
106
views
Hopf algebra antipodes and right left comodule equivalences
Given a Hopf algebra $H$, denote by ${}^H\mathrm{mod}$ the category of left $H$-comodules, and by $\mathrm{mod}^H$ the category of right $H$-comodules. If the antipode $S$ of $H$ is invertible then we ...
3
votes
0
answers
119
views
Is the category of Yetter-Drinfeld modules abelian?
Is $YD(H)$ the category of Yetter--Drinfeld modules over a Hopf algebra (defined over a field $k$) necessarily abelian? If not then what is the simplest example of a Hopf algebra $H$ for which $YD(H)$ ...
4
votes
0
answers
208
views
Are the finite quantum permutation groups, weakly group-theoretical?
Wang defined in Quantum symmetry groups of finite spaces a notion of quantum automorphism group. The application to a finite space of $n$ elements is called the quantum permutation group of $n$ ...
3
votes
0
answers
752
views
Where can I find Drinfeld's original papers on quantum groups?
Let $\mathfrak{g}$ be a semisimple Lie algebra. Let $U_h(\mathfrak{g})$ be the Drinfeld-Jimbo quantum group, i.e. the $\mathbb{C}[[h]]$-algebra topologically generated by $X_i,Y_i,H_i$ where $1\leq i\...
5
votes
1
answer
165
views
Reference requests : Presentation of the braided dual of $U_q(\frak{sl_2})$
I am interested in the braided dual of the quantum group $U_q(\frak{sl_2})$. This is the algebra generated by the matrix coefficients but where the multiplication is twisted by an action of the $R$-...
5
votes
1
answer
129
views
Covariant splittings of Hopf algebra projections
What is an example of a pair of Hopf algebras $(A,B)$ with a surjective Hopf algebra map $\phi:A \to B$ such that $\phi$ does not admit a $B$-bi-comodule splitting $s:B \to A$? To be clear, the right $...
6
votes
2
answers
543
views
Confusion around the reflection equation algebra
I have encountered several occurrences of the so called reflection equation algebra (REA) but depending on where I find them, I feel like I get slightly different objects. In all cases there is a ...
12
votes
3
answers
832
views
Axiomatic definition of quantum groups
This is a question I've discussed with a lot of mathematicians, and have read some mathematical texts about, and watched some conference talks about: what is, axiomatically, a quantum group?
There are ...
5
votes
0
answers
172
views
Are the symmetric groups integrable as Hopf algebras?
Let $G$ be a group. For $g,h \in G$, let $[g,h]=g^{-1}h^{-1}gh$ be a commutator. The normal subgroup $G' = \langle [g,h] \ | \ g,h \in G \rangle$ is called the commutator subgroup or derived subgroup. ...