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

**7**

votes

**0**answers

116 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

124 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

65 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

120 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

118 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

256 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

539 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

179 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

159 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

176 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

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

**10**

votes

**1**answer

124 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

332 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

116 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

149 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

190 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

133 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

83 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

233 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

87 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

75 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

211 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

66 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

410 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

67 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

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

**3**

votes

**1**answer

358 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

180 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

185 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

186 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

27 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

115 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

153 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

252 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

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

**4**

votes

**1**answer

262 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

117 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

94 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

122 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

83 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]= ...

**4**

votes

**0**answers

82 views

### Ribbon Algebras and Co-(dual)-quasi-triangular Hopf Algebras

As is well-known, one can use the coquasi-triangular structure $\cal R$ of $U_q(\frak{g})$ to give it's category of (right) modules $\cal{M}_{U_q(\frak{g})}$ the structure of a braided monoidal ...

**3**

votes

**1**answer

152 views

### example of a compact quantum group at a root of unity?

In Woronowicz's theory of compact quantum groups, the most well-known example is $SU_q(2)$, for $q$ a real number. Moreover, all the other examples of compact quantum groups, based some ...

**1**

vote

**0**answers

83 views

### Quantum Algebras — Crystal Basis/Graph

Suppose I have a finite-dimensional irreducible $U_q(sl_2)$-module say $V$, and (L,B) is its crystal basis.
How do you find the crystal basis of the evaluation $U'$-module $V_{x=1}$? And is there a ...

**6**

votes

**1**answer

287 views

### What's the relation between the heat kernel proof of the index theorem and deformation quantization?

In the book "Heat kernels and Dirac operators", I found the slogan by Quillen in the Introduction: "Dirac operators are a quantization of the theory of connections, and the supertrace of the heat ...

**3**

votes

**0**answers

91 views

### Intuition for pointed Hopf algebras

I have familiarized myself with various definitions (one-dimensionality of simple left comodules, generated as an algebra by group-like and skew-like elements...) and examples of pointed Hopf algebras ...

**16**

votes

**1**answer

495 views

### Gauss linking integral and quadratic reciprocity

In the setting of Mazur's "primes and knots" analogy, prime ideals $\mathfrak p\subset\mathcal O_K$ correspond to "knots" $\operatorname{Spec}\mathcal O_K/\mathfrak p$ inside a "3-manifold" ...

**1**

vote

**1**answer

107 views

### $q$-differential equation for the Rodgers polynomials?

The Rodgers polynomials $C_{\alpha,q}$ are a particular family of well-known $q$-hypergeometric function. For example, a description can be found here on Wikipedia. For the special case of $q=1$, we ...

**10**

votes

**3**answers

908 views

### A problem on a specific integer partition

Let $n$ be a positive integer, we consider partitions of the following form :
$$n = d^{2}_{1} + d^{2}_{2} + ... + d^{2}_{r}$$ such that :
$d_{i}\vert n$
$1=d_{1}<d_{2} \le d_{3} \le ... \le ...

**7**

votes

**1**answer

140 views

### realizing fusion categories as subfactors of the hyperfinite

Let R be the hyperfinite II_1 or the hyperfinite III_1 factor (pick which ever one you prefer), and let Bim(R) denote the tensor category of R-R-bimodules.
This question is inspired by the recent ...