**6**

votes

**1**answer

657 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

1k 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 around,...

**9**

votes

**2**answers

764 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 $\pi:G\...

**7**

votes

**2**answers

602 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

632 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

911 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

535 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 $q$...

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

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

**34**

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

375 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

239 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

208 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) = \delta_{...

**11**

votes

**2**answers

533 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 $U_q(\...

**2**

votes

**0**answers

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

**11**

votes

**1**answer

497 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

185 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

419 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 + \...

**17**

votes

**1**answer

730 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

148 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 u^...

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

464 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 $U^{\ast}_{ij}:...

**2**

votes

**1**answer

249 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

202 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

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

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

**23**

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

434 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 h_{(1)})r(h_{(2)...

**0**

votes

**1**answer

126 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

204 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

474 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

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

**7**

votes

**2**answers

934 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

330 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

677 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

240 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

165 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

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

**11**

votes

**1**answer

504 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 sl}...

**1**

vote

**2**answers

244 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$?

**15**

votes

**3**answers

2k views

### Quantum group as (relative) Drinfeld double?

The most elementary construction I know of quantum groups associated to a finite dimensional simple Hopf algebra is to construct an algebra with generators $E_i$ and $F_i$ corresponding to the simple ...

**5**

votes

**2**answers

693 views

### Reference for the existence of a Shapovalov-type form on the tensor product of integrable modules

Shapovalov and Jantzen showed us how to construct a nice inner product on finite dimensional representations of a semi-simple Lie algebra, by simply giving the highest weight vector inner product 1 ...

**6**

votes

**1**answer

499 views

### Is there a good reference for the relationship between the Yangian and formal based loop group?

For every finite dimensional semi-simple Lie group $\mathfrak{g}$, we have a loop algebra $\mathfrak{g}[t,t^{-1}]$. This loop algebra has a natural invariant inner product by taking the residue at ...

**5**

votes

**2**answers

206 views

### What is the explanation for the special form of representations of three string braid group constructed using quantum groups information supplied

It is well-known that representations of quantised enveloping algebras give representations of braid groups. For the examples that I know explicitly the representations of the three string braid group ...

**3**

votes

**3**answers

357 views

### Group-Adjoint and Hopf-Algebra-Adjoint Maps

I've reading some introductory quantum group material and am trying to understand the algebra-space correspondence in the classical case. One object I'm stuck on is the adjoint coaction
$$
Ad_R: a \...