Questions tagged [quantum-groups]
Questions about algebraic structures known as quantum groups, and their categories of representations. Quasitriangular Hopf algebras and their Drinfel'd twists, triangular Hopf algebras, $C^\star$ quantum groups, h-adic quantum groups, various semisimplified categories at roots of unity which are called "quantum groups", bicrossproduct quantum groups, and quantum groups coming from braided tensor categories.
552
questions
4
votes
0
answers
67
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 ...
- 131
2
votes
1
answer
206
views
Completely contractive Banach algebra structure on the dual of a Hopf $C^*$-algebra
Let $(A, \Delta)$ be a Hopf $C^*$-algebra, i.e. $A$ is a $C^*$-algebra, and $\Delta: A \to M(A\otimes A)$ is an injective non-degenerate $*$-homomorphism that is coassociative:
$$(\iota \otimes \Delta)...
- 135
2
votes
0
answers
18
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 ...
- 393
8
votes
1
answer
150
views
How does the Tannaka duality work for weak Hopf algebras and fusion categories?
I'm a physicist and not yet an expert in fusion category. I've heard that it's possible to reconstruct a weak Hopf algebra from its category of representations, and would like to know how this works ...
- 393
3
votes
1
answer
152
views
A filtration on Drinfeld-Jimbo quantum enveloping algebras
For the universal enveloping algebra $U(\frak{g})$ of a Lie algebra $\frak{g}$, one can define in a natural way an increasing $\mathbb{N}_{0}$-filtration. By the Poincaré-Birkhoff–Witt theorem, the ...
4
votes
1
answer
138
views
In the rep theory of Quantum Double, why does the fusion of 2 "pure fluxes" yield a "pure charge"?
Physicist here, so my notation may be different from standard math notation.
For the quantum double $D(G)$ of a group $G$, we may write representations of $D(G)$ in the following way: Consider a ...
- 477
4
votes
1
answer
112
views
Examples of discrete quantum group actions on commutative von Neumann algebras
Let $\mathbb{G}$ be a discrete quantum group (in the sense of Vaes-Kustermans) with function algebra $(\ell^\infty(\mathbb{G}), \Delta)$. A (right) action of $\mathbb{G}$ on a von Neumann algebra $M$ ...
- 319
3
votes
2
answers
94
views
Does unitarity and modularity constrain fusion multiplicities to be 0,1?
If I have a braided tensor category that's unitary and modular, then how does the unitarity and modularity constrain the fusion multiplicities?
I know that if $a,b,c \in ob({C})$ satisfy the fusion ...
- 477
0
votes
0
answers
78
views
Concrete examples of quantum duality principle
Let $G$ be a Poisson Lie group, $\mathfrak{g}$ be a Lie algebra of $G$, $G^*$ be a dual of $G$, $\mathscr{C}(G^*)$ be a Poisson algebra of $G^*$, and $U_h(\mathfrak{g})$ be a quantized universal ...
- 123
0
votes
0
answers
91
views
A variant of quantum harmonic oscillators
We have the following variant of harmonic oscillators.
$$
\left\{
\begin{array}{**lr**}
T = a + a^\dagger\\
a | n \rangle = \sqrt{[n]} |n-1 \rangle \\
a^\dagger |n\rangle = \sqrt{[n+1]} |n+1\...
- 95
0
votes
0
answers
126
views
Is $[n]_q!$ invertible in $\mathbb C [[h]]\ $?
Consider the Hopf algebra $U_h (sl_2 (\mathbb C))$ over the ring $\mathbb C [[h]]$ generated by $E, F, H$ and relations $:$
$$[H, E] = 2 E,\ \ [H, F] = - 2 F,\ \ [E, F] = \frac {q^H - q^{-H}} {q - q^{-...
- 119
1
vote
0
answers
94
views
How does $R \equiv 1\ (\text {mod}\ h)\ $?
Definition $:$ Let $H$ be a Hopf algebra. An invertible element $R \in H \otimes H$ is called a coboundary structure on $H$ if
$(1)$ $\Delta^{\text {op}} = R \Delta R^{-1},$
$(2)$ $R_{21} = R^{-1},$
$(...
- 119
0
votes
0
answers
74
views
How to show that quantum $sl_2 (\mathbb C)$ is a Hopf algebra deformation of $U (sl_2 (\mathbb C))\ $?
The quantum $sl_2 (\mathbb C)$ is the non-commutative, non-cocommutative Hopf algebra $U_h (sl_2 (\mathbb C))$ over the ring $\mathbb C [[h]]$ generated by $E, F$ and $H$ with the relations $:$
$$[H, ...
- 119
3
votes
1
answer
148
views
Quantum group associated to a reductive group
In most of the classical references about quantum groups, these objects are defined as a one-parameter deformation of the universal enveloping algebra. However, I have read in several papers that it ...
- 31
3
votes
1
answer
135
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? ...
- 1,094
1
vote
0
answers
65
views
Product of matrix entry and representation
Consider a semisimple lie algebra $\mathfrak{g}$ and the corresponding quantum group $\mathcal U_q(\mathfrak{g})$ over $\mathbf{Q}(q)$. Consider two dominant weights $\lambda,\mu\in P^+$, a matrix ...
- 111
2
votes
0
answers
81
views
Invariant weights associated to algebraic quantum groups
Consider an algebraic quantum group $(A, \Delta)$ in the sense of Van Daele, i.e. a regular multiplier Hopf $^*$-algebra with a positive left integral $\varphi$ and a positive right integral $\psi$.
...
- 135
2
votes
0
answers
93
views
Morphism of discrete quantum groups
In the paper Kazhdan's Property T for Discrete Quantum Groups
, we read the following fragment:
First, note that I think there is a typo and that codomain and domain of the dual maps have to be ...
- 135
1
vote
1
answer
75
views
Show that if $V\in M(B_0(H)\otimes A)$, then $V(B(H)\otimes 1)V^*\not\subseteq B(H)\otimes A$ where $A$ is a specific unital $C^*$-algebra
Let $\mathbb{G}$ be a compact (quantum group) with function algebra $(C(\mathbb{G}), \Delta)$ and Haar state $\varphi_{\mathbb{G}}$. Consider the associated GNS-representation $\pi_{\mathbb{G}}: C(\...
- 135
2
votes
0
answers
80
views
Quantum groups as bialgebra cohomology classes
My question below is about how to view the quantum group $U_q(\mathfrak{g})$ as a bialgebra cohomology class.
Background: If $A$ is a bialgebra, Gerstenhaber and Schack in Bialgebra cohomology, ...
- 5,186
0
votes
2
answers
111
views
Tensor product of operator values weights (in the theory of locally compact quantum groups)
Let $M$ be a von Neumann algebra and $\psi$ a normal faithful semifinite weight on $M$. Then one should be able to form the object
$$\iota \otimes \psi: (M\overline{\otimes} M)_+ \to \widehat{M_+}.$$
...
- 135
7
votes
1
answer
302
views
What is the ring structure on Lusztig's integral form of quantum $\mathfrak{sl}(2)$?
Consider the quantum group $U_q(\mathfrak{sl}_2)$, with generators $E,F,K$ such that $[E,F]=\frac{K-K^{-1}}{q-q^{-1}}$. Write $[n]=\frac{q^n-q^{-n}}{q-q^{-1}}$, and $[n]!=[n][n-1]\dotsm[1]$.
In ...
- 440
8
votes
0
answers
197
views
$U_q(\mathfrak{g})$ is to knot theory as $U_q(\hat{\mathfrak{g}})$ is to $?$
Let $\mathfrak{g}$ be a finite dimensional semisimple Lie algebra over the complex numbers, e.g. $\mathfrak{sl}_n$.
Then every representation $\DeclareMathOperator\Rep{Rep}V\in \Rep U_q(\mathfrak{g})$ ...
- 5,186
2
votes
0
answers
67
views
The dual of elements $E$, $F$, and $H$ of $U_h(\mathfrak{sl}_2)$ corresponds to which element of $F_h(\mathrm{SL}_2)$ by isomorphism?
$\newcommand{\sl}{\mathfrak{sl}}\DeclareMathOperator\SL{SL}$Let $U_h(\sl_2)$ be the quantized universal enveloping algebra of $\sl_2(\mathbb{C})$ and $F_h(\SL_2)$ be the quantized function algebra of $...
- 123
4
votes
1
answer
297
views
Every locally compact group gives rise to a locally compact quantum group
A locally compact quantum group (in the sense of Vaes-Kustermans) consists of the data $(M, \Delta, \varphi, \psi)$ with $M$ a von Neumann algebra, $\Delta: M \to M \overline{\otimes} M$ a normal ...
- 135
1
vote
0
answers
50
views
Looking for paper ‘Lyndon bases and the multiplicative formula for R-matrices’ by M.Rosso
Does anyone have a link to the paper ‘Lyndon bases and the multiplicative formula for R-matrices’ by M. Rosso? I cannot find it in Google Scholar or Z-Lib. Thank you!
6
votes
1
answer
228
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
1
vote
1
answer
90
views
Problem in understanding a fact about Belavin-Drinfeld triple
A Belavin-Drinfeld triple associated to a simple Lie algebra $L$ is a triple $(\Gamma_1, \Gamma_2, \tau)$ where $\Gamma_1, \Gamma_2 \subseteq \Gamma$ ($\Gamma$ is a set of simple roots or fundamental ...
- 179
5
votes
0
answers
176
views
parameter of a quantum group
I am currently learning about quantum groups, and I got a question about how two different ways of thinking the $q$-parameter of quantum groups are related to each other. Here by a quantum group, I ...
- 211
1
vote
0
answers
108
views
How to make sense of $\mathrm{Mat}_q(n \times n)$? Are there notions of quantum vector space, quantum linear algebra, etc?
Given some algebra $\mathcal{A}$ and $q \in \mathbb{C}$, we say that a matrix $M \in \mathrm{Mat}(n \times n ; \mathcal{A})$ is a quantum matrix in $\mathrm{Mat}_q(n \times n)$ iff the following ...
- 585
5
votes
1
answer
197
views
Completely isometric coaction of discrete quantum group is multiplicative?
Let $\mathbb{G}$ be a compact quantum group (in the sense of Woronowicz) with discrete dual $\widehat{\mathbb{G}}$ which we view as a von Neumann algebraic locally compact quantum group (in the sense ...
- 319
0
votes
0
answers
61
views
Why is $\Pi_r^L$ a non-degenerate Poisson structure on $G\ $?
Let $r \in \bigwedge^2 \mathfrak {g}$ be a skew-symmetric solution of the CYBE (classical Yang-Baxter equation) so that it gives rise to a non-degenrate triangular structure on $\mathfrak {g}$ i.e. $r$...
- 179
5
votes
1
answer
178
views
States "absorbed" by a Haar idempotent on a compact quantum group
Firstly, a small question of nomenclature. If $(S,\bullet)$ is a magma, is there good terminology to relate $a$ to $b$ when
$$a\bullet b=b=b\bullet a?$$
Can we say that $b$ absorbs $a$? Can we say ...
- 797
1
vote
0
answers
87
views
Lagrangian subcategories of (non-pointed) braided tensor categories
I am interested in generalising the following claim in On braided fusion categories I (Remarks 4.67.)
“A braided fusion category $\mathcal C$ may have more than one Lagrangian subcategory. E.g., if $\...
- 113
4
votes
0
answers
101
views
Quantum version of Kostant's basis of ℤ-form of U(𝔤)
Kostant showed that the subring of $\mathcal U(\mathfrak{sl}_2)$ generated by the divided powers $e^c/c!$ and $f^a/a!$ has a $\mathbb Z$-basis given by the elements $\frac{f^a}{a!}\binom hb \frac{e^c}{...
- 71
3
votes
1
answer
103
views
Unitary in adjointable operators associated with equivariant Hilbert module
Consider the following fragment from the article "Tannaka–Krein duality for compact quantum
homogeneous spaces. I. General theory" by De Commer and Yamashita:
How exactly is $\mathcal{E}\...
- 135
3
votes
1
answer
164
views
Adding finite direct sums to a C*-tensor category
Consider the following fragment from the book "Compact quantum groups and their representation categories" by Neshveyev-Tuset (p72, in section 2.5):
$\ \ \ $ Assume $\mathscr{C}$ is a ...
- 135
4
votes
1
answer
150
views
Reference request: decomposability of $\mathbb{G}$-Hilbert modules
Let $\mathbb{G}$ be a compact quantum group, $B$ be a $C^*$-algebra together with a right action
$$\beta: B \to B\otimes C(\mathbb{G})$$ which is a non-degenerate $*$-homomorphism satisfying $(\beta \...
- 319
2
votes
0
answers
62
views
What is meant by saying that monoidal category of $U_h (sl_2 (\mathbb C))$ is different from that of $U(sl_2 (\mathbb C))[[h]]\ $?
I am following the notes on Quantum Groups given by our instructor. There I found that Drinfeld-Jimbo quantum group $U_h (sl_2 (\mathbb C))$ corresponding to the Lie algebra $sl_2 (\mathbb C)$ and the ...
- 179
4
votes
1
answer
88
views
Bicrossed and bismash product of Hopf algebras
I have been recently studying different methods to construct Hopf algebras.
In Theorem IX.2.3 of "Quantum groups" by Kassel the bicrossed product of a pair of matched bialgebras (or Hopf ...
- 226
13
votes
1
answer
397
views
Hopf algebras vs. Kac algebras
I recently came across Kac algebra. They are roughly Hopf algebras and $C^*$-algebras with compatible structures. It follows from Artin–Wedderburn theorem that every semisimple complex Hopf algebra ...
- 226
1
vote
0
answers
62
views
Problem in understanding Theorem $6.2.9$ from Chari and Pressley
The theorem I am referring to here says that if we start with a Lie bialgebra $\mathfrak g$ determined by some skew-symmetric element $r \in \mathfrak g \otimes \mathfrak g$ satisfying classical Yang-...
- 179
3
votes
1
answer
155
views
Understanding definition of quantization of a Poisson-Hopf algebra
I am going through the chapter Quantization of Lie bialgebras from the book A Guide to Quantum Groups by Chari and Pressley. There I found a notion called Quantization which deals with deformations of ...
- 179
7
votes
2
answers
183
views
Where does the univeral $R$-matrix of $U_q(\mathfrak g)$ live?
Let $\mathfrak g$ be a complex simple Lie algebra and let $U_q(\mathfrak g)$ denote the Drinfeld-Jimbo quantum group associated to $\mathfrak g$. I will assume that $U_q(\mathfrak g)$ is a $\mathbb C(...
- 681
8
votes
0
answers
314
views
+250
Finite-dimensional representations of quantum $SU(2)$
The most famous of all the quantum groups is $SU_q(2)$ - the Quantum special unitary group. The irreducible comodules of this quantum group are very well understood - they are labelled by integers (or ...
- 1,094
7
votes
0
answers
320
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 ...
- 600
2
votes
0
answers
80
views
Canonical basis of the invariant part of $O_q(\mathfrak g)^{\otimes N}$
Let $\mathfrak g$ be a semi-simple Lie algebra (We can assume $\mathfrak g=sl(n)$ for simplicity) and let $O_q(\mathfrak g)$ be the corresponding quantum algebra of functions. Then $O_q(\mathfrak g)^{\...
- 2,360
3
votes
0
answers
182
views
Drinfeld's "almost cocommutative Hopf algebras"
I'm looking for the following paper (in English):
Drinfelʹd, V. G. Almost cocommutative Hopf algebras. Leningrad Math. J. 1
(1990), no. 2, 321–342
I can only find the russian version on the internet ...
- 8,023
5
votes
1
answer
293
views
Relation between TQFT representations and factorizable sheaves
I am interested in the comparison between two different constructions which, as far as I can tell, are both supposed to produce rigorous constructions of Wess–Zumino-Witten conformal blocks.
More ...
- 120
3
votes
0
answers
87
views
Noncommutative group schemes corresponding to quantum groups
I'm not an expert on quantum groups by any stretch, so forgive me if this question seems overly naive. That said, I was wondering if there is a way (or if there has been any attempt in the literature) ...
- 1,402