Integrals in left coideal subalgebras and group-like projections

DOI10.1007/S10468-019-09889-1MaRDI QIDQ2199648zbMATH OpenOpenAlexFDO

Authors Alexandru Chirvasitu, Paweł Kasprzak, Piotr Szulim

Publication date 11 September 2020

Published in Algebras and Representation Theory (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1808.01922

zbMATH Keywords

group-like projectionleft coideal subalgebraTaft Hopf algebra

Mathematics Subject Classification ID

Hopf algebras and their applications (16T05) Coalgebras and comodules; corings (16T15)

Abstract: We develop a theory of right group-like projections in Hopf algebras linking them with the theory of left coideal subalgebras with two sided counital integrals. Every right group-like projection is associated with a left coideal subalgebra, maximal among the ones containing the given group-like projection as an integral, and we show that that subalgebra is finite dimensional. We observe that in a semisimple Hopf algebra $H$ every left coideal subalgebra has an integral and we prove a 1-1 correspondence between right group-like projections and left coideal subalgebras of $H$. We provide a number of equivalent conditions for a right group-like projections to be left group-like projection and prove a 1-1 correspondence between semisimple left coideal subalgebras preserved by the squared antipode and two sided group-like projections. We also classify left coideal subalgebras in Taft Hopf algebras $H_{n^2}$ over a field $mathbbk$, showing that the automorphism group splits them into - a class of cardinality $|mathbbk|-1$ of semisimple ones which correspond to right group-like projections which are not two sided; - finitely many semisimple singletons, each corresponding to two sided group-like projection; the number of those singletons for $H_{n^2}$ is equal to the number of divisors of $n$; - finitely many singletons, each non-semisimple and admitting no right group-like projection; the number of those singletons for $H_{n^2}$ is equal to the number of divisors of $n$. In particular we answer the question of Landstad and Van Daele showing that there do exist right group-like projections which are not left group-like projections.

Review text

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}].

Recommendations

• scientific article; zbMATH DE number 53004
• Hopf group-coalgebras
• Kernels of representations and coideal subalgebras of Hopf algebras.
• The structure of Hopf algebras with a projection
• Right coideal subalgebras in \(U_q(\mathfrak{sl}_{n+1})\)

Cites work

• A quantum groups primer
• Coideal subalgebras in hopf algebras: freeness, integrals, smash products
• Finiteness of the number of coideal subalgebras
• Group-like projections for locally compact quantum groups
• Hopf algebras.
• scientific article; zbMATH DE number 1229930 (Why is no real title available?)
• scientific article; zbMATH DE number 1236965 (Why is no real title available?)
• Kernels of representations and coideal subalgebras of Hopf algebras.
• Lattice of idempotent states on a locally compact quantum group
• Open quantum subgroups of locally compact quantum groups
• Projectivity and freeness over comodule algebras
• Semisimple Cosemisimple Hopf Algebras
• Shifts of group-like projections and contractive idempotent functionals for locally compact quantum groups
• Tensor ideals and varieties for modules of quantum elementary abelian groups
• The Order of the Antipode of Finite-dimensional Hopf Algebra
• Varieties for modules of quantum elementary Abelian groups.

Cited in

(4)

• The quantum symmetry in nonbalanced Hopf spin models determined by a normal coideal subalgebra
• scientific article; zbMATH DE number 53004 (Why is no real title available?)
• Morita invariants of quasitriangular coideal subalgebras
• Coideal subalgebras of quantum \(\mathrm{SL}_2\) at roots of unity

This page was built for publication: Integrals in left coideal subalgebras and group-like projections

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