Questions tagged [qa.quantum-algebra]

Quantum groups, skein theories, operadic and diagrammatic algebra, quantum field theory

Filter by
Sorted by
Tagged with
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 ...
Jake Wetlock's user avatar
  • 1,114
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)$ ...
Jake Wetlock's user avatar
  • 1,114
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 ...
Cubic Bear's user avatar
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 ...
Andi Bauer's user avatar
  • 2,901
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 ...
Jake Wetlock's user avatar
  • 1,114
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?
user avatar
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 ...
Joe's user avatar
  • 535
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 \...
user avatar
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 $...
user avatar
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 $...
user avatar
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$ ...
Sebastien Palcoux's user avatar
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 ...
Sebastien Palcoux's user avatar
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 ...
Thibault Décoppet's user avatar
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\...
Christoph Mark's user avatar
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. ...
Mtheorist's user avatar
  • 1,135
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$-...
J.P.'s user avatar
  • 51
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\...
JeCl's user avatar
  • 901
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 $...
Jake Wetlock's user avatar
  • 1,114
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 ...
Student's user avatar
  • 5,008
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 ...
Bin Gui's user avatar
  • 555
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 ...
Vik S.'s user avatar
  • 427
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&...
Sebastien Palcoux's user avatar
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 ...
jg1896's user avatar
  • 2,683
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)$ ...
Sebastien Palcoux's user avatar
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 ...
Sebastien Palcoux's user avatar
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 ...
joro's user avatar
  • 24.2k
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 ...
Calvin McPhail-Snyder's user avatar
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. ...
Sebastien Palcoux's user avatar
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 ...
Calvin McPhail-Snyder's user avatar
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\} = \...
Todd Claymore's user avatar
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 ...
Sebastien Palcoux's user avatar
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 ...
Mar Pao's user avatar
  • 31
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" ...
Andy Nguyen's user avatar
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 ...
JP McCarthy's user avatar
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-...
Student's user avatar
  • 5,008
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 ...
Calvin McPhail-Snyder's user avatar
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 ...
Jake Wetlock's user avatar
  • 1,114
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 ...
Jake Wetlock's user avatar
  • 1,114
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 ...
Vik S.'s user avatar
  • 427
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 ...
Arthur's user avatar
  • 1,379
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 ...
Sebastien Palcoux's user avatar
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 \...
Sebastien Palcoux's user avatar
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 ...
Calvin McPhail-Snyder's user avatar
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 ...
Max Schattman's user avatar
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 ...
Chetan Waghela's user avatar
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-...
Student's user avatar
  • 5,008
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 ...
Meths's user avatar
  • 287
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 ...
freeRmodule's user avatar
  • 1,025
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 ...
Yellow Pig's user avatar
  • 2,490
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 ...
Sebastien Palcoux's user avatar

1 2 3
4
5
17