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

**2**

votes

**1**answer

348 views

### Why is the quantum Lorentz group not connected?

Podles and Woronowicz' construct the quantum Lorentz group, by which they mean $SL_q(2,\mathbb{C})$, as a quantum double of the compact quantum group $SU_q(2)$. More precisely, it is a bicrossed ...

**9**

votes

**0**answers

439 views

### Representations of quantum groups at roots of unity

I'm interested in the semisimplified category of representations of a quantum group at a root of unity. I've heard that simple objects in this category correspond to certain "integral" conjugacy ...

**6**

votes

**1**answer

309 views

### Quantum coordinate ring at root of unity

Noah Snyder gave a great answer to this question about different versions of a quantum group $U_q(\mathfrak g)$ when $q$ is a root of unity. I want to ask about forms of the deformed coordinate ring ...

**7**

votes

**2**answers

596 views

### Quantum E6/E7 knot polynomials

Has anybody seen seen quantum knot invariants associated to (E6, 27) or (E7, 56) worked out in the literature? Even for just simple knots like the trefoil or figure-8?
I suspect these haven't been ...

**3**

votes

**1**answer

478 views

### Alternative Definition of the Quantum Determinant?

Let $M_q(n)$ be the standard quantum matrices (over the complex numbers) with generators $u^i_j$ for $i,j = 1, \ldots ,N$, and reations
$$
u^i_ju^k_j = qu^k_ju^i_j, \text{ for } i < k, ~~~~~~~ ...

**8**

votes

**2**answers

607 views

### Is a bialgebra with all group-like elements invertible a Hopf algebra?

We know that in a Hopf algebra all group-like elements are invertible. Is the converse also true? Here is the precise formulation of my question :
Let $B$ be a bialgebra and $GLE$ = { $g \in B ~|~ g ...

**10**

votes

**0**answers

338 views

### Generalization of Witten's computation of the volume of moduli space

Let $\Sigma$ be a Riemann surface, and let $X=\operatorname{Hom}(\pi_1(\Sigma),\operatorname{SU}(2))/\\!/\operatorname{SU}(2)$ be the $\operatorname{SU}(2)$ character variety of $\pi_1(\Sigma)$. ...

**4**

votes

**1**answer

225 views

### What vector space does the Kauffman bracket skein algebra of FxI act on?

The Kauffman bracket skein module $K_t(F\times I)$ (where $t$ is an indeterminant and $F$ is a closed surface) is an associative algebra (the operation being "stacking" links in the $I$ direction). ...

**11**

votes

**0**answers

347 views

### Is the quantum dilogarithm related in any way to cohomology of quantum groups?

Is the quantum dilogarithm related in any way to cohomology of quantum groups?
This question is a bit vague, and I don't have any rigorous justification for such a connection, but let me explain ...

**3**

votes

**1**answer

347 views

### Symbolic computations with differential operators (universal envelopings i.e. non-commutative variables) ?

Please give suggestions about soft to make symbolic computations with NON-commutative variables.
Typical examples I am interesting - Capelli identities
...

**10**

votes

**7**answers

2k views

### Hopf algebras examples

Following Richard Borcherds' questions 34110 and 61315, I'm looking for interesting examples of Hopf algebras for an introductory Hopf algebras graduate course.
Some of the examples I know are ...

**6**

votes

**0**answers

459 views

### Does anyone know this sequence of polynomials?

A referee on a paper of mine showed me the following recurrence for polynomials $P_{n,k}\in\mathbb Q[q,q^{-1}]$ for $n\geq 0$ and $0\leq k\leq n/2$.
...

**9**

votes

**1**answer

522 views

### Automorphic forms and quantum groups

The paper Eisenstein series and quantum affine algebras by Kapranov makes contact between automorphic forms and quantum groups. I haven't found even one other paper devoted to this theme.
Have other ...

**12**

votes

**2**answers

575 views

### Projective modules over quantum groups

My question is short:
How can one calculate $\operatorname{Tor}_{U_q(\mathfrak g)}(k,k)$?
($k$ is the ground field of characteristic zero).
If we had a regular universal enveloping algebra ...

**3**

votes

**2**answers

219 views

### Does there exist a canonical “degree” filtration on quantum groups?

For any lie algebra $\mathfrak g$, there is a natural filtration on $U(\mathfrak g)$ by "degree": the filtered piece $U^{\leq n}(\mathfrak g)$ is just the image in $U(\mathfrak g)$ of ...

**4**

votes

**2**answers

302 views

### monomials in the universal enveloping of a Lie algebra in terms of the symmetric basis

Let $L$ be a finite-dimensional Lie algebra over a field $k$ of characteristic zero and $e_1,\ldots, e_n$ some basis of $L$. The formula $[e_i,e_j] = \sum_k C_{ij}^k e_k$ determines the structure ...

**10**

votes

**1**answer

423 views

### R-matrices, crystal bases, and the limit as q -> 1

I am seeking references for precise statements and rigorous proofs of some facts about the actions of quantum root vectors and $R$-matrices on crystal bases for finite-dimensional representations of ...

**7**

votes

**2**answers

587 views

### What is a twisted modular operad?

I find Getzler and Kapranov's article Modular Operads difficult to understand. Can anyone explain what a (twisted) modular operad is conceptually, or what the underlying idea behind the concept of a ...

**2**

votes

**2**answers

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

**35**

votes

**1**answer

903 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

462 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

241 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

670 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

139 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

226 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

325 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

320 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

235 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

195 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

142 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

346 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

381 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

417 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

277 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

159 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

454 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

306 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

273 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

358 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

200 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

586 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

228 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

399 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

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

**2**

votes

**0**answers

99 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

291 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

327 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

253 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, ...