# Tagged Questions

**3**

votes

**2**answers

233 views

### Algebraic Groups, Modules, and Comodules

Background:
Let $H$ be a finitely generated commutative Hopf $k$-algebra, where $k$ is a field of non-zero characteristic. For
$$
\widehat{H} := \text{Alg}_k\{H; k\},
$$
we recall (see Abe Chapter 4 ...

**0**

votes

**0**answers

38 views

### Does the standard Podlés sphere have a quasitriangular Hopf algebra structure? Do quantum homogeneous spaces have one in general?

Function spaces on (classical) homogeneous spaces can have a bialgebra structure:
Take $S^2$ to be the unital, associative algebra generated by $x, y, z$ with the relation $x^2 + y^2 + z^2 = 1$ and ...

**3**

votes

**0**answers

66 views

### Is multiplication continuous in quantum-SU(2) with respect to the $L^2$-norm

For the Hopf $\ast$-algebra ${\cal O}_q(SU(2)$, with its unique Haar measure $h$, we have an inner product, and a norm, on ${\cal O}_q(SU(2))$ defined by
$$
<x,y> : = h(xy^*), ...

**2**

votes

**0**answers

113 views

### quantum deformations of tensor category

I was told that, if I understand correctly, that the enveloping algebra of semisimple Lie algebra admits one family of quantum deformation as Hopf algebra, which was proved by Drinfeld. Anyone can ...

**3**

votes

**0**answers

110 views

### How a unitary corepresentation of a Hopf C*-algebra, deals with the antipode?

Let $\mathcal{A}$ be a Kac algebra (Hopf C*-algebra), with comultiplication $\delta$, counit $\epsilon$ and antipode $S$.
The following definition comes from this paper (p51-52) of ...

**0**

votes

**0**answers

174 views

### polynomial representation of $sl_{2}(k)$

Let $k$ be an algebraic closed field of characteristic 0. We write
$$X=\left(
\begin{array}{ccc}
0 & 1\\
0 & 0\\
\end{array}
\right),~~
Y=\left(
\begin{array}{ccc}
0 & 0\\
1 & 0\\
...

**11**

votes

**2**answers

518 views

### Quantum-Jimbo Algebras: Why Such Fuss About Roots of Unity?

Coming from a Lie algebraic background, I'm trying to branch onto quantum group theory. The divide I see all the time, is $q$ a root of unity or $q$ not a root of unity. I am wondering why is this? If ...

**3**

votes

**0**answers

215 views

### Quantum Coordinate Algebras at Roots of Unity and Non-Standard Irrep Types

Let $\frak{g}$ be a complex semi-simple Lie algebra of rank $n$, and $U_q(\frak{g})$ the corresponding Drinfeld-Jimbo algebra. As is well-known, for $q$ not a root of unity, the irreducible ...

**2**

votes

**1**answer

173 views

### Hopf Duals and Matrix Coefficients

One defines the finite dual of a Hopf algebra $A$ as
$$
H^o := \{f \in H^* ~|~ f(I) = 0, \text{ for some ideal $I$ of $H$ with } \dim_C(H/I) < \infty \}.
$$
As is well-known, $H^o$ has a ...

**1**

vote

**1**answer

107 views

### Generators of the Quantum Coordinate Algebras and Quantized Enveloping Algebra Representations

The representations of the quantized enveloping algebra $U_q(\frak{sl}_n)$ are labeled by the positive weight lattice $P^+$ of the classical Lie algebra $\frak{sl}_n$. Moreover, the dual Hopf algebra ...

**4**

votes

**2**answers

228 views

### Quantized Enveloping Algebras at $q=1$

As is well-known, the quantized enveloping algebra $U_q(\frak{sl}_2)$ is not well-defined when $q=1$ because of the relation
$$
[E,F] = \frac{K-K^{-1}}{q-q^{-1}}.
$$
To address this problem, one has ...

**3**

votes

**0**answers

106 views

### Hopf Algebra Pairings and Module-Comodule-Equivalences

Let $\left< , \right> : G \times H \to {\bf C}$ be a dually pairing for two complex Hopf algebras $G$ and $H$. For any (left)-$G$-comodule $(V,\Delta_R)$, we can give $V$ the structure of a left ...

**1**

vote

**0**answers

218 views

### Why are there two Hopf algebra structures on a Kac--Moody Algebra.

For a Lie algebra $\frak{g}$, we will recall that its universal enveloping algebra $U(\frak{g})$ has a Hopf algebra structure given by
$$
\Delta(x) := 1 \otimes x + x \otimes 1, ~~~ \epsilon(x) = 0, ...

**2**

votes

**1**answer

272 views

### Explicit Descriptions of $q-SO(2)$, and $q-Sp(2)$?

When ever I hear noncommutative geometers talking about quantum groups, it is usually $q-SU(2)$ that they are discussing. As a result there are many good and explicit generator and relation ...

**2**

votes

**1**answer

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

**1**answer

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

**0**

votes

**0**answers

68 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

**2**answers

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

**2**

votes

**1**answer

209 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

**1**answer

102 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

**3**answers

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

**1**

vote

**1**answer

201 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

**1**answer

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

**1**

vote

**0**answers

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

**3**

votes

**2**answers

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

**7**

votes

**0**answers

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

**2**

votes

**0**answers

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

**7**

votes

**1**answer

588 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

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

**1**answer

326 views

**1**

vote

**0**answers

328 views

### Complement to the Kernel of a Hopf Algebra Map

Given two Hopf algebras $A,B$ over a field $k$, and a Hopf algebra map $\pi:A \to B$, are there any general tricks for finding a complement to the kernel of $\pi$. That is, how can one find a subspace ...

**1**

vote

**1**answer

201 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) = ...

**10**

votes

**1**answer

443 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

151 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

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

**3**

votes

**1**answer

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

**13**

votes

**1**answer

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

**3**

votes

**1**answer

445 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

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

**1**

vote

**1**answer

408 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

120 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

181 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

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

**2**

votes

**1**answer

141 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

219 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

444 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

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

**6**

votes

**1**answer

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

**3**

votes

**3**answers

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

**6**

votes

**1**answer

319 views

### Transmutation versus operads

A while ago, I was reading Majid's book Foundations of quantum group theory, and Section 9.4 has a rather fascinating description of a Tannaka-Krein reconstruction result for quantum groups. In ...