All Questions
26 questions
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)$ ...
- 183
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 ...
- 3,318
11
votes
3
answers
1k
views
Does there exist any "quantum Lie algebra" embeded into the quantum enveloping algebra U_q(g)?
We have known that any finite dim Lie algebra can be embeded into it's enveloping algebra $U(\mathfrak{g})$, my question is: is there any "quantum Lie algebra" embeded into the quantum enveloping ...
- 131
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
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
1
answer
556
views
Quadratic algebras, quadratic operads, quadratic categories and quantum cohomology
Motivated by the quantisation of the symmetric laws in physics, the category of quadratic algebras has been endowed with two tensor products by Manin in his Montreal lectures notes. These products ...
- 3,652
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 ...
- 700
6
votes
1
answer
282
views
Quantum exterior algebra
In Generalisation of the quantum exterior algebra the quantum exterior algebra is discussed:
$$
K\langle x_1,\dotsc x_n\rangle/(x_i^2,x_i x_j + q_{i,j}x_j x_i),
$$
with nonzero field elements $q_{i,j}...
- 257
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 ...
- 437
6
votes
1
answer
272
views
Bialgebraic structure of Sklyanin algebra
Does Sklyanin algebra (which is an elliptic extension of the quantum group) admit a bialgebra structure or even Hopf algebraic structure? Or is it proved that it is impossible to have such a structure?...
- 367
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 ...
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
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 ...
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 $...
- 1,144
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\} = \...
4
votes
1
answer
179
views
quantum affine $gl_2$
There are many sources of the relations and Hopf algebra structure of quantum affine $sl_2$ as a deformed enveloping algebra. However, for an application to integrable systems I need to look at ...
- 1,143
4
votes
0
answers
122
views
Cosemi-simple FRT Hopf Algebras
This question is a somewhere similar variation on an old question of mine. Given an FRT-algebra, which is to say, roughly, that it can be constructed from an R-matrix in the Yang--Baxter sense (see ...
- 159
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
164
views
How to obtain an quantization of the algebra of functions of a given space?
My question is inspired by quantum spheres and quantum projective spaces (studied by Dijkhuizen & Noumi, Vaksman & Soibelman, etc., i.e. "A FAMILY OF QUANTUM PROJECTIVE SPACES AND RELATED $q$-...
3
votes
0
answers
88
views
Antipode action on quantum minors
Let ${\cal O}(SU_q(n))$ be the standard $q$-deformed coordinate algebra of $SU(n)$, with the canonical generators $x_{i,j}$. For $I = \{i_1,\ldots, i_r\}, J=\{j_1,\ldots,j_r\}\subseteq \{1, \ldots,n\}$...
- 71
2
votes
2
answers
566
views
Definition of a cosemisimple Hopf algebra
A cosemisimple Hopf algebra is usually defined to a Hopf algebra which is the sum of its cosimple subcoalgebras. Does this definition assume that each cosimple subcoalgebra appears only once in the ...
- 449
2
votes
1
answer
201
views
$H$-Hopf modules equal the tensor products of their coinvariants with H
In a comment for this old question, it was said that
>
There is a theorem that Hopf modules are (up to isomorphism) the tensor products of their coinvariants with H. (This theorem is usually worded ...
- 1,776
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 \...
- 1,144
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
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
1
vote
0
answers
115
views
Are the Standard Quantum Groups Coordinate Rings Noetherian?
Are the standard quantum groups $C_q[G]$ Noetherian and if so what is a standard reference?
- 163