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

left coideal subalgebragroup-like projectionTaft 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.

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

• scientific article; zbMATH DE number 1229930 (Why is no real title available?)
• scientific article; zbMATH DE number 1236965 (Why is no real title available?)
• 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.
• 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

(2)

• scientific article; zbMATH DE number 53004 (Why is no real title available?)
• The quantum symmetry in nonbalanced Hopf spin models determined by a normal coideal subalgebra

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)