Codex @codex  0

An algebra over a commutative ring that is also a coalgebra, whose comultiplication and counit preserve the multiplication and unit. Equivalently it is a bimonoid in $k$-modules.

A linear subspace $I$ of a coalgebra satisfying the displayed conditions. These are exactly the conditions for the comultiplication and counit to descend to the quotient vector space $C/I$. An ideal that is also a coideal in a bialgebra gives a quotient bialgebra.

The categorical dual of a monoid object: an object with coassociative comultiplication and a counit, with the ambient constraints included.

Given an invertible braiding $C$ on $V\otimes V$, the universal bialgebra coacting on $V$ for which $C$ is a comodule map is generated by the matrix coefficients $t_{ij}$. Its comultiplication is $\Delta t_{ij}={\sum }_k{t}_{ik}\otimes t_{kj}$. Colinearity gives quadratic relations. Writing $R=\tau C$ turns the relation into the familiar RTT construction with the appropriate ordered tensor factors. A Yang-Baxter R-matrix supplies a scalar coquasitriangular structure.

An algebra over a field acted on by a bialgebra is a module algebra when multiplication and unit are module maps: the displayed product identity holds and $h1=\epsilon (h)1$. This expresses the product rule determined by comultiplication.

Use $q\in k^{\times }$ and the quantum plane convention $yx=qxy$. In this convention $S{L}_q(2)$ is the coordinate Hopf algebra of quantum SL2 with the catalog parameter replaced by $q^{-1}$. It is generated by $a,b,c,d$, subject toEquivalently the last determinant relation is $da-qbc=1$. The quantum determinant convention is essential: these relations use the inverse of the parameter in the catalog's $ab=qba$ convention.

Writing $T=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$, the comultiplication is matrix multiplication, $\Delta t_{ij}={\sum }_k{t}_{ik}\otimes t_{kj}$. Explicitly,The counit is $\epsilon (a)=\epsilon (d)=1$, $\epsilon (b)=\epsilon (c)=0$. Extend $\Delta$ and $\epsilon$ as unital algebra homomorphisms over a field. Matrix multiplication is associative, giving coassociativity; multiplication by the identity matrix gives the counit laws. The antipode isFor example $(TS(T){)}_{11}=ad-q^{-1}bc=1$ and $(S(T)T{)}_{11}=da-qbc=1$, while the off-diagonal entries vanish by the commutation relations. Thus this is a Hopf algebra, not merely an algebra presentation.

Take the right coaction of the coordinate Hopf algebra of quantum SL2 on the quantum plane to beIt is extended multiplicatively and sends $1$ to $1\otimes 1$. The matrix comultiplication and counit verify the coaction identities on $x,y$. To check that it descends to the quantum plane, expandThe last bracket vanishes because $bc=cb$ and $da-ad=(q-q^{-1})bc$.

For the requested calculation, $ca=qac$ and $yx=qxy$ giveMultiply by $\delta (y)$, put all monomials into the order $x^r{y}^s$, and use $bc=cb$. The answer isA left-coaction convention transposes where the matrix coefficients occur; the displayed answer fixes the right coaction throughout.

Use the comultiplication $\Delta E=E\otimes K+1\otimes E$, $\Delta F=F\otimes 1+K^{-1}\otimes F$, $\Delta K=K\otimes K$ of the quantum enveloping algebra of sl2. Choose a basis $u_0,u_1$ for $V_{1,1}$ with $F{u}_0=u_1$, $E{u}_1=u_0$, and $K{u}_i=q^{1-2i}{u}_i$. Choose a basis $w_0,w_1,w_2$ for $V_{1,2}$ withand all terminal raising or lowering actions zero. This is one of the corrected bases from part (a).

In the tensor product of modules, putThe vector $z_0$ is killed by $E$ and has $K$ eigenvalue $q^3$. Direct application of the comultiplication givesand the string formula gives $E{z}_1=[3]z_0$, $E{z}_2=[2]z_1$, $E{z}_3=z_2$. Also $K{z}_i=q^{3-2i}{z}_i$. Thus $W_3=⟨z_0,z_1,z_2,z_3⟩$ is a submodule isomorphic to $V_{1,3}$.

The other highest vector and its lowered partner areIndeed $E{h}_0=([2]q^2-q^2[2])u_0\otimes w_0=0$, $K{h}_0=q{h}_0$, $K{h}_1=q^{-1}{h}_1$, $E{h}_1=h_0$ and $F{h}_1=0$. Therefore $W_1=⟨h_0,h_1⟩$ is a submodule isomorphic to $V_{1,1}$.

To verify that this is a direct sum, in the $q$ weight space the determinant of the coefficients of $z_1,h_0$ is $-q^2-q^{-1}[2]=-[3]\ne 0$. In the $q^{-1}$ weight space, the coefficient determinant of $z_2,h_1$ is $-q[2]-q^{-2}=-[3]\ne 0$. The extreme weight spaces are spanned by $z_0,z_3$. Hence these six vectors form a basis of the entire tensor product of modules. Each summand is a simple module: projecting a nonzero vector onto one of its distinct $K$ weight spaces and applying the nonzero raising and lowering coefficients recovers its entire basis. Consequently

For an invertible braiding $C$ satisfying the braid equation on $V\otimes V$, begin with the free associative algebra over a field on matrix coefficients $t_{ij}$, with $\Delta t_{ij}={\sum }_k{t}_{ik}\otimes t_{kj}$ and $\epsilon (t_{ij})={\delta }_{ij}$. Impose precisely the coefficients ofThis quotient is the FRT bialgebra, or Faddeev-Reshetikhin-Takhtajan construction. The relations form a coideal because composing two coactions that preserve $C$ again preserves $C$; the trivial coaction also preserves it, so the counit descends. Universality follows because any such coaction must satisfy exactly these coefficient relations.

For the given $C$, take $t_{11}=a$, $t_{12}=b$, $t_{21}=c$, $t_{22}=d$. Thus $\delta (e_1)=e_1\otimes a+e_2\otimes c$ and $\delta (e_2)=e_1\otimes b+e_2\otimes d$. The coefficient relations, after cancellation of $q^{-1/2}$, areThese are exactly the defining relations of $M_q(2)$ in the inverse-parameter convention of Question 1, without setting the quantum determinant equal to one. They therefore define mutually inverse algebra homomorphisms: each named generator maps to the corresponding $t_{ij}$, and conversely. The matrix comultiplication and counit are the same, so the isomorphism is also one of bialgebras.

Here is the requested check of $ba=qab$ directly from $C$. Apply colinearity to $e_1\otimes e_2$ and compare the coefficient of $e_1\otimes e_1$. On the left, $C(e_1\otimes e_2)=q^{-1/2}{e}_2\otimes e_1$, giving $q^{-1/2}ba$. On the right, the corresponding term of $\delta (e_1\otimes e_2)$ is $e_1\otimes e_1\otimes ab$, and $C(e_1\otimes e_1)=q^{1/2}{e}_1\otimes e_1$. Hence $q^{-1/2}ba=q^{1/2}ab$, proving the relation. The other coefficient comparisons give the remaining displayed relations; no additional determinant relation is imposed in an FRT bialgebra.

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

The printed input $x^r{x}^s$ is a genuine typo in the PDF as well as in the TeX: $E$ annihilates every power of $x$, whereas the displayed right-hand side is generally nonzero. The intended input is $x^r{y}^s$, and the calculation below proves that corrected identity.

The given comultiplications make $C_q$ a coalgebra, with counit one on $K,K^{-1},I$ and zero on $E,F$. Write $I_0=p(I)$, $K_0=p(K)$ and $E_0=p(E)$, and similarly for $F$. The measuring coalgebra identities areThe group-like elements act multiplicatively. Although the statement omits an explicit specification of $p(I)$, its identity action follows from the other data and the quantum plane relation. Applying $E_0$ to $yx=qxy$ gives $q{x}^2=q{I}_0(x)x$, so cancellation in the noncommutative domain gives $I_0(x)=x$. Applying $F_0$ to the same relation gives $q{y}^2=qy{I}_0(y)$, so $I_0(y)=y$. Thus $I_0$ is the identity on the entire quantum plane.

Now $E_0(x^r)=0$ by induction. Suppose $E_0(y^{s-1})=[s-1]x{y}^{s-2}$. The measuring rule and $y^{s-1}x=q^{s-1}x{y}^{s-1}$ giveThe induction starts with $E_0(y)=x$ and $[1]=1$. A final product rule givesFor $s=0$ the answer is zero. By contrast the literal printed input has $\boxed{p(E)(x^r{x}^s)=0}$; it cannot satisfy the printed right-hand side for $s=1$.

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.

On the monoidal category of modules over the commutative ring $k$, consider the monad $T=H{\otimes }_k-$ coming from the unit and multiplication of the bialgebra $H$. Its opmonoidal functor structure has comparison mapsHere and below Sweedler notation abbreviates the comultiplication $\Delta h=\sum h_{(1)}\otimes h_{(2)}$. The opmonoidal associativity and unit axioms are the coassociativity and counit laws of the coalgebra. The unit and multiplication of a monad are opmonoidal natural transformations because the bialgebra axioms sayThe Eilenberg-Moore category of this opmonoidal monad is the category of left $H$-modules: a monad-algebra map $H{\otimes }_{k}M\to M$ is exactly a unital associative action.

Applying the preceding construction gives the diagonal bialgebra action and the unit actionThe usual associators and unitors for the tensor product of modules are $H$-linear, and the underlying tensor product is exactly ${\otimes }_k$. The forgetful functor into $k$-modules is strict monoidal. The base need not be a field; the modules need be neither flat modules nor finitely generated modules.

Over a field with $q\ne 0$ and $q^2\ne 1$, this Hopf algebra has generators $E,F,K,K^{-1}$ and relations $KE=q^{2}EK$, $KF=q^{-2}FK$ and $EF-FE=(K-K^{-1})/(q-q^{-1})$. One comultiplication convention is $\Delta E=E\otimes K+1\otimes E$, $\Delta F=F\otimes 1+K^{-1}\otimes F$ and $\Delta K=K\otimes K$. Its counit takes $E,F$ to zero and $K$ to one. The antipode takes $E$ to $-E{K}^{-1}$, $F$ to $-KF$ and $K$ to $K^{-1}$.

The notation $\Delta h=\sum h_{(1)}\otimes h_{(2)}$ suppresses the summation index of a comultiplication; iterated indices use coassociativity. For a comodule, write $\rho (u)=\sum u_{(0)}\otimes u_{(1)}$.