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

**1**

vote

**0**answers

73 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

194 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

190 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

243 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

119 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

164 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

282 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

190 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

384 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

131 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

104 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

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

**4**

votes

**0**answers

90 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

159 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

84 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

364 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

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

**17**

votes

**1**answer

577 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

112 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

929 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

150 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

147 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

178 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

174 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

106 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

253 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

270 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

100 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

395 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

171 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

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

**6**

votes

**1**answer

261 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

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

**7**

votes

**3**answers

289 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

312 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

122 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

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

**6**

votes

**1**answer

296 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

107 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

172 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

120 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

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

**8**

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

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

**14**

votes

**0**answers

155 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

238 views

### Are there only finitely many maximal subfactors of a 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 subfactors of a fixed finite ...

**12**

votes

**1**answer

782 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 & ...