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

**4**

votes

**2**answers

488 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

190 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

212 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

474 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

135 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

187 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

341 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

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

**6**

votes

**3**answers

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

**3**

votes

**0**answers

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

**1**

vote

**1**answer

165 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

138 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

94 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

106 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

181 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

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

**7**

votes

**1**answer

498 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

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

**18**

votes

**1**answer

780 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

123 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

1k 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 ...

**8**

votes

**1**answer

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

**2**

votes

**1**answer

220 views

### Embedding e_n -> e_m

Let $e_n$ be the operad of (say, rational) chains of the operad of little n-disks. Consider the natural embedding $e_n\to e_m$, where $n<m$ and $n,m>1$ induced by the embedding $\mathbb{R}^n\to ...

**4**

votes

**0**answers

209 views

### An embedding theorem for a fusion ring planar algebra?

We first recall the embedding theorem for finite depth subfactor planar algebras:
The planar algebra generated by a (finite depth) subfactor, is embeddable into the planar algebra generated by its ...

**4**

votes

**0**answers

190 views

### Existence of a Kac algebra for a given fusion ring in a particular class

A $n$-dimensional Kac algebra (i.e., a Hopf C*-algebra), admits finitely many irreducible representations, whose cardinal $r$ is called its rank, the increasing sequence $(d_{1},d_{2},d_{3}, ..., ...

**1**

vote

**0**answers

118 views

### How simplify the pentagonal equation from two fusion rings?

A semi-simple finite dimensional Hopf algebra $\mathbb{A}$, and its dual $\mathbb{A}^{*}$ produce two fusion categories $\mathcal{C}$ and $\mathcal{C}^{*}$ and then two fusion rings $\mathcal{R}_{1}$ ...

**4**

votes

**1**answer

286 views

### Casson invariant and signature

In W. Neumann, J. Wahl, "Casson invariant of links of singularities",
Comment. Math. Helv.,1990, Vol. 65, Issue 1, pp 58-78 some connection between the Casson invariant and the signature is ...

**5**

votes

**1**answer

342 views

### Kauffman's state model for the Alexander polynomial, via representation theory

I've been reading Oleg Viro's paper on "quantum relatives of the Alexander polynomial" (arXiv:math/0204290), which, among other more general things, derives state-sum formulas for the Alexander ...

**1**

vote

**0**answers

113 views

### Exact sequence of L-infinity-algebras

We call a sequence of $L_\infty$-algebras (weak) maps
$$0\to L\xrightarrow{f} M\xrightarrow{g} N\to 0$$
is exact if it is exact on the the underlying chain complexes level.
Thought I don't know ...

**12**

votes

**1**answer

550 views

### When are Jones-Wenzl projectors defined?

(I am hoping that someone well-versed in the literature of Temperley-Lieb algebras or of quantum groups at roots of unity can answer my question. Fingers crossed.)
Consider the Temperley-Lieb algebra ...

**4**

votes

**0**answers

232 views

### Quantum Drinfeld-Sokolov reduction for a module

There is a well-established procedure for quantizing the Drinfeld-Sokolov reduction for an affine Lie algebra. In particular, this paper of de Boer and Tjin describes an algorithm to produce the ...

**1**

vote

**0**answers

72 views

### Classifying Equivariant Maps Between Fin-Dim Irreducible Modules

Let $G$ be a compact semi-simple Lie group, (or to be even more concrete let $G = SL(N)$), and let $V$ and $W$ be finite dimensional irreducible representations of $G$. Surely it is very well-known ...

**7**

votes

**1**answer

330 views

### Identifying the little disk operad with parenthesized braids

Let $D_2$ be the topological operad of little disks. This operad can be modelled "combinatorially" in terms of an operad of groupoids called $\newcommand{\PaB}{\mathbf{PaB}}\PaB$, the operad of ...

**6**

votes

**2**answers

312 views

### Are subfactor planar algebras hard to classify at index 6?

Given a finite index inclusion, $N\subset M$, of $II_1$ factors we can construct two towers of finite dimensional algebras known as the $\textit{standard invariant}$. For low index, this has allowed ...

**8**

votes

**3**answers

312 views

### What are the intermediate subfactors of the tensor product of two maximal subfactors?

Let $(N_1 \subset M_1)$ and $(N_2 \subset M_2)$ be two maximal subfactors.
Their tensor product, the subfactor $(N_1 \otimes N_2 \subset M_1 \otimes M_2)$, admits four obvious intermediate ...

**6**

votes

**1**answer

375 views

### The Irreducible Corepresentations of the eight-dimensional Kac-Paljutkin Quantum Group

I asked this question on Math.Stack but have not had any answers.
Question
What are the irreducible corepresentations of the eight-dimensional Kac-Paljutkin Quantum Group, $A$?
The trivial ...

**4**

votes

**1**answer

132 views

### Reference for the image of the adjoint to the differential in graph cohomology (which yields STU & IHX)?

One can define cochain complexes of (combinatorial) graphs, where each term is a vector space of linear combinations of certain (isomorphism classes of) graphs, and where the differential $d$ is a ...

**5**

votes

**1**answer

117 views

### when is an algebra map conjugate to a star algebra map

Take a (unital) algebra map $f:A\to B$ between two unital C* algebras - not necessarily star preserving. Under what circumstances is there a $b\in B$ so that $g(a)=b\ f(a)\ b^{-1}$ is a star algebra ...

**7**

votes

**1**answer

394 views

### Are Turaev--Viro invariants secretly a discretized path integral?

Turaev--Viro http://www.ams.org/mathscinet-getitem?mr=1191386 defined an invariant of three-manifolds $M$ denoted $TV(M)$, which was subsequently shown by Kevin Walker to coincide with ...

**4**

votes

**0**answers

115 views

### Is there a maximal finite depth infinite index irreducible subfactor?

A subfactor $N \subset M $ is irreducible if $N' \cap M = \mathbb{C} $.
It's maximal if it admits no non-trivial intermediate subfactors $N \subset P \subset M $.
It's cyclic if its lattice of ...

**4**

votes

**1**answer

187 views

### Quantum 9j symbols?

A formula for (SU2) quantum 6j symbols exists. A formula expressing ordinary (q=1)
9j symbols in terms of 6j symbols is long known. Unfortunately, combining both (I tried it myself) got tricky - the ...

**2**

votes

**0**answers

124 views

### About the classification of infinite depth irreducible finite index maximal subfactors

The Temperley Lieb subfactors $A_{\infty}$ are the first examples of infinite depth irreducible finite index maximal subfactors. We can see these subfactors as coming from the simple Lie group ...

**5**

votes

**0**answers

250 views

### How to compute the abelianization of the representation theory of a Hopf algebra?

I will ask two versions of my question, which probably aren't precisely the same, and I am also interested in hearing about nuances between the two.
Version 1:
Let $(C,\otimes)$ be any monoidal ...

**12**

votes

**1**answer

1k views

### The cyclic subfactors theory: a quantum arithmetic?

Context: First recall some results:
- Actions of finite groups on the hyperfinite type $II_{1}$ factor $R$ (Jones 1980).
- A Galois correspondence for depth 2 irreducible subfactors ...

**5**

votes

**1**answer

116 views

### Is there an infinite depth irreducible finite index maximal subfactor (other than Temperley Lieb) ?

A subfactor $N \subset M$ is maximal if it admits no non-trivial intermediate subfactors $N \subset P \subset M$.
Is there an infinite depth irreducible finite index maximal subfactor (other than ...

**15**

votes

**0**answers

178 views

### Are there small examples of non-pivotal finite tensor categories?

I'm looking for small concrete examples of non-pivotal finite tensor categories to do some calculations with.
Here a finite tensor category is, according to Etingof-Ostrik, a rigid monoidal category ...

**8**

votes

**0**answers

270 views

### Are there only finitely many maximal irreducible amenable subfactors at fixed finite index?

A subfactor $N \subset M $ is maximal if it admits no non-trivial intermediate subfactors $N \subset P \subset M $.
Question: Are there only finitely many maximal irreducible amenable subfactors at ...

**15**

votes

**1**answer

925 views

### Non-“weakly group theoretical” integral fusion categories?

Is there an integral fusion category of global dimension $210$, such that the simple objects have dimensions $\{1,5,5,5,6,7,7\}$ and the following fusion matrices?
$\small{\begin{smallmatrix}
1 & ...

**1**

vote

**0**answers

187 views

### polynomial representation of $sl_{2}(k)$

Let $k$ be an algebraic closed field of characteristic 0. We write
$$X=\left(
\begin{array}{ccc}
0 & 1\\
0 & 0\\
\end{array}
\right),~~
Y=\left(
\begin{array}{ccc}
0 & 0\\
1 & 0\\
...

**10**

votes

**1**answer

264 views

### Links which HOMFLY homology distinguish but the HOMFLY polynomial does not.

Does anyone know of a pair of different links which the HOMFLY polynomial does not distinguish, but HOMFLY homology does? Or does there exist such a pair of links?
I'm assuming there does exist ...