In Kassel’s book on Quantum groups, it is defined that: “We define $U_q=U_q(\mathfrak{sl}(2) )$ as the algebra generated by the four variables $E$, $F$, $K$, $K^{-1}$ with the relations \begin{eqnarray*} &&KK^{-1}=K^{-1}K=1\\ &&KEK^{-1}=q^2 E,\ KFK^{-1}=q^{-2} F\\ and &&[E,F]=\frac{K-K^{-1}}{q-q^{-1}} \end{eqnarray*}” May I ask if there is a way of understanding what are $E, F, K$ and $K^{-1}$? […]

Let $G$ be a finite group and let $\mathcal{A} = \mathbb{C} G$ be the group Hopf algebra. The comultiplication on $\mathcal{A}$ is well-known to be given by $\Delta(g) = g \otimes g$. For $G=S_3$, the algebra structure of $\mathcal{A}$ is $\mathbb{C} \oplus \mathbb{C} \oplus M_2(\mathbb{C})$. Let $\{ e_1,e_2,a_{11}, a_{12}, a_{21}, a_{22} \}$ be a matrix […]

First of all, since every other book somehow mentions that this is trivial, I apologize if it turns out that I am just misunderstanding something in the definitions. So here goes: The motivation for this is the proof that $Ext_{\Gamma}(k, k) = P(y_1, y_2, …)$ where $\Gamma$ is a commutative, graded connected Hopf algebra of […]

My question is why $\mu$ is multiplication preserving iff $\mu\circ m=(m\otimes m)\circ(1\otimes \tau \otimes1)\circ(\mu \otimes \mu)$ and this holds iff $m$ is comultiplication preserving, where $\tau$ is the switching morphism, $\tau(A\otimes B)=B \otimes A$. Any help will be appreciated.

Consider a coquasitriangular Hopf-algebra $(H,\mu,\eta,\Delta,\epsilon, S)$ over a field $\mathbb F$ with characteristic zero and the braided monoidal category $\mathcal C$ of $H$-right-comodules. We explicitly denote the coquasitriangular form of $H$ by $r$ and its convolution inverse by $r’$. A lengthy calculation yields the result that $H$ can be “transmutated” into an Hopf-algebra object in […]

Let $\Bbbk$ be a field and let us consider the $\Bbbk$-algebra $\Bbbk[X]$ of polynomials in one indeterminate with its natural Hopf algebra structure, i.e. $$\Delta(X)=X\otimes 1+1\otimes X, \quad s(X)=-X\quad \text{and} \quad \varepsilon(X)=0 .$$ On its linear dual $\Bbbk[X]^*$ we may define the convolution product by $$(f*g)(X^n)=\sum_{i+j=n} \binom{n}{i}f(X^i)g(X^j)$$ for all $f,g\in\Bbbk[X]^*$ and $n\in\mathbb{N}$. Let $$\Bbbk[X]^\circ=\left\{f\in\Bbbk[X]^*\mid f\left(X^kp(X)\right)=0\textrm{ […]

I am pretty sure this statement is false : let $K$ be a field and let $(A, \eta, \mu, \Delta, \epsilon, c)$ be a Hopf Algebra. If we forget the comultiplication $\Delta$, is it forced by $(A, \eta, \mu, \epsilon, c)$ ? In other words, can we put two Hopf algebra structures on a $K$-algebra […]

I am going to do a semester project (kind of a little thesis) this spring. I met a professor and asked him about some possible arguments. Among others, he proposed something related to quantum groups. I am utterly ignorant of the subject, so could someone help me out and tell me What is a quantum […]

What I understand so far is that Hopf algebra is a vector space which is both algebra and coalgebra. In addition to this, there is a linear operation $S$, which for each element gives a so-called ‘anitpode’. Can anyone give an intuitive explanation of what is the ‘antiopde’ element? Why is it essential for the […]

A cosemisimple Hopf algebra is one which is the sum of its cosimple sub-cobalgebras. Is it clear that a comodule of a cosemisimple Hopf algebra always decomposes into irreducible parts? Moreover, will this decomposition obey Krull-Schmidt, by which I mean will the type and multiplicity of the irreducible comodules appearing be the same in any […]

Intereting Posts

Show that series converge or diverge
$\int_0^{\infty } \frac{\log (x)}{e^x+1} \, dx = -\frac{1}{2} \log ^2(2)$ How to show?
Basic Question on the Ideal-Variety Correspondence and Adjoint Functors
Proving that for a smooth function if $f(\frac 1 k)=0 :\forall k\in \mathbb N$ then $f(x)=0 :\forall x\in$
If an IVP does not enjoy uniqueness, then there are infinitely many solutions.
Given a fixed prime number $p$ and fixed positive integers $a$ and $k$; Find all positive integers $n$ such that $p^k \mid a^n-1$
Is it possible for a triangular matrix in echelon form to not have a unique solution and how?
Zeroes of exact differential forms on compact manifold
Prove: $ \frac{1}{\sin 2x} + \frac{1}{\sin 4x } + \cdots + \frac{1 }{\sin 2^n x} = \cot x – \cot 2^n x $
Proof of 3-chain subsequence problem from assignment 2 of MIT OCW 6.042
Every manifold admits a vector field with only finitely many zeros
If $M$ is an $R$-module and $I\subseteq\mathrm{Ann}(M)$ an ideal, then $M$ has a structure of $R/I$-module
Best method to solve this PDE
Continuous extension of a uniformly continuous function from a dense subset.
Prove that undirected connected graph w/ |V| >= 2, 2 nodes have same degree