All Questions
Tagged with qa.quantum-algebra hopf-algebras
180 questions
4
votes
3
answers
344
views
Coinvariants of tensor products of Hopf algebras
Let $G$ be a Hopf algebra, considered as a right $G$-comodule in the obvious way.
The axioms of Hopf algebras imply that
$$
G^{\operatorname{coinv}(G)} == \{g \in G : \Delta(g) = g \otimes 1\} = \...
3
votes
0
answers
91
views
Hopf algebras structure and quantum affine algebras
I'm looking for some information about the Hopf algebras structure and the quantum groups.
In particularly I was wondering if (and eventually where) is defined in the case of quantum affine algebras ...
- 31
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
3
votes
1
answer
104
views
Irreducibility of product bicomodules
Let $H$ be a Hopf algebra, and $V$ and $W$ a left, and a right,
$H$-comodule respectively. The tensor product
$$
V \otimes W
$$
has an obvious $H$-$H$-bicomodule structure.
If $V$ and $W$ are ...
- 1,144
3
votes
1
answer
456
views
Rigidity for the category of comodules over a Hopf algebra
On this page
https://ncatlab.org/nlab/show/rigid+monoidal+category
there is a discussion of rigidity (left-right duality) for the catagory of
modules over a Hopf algebra. What happens if we look at ...
- 993
5
votes
1
answer
215
views
Classification of $\operatorname{Rep}D(H)$
Question
Let $H$ be a finite dimensional complex Hopf algebra and $D(H)$ its quantum double. Can we classify the simple objects in $\operatorname{Rep}D(H)$ if the representations of $H$ are well-...
- 5,230
5
votes
2
answers
680
views
Characters on Hopf algebras
For any algebra $A$, a character for $A$ is a non-zero algebra map $c:A \to \mathbb{C}$. For $H$ be a Hopf algebra, a character is given by $\epsilon:H \to \mathbb{C}$ the counit of $H$. I am looking ...
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
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
2
votes
0
answers
70
views
Embedding problems on quantum groups？
We work over the field of complex numbers.
We have known that Lie algebra of type $A_2 $is a subalgebra of type $G_2$. However, when we consider their quantum groups, is this true i.e. does there ...
- 165
2
votes
2
answers
477
views
Comultiplication of elements of partition of unity
Let $F(G)$ be the algebra of functions on a finite quantum group $G$ (so that $F(G)$ is a finite dimensional $\mathrm{C}^*$-Hopf algebra).
Suppose that $\{p_i:i=0,\dots,d-1\}\subset F(G)$ is a ...
- 1,037
8
votes
1
answer
394
views
Image of Comultiplication on Finite Quantum Groups/Hopf Algebras
Let $A=:F(G)$ be the algebra of functions on a finite quantum groups aka a finite dimensional C*-Hopf Algebra.
Suppose that $F(G)$ is neither commutative nor cocommutative.
In their 1966 paper Kac and ...
- 1,037
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 ...
5
votes
2
answers
403
views
Indecomposable, non-simple, modules of quantum groups at roots of unity
Let us consider the quantum group $U_q(\mathfrak{sl}_2)$ (as defined in Kassel's book on quantum groups), for $q$ being a root of unity of order $d$ (i.e., $d$ is the smallest positive integer for ...
- 7,746
3
votes
0
answers
70
views
Is there a semisimple Hopf algebra Grothendieck equivalent to a strictly weak one?
By Corollary 2.22 in On fusion categories (by Pavel Etingof, Dmitri Nikshych and Viktor Ostrik) any fusion category is equivalent to the category of finite dimensional representations of a semisimple ...
4
votes
0
answers
103
views
Scaling Yetter--Drinfeld Modules
A braided vector space is a pair $(V,\sigma)$ consisting of a vector space $V$, and a linear map $\sigma:V \otimes V \to V \otimes V$, satisfying the Yang--Baxter equation. Ee can scale the braiding ...
- 835
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 (...
10
votes
1
answer
518
views
Functoriality of the Hopf dual
Given Hopf $\mathbb{C}$-algebra $H$, it's Hopf dual $H^o$ is the largest Hopf algebra contained in $H^*$, the $\mathbb{C}$-linear dual of $H$. (This is well known to be well-defined, see for example ...
- 835
5
votes
1
answer
575
views
Is there another quantum deformation of sl(2)?
By looking at defining relations of standard deformation of $\mathfrak{sl}_2$, which are:
$$
[E,F] = \frac{q^{H}-q^{-H}}{q-q^{-1}}, \quad [H,E] = 2E, \quad \text{ and } \quad [H,F] = -2F,
$$
some ...
- 53
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
7
votes
2
answers
378
views
Hopf Subalgebras of Quantized Algebras
As is well known, quantized enveloping algebras $U_q(\frak{g})$ admit far fewer sub-Hopf algebras than classical enveloping algebras $U(\frak{g})$. As one can check directly, for appropriate subsets ...
- 219
2
votes
0
answers
312
views
Module algebras and comodule algebras
Let $H$ be a Hopf algebra and $A$ an algebra. Let $H^*$ be the dual Hopf algebra of $H$. Then by Proposition 1.6.11 in the book Foundations of Quantum Group Theory by Shahn Majid, $A$ is a right $H$-...
- 6,201
10
votes
1
answer
191
views
Exceptional Quantum Groups as FRT-Algebras
Let $\frak{g}$ be a simple Lie algebra of A,B,C,or D series type. Moreover, let $U_q(\frak{g})$ be its Drinfeld-Jimbo quantized enveloping algebra, and $G_q$ the quantized enveloping algebra. As is ...
- 459
3
votes
0
answers
53
views
For any finite-dimensional Hopf C*-algebra, can one make the multiplication and co-multiplication cyclically symmetric simultanously?
For any finite-dimensional *-algebra, one can choose a basis such that the coefficients tensor of the anti-linear map $(a,b)\rightarrow (ab)^*$ becomes cyclically symmetric. (Any *-algebra is ...
- 3,001
6
votes
2
answers
256
views
Are there examples of finite-dimensional weak Hopf C*-algebras with non-involutive antipode?
For finite-dimensional (non-weak) Hopf C*-algebras it is known that the antipode is always involutive, as claimed e.g. in https://arxiv.org/pdf/1007.5283.pdf. I couldn't find the same statement for ...
- 3,001
9
votes
1
answer
766
views
The difference between $q$-deformations and $h$-deformations
What is the difference between $q$-deformations and $h$-deformations of universal enveloping algebras?
In chapter XVI of Quantum groups by Kassel, a very precise definition of a quantum enveloping ...
- 395
7
votes
1
answer
386
views
Inner automorphisms of Hopf algebras
Is there a reasonable notion of an inner automorphism of a Hopf algebra $H$ which in the case of a group ring $H=\mathbb KG$ for a group $G$ reduces to a conjugation by $g\in G$?
- 2,390
8
votes
1
answer
288
views
Name for the action of a bialgebra on an algebra
Give an algebra $A$, a bialgebra $B$, and an action, that is, a bilinear map $\triangleright: B \times A \to A$ such that
$$
(b_1b_2) \triangleright a = b_1\triangleright(b_2 \triangleright a).
$$
...
- 357
3
votes
1
answer
187
views
Number of Isomorphism Classes of Corepresentations of A Compact Quantum Group
Given a compact quantum group $(G,\Delta)$, with dense Hopf algebra $H$, is it always true that, up to isomorphism, $H$ will have a countable number of irreducible comodules?
- 159
17
votes
2
answers
2k
views
Examples of representations of quantum groups
I am trying to learn some basic theory of quantum groups $U_q(\mathfrak{g})$, where $\mathfrak{g}$ is a simple Lie algebra, say $sl_n(\mathbb{C})$. As far as I heard the finite dimensional ...
- 21.8k
2
votes
0
answers
87
views
Modules over quantum complete intersections
Let $a_i \geq 2$ be natural numbers and $q_{ij}$ field elements of the field $k$ for $i>j$.
A quantum complete intersection is the algebra $A:=k<x_1,...,x_n>/(x_i^{a_i},x_i x_j - q_{ij} x_j ...
- 26.5k
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
7
votes
0
answers
140
views
Triviality of Semisimple Hopf Algebras of Cyclic Dimension
A cyclic number is a natural number $n$ such that any group of order $n$ is cyclic. A003277
Theorem (T. Szele, 1947): A number $n$ is cyclic if and only if it is coprime to its Euler totient $\varphi(...
2
votes
0
answers
104
views
Comodule structure on finite dimensional Hopf algebra
Actually I am trying to establish that the following are equivalent for $f\in H^*$:
(i) $f\in \pi(H^*)$. where $\pi(H^*)$ is the vector subspace of $H^*$ (the subspace of coinvariants).
(ii) $f:H \...
- 149
4
votes
0
answers
67
views
Is the associated grouplike $\gamma=uS(u)^{-1}$ of a quasi-triangular Hopf algebra always the square of another grouplike?
Let $(H,R)$ be a finite-dimensional quasi-triangular Hopf algebra, lets say generated by group-like and skew-primitive elements (I actually need it for $H$ fin. dim. pointed with $G(H)$ abelian). Let $...
- 1,813
1
vote
0
answers
285
views
About the integral form of a quantum group
As far as I understood, in order to specialize a quantum group $U_q(\mathfrak{g})$, lets say over $\mathbb{Q}(q)$, to an element $\epsilon \in \mathbb{C}^\times$, it is necessary to find a $\mathbb{Z}[...
- 1,813
4
votes
0
answers
310
views
Nichols Algebras as Braided Hopf Algebras
Given a Hopf algebra $H$ and a Yetter--Drinfeld module $V$ over $H$, it is well-known that $V$ has an induced braided vector space structure, and so, one can consider it's Nichols algebra which is a ...
- 159
5
votes
1
answer
210
views
Cotensoring by a Hopf Algebra
For $H$ a Hopf algebra, with bijective antipode. For a right, and a left, $H$-comodule $(V,\alpha_R)$, and $(W,\alpha_L)$ respectively, the cotensor product of $V$ and $W$ is
$$
V \square_H W := \ker(...
- 459
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
3
votes
1
answer
235
views
What is the name of the Hopf algebra whose comodules are the "positive" highest weight modules of $U_{q}(sl(2))$?
The finite-dimensional representations over $\mathbb C(q)$ of $U_q(\mathfrak{sl}(2))$ are all highest weight. There are two irreducible modules of each dimension. In one, the highest weight vector $v$ ...
- 54.6k
2
votes
1
answer
96
views
Are braided commutators primitive elements of a braided Hopf algebra?
Let $H$ be a braided Hopf algebra. The multiplication on $H \otimes H$ is defined by $(a \otimes b)(c \otimes d) = a \Psi(b \otimes c) d$, $a,b,c,d \in H$.
Let $H = T(V)$. There is a algebra map $\...
- 6,201
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
4
votes
0
answers
626
views
Lusztig's definition of quantum groups
In his book Introduction to quantum groups, Lusztig gives a definition (Def 3.1.1) of the rational form $U^{\mathbb{Q}(q)}_q$ that is rather different from the usual approach (see [1,Ch.9.1] for ...
- 1,813
2
votes
1
answer
254
views
Finitely Generated Commutative Hopf $*$-Algebras
As is well known, using the Hilbert Nullstellensatz (and a more recent result of Cartier) one can show that commutative finitely generated Hopf algebras over $\mathbb{C}$ are equivalent to algebraic ...
1
vote
0
answers
88
views
Reference request: Nichols algebras of a braided vector space with a diagonal braiding
Are there some references of the proof of the following result?
Let $(V, c)$ be a braided vector space over a field $k$ with a basis $x_1, \ldots, x_n$, where $c$ is a diagonal braiding given by
\...
- 6,201
6
votes
1
answer
392
views
Corepresentations of Tensor Products of Hopf Algebras
Given two cosemisimple Hopf algebras $H,G$ over ${\mathbb C}$, denote their usual (not braided) tensor product by $G \otimes H$. What conditions do we need to impose on the Hopf algebras to ensure ...
- 159
4
votes
0
answers
160
views
Is the Nichols-Richmond theorem true for integral fusion rings?
The Nichols-Richmond theorem is a result on cosemisimple Hopf algebras, proved in their paper.
It was restated for integral fusion categories by Dong-Natale-Vendramin (Theorem 3.4 here):
Theorem: ...
9
votes
0
answers
120
views
Are the quantum groups $C_q[SU_{1,1}]$ and $C_q[SL_{2}(R)]$ isomorphic?
Classically the group of Moebius transformations of the unit disk and Moebius transformations of the upper half plane are isomorphic, as the unit disk and upper half plane are transformed into each ...
- 1,143
5
votes
2
answers
281
views
Comodules of Cosemisimple Hopf Algebras
A cosemisimple Hopf algebra is one which is the sum of its cosimple sub-cobalgebras. Is it clear that a comodule of a cosemisimple Hopf algebra always decomposes into irreducible parts? Moreover, will ...
- 1,479
2
votes
1
answer
197
views
When are Morita classes represented by certain structured algebra objects?
Let $\mathcal{C}$ be a monoidal category. There is a notion of Morita equivalence of algebra objects internal to $\mathcal{C}$. Does each Morita class have a symmetric Frobenius representative? A Hopf ...
- 1,209