Questions tagged [qa.quantum-algebra]
Quantum groups, skein theories, operadic and diagrammatic algebra, quantum field theory
855 questions
5
votes
1
answer
143
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
72
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 ...
- 7,300
10
votes
1
answer
569
views
Hopf algebra with a non-invertible antipode
What is an example of a Hopf algebra with a non-invertible antipode?
- 145
5
votes
0
answers
123
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
154
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,813
3
votes
1
answer
492
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)$ ...
- 309
6
votes
1
answer
172
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 ...
- 960
1
vote
0
answers
166
views
How to understand a definition in KLR algebra in the setting of quantum affine algebras?
I am trying to figure out what should the following definition correspond to in the setting of quantum affine algebra:
$$
X \circ Y = Ind_{\beta, \gamma}^{\beta+\gamma} X \boxtimes Y \quad (1)
$$
This ...
- 6,201
3
votes
1
answer
144
views
Closed-form expressions for the Kashaev invariant via surgery
For a knot $K$, let $J_N(K)$ denote the $N$th Kashaev invariant of $K$. This is the same as the $N$th colored Jones polynomial evaluated at an $N$th root of unity (or $2N$th depending on your ...
- 2,533
6
votes
2
answers
1k
views
In what precise sense is quantum (i.e., non-commutative) probability not expressable in terms of classical probability?
The quantum set-up has many settings, so let's fix some definitions. I will be taking the Hilbert space approach with a minor modification that I will make explicit.
We begin with a Hilbert space $\...
- 323
1
vote
0
answers
137
views
Representation of quantum groups
Let $\mathbb{G}=(A,\Delta_A)$ be a C*-quantum group and $\mathbb{H}=(B,\Delta_B)$ be a closed quantum subgroup of $\mathbb{G}$. We say that $\mathbb{H}$ is a closed quantum subgroup of $\mathbb{G}$ if ...
- 121
7
votes
1
answer
345
views
Is the comultiplication of a compact quantum group always injective?
Let $(A, \Delta)$ be a compact quantum group in the sense of Woronowicz. Is it true that the comultiplication $\Delta : A \to A \otimes A$ always injective?
This is true for both the universal (...
- 1,586
4
votes
1
answer
237
views
Exponential map and Lie correspondence within a Hopf algebra setting
The Cartier-Konstant-Milnor-Moore (et al.) theorem for Hopf algebras states that a cocommutative Hopf algebra over $\mathbb{C}$ is isomorphic to a smash product of a universal enveloping algebra of a ...
- 41
3
votes
0
answers
103
views
How to interpret compositional diagrams for quantum sets algebraically
$\newcommand{\id}{\mathrm{id}}$My reference for this post is Musto, Reutter and Verdon's A compositional approach to quantum functions, arXiv:1711.07945. Questions are in bold below. Allow me to begin ...
- 59
3
votes
1
answer
163
views
Norm antipode on a Kac-type compact quantum group
Let $\mathbb{G}$ be a $C^*$-algebraic compact quantum group. Consider the associated dense Hopf$^*$-subalgebra $\mathcal{O}(\mathbb{G})$ and let $S: \mathcal{O}(\mathbb{G})\to \mathcal{O}(\mathbb{G})$ ...
- 175
3
votes
1
answer
213
views
Woronowicz characters are multiplicative
I'm reading the book "Compact quantum groups and their representation categories" by Neshveyev-Tuset.
Let $G$ be a $C^*$-algebraic compact quantum group with function algebra $(C(G), \Delta)...
- 175
11
votes
0
answers
252
views
Quantum groups at small roots of 1
I wonder if there is any literature about representations of quantum groups at a root of 1 of small order. For example, I would like to understand the case of $\mathrm{SL}(2)$ and $q=-1$ (in the ...
- 7,037
4
votes
0
answers
165
views
Tensor product of representations on a compact quantum group
Let $\mathbb{G}$ be a $C^*$-algebraic compact quantum group (in the sense of Woronowicz) with function algebra $(C(\mathbb{G}), \Delta)$.
Let $X \in M(B_0(H)\otimes C(\mathbb{G}))$ and $Y \in M(B_0(K)\...
- 175
5
votes
0
answers
85
views
Drinfel'd polynomials for evaluation representations of $\mathbf{U}_q(\mathbf{L}\mathfrak{g})$?
We know for type $A$, there is an evaluation homomorphism from quantum affine algebra to quantum algebra,
$$\operatorname{ev}_a:\mathbf{U}_q(\mathbf{L}\mathfrak{g})\to \mathbf{U}_q(\mathfrak{g})$$
for ...
- 719
5
votes
1
answer
209
views
Subrepresentations of C*-algebraic compact quantum groups
Let $\mathbb{G}$ be a compact quantum group with function algebra $(C(\mathbb{G}), \Delta)$ (in the sense of Woronowicz). Let $X \in M(B_0(H) \otimes C(\mathbb{G}))$ be a (possibly infinite-...
- 175
2
votes
1
answer
180
views
Timmerman's "An invitation to quantum groups and duality" corollary 3.2.8
Consider the following propositions of Timmerman's book "An invitation to quantum groups and duality":
I do not understand the equivalence
$$h(\mathfrak{C}(\delta_V)S(\mathfrak{C}(\delta_W))...
- 175
3
votes
0
answers
134
views
Relative strength of Jones and colored Jones polynomials
this is my first post here.
I've been studying some Knot Theory and I came to a question concerning invariants.
We know that the Jones polynomial is related to the RT-invariant associated to the two-...
- 31
12
votes
2
answers
409
views
Reference for free symmetric monoidal categories with duals on symmetric monoidal categories
The inclusion $U$ of the (2,1)-category of symmetric monoidal categories with duals into the (2,1)-category of symmetric monoidal categories admits a left 2-adjoint functor $L$ for formal reasons.
In ...
- 37.8k
3
votes
1
answer
207
views
Characterising algebraic compact quantum groups among Hopf $^*$-algebras
Let $(A, \Delta)$ be a Hopf $^*$-algebra. Assume that $\{u^\alpha\}_{\alpha \in I}$ is a maximal collection of pairwise inequivalent irreducible unitary corepresentation matrices. I want to show that
$...
- 175
1
vote
1
answer
97
views
Orthogonality relations for Haar state and antipode (Timmerman)
Consider the following proposition from Timmerman's "An invitation to quantum groups and duality":
I am having trouble seeing why the boxed equations are true (Note that on the left the ...
- 175
4
votes
0
answers
117
views
Explicit construction of the Drinfeld double for quasi-bialgebras
Let $A$ be a quasi-bialgebra over a field $k$ and $A$-$\mathrm{mod}$ be the category of finite dimensional left $A$-modules. Since $A$-$\mathrm{mod}$ is a monoidal category, its Drinfel’d center $\...
- 255
3
votes
1
answer
314
views
Is there a definition of Heisenberg double for quasi-Hopf algebras?
$\newcommand{\dmod}{\text{-}\mathrm{mod}}$Let $A$ be a finite-dimensional quasi-Hopf algebra over a field $k$ and $A\dmod$ be the category of finite dimensional left $A$-modules.
Since $A\dmod$ is a ...
- 255
3
votes
1
answer
218
views
A twisted Haagerup category without pivotal structure
Let $G$ be a finite group, $\tau$ a group automorphism of $G$ of period two and $m$ a natural number. Following [1, Definition 2.1], a complex fusion category $\mathcal{C}$ is called a quadratic ...
1
vote
0
answers
62
views
Indecomposable comodules
For a Hopf algebra $A$, we say that a comodule $V$ is indecomposable if it is not equivalent to a direct sum of irreducible comodules.
$\bullet$ What is an example of a finite dimensional ...
- 123
1
vote
1
answer
652
views
What is a coalgebra?
A coalgebra is a triple $(A,\Delta,\epsilon)$ consisting of a vector space, a coproduct, and a counit. Now as we all know, just like the unit in an algebra, the counit of a coalgebra is unique, i.e. ...
- 123
2
votes
0
answers
178
views
Categorical dimension and formal codegrees
Let $\mathcal{C}$ be a complex fusion category. If it admits a pivotal structure $a$ then by [1, Proposition 4.7.12], $\dim_a$ induces a character $\chi$ on the Grothendieck ring $Gr(\mathcal{C})$, of ...
6
votes
2
answers
334
views
Drinfeld center of a Deligne tensor product
Let $\mathcal{C}$ and $\mathcal{D}$ be two tensor categories (if necessary, assume they are fusion categories). Is the canonical braided monoidal functor $$\mathcal{Z}(\mathcal{C})\boxtimes\mathcal{Z}(...
- 1,001
3
votes
1
answer
92
views
Is there a fusion subcategory in sphericalization tensor equivalent to the original one?
Let $C$ be a fusion category. Then $C$ is not necessary spherical. But its sphericalization $\tilde{C}$ has a canonical spherical structure $i:Id\to **$. The simple objects of $\tilde{C}$ are pairs $(...
4
votes
1
answer
168
views
Link invariants from modular categories (strictification and computation)
By the theory of Reshetikhin and Turaev, a modular tensor category $C$ gives rise to a link invariant. While $C$ is strict as a monoidal category (e.g. $\mathbb{Fib}$), calculating the link can be ...
- 5,230
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 ...
4
votes
0
answers
320
views
The fusion categories with a strict skeleton
We refer to the book Tensor Categories (by Etingof-Gelaki-Nikshych-Ostrik) for all the notions mentioned in this post.
A fusion category is skeletal if two isomorphic objects are always equal. Every ...
3
votes
1
answer
142
views
Nonstandard Podles spheres as $U_c(\frak{h})$ invariants
In this paper Podles introduced a $2$-parameter family of $q$-deformed spheres $S_{q,c}$ that are now called the "Podles spheres". The case of $c=0$ is very special and is known as the "...
- 1,144
3
votes
1
answer
367
views
The adjoint representation of $U_q({\frak sl}_2)$ on itself
Let $U_q(\frak{sl}_2)$ denote the quantum universal enveloping algebra of $\frak{sl}_2$, and consider the adjoint action
$$
\mathrm{ad}_X: U_q({\frak sl}_2) \to U_q({\frak sl}_2), ~~ Y \mapsto S(X_{(...
- 1,144
7
votes
1
answer
335
views
Are there non-homeomorphic 3-manifolds with the same Turaev-Viro-Barrett-Westbury invariants?
The Turaev-Viro-Barrett-Westbury invariant of a closed oriented topological $3$-manifold $M$ for a spherical fusion category $\mathcal{C}$ is a number denoted $|M|_{\mathcal{C}}$ computed from (but ...
7
votes
1
answer
253
views
Why are $G$-Extensions of fusion categories rigid, when constructed via monoidal 2-functors $G \to \underline{\underline{BrPic}}(\mathcal{D})$?
In arxiv:0909.3140 the $G$-extensions of a fusion category $\mathcal{D}$ are classified via monoidal 2-functors $G \to \underline{\underline{BrPic}}(\mathcal{D})$. A crucial part of the classification ...
- 203
4
votes
0
answers
76
views
On the order of the head of product of two simple modules over Quiver Hecke Algebras
My question is:
We assume the underlying quiver is a Dynkin quiver. Let $L(\lambda)$ and $L(\mu)$ be two simple modules over Quiver Hecke algebra $R$ where $\lambda$ and $\mu$ are two Konstant ...
- 71
5
votes
0
answers
255
views
Is the category of topologically free $k[[h]]$-modules locally presentable?
$\newcommand{\colim}{\operatorname{colim}}$
Let $k$ be a field (of characteristic 0, say) and $M$ be a module over $R=k[[h]]$. Recall that the $h$-adic completion of $M$ is
$$
\hat M:=\lim M/h^nM,
$$
...
- 8,524
10
votes
2
answers
808
views
What is the discrete quantum group associated to a compact group?
Let $G$ be a compact topological group. Then $G$ is a CQG with function algebra $C(G)$ and the usual comultiplication on $C(G)$. Is there an easy description of the dual discrete quantum group $\...
- 175
13
votes
1
answer
411
views
Representations of $U_q(\mathfrak{sl}(2))$ as differential / difference operators
$\mathfrak{sl}(2)$ (over $\mathbb{C}$) with basis $E_\pm, H$ with commutation relations
$$
[H,E_{\pm}]=\pm 2 E_\pm,\quad [E_+,E_-]=H
$$
admits the well-known representation on $\mathbb{C}[x]$ with
$$
...
- 133
9
votes
2
answers
479
views
Is there a nice q-analogue of the Jacobi identity in a quantized enveloping algebra?
In a Lie algebra $\mathfrak{g}$ the Jacobi identity $\newcommand{\bracket}[2]{\left[#1\,#2\right]} \bracket{x}{\bracket{y}{z}} + \bracket{z}{\bracket{x}{y}} + \bracket{y}{\bracket{z}{x}} = 0$ holds. ...
- 1,161
6
votes
1
answer
226
views
Tensor representations of the quantum algebra $U_q(\mathfrak{sl}(2))$ at the roots of unity
I'm trying to understand how the representation theory of $U_q(\mathfrak{sl}(2))$
works and I had a look to some books and lecture notes available on the internet. The case of $q^m\neq1$ is discussed ...
8
votes
2
answers
852
views
Is a Hopf algebra a group object of some category?
The page of ncatlab on group object states that:
A group object in $\mathrm{CRing}^{\mathrm{op}}$ is a commutative Hopf
algebra.
Question: Is a (noncommutative) Hopf algebra a group object of some ...
4
votes
3
answers
540
views
Name for a Hopf algebra admitting no non-trivial 1-dimensional comodule
A Hopf algebra is called pointed if all its simple left (or right) comodules are one-dimensional. See for example this question for a discussion.
Now every Hopf algebra $H$ admits a one-dimensional ...
- 1,144
1
vote
1
answer
158
views
Is the map in Kontsevich Formality Theorem $\mathcal{O}$-linear?
$X$ is smooth Poisson. Kontsevich formality theorem says that there is a $L_\infty$ quasi-isomorphism $$T_{\text{poly}}\xrightarrow{L_\infty}D_{\text{poly}},$$ where $T_{\text{poly}}:=(\bigwedge^\...
- 367
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