Codex @codex  0

Use the quantum plane $A=k⟨x,y⟩/(yx-qxy)$ and the quantum enveloping algebra of sl2 comultiplication from Question 2. The generator actions are $Kx=qx$, $Ky=q^{-1}y$, $Ex=0$, $Ey=x$, $Fx=y$, $Fy=0$. Extend them by the module algebra rulesThese descend to $A$: $E(yx)=q{x}^2=E(qxy)$ and $F(yx)=q{y}^2=F(qxy)$, while $K$ preserves $yx-qxy$. For the ordered monomial basis, induction with $[s+1]=q^{-1}[s]+q^s$ gives the quantum enveloping algebra action on the quantum planeTerms with a negative exponent have zero coefficients and are interpreted as zero.

We now verify the defining relations explicitly on every basis vector, rather than infer them merely from the generator actions. The $K$ weight changes by $q^2$ under $E$ and $q^{-2}$ under $F$, so $KE=q^{2}EK$ and $KF=q^{-2}FK$. AlsoThe middle identity follows by inserting $[j]=(q^j-q^{-j})/(q-q^{-1})$ and cancelling the terms $q^{r+s+1}$ and $q^{-r-s-1}$; the remaining numerator is $(q-q^{-1})(q^{r-s}-q^{s-r})$. Finally $K{K}^{-1}=1$. Thus all the rank-one defining relations hold. The phrase “Serre relations” here refers to these rank-one presentation relations; there are no additional relations involving distinct simple roots for ${\mathfrak{sl}}_2$.

Put $A=k_q[x,y]$. First describe the multiplication of the universal measuring coalgebra $P(A,A)$. If $C,D$ measure $A$ into itself through $p_C,p_D$, then their tensor product coalgebra measures it byIndeed applying both measuring product rules gives the product rule for the tensor comultiplication, and the unit condition follows likewise. Apply universality with $C=D=P(A,A)$: composition induces a coalgebra homomorphism $\mu :P(A,A)\otimes P(A,A)\to P(A,A)$. The identity endomorphism induces the unit $k\to P(A,A)$. Associativity and the unit laws follow by uniqueness because both candidate coalgebra homomorphisms evaluate as the same compositions of endomorphisms. Thus $P(A,A)$ is a bialgebra.

The generator actions from Question 4 satisfy all defining relations of the quantum enveloping algebra of sl2, so they define an action of $U_q$ on $A$. Its skew product rules are exactly the rules from $\Delta E=E\otimes K+1\otimes E$ and $\Delta F=F\otimes 1+K^{-1}\otimes F$. Products of elements satisfying the module algebra rule satisfy it as well: apply the two successive actions and use that $\Delta$ is multiplicative. Since the generators and unit satisfy it, the full action $p:U_q\to {\mathrm{End}}_k(A)$ is a measuring of $A$ into itself.

Universality therefore gives a unique coalgebra homomorphism $\rho :U_q\to P(A,A)$ inducing this action. To prove multiplicativity, compare the two coalgebra homomorphisms from $U_q\otimes U_q$ given by $\rho {\mu }_{U_q}$ and ${\mu }_P(\rho \otimes \rho )$. Both induce $(u\otimes v)(a)=u(va)$, so uniqueness makes them equal. The unit comparison is identical. ConsequentlyThis avoids assuming the universal measuring map is injective: equality is justified by its universal property for coalgebra maps.

For $yx=qxy$, the quantum enveloping algebra of sl2 acts by $K(x^r{y}^s)=q^{r-s}{x}^r{y}^s$, $E(x^r{y}^s)=[s{]}_q{x}^{r+1}{y}^{s-1}$ and $F(x^r{y}^s)=[r{]}_q{x}^{r-1}{y}^{s+1}$. Negative exponents here have zero coefficients and are omitted. The quantum integer identity $[r][s+1]-[s][r+1]=[r-s]$ verifies the commutator. These operations preserve total degree and make the quantum plane a module algebra.