Questions tagged [qa.quantum-algebra]
Quantum groups, skein theories, operadic and diagrammatic algebra, quantum field theory
827
questions
0
votes
0
answers
100
views
Hopf algebra antipodes and right left comodule equivalences
Given a Hopf algebra $H$, denote by ${}^H\mathrm{mod}$ the category of left $H$-comodules, and by $\mathrm{mod}^H$ the category of right $H$-comodules. If the antipode $S$ of $H$ is invertible then we ...
3
votes
0
answers
118
views
Is the category of Yetter-Drinfeld modules abelian?
Is $YD(H)$ the category of Yetter--Drinfeld modules over a Hopf algebra (defined over a field $k$) necessarily abelian? If not then what is the simplest example of a Hopf algebra $H$ for which $YD(H)$ ...
6
votes
0
answers
350
views
Conceptual proof of braid group actions on quantum groups
Roughly 1990, Lusztig wrote a series of papers on quantum groups. Perhaps the result that the braid groups acts on $U_q(\mathfrak{g})$ is the proof which is least conceptual.
The original paper ...
7
votes
0
answers
114
views
Are there attempts to numerically finding algebraic structures over finite-dimensional vector spaces?
By "algebraic structure" I mean a finite set of linear operators between tensor products of copies of one (or more) finite-dimensional (complex or real) vector spaces, fulfilling a set of ...
5
votes
1
answer
688
views
What is the difference between the Yang--Baxter equation and the quantum Yang--Baxter equation?
For a vector space $V$ and a linear operator $R:V \otimes V \to V \otimes V$, we say that $R$ satisfies the Yang--Baxter equation if
$$(R\otimes id)(id\otimes R)(R\otimes id)
= (id\otimes R)(R\otimes ...
2
votes
1
answer
374
views
Peter-Weyl theorem (compact quantum groups)
I'm reading the paper Notes on compact quantum groups. In this paper, the following theorem is proven:
Question: Why is the marked equality true?
12
votes
1
answer
290
views
Can one show corbordism invariance of the Crane-Yetter state-sum using simplicial methods / are there 'Pachner-like' moves for cobordisms?
Let $\mathcal{C}$ denote some Unitary Braided Modular Fusion Category. It is well known that the Crane-Yetter state-sum, $Z_{CY}(\bullet|\mathcal{C})$ is an oriented-cobordism invariant. In other ...
0
votes
1
answer
159
views
Direct sum of representations of a compact quantum group
Let $(A, \Delta)$ be a compact quantum group and $\{(H_\alpha, v_\alpha)\}$ be a collection of representations of $A$. That is,
$$v_\alpha \in M(B_0(H_\alpha) \otimes A); \quad \quad(\text{id}\otimes \...
0
votes
1
answer
239
views
Definition intertwiner of representations of compact quantum groups
Before asking my question, let me introduce the relevant terminology.
Throughout, let $(A, \Delta)$ be a compact quantum group.
Definition: A representation $v$ on the Hilbert space $H$ is an element $...
2
votes
2
answers
206
views
Kernel of intertwiner is invariant (compact quantum groups)
Before asking my question, let me introduce the relevant terminology.
Throughout, let $(A, \Delta)$ be a compact quantum group.
Definition: A representation $v$ on the Hilbert space $H$ is an element $...
4
votes
0
answers
196
views
Are the finite quantum permutation groups, weakly group-theoretical?
Wang defined in Quantum symmetry groups of finite spaces a notion of quantum automorphism group. The application to a finite space of $n$ elements is called the quantum permutation group of $n$ ...
2
votes
1
answer
229
views
Schur orthogonality relation on fusion categories
Let $\mathcal{F}$ be the Grothendieck ring of an abelian fusion category. Let $(M_i)$ be its fusion matrices and $(\mathrm{diag}(\lambda_{i,j}))$ their simultaneous diagonalization. Take $M_1=id$, so ...
1
vote
0
answers
44
views
A reformulation of commutativity for intertwinning operators?
$\DeclareMathOperator{\Id}{\mathrm{Id}}\DeclareMathOperator{\Rep}{\operatorname{Rep}}$Let $V$ be a nice vertex algebra, and $M_1, M_2, M_3, M_4, M_5, M_6$ be modules over $V$. Assume that I have ...
3
votes
0
answers
562
views
Where can I find Drinfeld's original papers on quantum groups?
Let $\mathfrak{g}$ be a semisimple Lie algebra. Let $U_h(\mathfrak{g})$ be the Drinfeld-Jimbo quantum group, i.e. the $\mathbb{C}[[h]]$-algebra topologically generated by $X_i,Y_i,H_i$ where $1\leq i\...
7
votes
1
answer
279
views
Affine Kac-Moody algebra from quantum group exchange algebra
In `Hidden Quantum Groups Inside Kac-Moody Algebra', by Alekseev, Faddeev, and Semenov-Tian-Shansky, a relationship between quantum groups and affine Kac-Moody algebras is shown for the WZW model.
...
5
votes
1
answer
156
views
Reference requests : Presentation of the braided dual of $U_q(\frak{sl_2})$
I am interested in the braided dual of the quantum group $U_q(\frak{sl_2})$. This is the algebra generated by the matrix coefficients but where the multiplication is twisted by an action of the $R$-...
3
votes
0
answers
108
views
Understanding the intuition behind the $Q(z)$-tensor product
Let $z$ be a fixed non-zero complex number. Let $V$ be a vertex algebra, $W_1$, $W_2$, and $W_3$ be $V$-modules. Huang defines a $Q(z)$-intertwining map between these modules to be a linear map $F:W_1\...
5
votes
1
answer
128
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 $...
7
votes
0
answers
212
views
Representations of 2-groups and quantum double constructions
Let $G$ be a finite group. The category of its representations (complex linear, finite dimensional, throughout this whole question) is equivalent to $\mathbb{C}[G]$-modules. V. Drinfeld constructed a ...
6
votes
0
answers
294
views
Tsuchiya-Ueno-Yamada's proof that sheaves of conformal blocks are locally free
I'm referring to Tsuchiya-Ueno-Yamada's (TUY hereafter) celebrated paper Conformal Field Theory on Universal Family of Stable Curves with Gauge Symmetries. One of the main goals of their paper is to ...
6
votes
2
answers
433
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 ...
3
votes
1
answer
246
views
Existence of twisted metaplectic categories
The paper Classification of metaplectic modular categories by Ardonne-Cheng-Rowell-Wang (2016) mentions (in Section 3) the Grothendieck ring for the metaplectic modular categories, i.e. $SO(N)_2$, $N&...
12
votes
3
answers
810
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 ...
5
votes
0
answers
343
views
Interpolated simple integral fusion categories of Lie type
$\DeclareMathOperator\PSL{PSL} \DeclareMathOperator\Rep{Rep}$The idea motivating this post is that there should exist a global understanding of the unitary fusion categories $\Rep(G(q))$, with $G(q)$ ...
12
votes
0
answers
538
views
On a revised quantum Riemann hypothesis
This post provides a revision of the disproved quantum Riemann hypothesis proposed 2 years ago in this post, where you can refer to have more details about the motivations, the notations and the ...
3
votes
1
answer
219
views
Rings or algebras with many nilpotent elements and efficient computation
Crossposted from quantum.SE
where comment appears to suggest that solving modulo 2 might
be possible.
Searching the web for '"quantum computer" nilpotent'
returns many results, so maybe the ...
5
votes
1
answer
323
views
How does the scalar TV invariant of a 3-manifold with boundary fit into the TQFT picture?
Chen and Yang have a more general version of the volume conjecture that they state for all hyperbolic $3$-manifolds (Conjecture 1.1 of [2]) including those with boundary. To do this, they have to ...
5
votes
0
answers
171
views
Are the symmetric groups integrable as Hopf algebras?
Let $G$ be a group. For $g,h \in G$, let $[g,h]=g^{-1}h^{-1}gh$ be a commutator. The normal subgroup $G' = \langle [g,h] \ | \ g,h \in G \rangle$ is called the commutator subgroup or derived subgroup. ...
6
votes
0
answers
176
views
Why does the inverse Alexander polynomial appear in the MMR conjecture?
In an attempt to better understand why the inverse Alexander polynomial appears in the MMR conjecture, I was reading the paper [1] of Bar-Natan and Garoufalidis giving their proof of the conjecture ...
4
votes
3
answers
333
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\} = \...
9
votes
1
answer
273
views
Is there a fusion category not Grothendieck equivalent to a unitary one?
We refer to the book Tensor categories by Etingof-Gelaki-Nikshych-Ostrik (MR3242743) for the notion of (unitary) fusion category. Two fusion categories are Grothendieck equivalent if they have the ...
3
votes
0
answers
89
views
Hopf algebras structure and quantum affine algebras
I'm looking for some information about the Hopf algebras structure and the quantum groups.
In particularly I was wondering if (and eventually where) is defined in the case of quantum affine algebras ...
3
votes
0
answers
89
views
Are the tangle functors based off Khovanov homology braided monoidal functors?
I was wondering if the tangle functors constructed in
"A functor-valued invariant of tangles"
https://arxiv.org/pdf/math/0103190.pdf
"An invariant of tangle cobordisms via subquotients of arc rings"
...
0
votes
1
answer
155
views
Showing a product on a character space is continuous
Quoting from Timmermann's An invitation to quantum groups and duality:
Prop. 5.1.3 Let $A$ be a commutative algebra of functions on a compact
quantum group. Then there exists a compact group $G$ and ...
10
votes
1
answer
666
views
DW, state sum models, and fully extended TQFTs
I am interested in state sum models and their relations with some other of TQFTs, especially the fully extended TQFTs and the Dijkgraaf-Witten TQFTs (generalized, in the sense that finite-group-...
5
votes
0
answers
99
views
Is there a coproduct on the Weyl algebra which gives the coproduct on $\mathcal{U}_q(\mathfrak{gl}_2)$?
In the paper Modular Double of Quantum Group, Fadeev gives a presentation of $\mathcal{U}_q(\mathfrak{gl}_2)$ in terms of a Weyl algebra $\mathcal{C}_q$ with generators $w_i, i \in \mathbb{Z}/4$ and ...
7
votes
2
answers
608
views
Abelian category from the category of Hopf algebras
The kernel of a Hopf algebra map $\phi:H_1 \to H_2$ is in general not a Hopf
sub-algebra of $H_1$. Is there some replacement or alteration of the notion
of a kernel in the Hopf algebra setting. Same ...
3
votes
1
answer
102
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 ...
2
votes
1
answer
266
views
Infinitesimal categories and left duality
I have been reading Kassel's Quantum groups and there is something I can not understand.
In Section 4 of chapter $XX$, he introduces the notion of a Infinitesimal symmetric category, that is
a ...
4
votes
0
answers
182
views
Quantum dimension in the Drinfeld center
Let $\mathcal{C}$ be a spherical tensor category. It is known that the Drinfeld center of $\mathcal{C}$ is modular (and therefore also spherical), see for example, Corollary 8.20.14 in [1]. Recall the ...
3
votes
0
answers
122
views
Extended cyclotomic criterion for unitary categorification
According to this paper (Corollary 8.54) the Frobenius-Perron dimension (FPdim) of any object $a$ of a fusion category over $\mathbb{C}$ is a cyclotomic integer. Now, FPdim($a$) is the maximal ...
2
votes
0
answers
102
views
The simple unitary fusion categories of multiplicity one
Here are two families of simple unitary fusion categories of multiplicity one:
$Vec(C_p)$ with $C_p$ the cyclic group of order $p$ (one or prime),
The even part of Temperley-Lieb $A_{2n}$ with $n \...
3
votes
0
answers
141
views
Why is the RT invariant from $\mathcal Z(\mathcal C)$ the (norm) square of the one from $\mathcal C$?
The relationship between Turaev-Viro/state-sum invariants and Reshetikhin-Turaev/surgery invariants is roughly that
$$\tau_{TV, \mathcal C}(M) = |\tau_{RT, \mathcal C}(M)|^2.$$
Here $\mathcal C$ is a ...
3
votes
1
answer
410
views
Rigidity for the category of comodules over a Hopf algebra
On this page
https://ncatlab.org/nlab/show/rigid+monoidal+category
there is a discussion of rigidity (left-right duality) for the catagory of
modules over a Hopf algebra. What happens if we look at ...
1
vote
1
answer
263
views
Quantum entropy Venn diagrams
We know that in classical information theory the relation between different entropies can be depicted by Venn Diagram as given below.
Can we create such Venn-diagrams for the quantum information ...
5
votes
1
answer
205
views
Classification of $\operatorname{Rep}D(H)$
Question
Let $H$ be a finite dimensional complex Hopf algebra and $D(H)$ its quantum double. Can we classify the simple objects in $\operatorname{Rep}D(H)$ if the representations of $H$ are well-...
5
votes
0
answers
308
views
A fusion ring identity
Fusion rings
I'll more or less stick to the presentation given in this question: [1]
We define a fusion ring as follows: consider a free $\mathbb{Z}$-module $\mathbb{Z}\mathcal{B}$ with finite basis ...
4
votes
1
answer
163
views
Quantum Hamiltonian reduction and tensor products
Let $k$ be a field of characteristic zero, $\mathfrak{g}$ a finite-dimensional Lie algebra over $k$, and let $A,B$ associative $k$-algebras.
Suppose that $\mathfrak{g}$ acts on $A$ and $B$, and ...
6
votes
1
answer
184
views
Applications of quantum representations of the mapping class group to quantum computers
Quantum representations of the mapping class group of a surface are certain representations constructed from the data of a TQFT and described, for example, in and 1 and 2.
The following sources 3 ...
3
votes
0
answers
111
views
Is there a non-irreducible maximal subfactor other than two-sided TLJ?
A subfactor $N \subseteq M$ is called:
irreducible if $N' \cap M = \mathbb{C}$,
maximal if for any intermediate subfactor $N \subseteq P \subseteq M$ then $P=\{N,M \}$.
The two-sided ...