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

**2**

votes

**2**answers

236 views

### 2-tangles and quantum groups and 2-groups

Turaev developed the notion of a quantum group by considering the category of tangles (thought of with objects as collections of 2$n$ points and with morphisms being braids between them with cups and ...

**34**

votes

**1**answer

836 views

### Invertible matrices over noncommutative rings

Let $A\in M_m(R)$ be an invertible square matrix over a noncommutative ring $R$. Is the transpose matrix $A^t$ also invertible? If it isn't, are there any easy counterexamples?
The question popped up ...

**10**

votes

**1**answer

428 views

### Traces on Hecke algebras and the Jones polynomial

In his famous paper "Hecke algebra representations of braid groups and link polynomials," (Annals 1987), Jones uses a compatible family of traces $tr_z$ on the Iwahori-Hecke algebras $H(q,n)$ of type ...

**4**

votes

**0**answers

234 views

### Reshetikhin-Turaev and links with a distinguished component

Hi,
This question came up to me when reading the paper of Cartier on Vassiliev invariants, but it can probably be turned into a more general question.
Let $T$ be the category whose objects are ...

**5**

votes

**1**answer

649 views

### Kontsevich Integral without associators?

Recall the fact that the representations of a quantum group form a braided tensor category, and this corresponds to the fact that $U_q(\mathfrak g)$ is a quasi-triangular Hopf algebra. The braiding ...

**1**

vote

**1**answer

136 views

### Fixed points of quantised enveloping algebra for affine $\mathfrak{sl}_n$

Consider the automorphism of the algebra $U_q(\widehat{\mathfrak{sl}}_n)$ induced by the obvious diagram automorphism of the extended type A Dynkin diagram. More precisely, if the vertices of the ...

**-1**

votes

**1**answer

223 views

### Triangle condition for quantum 6j symbols?

For SU2 and even SU2(q) the triangle condition is, well, the triangle
condition (conveniently, all irreps are described by (half)integer J completely).
Additionally, all three J of a triple must add ...

**1**

vote

**1**answer

321 views

### Knot polynomials: Skein>Matrix>Group?

OK, the heading was a bit tersely formulated...
If you have a quantum group and an irrep, you theoretically know the
R matrix (mathematicians are a notoriously idle lot, they give the
general formula ...

**3**

votes

**3**answers

317 views

### Open symplectic embeddings and deformation quantization

I would like to know whether there is a specific relationship between the deformation quantizations of the Poisson algebras of the functions on a symplectic manifold, say $M$, and of the functions on ...

**1**

vote

**3**answers

224 views

### Oriented vs. unoriented knot polynomials

I only ask for the subset of Reshetikhine-Turaev invariants for now.
Is the following sum up into cases a) and b) correct?
- Dots in Dynkin diagrams of Lie groups G come as a) symmetry-equivalent ...

**4**

votes

**0**answers

194 views

### Algorithm/denominators of elements of a rational affine space

I hope it's not a trivial question... Suppose I have a finite dimensional vector space $V$ over $\mathbb{Q}$ with a distinguished basis (in my case it's the $k$th graded piece of the free associative ...

**1**

vote

**0**answers

140 views

### Braidings for Comodules of Co-quasi-triangular Hopf algebra

Let $V$ be a (right-)$H$ comodule wrt a coaction $\Delta_R$, where $H$ is a co-quasi-triangular Hopf algebra with co-quasi-triangular Hopf algebra structure $R$. It is well-known that $V$ has a ...

**11**

votes

**0**answers

339 views

### When can we tell if PROPs, Algebraic Theories, etc. are faithfully detected in a given category?

I am interested in understanding a certain phenomenon. I am hoping this sort of problem has been studied before, but I don't know the proper terminology and am having trouble finding answers. I am ...

**4**

votes

**1**answer

357 views

### How does one relate the monodromy of the KZ equations with the WRT representation of the braid group?

The KZ equations on the configuration space of $n$ distinct points in $\mathbb C$ give rise to a representation of $B_n$ on $V^{\otimes n}$, where $V$ is any given representation of $SL(2)$ (we'll ...

**1**

vote

**0**answers

110 views

### Product knot invariants

Let $I_1(L)$ be a Reshetikhine-Turaev link invariant coming from the (quantum Lie) group $G_1$ and representation $\lambda_1$ having the S matrix $S_1$. Let $I_2(L)$ be a Reshetikhine-Turaev link ...

**3**

votes

**1**answer

406 views

### Local Cohomology and Maximal-Cohen-Macaulay modules

Checking a recent article [this one, specifically section 3.1] I found the following claim (I'm paraphrasing, of course):
Let $A$ be a graded connected
noetherian algebra (not necessarily
...

**2**

votes

**1**answer

273 views

### Is there a notion of partial trace in a ribbon category?

I've seen some definitions of "right partial trace" and "left partial trace" in http://arxiv.org/abs/1103.1660, but these don't seem canonical in any way.
The motivation for this questions is that ...

**1**

vote

**1**answer

157 views

### Can any Laurent polynomial symmetric under q->1/q and whose roots are all roots of unity be written as a ratio of products of quantum numbers?

Quantum dimensions are quantum integer fractions (or so I heard).
Example: $G_2(\lambda_2)$ (technically it should read q^{1/6}, I know...)
$q^{-10}+q^{-8}+q^{-2}+1+q^2+q^8+q^{10}$ = ...

**7**

votes

**4**answers

2k views

### Hopf Algebras and Quantum Groups

I have studied graduate abstract algebra and would like to learn about Hopf algebras and quantum groups. What book or books would you recommend? Are there other subjects that I should learn first ...

**5**

votes

**1**answer

431 views

### How can I see the “missing” Poisson center when the rank of the Poisson structure drops?

Recall that a Poisson algebra is a commutative algebra $A$ along with a bracket $\lbrace,\rbrace: A^{\otimes 2} \to A$ which is a Lie bracket and which is also a derivation in each variable. The ...

**0**

votes

**1**answer

297 views

### Quantum knot invariants dummyfied

This construction should define an invariant for colored tangled trivalent graphs.
Choose a quantum group G. (Without loss of geniality, G=A1(q) :-)
Color the edges with representations of ...

**7**

votes

**1**answer

272 views

### If C is a fusion category over a field of nonzero characteristic and dim C = 0, is Z(C) ever fusion?

If $C$ is a fusion category and $\dim(C) \neq 0$ (the latter is automatic in characteristic zero, but not in nonzero characteristic), then the Drinfel'd center $Z(C)$ is fusion. More generally, if ...

**4**

votes

**1**answer

352 views

### What is known rigoruously about the semiclassical (k to infinity) limit of WRT invariants?

To each closed $3$-manifold $N$, there is a corresponding Witten--Reshetikhin--Turaev invariant $Z_k(N)$ depending on an integer $k$ (the level) and a Lie group $G$ (and perhaps we'll just concentrate ...

**1**

vote

**0**answers

197 views

### Do the real polarization and Kahler polarization of the character varieties of closed surfaces give rise to equivalent representations of the Mappping Class Group?

This is a question about the Witten--Reshetikhin--Turaev representations of the mapping class group of a closed surface $\Sigma_g$. For simplicity, we'll stick to the case $G=SU(2)$.
These ...

**10**

votes

**1**answer

546 views

### 2-cocycle twists of braided Hopf algebras

2-cocycle twists of Hopf algebras
Let $H$ be a Hopf algebra over a field $k$. Then a (left, unital) 2-cocycle on $H$ is a map
$$ f: H \otimes H \to k$$
such that
$$ f(x_{(1)},y_{(1)})f(x_{(2)} ...

**7**

votes

**1**answer

224 views

### Mnemonic for how left and right duals interact with Homs

Suppose you have a rigid monoidal category. This means you have a left dual and a right dual. By Frobenius reciprocity, you can move objects from one side of a Hom to the other side at the price of ...

**1**

vote

**1**answer

386 views

### Are Quantum Clebsch-Gordan coeffients quantum group dependent?

Background: I'm a quantum chemist and even once wrote a proggie for
3j and 6j symbols. Imagine my gaping mouth when I read the paper
(Reshetikhin/Turaev, I think) who let them pop up in my fave, knot ...

**12**

votes

**1**answer

329 views

### Are there interesting semisimple algebras in non-semisimple categories?

Are there any interesting examples of semisimple algebras in nonsemisimple categories which don't "come from" a semisimple algebra in a semisimple category? That is, if you want to study semisimple ...

**1**

vote

**0**answers

98 views

### Haar Functionals and Coquasi-triangular Structures

In this question it is mentioned that the coordinate algebra $C_q[G]$ Drinfeld--Jimbo algebras, for $G$ a compact semi-simple Lie group, admit a unique positive definite Haar functional. I was ...

**3**

votes

**0**answers

275 views

### What is the state in the WRT TQFT associated to a handlebody?

Let $Y^3$ be a handlebody with boundary $\Sigma$. By definition, there is some associated vector $v_{WRT}(Y^3)\in Z(\Sigma)$, the (finite dimensional) Hilbert space associated to $\Sigma$ by the ...

**0**

votes

**1**answer

317 views

### Classification of quantum Lie groups

Obviously, I tumbled over
Classification of (compact) Lie groups
- are the quantum Lie groups (or make that: algebras) easier to classify?
Or does the whole q-deformation thingie make it even more ...

**6**

votes

**0**answers

251 views

### Is the category of tangles that includes, X, Y, and Lambda a free Frobenius braided category?

Consider the category whose objects are non-negative integers that are represented as dots along a line, and whose morphisms are generated by $X$---positive crossing, $\bar{X}$ --- negative crossing, ...

**6**

votes

**1**answer

494 views

### Is the complete functorial structure for Khovanov--Lee homology known?

I'm interested in Lee's modification of Khovanov homology, which I'll denote $\operatorname{Kh}_{\operatorname{Lee}}^\ast$. Below $L$ is a link in $\mathbb R^3$.
The groups ...

**7**

votes

**1**answer

589 views

### Yetter--Drinfeld Modules and Braidings

Let $H$ be a Hopf algebra, $M$ a right $H$-comodule for a coaction $\Delta_R$, and $\triangleleft$ a right $H$-action on $M$ such that $M$ is a Yetter--Drindfeld module. We know from general theory ...

**34**

votes

**3**answers

2k views

### Why is there such a close resemblance between the unitary representation theory of the Virasoro algebra and that of the Temperley-Lieb algebra?

For those who aren't familiar with the Virasoro or Temperley-Lieb algebras, I include some definitions:
• The (universal envelopping algebra of the) Virasoro algebra is the $\star$-algebra ...

**7**

votes

**1**answer

292 views

### What are the primitives of Lusztig's twisted bialgebra $\mathbf{f}$?

I'm trying to understand the coproduct on Lusztig's $\mathbf{f}$ and, apart from the Chevalley generators, I don't know of any more primitive elements. In the $q=1$ case, the Weyl group acts as a Hopf ...

**0**

votes

**0**answers

448 views

### Knot Numerology

EDIT: Ok, I condense it to only that what is needed.
Assume it's possible to use the method described here
Matrix decomposition the other way
to decompose a $S$ matrix from knot theory. Then each ...

**6**

votes

**0**answers

403 views

### Where can I find tables of dual canonical basis vectors?

Leclerc (arXiv:math/0209133) has given us an algorithm for computing the dual canonical basis of the upper part of a quantised enveloping algebra.
Now presumably this algorithm has been implemented ...

**2**

votes

**1**answer

425 views

### What is the current status for Lusztig's positivity conjecture for symmetric Cartan datum?

This is related to the earlier question here
In Conjecture 25.4.2 in his "Introduction to Quantum Groups," Lusztig conjectures that "If the Cartan datum is symmetric, then the structure constants ...

**5**

votes

**1**answer

533 views

### Trace identities and the Kauffman Bracket skein module

Let's consider $K_t(M)$, the Kauffman bracket skein module (see this and this papers) of a three-manifold $M$. When $t=-1$, $K_t(M)$ is easily seen to be isomorphic to the ring of functions on the ...

**10**

votes

**3**answers

1k views

### How to calculate the Witten-Reshetikhin-Turaev invariants from a triangulation?

I'm interested in the Witten-Reshetikhin-Turaev invariants for 3-manifolds, and in particular, how to calculate them from a triangulation of the 3-manifold (recall that as they were first introduced, ...

**3**

votes

**1**answer

224 views

### Image of the Coproduct of a Hopf Algebra

Let $H$ ba a Hopf algebra with coaction $\Delta: H \to H \otimes H$. Denote the action of $\Delta$ by $\Delta (h) = h_{(1)} \otimes h_{(2)}$. I was wondering if every element of $H$ can arise as a ...

**11**

votes

**0**answers

494 views

### Given an algebra, can it be realized as a block of a Hopf algebra?

During a classification problem I came across a set of algebras given as the path algebra of a quiver with relations. As an example the local ones: $k\langle x,y\rangle/x^2,y^2, xy-qyx$, where $q\in ...

**15**

votes

**2**answers

1k views

### How many definitions are there of the Jones polynomial?

Even with the connection to quantum groups being made clearer (I believe it was not known when the Jones polynomial was first introduced), it seems to me that still we don't have the "right" ...

**6**

votes

**4**answers

928 views

### Compact Quantum Groups from Hopf Algebras

For a compact quantum group $C_q[G]$, it was shown by Woronowicz that $C_q[G]$ contains a dense Hopf algebra generalising the algebra of representations of $G$. I am interested in the other way ...

**8**

votes

**2**answers

694 views

### Quantization of conjugacy classes in a Lie group

Let $G$ be a Lie group (and to be safe, let's assume it is semisimple). Consider the action of $G$ on itself by conjugation, and form the GIT (algebro-geometric) quotient $G/\\!/G$. Then let ...

**2**

votes

**2**answers

324 views

### a question about finite dimensional representation of a Hopf algebra

Let $H$ be a Hopf algebra over a field $k$ and $V$ a finite
dimensional left $H$-module. Then $End_{k}(V)$ is a right $H$-module
via $(f\cdot h)(v)=S(h_{1})f(h_{2}\cdot v)$.
We set ...

**22**

votes

**3**answers

2k views

### Why is a 2d TQFT formulated as a functor?

Usual mathematical formulation of a 2d (closed) TQFT is as a functor from the category of 2-dim cobordisms between 1-dim manifolds to the category of vector spaces (satisfying various properties.)
...

**6**

votes

**1**answer

811 views

### I don't get a part of Bernstein's / Deligne-Morgan's proof of Poincaré-Birkhoff-Witt

Question: I am talking about the proof given on pages 50-52 of Pierre Deligne, Pavel Etingof, Daniel S. Freed, Lisa C. Jeffrey, David Kazhdan, John W. Morgan, David R. Morrison, and Edward Witten ...

**7**

votes

**2**answers

518 views

### Drinfeld's equivalence of quantized function algebras and quantized universal enveloping algebras

In his 1986 ICM address, Drinfeld discusses a way of producing a quantized function algebra (or more precisely a quantized formal series Hopf algebra) from a quantized universal enveloping algebra -- ...