Generalized (co)integrals on coideal subalgebras

arXiv1810.07114MaRDI QIDQ6308347FDOQ6308347

Authors: Paweł Kasprzak 

Publication date: 16 October 2018

Abstract: Given a a Hopf algebra $H$, its left coideal subalgebra $A$ and a non-zero multiplicative functional $mu$ on $A$, we define the space of left $mu$-integrals $L_m^{A}usubsetA$. We observe that $dim{L}_m^{A}u=1$ if $A$ is a Frobenius algebra and we conclude this equality for finite dimensional left coideal subalgebras of a weakly finite Hopf algebra. In general we prove that if $dim{L}_m^{A}u>0$ then $dimA<infty$. Given a group-like element $ginH$ we define the space $L_A^{g}subset{A}^{\prime }$ of $g$-cointegrals on $A$ and linking this concept with the theory of $mu$-integrals we observe that: - every semisimple left coideal subalgebra $AsubsetH$ which is preserved by the antipode squared admits a faithful $1$-cointegral; - every unimodular finite dimensional left coideal subalgebra $AsubsetH$ admitting a faithful $1$-cointegral is preserved by the antipode square; - every non-degenerate right group-like projection in a cosemisimple Hopf algebra is a two sided group-like projection. Finally we list all $varepsilon$-integrals for left coideals subalgebras in Taft algebras and we list all $g$-cointegrals on them.

This page was built for publication: Generalized (co)integrals on coideal subalgebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6308347)