**3**

votes

**0**answers

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

**7**

votes

**1**answer

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

**7**

votes

**1**answer

318 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

**1**answer

335 views

**6**

votes

**0**answers

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

**6**

votes

**1**answer

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

**11**

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

**17**

votes

**2**answers

2k 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

997 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

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

**7**

votes

**2**answers

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

**5**

votes

**2**answers

628 views

### infinite group that maps onto dihedral group

The group is generated by $y_i$, $i=0, ...,p-1$
with relations
$y_0y_1=y_1y_2=...=y_{p-1}y_0$
$y_0y_2=y_1y_3=...=y_{p-1}y_1$
$\vdots$
$y_0y_{p-1}=y_1y_0=...y_{p-1}y_{p-2}$
I have run into this ...

**7**

votes

**2**answers

885 views

### Drinfeld't map, centre of quantum group, representation category of quantum group

My question is about the Drinfeld't map between $Rep(U_q(\mathfrak{g}))$ and $Z(U_q(\mathfrak{g}))$. I have heard the reference 1989 paper by Drinfeld't "Almost cocommutative Hopf algebras" - but this ...

**2**

votes

**1**answer

514 views

### notation in Lusztig's book: introduction to quantum groups.

What are the relations between the notation in Lusztig's book introduction to quantum groups and the usual notation about quantum groups. For example, $v$ in Lusztig's book corresponds to the usual ...

**17**

votes

**3**answers

6k views

### Quantum mathematics?

"Quantum" as a term/prefix used to be genuinely physical: what was supposed to be physically continuous turned out to be physically quantized.
What sense does this distinction make inside ...

**1**

vote

**0**answers

210 views

### On the decomposition of two representations of the Iwahori-Hecke algebra of type A_n

Consider the Iwahori Hecke algebra $H_q(n)$ of the symmetric group $S(n)$, the $\Bbb{Z}[q^{1/2},q^{-1/2}]$ algebra with generators $T_i$, $1 \leq i \leq n-1$, subject to the braid relations and the ...

**33**

votes

**5**answers

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

**4**

votes

**1**answer

368 views

### History of the Odd Dimensional Quantum Spheres

After reading this question, I began to wonder about the history of quantum $(2N-1)$-spheres. Basically I have two questions:
(1) Who first introduced the $(2N-1)$-spheres, and who first introduced ...

**1**

vote

**1**answer

235 views

### Ore Extensions and the Construction of the Quantum General Linear Group

In the usual (fomal) construction of the quantum general linear group $GL_q(N)$, an Ore extension is used. See for example Kassel. Why is this necessary? Surely one can just augment the set of ...

**1**

vote

**1**answer

207 views

### Dual of a Basis for a Hopf Algebra Conatined in all Dually Paired Hopf Algebras

For an infinite dimensional Hopf algebra $H$, a non-degenerate dually pairing Hopf algebra $H'$, and a choice of basis $e_i$ of $H$, is the dual basis $e^i$ (defined of course by $e^i(e_j) = ...

**11**

votes

**2**answers

512 views

### Relationship between “different” quantum deformations

This is a generic question, a good answer to it may be a reference to a corresponding paper\textbook, but any useful comments would be okay too.
Let $\mathfrak{g}$ be a (simple) Lie algebra and ...

**2**

votes

**0**answers

140 views

### Outer automorphism for $U_q(\mathfrak{su}(2|2))$

It is known that Lie superalgebra $\mathfrak{su}(2|2)$ (and only this one, not arbitrary $\mathfrak{su}(n|n)$) has the nontrivial central extension which forms an $\mathfrak{sl}_2$ triplet, let's call ...

**10**

votes

**1**answer

480 views

### Generators of the Odd Dimensional Quantum Spheres

As is well-known, the $(2N-1)$-quantum sphere $S^{2N-1}_q$ is defined to be the invariant subalgebra of $SU_q(N)$ under the coaction $\Delta_R = (id \otimes \pi) \circ \Delta$, where $\Delta$ is the ...

**1**

vote

**1**answer

173 views

### Generators of the Augmentation Ideal (Counit Kernel)

For the Hopf algebra $SL_q(N)$ it is clear that the kernel of the counit contains the ideal generated by the elements $(u^i_i-1)$ and $u^i_j$, for $i \neq j$. However, I cannot seem to arrive at at ...

**0**

votes

**1**answer

122 views

### Gradings Induced by Coactions?

A "well-known" fact is that a ${C}_q[U(1)]$-coaction on a vector space $V$ induces a $Z$-grading. I don't see why this is so. Clearly, a ${C}_q[U(1)]$-grading will induce a $Z$-grading. But why does ...

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

**3**

votes

**1**answer

396 views

### Does There Exists a General Quantum Casimir Extending the $U_q({\mathfrak sl}_2$ Case?

As is well known (see Kassel), when $q$ is not a root of unity, the centre or the quantum enveloping algebra $U_q({\mathfrak sl}_2)$ of ${\mathfrak sl}_2$ is generated by the element
$$
C_q = EF + ...

**16**

votes

**1**answer

705 views

### The Major Families of Quantum Groups

If we define a quantum group to be a quasi-triangular or coquasi-triangular Hopf algebra, then what are the major families of quantum groups?
Of couse, to start with we have the h-adic completions ...

**1**

vote

**1**answer

147 views

### Explicit Coquasi-Triangular Quantised Coordinate Algebra of a Complex Semi-Simple Lie Group?

Let $SL_q(N)$ be usual quantised coordinate algebra of the special linear group. As is well-known, this is co-quasi-triangular algebra with coquasi-triangular structure given by
$$
R(u^i_j \otimes ...

**21**

votes

**6**answers

1k views

### Is there a q-analog to the braid group?

The braid group $B_n$ on $n$ strands fits into a short exact sequence of groups:
$$ 1 \longrightarrow P_n \longrightarrow B_n \longrightarrow S_n \longrightarrow 1,$$
where $S_n$ is the symmetric ...

**3**

votes

**1**answer

462 views

### Prove that $U^*U=UU^*=1$ for $U_q(N,C)$

Let $u^i_j$, $i,j = 1, . . . N$, and det$_q^{-1}$ be the standard generators of the quantum group $U_q(N,C)$, and define the matrices $U$ and $U^{\ast}$ by setting $U_{ij} := u^i_j$ and ...

**2**

votes

**1**answer

246 views

### Hopf algebra and group structure correspondence for algebraic varieties

Let $V$ be a real algebraic variety and let ${\cal O}(V)$ denote its algebra of regular functions. If we put a group structure on $V$ (not necessarily an algebraic group structure) it will induce a ...

**2**

votes

**1**answer

199 views

### Can we see the geometric realization of $U_q(sl_2)$'s relations as Schubert Conditions?

In Nakajima's Geometric construction of algebras(pages 3-7), he uses the subalgebra of the convolution algebra of $Gr(k^N)\times Gr(k^N)$ invariant under $GL_N$ action to construct $U_q(sl_2)$. To do ...

**4**

votes

**1**answer

972 views

### Quantum Group Calculations in Mathematica

I'm trying to learn how to do algebraic manipulations in Mathematica but not finding the help very helpful. I'm going to ask about a specific quantum group example related to a previous question of ...

**4**

votes

**0**answers

212 views

### q-deformation of the unitary group integral

There is a well-known orthogonality property of $U(N)$ group characters
$$
\int d U \chi_{\mu}(U)\chi_\lambda(U^\dagger V)=\delta_{\mu\lambda}\frac{\chi_\mu(V)}{\dim_\mu}
$$
where the integral is ...

**22**

votes

**2**answers

2k views

### When does Lusztig's canonical basis have non-positive structure coefficients?

I've heard asserted in talks quite a few times that Lusztig's canonical basis for irreducible representations is known to not always have positive structure coefficents for the action of $E_i$ and ...

**1**

vote

**1**answer

428 views

### The Killing Form for Co-Quasi-Triangular Hopf Algebras

For a co-quasi-triangular Hopf algebra $H$, with universal $r$-form $r$, there exists an important map $Q$ defined by
$$
Q:H \otimes H \to k, ~~~~~~h \otimes g \mapsto r(g_{(1)}\otimes ...

**0**

votes

**1**answer

123 views

### Action of Co-quasi-triangular Universal r-form on $a \otimes 1$

A very easy question I can't seem to answer: For a universal r-form on a co-quasi-triangular Hopf algebra why is $r(a \otimes 1) = r(1 \otimes a) = \epsilon(a)$?

**1**

vote

**1**answer

195 views

### Establishing the Co-Quasi- Triangular Structure of FRT Algebras

Let $V$ be a finite dimensional vector space and let $R$ be a linear invertible mapping from $V \otimes V$ to itself. If we fix a basis $\{e_i\}_{i=1,2, \cdots ,n}$ then we have $N^4$ complex numbers ...

**0**

votes

**5**answers

469 views

### Map constructed from the coquasitriangular structure of SLq(2) which appears not to respect the standard commutation relations

Let $A$ be a Hopf algebra dually paired with a quasi-triangular Hopf algebra $B$. If $x$ is some fixed element of $A$, then we can define a linear map
$$
P_x: A \to \mathbb{C}
$$
by setting
$$
P_x:a ...

**6**

votes

**0**answers

177 views

### What is the q-analogue of the Lefschetz decomposition?

The representation theory behind the Lefschetz decomposition in Kahler geometry was summarised very neatly by Victor Protsak in his answer to
29907
Let $W$ be a $2n$-dimensional symplectic vector ...

**6**

votes

**2**answers

910 views

### Is there a quantum Hermite reciprocity?

It is well known that there is an isomorphism of $SL_2=SL(V)$ representations
$$
Sym^n(Sym^m(V))\simeq Sym^m(Sym^n(V))
$$
called Hermite reciprocity (discovered in 1854).
My question is: Is there ...

**24**

votes

**1**answer

1k views

### Does the quantum subgroup of quantum su_2 called E_8 have anything at all to do with the Lie algebra E_8?

The ordinary McKay correspondence relates the subgroups of SU(2) to the affine ADE Dynkin diagrams. The correspondence is that the vertices correspond to irreducible representations of the subgroup, ...

**4**

votes

**0**answers

320 views

### Working with quadratic Lie algebras

A quadratic Lie algebra is a Lie algebra with an invariant inner product and the main examples are semisimple Lie algebras. This definition then makes sense in any linear symmetric monoidal category. ...

**5**

votes

**1**answer

628 views

### Weyl Character Formula for Quantum Groups

How much is known about the Weyl character formula for quantum groups? More specifically, has the formula been generalized to the general setting of deformed coordinate algebras $\mathbb{C}[G_q]$ of ...

**7**

votes

**0**answers

232 views

### Explicit Braid Group Reps from quantum SO(N) at roots of unity

This question is related to this one (and indeed the goals are similar).
Let $N$ be odd and consider the braided fusion category $\mathcal{C}$ (actually modular) obtained from $U_q\mathfrak{so}_N$ ...

**2**

votes

**1**answer

154 views

### Formula for the Matrix Elements of the Inverse of special linear Universal R-Matrix of Uq(sln)

Motivated by this question, I'm going to ask a much more direct one: Let $R$ be a universal R-matrix for the quasitriangular Hopf algebra ${\cal U}_q ({\mathfrak sl}_N)$, $~$ $R ^{-1}$ its inverse, ...

**2**

votes

**1**answer

233 views

### Reference for the Hecke relation for the universal R-matrix

I've come across a reference in a paper to the
Hecke relation for the universal R-matrix of a quasi-triangular Hopf algebra.
I've looked around, standard references, online etc, but can't seem ...

**10**

votes

**1**answer

485 views

### The Inverse of a Universal R-Matrix for Quantized Universal Enveloping Algebra of sl2 and the Dual Pairing with SUq(2)

I have recently begun to study quasi-triangular structures and have come across a problem I can't resolve. Let ${\cal U}_q({\mathfrak sl}_N)$ denote the quantised enveloping algebra of ${\mathfrak ...

**1**

vote

**2**answers

240 views

### Group and Hopf Algebra Structures for Projective Varieties

Let $V$ be a projective (or affine) variety. Does there exist a bijective correspondence between group structures on $V$ and Hopf algebra structures on the coordinate ring of $V$?