Questions tagged [qa.quantum-algebra]
Quantum groups, skein theories, operadic and diagrammatic algebra, quantum field theory
798
questions
1
vote
1
answer
62
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(\...
- 83
7
votes
1
answer
266
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
0
votes
0
answers
44
views
Some version of non-commutative Wick formula
Let $V$ be a vertex algebra. The traditional non-commutative Wick formula is a tool to calculate term like $[a_\lambda:bc:]$. However, I need to calculate terms of the form $[:ab:_\lambda c]$. I found ...
- 595
8
votes
0
answers
173
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,122
2
votes
2
answers
142
views
Simple modular tensor category and zero entries in its S-matrix
Question 1: Is there a simple modular fusion category with a zero entry in its S-matrix?
(or equivalently, with a fusion matrix of zero determinant?)
Yes, by this answer below providing the example $\...
- 24.7k
2
votes
0
answers
59
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 $...
- 113
3
votes
0
answers
93
views
Transferred $L_\infty$-structure from Hochschild dgLA
Let $D_{poly}$ be the differential graded Lie algebra (dgLA) of differentiable Hochschild cochains on a manifold $\mathscr M$, endowed with the usual Gerstenhaber bracket $[-,-]_G$ and Hochschild ...
4
votes
1
answer
176
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-...
- 83
2
votes
0
answers
45
views
Automorphism group of the quantum Weyl field
Let $\mathsf{k}$ be a field with zero characteristic, and $q \in \mathsf{k}$ a non-zero elemento which is not a root of unit. The quantum plane $\mathsf{k}_q[x,y]$ is the algebra given by generators $...
- 1,895
8
votes
0
answers
121
views
Relation between "homotopical" and "representation-theoretic" categorifications
This might be a bit of a soft question, and I apologize in advance for this. Here it is:
What is the relationship between the "homotopical" categorification (e.g. we consider every category ...
- 980
6
votes
1
answer
213
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}...
- 247
5
votes
0
answers
155
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 ...
- 191
2
votes
1
answer
115
views
Question on tensor product of von Neumann algebras and subfactors
Let $M_1$ and $M_2$ be von Neumann algebras acting on Hilbert spaces $H_1,H_2$ and consider $M=M_1\overline\otimes M_2$ acting on $H_1\otimes H_2$. Let $K$ be an $M$-invariant subspace (so that $P_K\...
- 379
1
vote
0
answers
103
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
2
votes
0
answers
92
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 ...
- 2,402
1
vote
0
answers
100
views
Points and algebraic geometry on the quantum plane
The "quantum plane" is the "space" of the algebra $A=\Bbbk\langle X,Y\rangle/(YX-qXY)$, for a scalar $q$ (e.g. $\Bbbk=\mathbb C(q)$). I would like to know how much algebraic ...
- 2,327
5
votes
1
answer
181
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 ...
- 277
2
votes
0
answers
74
views
DHR superselection and DR reconstruction in low spacetime dimensions
Given a completely rational net on $\mathbb{R}$, the Doplicher-Haag-Roberts (DHR) category is a modular fusion category (MFC) identical to that associated with the corresponding vertex operator ...
- 427
3
votes
1
answer
98
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}\...
- 83
4
votes
1
answer
144
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 \...
- 277
3
votes
0
answers
93
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....
- 24.7k
2
votes
0
answers
94
views
Is there a non-pointed simple integral modular fusion category?
The weakly group-theoretical conjecture (supporting a negative answer to [ENO11, Question 2]) states as follows:
Statement 1: Every integral fusion category is weakly group-theoretical.
We wonder ...
- 24.7k
6
votes
1
answer
115
views
Commutative Frobenius algebra with non-invertible window element, but not square zero
For any commutative Frobenius algebra $A$ there is an associated window element $\omega \in A$. If $\mu: A \otimes A \to A$ denotes the multiplication, $1 \in A$ the unit, $b: A \otimes A \to k$ the ...
- 26.6k
5
votes
0
answers
93
views
Unitary fusion category and subfactor
From a unitary fusion category $\mathcal{C}$, there are several ways to make a (hyperfinite II$_1$) subfactor.
By [Ha] there are weak Hopf algebras $H$ such that $\mathcal{C} = Rep(H)$. By unitarity (...
- 24.7k
3
votes
0
answers
99
views
Are the fusion categories weakly Frobenius?
A well-known open problem (generalizing Kaplansky 6th conjecture) asks whether every (spherical) fusion category $\mathcal{C}$ (over $\mathbb{C}$) is of Frobenius type, i.e. for every simple object $X$...
- 24.7k
0
votes
0
answers
46
views
An action on multiplicatively antisymmetric matrix
A matrix $ Q=(q_{ij})$ is called multiplicatively antisymmetric over a field $ F $ if $ q_{ii}=1 $ and $ q_{ij}={q_{ji}}^{-1} $.Let $ \mathcal{Q} $ be the set of all $ n \times n $ multiplicatively ...
- 693
4
votes
0
answers
150
views
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 ...
- 992
7
votes
0
answers
298
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 ...
- 475
3
votes
0
answers
144
views
Vertex operator algebras and modular fusion categories
Let $\mathcal{V}$ be a vertex operator algebra (VOA), and let $\mathcal{C}=Rep(\mathcal{V})$ be the tensor category of (ususal) $\mathcal{V}$-modules. It is a well-known open-problem whether every ...
- 24.7k
1
vote
0
answers
88
views
Different modular data with same T-matrix
Modular data (MD) is an invariant of a modular fusion category $\mathcal{C}$. It is a couple of symmetric matrices $S, T \in M_r(\mathbb{C})$ with:
$r$ the rank of $\mathcal{C}$,
$S$ invertible,
$T$ ...
- 24.7k
3
votes
0
answers
84
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,393
4
votes
0
answers
169
views
Is there a strongly noncommutative Grothendieck ring?
This sequel of Is there a strongly noncommutative fusion category? is motivated to know whether every fusion category is "equivalent" (in some sense) to one with a commutative Grothendieck ...
- 24.7k
6
votes
1
answer
317
views
Is there a strongly noncommutative fusion category?
A fusion category is called noncommutative if its Grothendieck ring is noncommutative. Let us call a fusion category strongly noncommutative if every fusion category Morita equivalent to it (i.e. same ...
- 24.7k
5
votes
1
answer
179
views
Reference request : table of quantum Clebsch-Gordan coefficient
From a quick Google search, one can find a table of the first Clebsch-Gordan coefficient. For example this table. Those are used to pass between the tensor product bases and the bases as sum of ...
- 377
2
votes
1
answer
270
views
On the definition of the Cherednik algebra of a variety with a finite group action
Let $X$ be a connected complex smooth affine variety, acted on by a finite group $G$. We define a reflection hypersurface $(Y,g)$ as a smooth codimension one subvariety $Y\subset X$ which is fixed by $...
5
votes
0
answers
150
views
Strongly simple fusion categories: the known examples?
A fusion category is called simple if its fusion subcategories are just $Vec$ and itself. Let us call a fusion category strongly simple if every fusion category Morita equivalent to it (i.e. same ...
- 24.7k
2
votes
1
answer
149
views
Relation between the modular categories SU(2)_n and Sp(n)_1
The online database [1] provides a list of some modular tensor categories classified by rank. Let us consider the two modular categories denoted kmA1_$\ell$ and kmC$\ell$_1 (i.e. Kac Moody $A_1$ level ...
- 24.7k
0
votes
0
answers
65
views
Associativity of Quantum Double
Here is the statement about the associativity of the quantum double of bialgebras in Klimyk-Schmudgen "Quantum Groups ..." (Sec 8.2.1)
Can anyone help me derive the formula of on bottom of ...
- 2,360
9
votes
1
answer
241
views
Is there a geometric interpretation of the second derivative of the Alexander polynomial at $1$?
For an (oriented) knot in $S^3$ the number $\Gamma(K) := \Delta_K’’(1)$ shows up in a number of places in knot theory, for example the Casson-Walker-Lescop invariant. Here $\Delta_K(t)$ is the ...
- 2,353
4
votes
0
answers
85
views
Nullstellensatz for maximal left ideals of quantum plane
Let $R=\mathbb{C}\langle x,y\rangle/\langle xy=qyx\rangle$ be the quantum plane algebra. Does some sort of Nullstellensatz holds for the maximal left ideals of $R$? By this we mean all maximal left ...
- 91
3
votes
1
answer
194
views
Relating different definitions of dual of a compact quantum group
Let $\mathbb{G}$ be a compact quantum group in the sense of Woronowicz. We can look at its associated dense Hopf$^*$-subalgebra $\mathbb{C}[\mathbb{G}]$. Hence, in the framework of multiplier Hopf $*$-...
- 83
3
votes
1
answer
267
views
Motivating quantum groups from knot invariants
Quantum groups are useful for making knot/link invariants: for example, $U_q(\mathfrak{sl}_2$) you get the Jones polynomial. This boils down to the fact that $\mathcal C = \operatorname{rep }U_q(\...
- 2,183
4
votes
0
answers
128
views
Lusztig's root datum
In his "Introduction to quantum groups", Lusztig first defines a Cartan datum $(I,\cdot)$ and then a root datum of $(I,\cdot)$-type, which suggests (to me) that a root datum is not ...
- 2,360
5
votes
1
answer
122
views
PBW basis for the quantized enveloping Lie algebra of $\mathfrak{g}_2$
I would like to know if you have any reference where I can find the canonical PBW basis for $U_q(\mathfrak{g}_2),$ computed using the action of the braid group as defined by Luzstig.
Alternatively I ...
2
votes
0
answers
67
views
Dimensions of centralizers in quantum Lie algebras associated to $\mathfrak{sl}_n$
Following ideas of Woronowicz, Lyubaschenko and Sudbery defined in Quantum Lie algebras of type $A_n$ the notion of a quantum Lie algebra $\mathfrak{sl}_n$. Let me focus on the case where $q$ is not a ...
- 6,756
9
votes
1
answer
424
views
Hopf algebra with a non-invertible antipode
What is an example of a Hopf algebra with a non-invertible antipode?
- 125
5
votes
0
answers
111
views
Product of $U^+_q(\mathfrak{sl}_2)_i$ in $U_q(\mathfrak{g})$ according to some reduced expression
Let $\mathfrak{g}$ be some simple Lie algebra, $\alpha_1,\alpha_2,\cdots,\alpha_n$ be its simple roots. Let $U^+_q(\mathfrak{sl}_2)_i$ be the subalgebra of $U_q(\mathfrak{g})$ generated by $E_i,K_i$. ...
- 91
5
votes
0
answers
146
views
Interpretation of superfactorial in terms of plane partitions
Recently I got interested in plane partitions and the following formula by MacMahon, which counts the number of plane partitions $\pi \in B(r,s,t)$ fitting in an $(r,s,t)$-box:
$$
\binom{r+s+t}{r,s,t}...
- 1,525
2
votes
1
answer
267
views
Calculating fusion rules for $\operatorname{Rep}(G)$ and $G_{k}$ [reference request]
Could somebody please direct me to textbooks / literature that (perhaps lay the foundations for and) detail the method for determining the fusion rules for categories such as
$\operatorname{Rep}(G)$ ...
- 245
6
votes
1
answer
148
views
Norm of contragredient of unitary representations of compact quantum groups
Maybe the answer to the following question is known but I am unable to find it in the literature. Anyway, let me begin my question by fixing some notations and terms.
Let $G = (A, \Delta)$ be a ...
- 888