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

**4**

votes

**1**answer

148 views

### Verlinde Formula and Theta Function Identities

The paper Fusion rules and modular transformations in 2D conformal field theory by Erik Verlinde mentions a simple case of rational conformal field theory, where the fusion algebra is just ...

**5**

votes

**1**answer

400 views

### exceptional cases in Kazhdan-Lusztig

The Kazhdan-Lusztig story doesn't apply to the four exceptional cases $(E_6)_1$, $(E_7)_1$, $(E_8)_1$, $(E_8)_2$ (see this earlier question of mine).
What's special about those cases?

**4**

votes

**0**answers

127 views

### Number of Irreducible Representations of $U_q(n)$ of Dimension $n$?

For quantum group $U_q(n)$, is it true that it has exactly two non-isomorphic irreducible corepresentations with dimension $n$, and that one is the dual of the other? I know result is in the Chapter ...

**2**

votes

**0**answers

137 views

### Is there a non-trivial minimal Hopf algebra?

Let $H$ be a Hopf algebra over an algebraically
closed field $\mathbb{K}$ of characteristic $0$.
Minimal means without left coideal subalgebra $I$ (i.e. $\Delta(I) \subset H \otimes I$) other than ...

**0**

votes

**1**answer

126 views

### The coproducts $\mathbb{C}_q[U] \to \mathbb{C}_q[U] \otimes \mathbb{C}_q[U]$ and $\mathbb{C}[U] \to \mathbb{C}[U] \otimes \mathbb{C}[U]$

A coproduct $\varphi: \mathbb{C}_q[U] \to \mathbb{C}_q[U] \otimes \mathbb{C}_q[U]$ is given by: $x \mapsto 1 \times x + x \otimes 1$, where $x$ is a generator of $\mathbb{C}_q[U]$. There is a ...

**0**

votes

**0**answers

35 views

### References about reality of minimal affinizations of quantum affine algebras

Let $U_q(\widehat{\mathfrak{g}})$ be the quantum affine algebra associated to a complex simple Lie algebra $\mathfrak{g}$. A simple module $M$ of $U_q(\widehat{\mathfrak{g}})$ is called real if $M ...

**2**

votes

**1**answer

97 views

### Is there a tangle encoding the fusion rules?

Let $(N \subset M)$ be an irreducible finite index depth $n$ subfactor. Let $P = P(N \subset M)$ its planar algebra.
Let $(B_i)$ be the finite sequence of $N$-$N$-bimodules appearing in the principal ...

**3**

votes

**1**answer

180 views

### Jones polynomial of tangles using Temperley-Lieb algbra?

The definition of the Jones polynomial of tangles (a la Reshetikhin and Turaev) uses the space of invariants for $U_q sl_2$ and R-matrices. It seems to me the same thing cane be done in terms of the ...

**9**

votes

**0**answers

181 views

### Does the $(\mathbb Z/2)$-graded isomorphism $E_n \cong E_{n+2}$ have any nice properties?

This question assumes everything is dg. Let's decide to work over the "field" $\mathbb Q[\mu,\mu^{-1}]$ where $\mu$ has homological degree $+2$. Then chain complexes are just $\mathbb Z/2$-graded. ...

**4**

votes

**0**answers

78 views

### Asymptotics of the quantum exponential

Let $\epsilon$ be an $N$th root of unity, and $q=\epsilon e^h$ where $h<0$.
I am trying to give a derivation of the lead term of
$$(z;q)_{\infty}=\prod_{n=1}^{\infty}(1-zq^n),$$ as $h\rightarrow ...

**2**

votes

**1**answer

307 views

### Image, kernel, quotient and first isomorphism theorem, in a category of monoid objects

Let $\mathcal{C}$ be a monoidal category and Mon$_{\mathcal{C}}$ the category of monoids (also called algebra objects) on $\mathcal{C}$.
Questions: are there definitions of image and kernel for a ...

**1**

vote

**0**answers

93 views

### Clebsch Gordan coefficients of compact quantum groups

Consider a compact quantum group $G$. Let $a, b$ and $c$ be irreducible unitary corepresentations and assume that $c$ is contained in $a \otimes b$. Let $U$ be the intertwiner from the representation ...

**10**

votes

**1**answer

232 views

### A linear category with objects of infinite length but which is otherwise finite?

Fix a ground field $k$. By a linear category I will mean an Abelian category which is compatibly enriched over $k$-vector spaces. A linear category is called finite if it satisfies the following four ...

**1**

vote

**2**answers

126 views

### Deformation quantization of a closed Riemann surface with genus >1

Quantization of of an elliptic curve can be done in different ways.
In C^*-algebraic version,
one can start with the C^*-algebra ...

**7**

votes

**1**answer

232 views

### Does the limit in the Volume conjecture converge?

The Volume conjecture says that if $J_n(q)$ are the colored Jones polynomials of a knot $K \subset S^3$, then
$$\lim_{N \to \infty} \frac{ 2 \pi}N \left\vert J_N(e^{2\pi i / N})\right\vert = vol(K)$$
...

**5**

votes

**0**answers

150 views

### Tannakian formalism for topological Hopf algebras

Tannaka-Krein duality allows, under the appropriate assumptions, to reconstruct a Hopf algebra from its category of modules. This method was found to be powerful for instance in the work of ...

**7**

votes

**1**answer

272 views

### $q$-Deformed Quillen–Suslin Theorem for the Quantum Vector Spaces?

Define n-quantum vector space to be the algebra
$$
{\mathbb C}_q^n := \mathbb{C}< x_i ~ | ~ i =1, \ldots, N>/<x_i x_j = q x_j x_i ~ | ~ i< j>.
$$
For $q=1$, we get the usual polynomial ...

**1**

vote

**0**answers

124 views

### The convolution on a semisimple finite quantum groupoid

Let $\mathbb{A}$ be a finite dim. weak Hopf $C^*$-algebra (or semisimple finite quantum groupoid) and $\hat{\mathbb{A}}$ its dual.
Let the Fourier transform $\mathcal{F}: \mathbb{A} \to ...

**7**

votes

**0**answers

129 views

### When is Rep(U_q(g)) invariant under q -> -q and why?

Since this is a question about quantum groups, let me first fix notation. In this question I use the conventions from this paper of Sawin. (That particular paper conveniently lists in the ...

**0**

votes

**0**answers

149 views

### Understanding a program for computing Khovanov homology

I would like to understand how a computer program for computing Khovanov homology works. The particular program I have in mind is by John Baldwin: https://web.math.princeton.edu/~baldwinj/Kh.cpp
The ...

**2**

votes

**0**answers

89 views

### Isomorphism Between $U_{h}(\frak{sl}_3)$ and $U({\frak sl}_3)[[h]]$

I take the following from Klimyk and Schmudgen's book Quantum Groups Page 167:
Proposition For $\frak{g}$ a complex semi-simple Lie algebra, there is an isomorphism $\phi$ of the $h$-adic algebra ...

**4**

votes

**0**answers

149 views

### On the cohomology of Kontsevich graph complex

Kontsevich's formality theorem asserts that a certain quasi-isomorphism of chain complexes between the graded Lie algebra of polyvector fields on $\mathbb{R}^n$ and the dg Lie algebra of ...

**2**

votes

**0**answers

129 views

### Are there workable numerical approaches for the pentagon equation?

Warning: this post is the "numerical" analog of
Are there workable algebraic geometry approaches for the pentagon equation?
I've replaced "algebraic geometry" by "numerical" in its content,
...

**6**

votes

**2**answers

283 views

### Update on list of open problems for Cherednik/Symplectic Reflection Algebras

Background:
There are two lists of open problems about Cherednik or Symplectic Reflection Algebras from 2007: Ian Gordon's Problems, Chapter 9 in Symplectic Reflection Algebras, and Ginzburg & ...

**6**

votes

**1**answer

589 views

### Are there workable algebraic geometry approaches for the pentagon equation?

A pentagon equation is a system of polynomial equations of degree $3$ with several variables and integer coefficients, given by a fusion ring.
A fusion ring is given by a finite set of integer ...

**6**

votes

**2**answers

195 views

### How weird can Modular Tensor Categories be over non-algebraically closed fields?

I am trying to understand better the behaviour and character of modular tensor categories over non-algebraically closed fields. How weird can they be?
The reason I am interested in this is that my ...

**6**

votes

**1**answer

172 views

### Abel's five terms relation from Yang-Baxter equation?

Can the famous Abel's five terms relation satisfied by the dilogarithm be derived from (a particular case of) the theory of Yang-Baxter equations?
If yes, how?
Thanks for any help.

**2**

votes

**1**answer

185 views

### Universal ribbon category of ribbon graphs

I'm skimming through Turaev's "Quantum invariants of knots and 3-manifolds". One of the main results is Theorem 2.5. In my opinion, this Theorem is conceptually half-baked: 1) The ribbon structure on ...

**1**

vote

**1**answer

139 views

### classification of irreducible finite dimensional representation of affine hecke algebra of type A

Let $H_{n}$ be the affine Hecke algebra with parameter q, where q is not root of unity.
The classification of irreducible finite dimensional representations has been given by Kazhdan-Lusztig in terms ...

**0**

votes

**0**answers

41 views

### Does the standard Podlés sphere have a quasitriangular Hopf algebra structure? Do quantum homogeneous spaces have one in general?

Function spaces on (classical) homogeneous spaces can have a bialgebra structure:
Take $S^2$ to be the unital, associative algebra generated by $x, y, z$ with the relation $x^2 + y^2 + z^2 = 1$ and ...

**11**

votes

**1**answer

140 views

### Understanding the computation of the center of Tambara-Yamagami fusion categories when realized as C* categories

Recall that the Tambara-Yamagami categories are those with fusion ring $\mathbb{Z}[A \cup m]$ where $A$ is an abelian group and $m$ is a non-invertible (simple) object such that $ma = am = m$ for all ...

**4**

votes

**2**answers

346 views

### Jones polynomial of the concatenation of two braids

Let $\sigma_1$ and $\sigma_2$ be two braids with $n$-strings.
Are there any formulas relating $J_{\widehat{\sigma_1\sigma_2}}(q)$, $J_{\hat{\sigma_1}}(q)$, and $J_{\hat{\sigma_2}}(q)$?
Here, ...

**5**

votes

**0**answers

125 views

### Software for BMW algebra calculations?

Does software exist for computations in the BMW algebra?
For example, I'd like to be able to express elements in a basis of "totally descending tangles" as in a paper of Morton–Wassermann. At ...

**2**

votes

**1**answer

162 views

### “Quantum Littlewood-Richardson” Rule?

Let $\frak{g}$ be a complex semi-simple Lie algebra, and $\lambda,\mu \in P^+$ two positive dominant weights with corresponding irreducible representations $V(\lambda)$ and $V(\mu)$. The tensor ...

**11**

votes

**0**answers

217 views

### Is there a quantum group or loop group description of a braided monoidal 2-category giving Khovanov homology?

Recall that there are (at least) two ways to describe the modular tensor category that $3$-dimensional Chern-Simons (with gauge group $G$ and level $k$) assigns to a circle: one involving ...

**4**

votes

**1**answer

144 views

### Geometric Intuition of $P^+$ in Modular Tensor Categories

I'm currently reading through Bakalov and Kirillov's "Lectures on Tensor Categories and Modular Functors," and I am having some difficulty understanding the definition of $p^\pm$ given on page 49. ...

**2**

votes

**1**answer

87 views

### Equivalence of star products on two differents Poisson algebras?

Let $A$, $B$ be two commutative and associative $\mathbb k$-algebras and let $A_\hbar:=A[[\hbar]]$, $B_\hbar:=B[[\hbar]]$ be the corresponding ring of formal series. Of sense [Deformation theory and ...

**3**

votes

**1**answer

243 views

### A little bit of Intuition for Corepresentations from Representations

I asked this question over on Math.Stack --- where it has a bounty --- but I didn't really get a helpful response so I am asking the question here. One commenter suggests that I am confusing left- ...

**2**

votes

**1**answer

114 views

### Reference to complete derivation of Kossakowski–Lindblad equation and its steady solutions

Are there recommended textbook or good intro-reference to explain with complete stretch of Kossakowski–Lindblad equation especially how is the idea to derive it from ground?
...

**3**

votes

**0**answers

78 views

### dual notion to hopf galois extension and properties thereof

Let $H$ be a finite dimensional hopf algebra and $B \subset A$ be an $H$-extension of algebras. We know that the following are equivelant
1) $A \cong B \times_\sigma H$ is a cocycle crossed product ...

**7**

votes

**1**answer

227 views

### alternative to Kontsevich formality

Has anyone considered an alternative approach to Kontsevich formality in which the DGCA of poly-vector fields is deformed to an $L_\infty$-algebra?

**3**

votes

**0**answers

69 views

### Is multiplication continuous in quantum-SU(2) with respect to the $L^2$-norm

For the Hopf $\ast$-algebra ${\cal O}_q(SU(2)$, with its unique Haar measure $h$, we have an inner product, and a norm, on ${\cal O}_q(SU(2))$ defined by
$$
<x,y> : = h(xy^*), ...

**4**

votes

**3**answers

434 views

### Jordan-Hölder theorem for subfactors?

All the subfactors $(N\subset M)$ are irreducible and finite index inclusions of II$_1$ factors.
First recall that in this paper, D. Bisch characterizes the Jones projections $e_K$ of the ...

**1**

vote

**0**answers

72 views

### Simplest (?) example of bicrossed product Hopf algebra

Suppose we have two Hopf algebras, H and A and additionally A is (left) H-module algebra and H is (right) A comodule coalgebra. This means that A is left module over H and moreover that
...

**5**

votes

**1**answer

189 views

### Jordan-Hölder theorem for planar algebras?

First recall the Jordan-Hölder theorem for groups:
Theorem (Jordan-Hölder): Let $G$ be a group, and let $$ G=G_1 \supset G_2 \supset \dots \supset G_r = \{ e \} $$ be a normal tower such that ...

**4**

votes

**2**answers

465 views

### The category of subfactors extending the category of groups?

This post was inspired by this answer of Dave Penneys.
In the category of (irreducible hyperfinite II$_1$) subfactors, the morphisms of $(N \subset M)$ to $(N' \subset M')$ are usually defined as ...

**4**

votes

**0**answers

184 views

### Where is the Courant operad discussed?

Where is the Courant operad discussed? And hopefully defined precisely.
By the Courant operad or rather a suitable generalization of operad to accommodate the inner product, the operad whose ...

**1**

vote

**0**answers

189 views

### Fusion categories with permutation “associativity matrices”

Let $\mathcal{C}$ be a fusion category and let $(H_1,...,H_r)$ be its simple objects.
$\mathcal{C}$ is non-pointed if at least one of its simple object has Perron-Frobenius dimension $ \neq 1$.
...

**0**

votes

**1**answer

227 views

### Tensor product of generator of SU(n)

I'm doing research in quantum mechanics and got some trouble. Any help would be very much appreciated.
Let $\{\lambda_j\}$ be the set of generator of $SU(n)$. Consider the operator:
$K=\sum_j ...

**2**

votes

**0**answers

117 views

### quantum deformations of tensor category

I was told that, if I understand correctly, that the enveloping algebra of semisimple Lie algebra admits one family of quantum deformation as Hopf algebra, which was proved by Drinfeld. Anyone can ...