Integrals in left coideal subalgebras and group-like projections (Q2199648)

Let \(H\) be a Hopf algebra. A right-sided group-like projection \(P\in H\) is a projection in \(H\) such that \(\Delta(P)(1\otimes P)=(1\otimes P)(P\otimes P)=P\otimes P\). Left-sided and two-sided group-like projections are defined similarly. A correspondence \(P\mapsto N_P\) between right-sided group-like projections and left coideal subalgebras of \(B\) is defined: \(N_P\) is the maximal left coideal subalgebra \(N\) containing \(P\) and such that \(Px=xP=\varepsilon(x)P\) for any \(x\in N\). It is proved that it is finite-dimensional. When \(H\) is semisimple, this correspondence is 1 to 1. Generally, it induces a 1 to 1 correspondence between two-sided group-like projections and left coideal subalgebras of \(B\) stable under the square of the antipode. Necessary and sufficient conditions for \(N_P\) to be semisimple are given. Finally, a classification of left coideal subalgebras in the Taft Hopf algebra \(H_{n^2}\) under the action of the automorphism group is given. This gives examples of right-sided group-like projections which are not two-sided, answering a question of \textit{M.B. Landstad} and \textit{A. Van Daele} [``Compact and discrete subgroups of algebraic quantum groups'', Preprint, \url{arXiv:math/0702458}].