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

**4**

votes

**0**answers

65 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

259 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

83 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

210 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

115 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

215 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

143 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

184 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

95 views

### The convolution on the finite dimensional weak Hopf $C^*$-algebras

Let $\mathbb{A}$ be a finite dimensional weak Hopf $C^*$-algebra, and $\hat{\mathbb{A}}$ its dual.
Let the Fourier transform $\mathcal{F}: \mathbb{A} \to \hat{\mathbb{A}}$ and the convolution $a * b ...

**7**

votes

**0**answers

124 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

141 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

83 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

139 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

128 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

272 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

566 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

190 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

170 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

179 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

130 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

134 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

340 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

122 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

153 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

210 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

136 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

86 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

236 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

99 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

76 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

220 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

68 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

422 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

187 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

460 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

183 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

188 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

209 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 ...

**0**

votes

**0**answers

33 views

### Vanishing of non commutative ( Wodzicki) residue on pseudo differential projections

Its a known fact that the non-commutative (Wodzicki) residue of a pseudo-differential projection is always zero.
My question is:
Is it possible to get this result by looking at structure of the ...

**2**

votes

**0**answers

116 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 ...

**4**

votes

**1**answer

156 views

### K-Theory of Algebra of Zeroth Order Pseudo differential operators

Any one knows a reference for computing K_0 of Algebra of zeroth order Pseudo's on a closed manifold in terms of explicit generators?
Thanx!

**12**

votes

**1**answer

258 views

### Associators, Grothendieck-Teichmüller group and monoidal categories

The standard definition of an associator seems to be that it a a grouplike power series in two variables $x$ and $ y $ satisfying some pentagon and hexagon relations.
In other words, denoting by $ ...

**4**

votes

**2**answers

178 views

### Reference request: “duality” relations between $U_q(\mathfrak{g})$, $O_q(G)$ and $O_q(G^*)$

Let $\mathfrak{g}$ be a bialgebra, $\mathfrak{g}^*$ its dual, and $G$ and $G^*$ the corresponding connected simply-connected Poisson-Lie groups. I have repeatedly heard claims of the following ...

**5**

votes

**3**answers

367 views

### What is a Homotopy between $L_\infty$-algebra morphisms II

I would like to continue on question I asking, what is a homotopy between
Lie infinity algebras, since I'm not satisfied in two directions:
1.) The naive approach to define a homotopy would be ...

**2**

votes

**0**answers

125 views

### Is an integral simple fusion ring, categorifiable?

A fusion ring $\mathcal{F}$ (see here p 28) is integral if the Perron-Frobenius dimension $d(h_i)$ of its basic elements $\{h_1,...,h_r\}$, are integers. Its rank is $r$ and its dimension is $\sum ...

**2**

votes

**1**answer

98 views

### Understanding Sweedler's notation for the structure map of a comodule

I was hoping someone might be able to shed some light on the choice of indices for expressing the coaction using Sweedler notation.
For example, in the paper of Andruskiewitsch About ...

**1**

vote

**0**answers

124 views

### About the Lie algebra of polyvector fields

I would like to know if someone already did some computations of the group of Lie algebra automorphisms of the algebra of polyvector fields on $\mathbb{R}^n$ equiped with the Schouten bracket (or ...

**0**

votes

**1**answer

84 views

### dual quantum plane

Let $k\left\{\phi, \gamma\right\}$ be free algebra and $I_{q}$ be the two sided ideal generated by the elements $\phi \gamma + q^{-1}\gamma \phi$, $\gamma^{2}$ and $\phi^{2}$, $k_{q}[\phi,\gamma]= ...