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

learn more… | top users | synonyms

6
votes
0answers
67 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
0answers
31 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 ...
4
votes
1answer
126 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
1answer
168 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 ...
17
votes
0answers
159 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 ...
13
votes
4answers
998 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
1answer
56 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", ...
3
votes
0answers
56 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
1answer
566 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
0answers
124 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
0answers
56 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 ...
8
votes
2answers
155 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
0answers
25 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
0answers
28 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 ...
5
votes
1answer
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 ...
3
votes
0answers
91 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$ ...
0
votes
0answers
58 views

Semisimple Coquasitriangular Hopf Algebras

Let $(G,R)$ be a coquasitriangular Hopf algebra, which we furthermore assume to be cosemisimple. Generalising classical Peter-Weyl, cosemisimplicity of $G$ is well-known to imply an isomorphism $$ G ...
20
votes
2answers
775 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 ...
7
votes
0answers
145 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 ...
1
vote
0answers
91 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 ...
8
votes
0answers
265 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 ...
6
votes
2answers
434 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
2answers
300 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
4answers
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
2answers
431 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
1answer
128 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}$. ...
0
votes
0answers
78 views

How to generalize multiplication and addition to cyclic subfactors?

Let $(N \subset M)$ be a finite index irreducible subfactor and $P=P(N \subset M)$ its subfactor planar algebra. Definition: $(N \subset M)$ is cyclic if its lattice of intermediate subfactors ...
2
votes
0answers
213 views

Is there a non-trivial maximal Hopf algebra?

Let $H$ be a Hopf algebra over an algebraically closed field $\mathbb{K}$ of characteristic $0$. Maximal means without left coideal subalgebra $I$ (i.e. $\Delta(I) \subset H \otimes I$) other than ...
9
votes
2answers
363 views

$6j$-symbols for $U_q({\mathfrak{sl}}_n)$ and colored HOMFLY polynomials

Explicit expression of quantum $6j$-symbolos for $U_q({\mathfrak{sl}_2})$ have been known due to the work of Kirillov and Reshitikhin. My Question: How much are known about quantum $6j$-symbolos ...
1
vote
0answers
70 views

Weakly group theoretical fusion category and subsystems

Let $\mathcal{C}$ be a fusion category and $H$ a semi-simple finite weak Hopf algebra such that $\mathcal{C}(H) = \mathcal{C}$. Suppose that for every nontrivial left coideal subalgebras $S$ of $H$ or ...
2
votes
0answers
147 views

How to write BRST-BV for dg-Lie?

The usual BRST-BV implements a Lie algebra and its module in terms of ghosts, etc. Where is there written a corresponding formula incorporating the differential of a dg Lie algebra and module?
1
vote
0answers
131 views

The planar algebra generated by the biprojections

Let $(N_1 \subset M_1)$ and $(N_2 \subset M_2)$ be two irreducible finite index subfactors. Let $\mathcal{B}_i$ be the set of all the biprojections of $\mathcal{P}_{2+}(N_i \subset M_i)$. Let ...
0
votes
0answers
80 views
8
votes
0answers
131 views

Comparing a Chevalley basis with the canonical basis of the adjoint module?

First some background: Given a simple Lie algebra $\mathfrak{g}$ over an algebraically closed field of characteristic 0 such as $\mathbb{C}$, fix a Cartan decomposition $\mathfrak{g} = \mathfrak{h} ...
3
votes
1answer
302 views

Jones polynomial of tangles using Temperley-Lieb algbra?

The definition of the Jones polynomial of tangles (a la Reshetikhin and Turaev) uses the space of invariants for $U_q sl_2$ and R-matrices. It seems to me the same thing cane be done in terms of the ...
3
votes
0answers
57 views

Signs associated to self-dual simple objects in a fusion category

Every self-dual simple object $X$ in a fusion category can canonically be assigned a number $a$, from its "snake" associator element: The square of $a$ equals Muger's "squared dimension" of $X$, an ...
4
votes
1answer
240 views

Verlinde Formula and Theta Function Identities

The paper Fusion rules and modular transformations in 2D conformal field theory by Erik Verlinde mentions a simple case of rational conformal field theory, where the fusion algebra is just ...
6
votes
1answer
484 views

exceptional cases in Kazhdan-Lusztig

The Kazhdan-Lusztig story doesn't apply to the four exceptional cases $(E_6)_1$, $(E_7)_1$, $(E_8)_1$, $(E_8)_2$ (see this earlier question of mine). What's special about those cases?
4
votes
0answers
146 views

Number of Irreducible Representations of $U_q(n)$ of Dimension $n$?

For quantum group $U_q(n)$, is it true that it has exactly two non-isomorphic irreducible corepresentations with dimension $n$, and that one is the dual of the other? I know result is in the Chapter ...
0
votes
0answers
43 views

References about reality of minimal affinizations of quantum affine algebras

Let $U_q(\widehat{\mathfrak{g}})$ be the quantum affine algebra associated to a complex simple Lie algebra $\mathfrak{g}$. A simple module $M$ of $U_q(\widehat{\mathfrak{g}})$ is called real if $M ...
2
votes
1answer
109 views

Is there a tangle encoding the fusion rules?

Let $(N \subset M)$ be an irreducible finite index depth $n$ subfactor. Let $P = P(N \subset M)$ its planar algebra. Let $(B_i)$ be the finite sequence of $N$-$N$-bimodules appearing in the principal ...
9
votes
1answer
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 ...
1
vote
0answers
130 views

The convolution on a semisimple finite quantum groupoid

Let $\mathbb{A}$ be a finite dim. weak Hopf $C^*$-algebra (or semisimple finite quantum groupoid) and $\hat{\mathbb{A}}$ its dual. Let the Fourier transform $\mathcal{F}: \mathbb{A} \to ...
9
votes
0answers
208 views

Does the $(\mathbb Z/2)$-graded isomorphism $E_n \cong E_{n+2}$ have any nice properties?

This question assumes everything is dg. Let's decide to work over the "field" $\mathbb Q[\mu,\mu^{-1}]$ where $\mu$ has homological degree $+2$. Then chain complexes are just $\mathbb Z/2$-graded. ...
31
votes
5answers
3k views

Groups, quantum groups and (fill in the blank)

In the study of special functions there are three levels of objects, classical, basic and elliptic. These correspond to classical hypergeometric functions, basic (q-) hypergeometric functions, and ...
22
votes
2answers
742 views

quantum groups… not via presentations

Given a semisimple Lie algebra $\mathfrak g$ with Cartan matrix $a_{ij}$, the quantum group $U_q(\mathfrak g)$ is usually defined as the $\mathbb Q(q)$-algebra with generators $K_i$, $E_i$, $F_i$ (the ...
47
votes
4answers
4k views

Why hasn't anyone proved that the two standard approaches to quantizing Chern-Simons theory are equivalent?

The two standard approaches to the quantization of Chern-Simons theory are geometric quantization of character varieties, and quantum groups plus skein theory. These two approaches were both first ...
5
votes
3answers
420 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 ...
14
votes
2answers
377 views

Derangements and q-variants

Everybody knows that there are $D_n=n! \left( 1-\frac1{2!}+\frac1{3!}-\cdots+(-1)^{n}\frac1{n!} \right)$ derangements of $\{1,2,\dots,n\}$ and that there are $D_n(q)=(n)_q! \left( ...
4
votes
0answers
99 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 ...