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

**8**

votes

**0**answers

67 views

### Existence/characterization/properties of $C^*$-algebras which “are” quantization of compact symplectic manifolds?

Understanding of "quantization" achieved much progress recent years, especially after Kontsevich breakthrough on deformation quantization, where he proved one-to-one correspondence between Poisson ...

**4**

votes

**1**answer

74 views

### Classifying Low Dimensional Solutions of the Yang--Baxter Equation

What is the present situation with classifying solutions of the Yang--Baxter equation in low dimensions?
To make my question more specific, have all solutions for dimension $2$ and $3$ been ...

**3**

votes

**1**answer

63 views

### Can the ribbon category of f.d. reps of $\mathcal{U}_q(\mathfrak{sl}(2))$ be modified so the twist is trivial on the vector representation?

Consider the ribbon category of finite-dimensional representations of $\mathcal{U}_q(\mathfrak{sl}(2))$, with twist $\theta$. If $V$ is the vector representation, then $\theta_V$ is multiplication by ...

**18**

votes

**4**answers

1k views

### Why are quantum groups so called?

I've recently been to a seminar on quantum matrices. In particular the speaker introduced these objects as the coordinate ring of $2$ by $2$ matrices modulo some odd looking relations (see start of ...

**3**

votes

**0**answers

274 views

### Is there a non-trivial Hopf algebra without left coideal subalgebra?

Let $H$ be a Hopf algebra over an algebraically
closed field $\mathbb{K}$ of characteristic $0$.
A subalgebra $I$ of $H$ is called a left coideal subalgebra if $\Delta(I) \subset H \otimes I$.
$H$ is ...

**5**

votes

**2**answers

140 views

### How to make a premodular category a modular tensor category?

A premodular category (also called ribbon fusion category) is roughly speaking a tensor category where fusion and braiding of the objects are defined. With an extra nondegeneracy condition for the ...

**7**

votes

**0**answers

154 views

### Flat connection from gauged WZW model

$\newcommand{\g}{\mathfrak g}$
$\newcommand{\h}{\mathfrak h}$
In short my question is :
Has someone worked out the flat connection that one should get from the gauged WZW model in genus 0 ?
Some ...

**1**

vote

**0**answers

67 views

### Cosemi-simple FRT Hopf Algebras

This question is a somewhere similar variation on an old question of mine. Given an FRT-algebra, which is to say, roughly, that it can be constructed from an R-matrix in the Yang--Baxter sense (see ...

**7**

votes

**1**answer

199 views

### Does the normal ordered product on differential operators lift to $U\left(\mathfrak{gl}_n\right)$?

Let $n\in\mathbb N$. Let $k$ be a commutative ring in which $1,2,3,\ldots$ are invertible. Let $\Omega$ denote the $k$-algebra of polynomial differential operators on $n$ variables $x_1$, $x_2$, ..., ...

**9**

votes

**4**answers

2k views

### Short Introduction to Planar Algebras

Are there any good short expositions of planar algebras out there? I am interested primarily in seeing the main definition and some explicit examples.

**4**

votes

**1**answer

209 views

### Open questions on (finite) tensor categories

I would like to know about problems on (finite) tensor categories. I have read Etingof´s notes from his course at MIT. I have a question:
There exists any reference where I can find an open problem ...

**3**

votes

**1**answer

136 views

### What are the applications of the depth 2 reduction to the subfactors theory?

Let $(N \subset M)$ be an irreducible finite depth ($>2$) finite index inclusion of hyperfinite ${\rm II}_1$ factors, then for $n$ sufficiently large the subfactor $(N \subset M_n)$ is depth $2$ ...

**22**

votes

**8**answers

4k views

### Why are fusion categories interesting?

In the same vein as Kate and Scott's questions, why are fusion categories interesting? I know that given a "suitably nice" fusion category (which probably means adding adjectives such as "unitary," ...

**4**

votes

**1**answer

98 views

### Compact Quantum Groups and FRT-Algebras

As is well known, every compact quantum group in the sense of Woronowicz has a dense Hopf $*$-sub-algebra. For the case of $q-SU(n)$ (among others) this Hopf $*$-sub-algebra is an FRT-algebra, which ...

**6**

votes

**1**answer

212 views

### The Irreducible Representations of the Sekine Quantum Groups

Here Y. Sekine introduces a one-parameter family of finite quantum groups of dimension $2n^2$. Let $n\geq 3$ be fixed and $\zeta=e^{2\pi i/n}$. Set
...

**2**

votes

**2**answers

139 views

### Appropriate Recursion relations for Wigner 3j Symbols

I am attempting to code the Cosmic Microwave Lensed Temperature and Polarisation power spectra from first principles and have been told to code the relevant Wigner 3j symbols using recursion rather ...

**31**

votes

**4**answers

1k views

### Intuition behind the definition of quantum groups

Being far from the field of quantum groups, I have nevertheless made in the past several (unsuccessful) attempts to understand their definition and basic properties. The goal of this post is to try to ...

**17**

votes

**1**answer

2k views

### Grothendieck and Non-commutative Geometry?

When Grothendieck and his followers were working on their profound progress of algebraic geometry, did they ever consider non-commutative rings? Is there anyway evidence that Grothendieck foresaw the ...

**6**

votes

**0**answers

135 views

### When are the categories of algebras over props (co)complete?

Suppose P is a (colored) prop in a closed symmetric monoidal locally presentable category C. Is the category Alg_P of algebras over P in C locally presentable?
It seems that one can relatively easy ...

**5**

votes

**1**answer

1k views

### Homotopic morphisms between curved A-infinity algebras

I know how to think about (curved) $A_\infty$-algebras 'geometrically', i.e. via formal non-commutative geometry in the sense of Kontsevich etc. I also know how to think about $A_\infty$-morphisms in ...

**2**

votes

**1**answer

137 views

### How does an element $T\left(z\right)$ act on a $\mathcal{U}_{q}\left(\mathcal{L}\mathfrak{sl}_{2}\right)\left[\left[z\right]\right]$-module?

Context
Let $V$ be a 2-dimensional evaluation representation of the quantum loop algebra $\mathcal{U}_{q}\left(\mathcal{L}\mathfrak{sl}_{2}\right)$ with $a=q$. Also, for $m\in\mathbb{Z}$, the ...

**5**

votes

**1**answer

119 views

### 6j symbols of SU(4) at level 4

Does anybody know of a reference that gives the (quantum) 6j symbols of SU(4) at level 4?
Alternatively, I know the S-matrix and the fusion rules, in the form
$a \times b = \sum_i N^{ab}_{c_i} c_i$
...

**2**

votes

**1**answer

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

**6**

votes

**0**answers

116 views

### An alternative Cauchy theorem on Hopf algebras

Let $\mathbb{A}$ be a finite dimensional Hopf ${\rm C}^{\star}$-algebra.
There already exists a generalization of Cauchy theorem using exponent, see here.
We are interesting in an alternative ...

**2**

votes

**0**answers

70 views

### The role of the Vandermonde determinant in representations of affine Lie algebras

I am reading a paper 'Yangians and R-matrices' by Chari & Pressley (1990) and to classify representations for particular quantum groups, they define a "quantum Vandermonde determinant". They also ...

**4**

votes

**0**answers

54 views

### Are there any dominant pivotal functors such that the regular representation is not mapped onto a multiple of the regular representation?

This question is related to Pivotal functors of that are substantially different from finite group homomorphisms.
A tensor functor $F: \mathcal{C} \to \mathcal{D}$ is called dominant (sometimes ...

**21**

votes

**1**answer

391 views

### Why, in terms of quantum groups, does the knot determinant appear as an evaluation of both the Jones and Alexander polynomials?

The Jones polynomial can be computed from the representation theory of $\mathcal{U}_q(\mathfrak{sl}(2))$. The Alexander polynomial has an analogous description in terms of the representation theory of ...

**0**

votes

**0**answers

36 views

### Deforming the category of representations of the Yangian of a simple Lie algebra?

Since I got a very good answer to my previous question,
217585,
I am asking a sequel by moving up a level.
Let $\mathfrak{g}$ be a simple Lie algebra. Then we have the Yangian $Y(\mathfrak{g})$ and ...

**2**

votes

**1**answer

98 views

### Deforming the category of representations of a simple Lie algebra?

This is a follow up question to the insightful answer by Theo Johnson-Freyd to the question 105221.
This answer explained that the quantised enveloping algebra, $U_q(\mathfrak{g})$, (defined by a ...

**6**

votes

**0**answers

105 views

### What's the relation between half-twists and star structures on Hopf algebras?

A star structure on a Hopf algebra is an antilinear antiautomorphism squaring to 1 and satisfying some further axioms. A Hopf algebra with a star structure is then a star algebra and a Hopf algebra in ...

**2**

votes

**0**answers

38 views

### Changing the sign in the definition of the cocommutator of a coboundary Lie bialgebra

A Lie bialgebra is a Lie algebra additionally equipped with a 1-cocycle $\delta: {\mathfrak g}\to \Lambda^2 {\mathfrak g}$ that satisfies the co-Jacobi identity. Non-trivial Lie bialgebras can be ...

**5**

votes

**1**answer

158 views

### Kernel of the natural map between group $C^*$-algebras

Let $\Gamma$ be a discrete group. We can form two $C^*$-algebras: the universal (or full) and reduced, to be denoted by $C^*_u(\Gamma)$ and $C^*_r(\Gamma)$ (respectively). Both of them are completions ...

**1**

vote

**1**answer

205 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 \otimes x + x \otimes 1$, where $x$ is a generator of $\mathbb{C}_q[U]$. There is a ...

**13**

votes

**4**answers

1k views

### 2-TQFT are to Frobenius Algebras as ??? are to Hopf Algebras

The question arose this morning during a seminar about HAs.
In a few words: can the equivalence $2-TQFT_k \leftrightarrow Frob_k$ be "modified" in a sensible way to give a similar one between the ...

**1**

vote

**1**answer

58 views

### Radicals of co-quasitriangular map

Let $B=\mathcal{O}_R\left(GL(n)\right)$ be a localization of the algebra $A(R)$ of functions on the quantum formal group corresponding to the matrix $R$ ["Quantization of Lie groups and Lie algebras", ...

**4**

votes

**0**answers

71 views

### Dense Hopf $*$-subalgebra of compact quantum groups and cancellation laws

Recall the notion of the compact quantum group, in the sense of Woronowicz: it is a pair $(A,\Delta)$ where $A$ is a unital $C^*$-algebra and $\Delta:A \to A \otimes_{\min} A$ is a unital ...

**10**

votes

**1**answer

579 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}\left< x_i \mid i =1, \ldots, N\right>/\left<x_i x_j = q x_j x_i \mid i<j\right>.
$$
For $q=1$, we get ...

**3**

votes

**0**answers

163 views

### What does “control of a deformation problem” mean?

Is the expression "control of a deformation problem' ever defined? There are of course many examples relating a dg-Lie or L-infty algebra to a deformation problem, and the phrase is evocative. Is it ...

**4**

votes

**0**answers

70 views

### Is there a perfect integral fusion category with PFdim = 2 mod 4?

A finite group $G$ is perfect if $G = G^{(1)} := \langle [G,G] \rangle$.
Proposition: A finite group $G$ is perfect iff any $1$-dimensional complex representation of $G$ is trivial.
proof: First if ...

**9**

votes

**2**answers

178 views

### Symmetries of module categories over the category of representations of quantum $sl(2)$

The category $\mathcal{C}_l$ of tilting modules of the quantum group $U_q(sl_2)$ quotiented out by the modules of zero quantum dimension has a natural structure as a semisimple monoidal category when ...

**0**

votes

**0**answers

35 views

### Is there a non-solvable integral fusion category of square-free dimension?

A finite group of square-free order is solvable (see here).
You can find the definition for a solvable fusion category in this paper.
Question: Is there a non-solvable integral fusion category of ...

**0**

votes

**0**answers

39 views

### Asymptotic behavior of the minimum eigenvalue of a certain Gram matrix with linear independence

Consider the density matrices with the following spectral decompositions:
$$\rho=\lambda_1|\nu_1\rangle+\lambda_{2}|\nu_2\rangle$$
and
$$\sigma=\gamma_1|\omega_1\rangle+\gamma_2|\omega_2\rangle$$
such ...

**3**

votes

**0**answers

110 views

### A “nice” Orthogonal Basis for Translation Invariant Symmetric Polynomials

It is going to be a rather long question, so I will first state it and then try to explain and motivate it.
Take $\Lambda_n $ as the graded ring of symmetric polynomials of a field $F$ in $n$ ...

**7**

votes

**0**answers

150 views

### Deformation of Noether's first theorem

Noether's first variational theorem establishes a correspondence between symmetries and invariants. I would like to know what has been written on the following question: How do the invariants deform ...

**8**

votes

**0**answers

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

**7**

votes

**2**answers

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

**4**

votes

**2**answers

345 views

### Yang–Baxter explanation

What are the most simple examples which can explain the meaning of Yang–Baxter equation? Is there any way to explain this mysterious object to a person who is not a professional in quantum groups? ...

**25**

votes

**4**answers

2k views

### A mysterious Heisenberg algebra identity from Sylvester, 1867

I am trying to understand two papers by James Joseph Sylvester:
P92: "Note on the properties of the test operators which occur in the calculus of invariants, their derivatives, analogues, and laws of ...

**4**

votes

**2**answers

461 views

### How does one think about the “off-diagonal” part of the $R$-matrix?

The universal $R$-matrix of a quantized universal enveloping algebra is typically written as the product of two terms, one only involving elements of the Cartan, and one only involving elements of the ...

**5**

votes

**1**answer

143 views

### What homomorphisms $G \to BrPic(\mathcal{C})$ correspond to group-theoretical $G$-extensions of $\mathcal{C}$?

For a fusion category $\mathcal{C}$ the Brauer-Picard group $\text{BrPic}(\mathcal{C})$ is the group of all invertible $\mathcal{C}$-bimodule categories under multplication $\boxtimes_\mathcal{C}$.
...