Questions about algebraic structures known as quantum groups, and their categories of representations. Quasitriangular Hopf algebras and their Drinfel'd twists, triangular Hopf algebras, $C^\star$ quantum groups, h-adic quantum groups, various semisimplified categories at roots of unity which are ...

learn more… | top users | synonyms

2
votes
1answer
88 views

Zero Actions on a Hopf Module Preserved Under the AntiPode?

Let $H$ be a Hopf algebra, and $(M,\triangleleft)$ a $H$-module. Now for $m \in M$, and $h \in H$, then is it true in general that $$ m \triangleleft h = 0 ~~~ \implies ~~~~m \triangleleft S(h) = 0? ...
1
vote
1answer
132 views

Changing Left Comodules into Right Comodules via the Antipode, and Comodule Tensor Products

Let $H$ be a Hopf algebra, with invertible antipode, and let $(M,\Delta_M)$ and $(N,\Delta_N)$ be two left $H$-comodules. Now as we all know, we have a left $H$-comodule structure on the tensor ...
12
votes
3answers
584 views

Isomorphisms of quantum planes

Let $k$ be a field and $q\in k^{*}$. The quantum plane $k_{q}[x,y]$ is the algebra $k\langle x,y\rangle/\langle xy=qyx \rangle$ (i.e. the quotient of the free non-commutative $k$-algebra on two ...
0
votes
0answers
67 views

When is a Surjective Comodule Endomorphism an Automorphism?

Given a Hopf algebra $H$, a left $H$-comodule $V$, and a surjective comodule endomorphism $f: V \to V$. Can somebody give: (i) a set of neccessary, or sufficient, or both neccessary and sufficient, ...
17
votes
2answers
555 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 ...
4
votes
0answers
130 views

The Killing form on quantized enveloping algebras and reduction to the classical case

Let $U_q$ be the quantized enveloping algebra associated to a semisimple Lie algebra $\mathfrak g$. It is a result due to Tanisaki (see here; also see Chapter 6 of Jantzen's book Lectures on Quantum ...
1
vote
1answer
123 views

Skein Modules on closed 3-manifolds

Hi all! Why are skein modules 1-dimensional on closed 3-manifolds? The result seems clear on closed manifolds with vanishing first Betti number (e.g. $S^3$), but I don't see how to prove it for, say, ...
2
votes
1answer
201 views

Non-Faithfully Flat Quantum Homogeneous Spaces

Let $G$ and $H$ be two Hopf algebras, and $\pi: G \to H$ a Hopf algebra map. We will call an algebra of the form $$ M:= \lbrace m \in G ~ | ~ m_{(1)} \otimes \pi(m_{(2)}) = m \otimes 1 \rbrace $$ a ...
1
vote
1answer
98 views

$H$-Hopf modules equal the tensor products of their coinvariants with H

In a comment for this old question, it was said that > There is a theorem that Hopf modules are (up to isomorphism) the tensor products of their coinvariants with H. (This theorem is usually worded ...
4
votes
1answer
229 views

Vertex embeddings of quantum groups via quivers

Let Uq be a quantised enveloping algebra of type affine ADE (untwisted). By the loop presentation of Uq, we see that for each vertex of the finite Dynkin diagram, there is an inclusion ...
12
votes
1answer
322 views

Categorifying the equality of product and coproduct of symmetric functions

Littlewood-Richardson coefficients are both multiplicities of $GL_n$ tensor products, and of restrictions of $GL_{m+n}$ representations to $GL_m \times GL_n$. I want to turn this equality of numbers ...
3
votes
3answers
1k views

Mistake in Wikipedia Entry “Coalgebra”

Consider the following quote from the Wikipedia entry Coalgebra: The kernel of every coalgebra morphism $f : C_1 \to C_2$ is a coideal in $C_1$, and the image is a subcoalgebra of $C_2$. I can't ...
2
votes
2answers
380 views

Fourier Transform on Locally compact quantum groups

I Have read some articles on locally compact quantum groups and the Fourier transform on them. I wonder yet why we define the fourier transform as an operator valued functions from $L^1(\mathbb{G})$ ...
1
vote
1answer
199 views

Trivial Hopf Coinvariant Subspace Example

For $G,H$ Hopf algebras, and $\pi:G \to H$ a Hopf algebra map, can some-one give me an example of a (right) $H$-comodule $(V,\Delta_R)$, such that $$ (G \otimes V)^{\text{co}H} = \lbrace g_{(1)} ...
0
votes
1answer
102 views

Coinvariant Subalgebras of Hopf Comodules and Quotients

For $H$ a Hopf algebra, let $V$ be a right $H$-comodule with coaction $\Delta_R$. Moreover, let $W$ be a subspace of $V$ such that $\Delta_R(W) \subseteq W \otimes H$, and note that this implies that ...
0
votes
2answers
160 views

alpha derivations

I am curious. Is there a "slick" way of showing that given an arbitrary algebra $A$ with generating set $X$, an algebra endomorphism $\alpha : A\to A$ and a function (satisfying some conditions) $d : ...
5
votes
3answers
498 views

Does there exist any “quantum Lie algebra” embeded into the quantum enveloping algebra U_q(g)?

We have known that any finite dim Lie algebra can be embeded into it's enveloping algebra $U(\mathfrak{g})$, my question is: is there any "quantum Lie algebra" embeded into the quantum enveloping ...
3
votes
1answer
171 views

Modules which are direct sum of weight spaces.

For a semisimple Lie algebra $\mathfrak{g}$, a highest weight module $V(\lambda)$ with highest weight weight $\lambda$ has the property that every submodule $W$ of $V(\lambda)$ is a direct sum of the ...
9
votes
1answer
335 views

Unitary representations of Quantum Groups

Let $\mathfrak{g}$ be a finite-dimensional complex simple Lie algebra and let $U_q(\mathfrak{g})$ be some incarnation of the quantized universal enveloping algebra of $\mathfrak{g}$; here I am ...
3
votes
3answers
415 views

Hopf structure of Uq(sl(2))

Given the universal enveloping algebra, $U(\mathfrak{sl}(2))$ the coalgebra structure is defined such that the generators $X,Y$ and $H$ are primitive elements. From this, is there a "nice" way to ...
1
vote
0answers
109 views

Hopf Comodule Decompositions and Coinvariant Elements

For $H$ an Hopf algebra, and $V$ a right $H$-comodule with coaction $\Delta_R$, for which there exists a vector space decomposition $V=V_+ \oplus V_-$. Are the following two statements equivalent? ...
8
votes
3answers
591 views

Quantum group Uq(sl(2))

I'm looking at motivating the standard deformation of $U(\mathfrak{sl}(2))$. As an algebra $U(\mathfrak{sl}(2))$ is generated by $X,Y$ and $H$ and subject to the relations $[X,Y] = H$, $[H,X] = 2X$ ...
7
votes
1answer
471 views

Where does the canonical basis differ from the KLR basis?

The question implicitly asked in Ben Webster's question is: Does the canonical basis of Uq(n+) agree with the basis coming from categorification via Khovanov-Lauda-Rouqier algebras? Thanks to ...
3
votes
0answers
149 views

Fundamental theorem of coalgebras

Hi, Is there an "equivalent" to the fundamental theorem of coalgebras (any element of a coalgebra is contained in a finite dimensional sub-coalgebra) in the theory of algebraic quantum groups ...
12
votes
1answer
403 views

$(q,x)$-analog of $n!$

While doing some work in geometric representation theory I have come across the following sequence of polynomials in two variables $(q,x)$ which I would like to denote by $n!_{q,x}$. For small $n$ ...
29
votes
2answers
2k 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 ...
2
votes
1answer
335 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
0answers
307 views

canonical basis via Gelfand-Tsetlin basis

Do there exist explicit formulas for the action of Lusztig's canonical basis of $U_q(\mathfrak n_+)$ in the Gelfand-Tsetlin basis of a Verma module for $sl(n)$?
9
votes
0answers
363 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
1answer
292 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 ...
3
votes
1answer
428 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, ~~~~~~~ ...
4
votes
1answer
204 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). ...
10
votes
0answers
309 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 ...
6
votes
2answers
295 views

Are the Drinfeld compact quantum groups simply connected ?

To fix notations : let G be simply connected simple compact group, and $U_q(\mathcal{G})$ the Drinfeld-Jimbo universal algebra quantization of its complexified algebra defined as usual, with q not ...
12
votes
2answers
562 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
2answers
203 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 ...
10
votes
1answer
383 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 ...
2
votes
2answers
233 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 ...
11
votes
1answer
453 views

A left inverse for the comultiplication on a Hopf von Neumann algebra

Edit: incorrect claim at end of earlier version; thanks to Matthew Daws for pointing this out in comments. $\newcommand{\cM}{{\mathcal M}}\newcommand{\stp}{{\overline{\otimes}}}$The following ...
7
votes
0answers
273 views

Quantum Braid Group

Recently I learned the definition of the quantum permutation group $A_s(n)$, which starts from the fundamental representation by permutation matrices and exchanges the entries by noncommuting ...
5
votes
1answer
619 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
1answer
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 ...
6
votes
0answers
136 views

Embedding quantum affine algebras at different levels

For $l$ a positive integer, an affine Lie algebra $\widehat{\mathfrak{g}}$ has a level $l$ embedding $\phi_l: \widehat{\mathfrak{g}} \longrightarrow \widehat{\mathfrak{g}}$ which takes $x\otimes t^k$ ...
9
votes
3answers
532 views

Is the nc torus a quantum group?

The non-commutative n-torus appears in many applications of non-commutative geometry. To stay in the setting $n=2$: it is a C$^\ast$-algebra generated by unitaries $u$ and $v$, satisfying $u v = e^{i ...
0
votes
1answer
306 views

Affine quantum groups of type A

I have a general question regarding quantum groups. It seems to me that the representation theory of the algebra $\mathcal{U}_q(\widehat{\mathfrak{sl}}_{e-1})$ has many parallels with the ...
1
vote
0answers
134 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 ...
2
votes
0answers
181 views

dimension of induced comodule

Let $\pi : G --> H$ be epimorphism of Hopf superalgebras, where $G$ be an quantum super group of function on $GL(m|n)$, $H$ be an quantum group of function on $GL(m) \otimes GL(n)$; $W$ an finite ...
1
vote
0answers
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 ...
2
votes
0answers
312 views

How to interpret sections over the SU(2) character variety as sections over the SL(2,C) character variety?

The motivation for this question comes from the Volume Conjecture of Kashaev-Murakami-Murakami. The Jones family of invariants of knots and $3$-manifolds can all be defined using $SU(2)$ and some ...
3
votes
0answers
262 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 ...