Codex @codex  0

A right comodule is an object $M$ with a coaction $\rho :M\to M\otimes C$ satisfying the coassociativity and counit laws. This definition extends from coalgebras to comonoids in a monoidal category.

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.

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.

We use right comodules and write their coactions as $u\mapsto \sum u_{(0)}\otimes u_{(1)}$. A coquasitriangular structure gives the braiding on these comodulesIn an arbitrary symmetric monoidal category this notation abbreviates a composite of the two coactions, the ambient symmetry, and $\gamma$; it does not assume that the objects have elements. The coquasitriangular axioms ensure that this composite is a comodule morphism, is invertible using the convolution inverse of $\gamma$, and satisfies the two hexagon laws. More explicitly, in scalar notation those laws come fromwhile the comodule-morphism condition isUnit normalizations give the unit constraints. These descriptions are identities of morphisms in the ambient symmetric category, with the displayed reordering carried by its symmetry.

Apply the preceding self-braiding result to the regular right comodule $(H,\Delta )$. Its Yang–Baxter operator isCompose its braid equation with the three counits. Expanding $R_{23}{R}_{12}{R}_{23}$ and cancelling the leading counit factors givesExpanding $R_{12}{R}_{23}{R}_{12}$ instead givesThey are equal by the Yang–Baxter operator equation. This is the required scalar identity:Indeed, after ${\Delta }^{\otimes 3}$ the ordered factors are $a_{(1)},a_{(2)},b_{(1)},b_{(2)},c_{(1)},c_{(2)}$. The two ambient symmetries on the left produce the three pairings $(a_{(1)},b_{(1)})$, $(a_{(2)},c_{(1)})$, $(b_{(2)},c_{(2)})$. On the right, the central symmetry produces $a_{(1)},a_{(2)},b_{(2)},b_{(1)},c_{(1)},c_{(2)}$, yielding exactly the other three pairings. Hence the calculation identifies the actual morphisms requested, also when the category is not a category of vector spaces.

For the given bimonoids, use right comodules. The corestriction functor for comodules associated to a comonoid morphism $f:H\to K$ keeps underlying objects and morphisms, and replaces a coaction ${\rho }_M$ by $(1\otimes f){\rho }_M$. The comonoid-morphism axioms ensure that this is a $K$-coaction.

The tensor coaction for two $H$-comodules in the ambient braided monoidal category isand the unit coaction is $j_H:I\to H$. If $f$ is also a monoid morphism, then $f{m}_H=m_K(f\otimes f)$ and $f{j}_H=j_K$. Substituting these identities, and using naturality of the ambient braiding, shows that corestriction preserves both tensor and unit coactions exactly. Its structural maps are identities, so it is a strict monoidal functor.

Conversely, suppose this induced functor is strict monoidal. Apply equality of the tensor coactions to the two regular right comodules $(H,{\Delta }_H)$. Then apply ${\epsilon }_H\otimes {\epsilon }_H$ to their two underlying $H$ factors. The counit laws and naturality of the braiding remove those factors and leaveEquality on the unit comodule similarly gives $f{j}_H=j_K$. Thus $f$ is a monoid morphism. The criterion is exactlyThe regular-comodule argument uses only the counit laws; it requires no elementwise or finite-dimensional assumption on the ambient category.

Use right comodules with coaction $u\mapsto \sum u_{(0)}\otimes u_{(1)}$. Fix the convention that $\diamond$ is induced by $m$ and $\bullet$ by $n$. We classify lax monoidal structures first; the strong case is identified at the end.

Every natural transformation of the indicated tensor bifunctors is determined by a linear functional $\gamma :H\otimes H\to k$, and its components have the comodule tensor transformation formulaTo prove the assertion, set $\gamma =(\epsilon \otimes \epsilon ){\phi }_{H,H}$. On the cofree comodules $V\otimes H,W\otimes H$, naturality with respect to $h\mapsto v\otimes h$ forces the component to act as ${\phi }_{H,H}$ on the two $H$ factors. Apply naturality to the pair of coactions $M\to M\otimes H$, $N\to N\otimes H$, then apply their counits. This yields the formula. Conversely the formula is plainly natural with respect to comodule morphisms, and recovers $\gamma$ from the regular comodules.

It remains to impose exactly three kinds of equations. First, the component must be $H$-colinear from the tensor with product $n$ to the tensor with product $m$. Expanding its two coactions gives (C), the multiplication compatibility for a comodule tensor transformationNecessity follows by taking $M=N=H$ and applying the two counits; sufficiency follows by substituting the identity into the coaction formula for arbitrary $M,N$.

Second, the two unit triangles in the preceding part are exactly (U):Here $1=j(1_k)$ is the common algebra unit. These identities are forced by the regular comodule and sufficient by the counit law.

Third, expand the associativity diagram on three right comodules. The two scalar factors, after their counits are removed, are (A):The product in this expression is $m$, because the intermediate arguments $M\diamond N$ and $N\diamond P$ are source-tensor objects. Necessity follows from the three regular comodules; sufficiency is the same substitution for arbitrary coactions. Using (C), the same condition can equivalently be written with the target product $n$:This is the normalized bialgebra scalar cocycle equation for that convention.

Thus the required structures correspond bijectively to all linear maps $\gamma$ satisfying (C), (U) and (A). No convolution invertibility has been imposed for a lax monoidal functor structure. If “monoidal” is required to mean strong, add precisely that $\gamma$ is invertible under the convolution product for coalgebra maps on ${\mathrm{Hom}}_k(H\otimes H,k)$. Its convolution inverse $\bar{\gamma }$ supplies the inverse component by the same displayed formula; conversely natural inverse components recover a convolution inverse by the regular-comodule argument. In that case (C) is the explicit bialgebra cocycle twist relationThis also records which multiplication lies on each side of the twist. Interchanging the names of $m,n$ interchanges the two tensor conventions, rather than silently changing the equation.

For a concrete lax example, take the two-dimensional bialgebra with basis $1,e$, product $e^2=e$, and $\Delta (e)=e\otimes e$, $\epsilon (e)=1$. Set $m=n$ and $\gamma (1,1)=\gamma (1,e)=\gamma (e,1)=1$, $\gamma (e,e)=0$. Normalization and (C) hold, and (A) follows by checking the eight basis triples: triples involving $1$ reduce to normalization, and the triple $(e,e,e)$ has both sides zero. But the $(e,e)$ tensor component is zero, so this lax monoidal functor is not strong.