All Questions
Tagged with qa.quantum-algebra quantum-groups
323 questions
12
votes
2
answers
2k
views
Is there any published physics article where $q$-mathematics is applied?
Excuse me for the concern, but I want to ask you a question.
In 2002 Professor John Baez had published a few articles on his page regarding the possibility of applying $q$-mathematics in the science ...
- 551
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
2
votes
1
answer
189
views
Bialgebra pairing on ring polynomial $K[x]$
I need your help on how to show the existence of a bialgebra pairing: for the polynomial ring $k[x]$ over a field $k$, there is a bialgebra pairing $t:k[x]\otimes k[x]→k$ such that $t(x,x)=1$. What is ...
- 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
5
votes
1
answer
283
views
Reference request quantum SU(3)
Woronowicz shows that the C*-algebras of quantum $SU(2)$ are isomorphic (only as C*-algebras, forgetting the quantum group structure). Are there similar results for quantum $SU(n)$ for $n \geq 3$?
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
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
0
answers
71
views
Comodules of the $B,C$ and $D$ series quantum groups
In Section 11.5 of Klimyk and Schmudgen's book on quantum groups, explicit presentations of the isomorphism classes of comodules of ${\cal O}(GL_q(N))$ are given in terms of its "quantum minors". In ...
- 101
7
votes
0
answers
161
views
Are the weight spaces of indecomposable $U_q\mathfrak{sl}(2)$-modules at most 2-dimensional?
This is a follow up of this question.
Let $U_q\mathfrak{sl}(2)$ be Lusztig's integral form of the quantized enveloping algebra of $\mathfrak{sl}_2$, specialised at $q$ a root of unity. This is an ...
- 43.2k
5
votes
1
answer
429
views
Crystal basis for quantum groups and Lie algebras
Lie $g$ be a finite dimensional complex simple Lie algebra and $U_q(g)$ the corresponding quantum group, where $q$ is not a root of unity. Every simple finite dimensional $g$-module is of the form $V(\...
- 6,201
3
votes
0
answers
97
views
Simple modules of quantum toroidal algebras
Many properties of quantum toroidal algebras are similar to quantum affine algebras. Every simple module of a quantum affine algebra of rank $n$ corresponds to an $n$-tuple of Drinfeld polynomials.
...
- 6,201
22
votes
0
answers
481
views
What are the indecomposable $U_q\mathfrak{sl}(2)$-modules?
Let $\mathfrak g=\mathfrak{sl}(2)$.
Let $\zeta$ be a primitive root of unity of even order. Say $\zeta=e^{2\pi i/6}$, for concreteness.
Let $U_q\mathfrak g$ be Lusztig's integral form of the ...
- 43.2k
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
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
10
votes
2
answers
836
views
Computing in quantum groups
I'd be interested in doing some computations in quantum groups $ U_q(\mathfrak g)$ that are conceptually simple (``is this element 0"?, and $\mathfrak g = sl_5$), but are somewhat lengthy to do by ...
- 2,869
6
votes
2
answers
286
views
When are the braid relations in a quasitriangular Hopf algebra equivalent?
Quasitriangular Hopf algebras have to satisfy, amongst other conditions, the following equations:
$$(\Delta \otimes \mathrm{id}) (R) = R_{13} R_{23}$$
$$(\mathrm{id} \otimes \Delta) (R) = R_{13} R_{12}...
- 5,565
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
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
5
votes
0
answers
191
views
Modular double of elliptic quantum group
By studying dynamical quantum Yang-Baxter equations and corresponding $RLL$ relations, Felder defined an elliptic version of quantum group $E_{\tau, \eta}(sl_2)$, which can be understood as $\mathfrak{...
- 367
2
votes
0
answers
66
views
How to value $\Omega$ in T-system for twisted quantum affine algebras?
Let us proceed to the unrestricted T-systems. Choose $h\in {\mathbb{C}\backslash 2\pi \sqrt{-1} \mathbb{Q}}$ arbitrarily.
The unrestricted T-system for $U_{q}(X_{N}^{(\mathfrak{k})})$ is the following ...
- 348
7
votes
1
answer
986
views
Understanding "Decategorified" symplectic Khovanov homology
In http://arxiv.org/abs/math/0405089 Seidel and Smith constructed a link invariant using Lagrangian Floer theory that was conjectured to be equivalent to Khovanov homology. The equivalence was ...
- 73
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$-...
8
votes
1
answer
266
views
Classifying Low Dimensional Solutions of the Yang--Baxter Equation
What is the present situation with classifying solutions of the Yang--Baxter equation in low dimensions?
To make my question more specific, have all solutions for dimension $2$ and $3$ been ...
- 101
4
votes
1
answer
278
views
Can the ribbon category of f.d. reps of $\mathcal{U}_q(\mathfrak{sl}(2))$ be modified so the twist is trivial on the vector representation?
Consider the ribbon category of finite-dimensional representations of $\mathcal{U}_q(\mathfrak{sl}(2))$, with twist $\theta$. If $V$ is the vector representation, then $\theta_V$ is multiplication by $...
- 1,474
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
7
votes
2
answers
623
views
How to make a premodular category a modular tensor category?
A premodular category (also called ribbon fusion category) is roughly speaking a tensor category where fusion and braiding of the objects are defined. With an extra nondegeneracy condition for the ...
- 875
21
votes
4
answers
2k
views
Why are quantum groups so called?
I've recently been to a seminar on quantum matrices. In particular the speaker introduced these objects as the coordinate ring of $2$ by $2$ matrices modulo some odd looking relations (see start of ...
- 827
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
7
votes
2
answers
405
views
The Irreducible Representations of the Sekine Quantum Groups
Here Y. Sekine introduces a one-parameter family of finite quantum groups of dimension $2n^2$. Let $n\geq 3$ be fixed and $\zeta=e^{2\pi i/n}$. Set
$$\mathcal{B}_n=\mathbb{Z}_n\times\mathbb{Z}_n=\{(i,...
- 1,037
7
votes
0
answers
331
views
An alternative Cauchy theorem on Hopf algebras
Let $\mathbb{A}$ be a finite dimensional Hopf ${\rm C}^{\star}$-algebra.
There already exists a generalization of Cauchy theorem using exponent, see [KSZ06].
We are interesting in an alternative ...
5
votes
1
answer
203
views
What are the applications of the depth 2 reduction to the subfactors theory?
Let $(N \subset M)$ be an irreducible finite depth ($>2$) finite index unital inclusion of hyperfinite ${\rm II}_1$ factors, then for $n$ sufficiently large the subfactor $(N \subset M_n)$ is depth ...
1
vote
0
answers
92
views
Deforming the category of representations of the Yangian of a simple Lie algebra?
Since I got a very good answer to my previous question,
217585,
I am asking a sequel by moving up a level.
Let $\mathfrak{g}$ be a simple Lie algebra. Then we have the Yangian $Y(\mathfrak{g})$ and ...
- 488
3
votes
1
answer
314
views
Deforming the category of representations of a simple Lie algebra?
This is a follow up question to the insightful answer by Theo Johnson-Freyd to the question 105221.
This answer explained that the quantised enveloping algebra, $U_q(\mathfrak{g})$, (defined by a ...
- 488
10
votes
0
answers
287
views
What's the relation between half-twists, star structures and bar involutions on Hopf algebras?
A star structure on a Hopf algebra is an antilinear antiautomorphism squaring to 1 and satisfying some further axioms. A Hopf algebra with a star structure is then a star algebra and a Hopf algebra in ...
- 5,565
21
votes
1
answer
863
views
Why, in terms of quantum groups, does the knot determinant appear as an evaluation of both the Jones and Alexander polynomials?
The Jones polynomial can be computed from the representation theory of $\mathcal{U}_q(\mathfrak{sl}(2))$. The Alexander polynomial has an analogous description in terms of the representation theory of ...
- 1,474
1
vote
1
answer
69
views
Radicals of co-quasitriangular map
Let $B=\mathcal{O}_R\left(GL(n)\right)$ be a localization of the algebra $A(R)$ of functions on the quantum formal group corresponding to the matrix $R$ ["Quantization of Lie groups and Lie algebras", ...
- 797
10
votes
2
answers
363
views
Symmetries of module categories over the category of representations of quantum $sl(2)$
The category $\mathcal{C}_l$ of tilting modules of the quantum group $U_q(sl_2)$ quotiented out by the modules of zero quantum dimension has a natural structure as a semisimple monoidal category when ...
- 103
53
votes
4
answers
5k
views
Intuition behind the definition of quantum groups
Being far from the field of quantum groups, I have nevertheless made in the past several (unsuccessful) attempts to understand their definition and basic properties. The goal of this post is to try to ...
- 21.8k