Integrable actions and quantum subgroups

TL;DR

This paper investigates the relationship between integrable actions of quantum groups and the structure of quantum subgroups, providing characterizations and conditions for when actions are integrable and subgroups are closed or open.

Contribution

It introduces quantum groups associated to kernels and images of homomorphisms, characterizes integrable actions, and relates different notions of closed quantum subgroups.

Findings

Integrable actions imply isomorphism between quotient and closure of image quantum groups.

Injective homomorphisms with closed image induce integrable actions.

Quantum subgroups closed in Woronowicz sense and with integrable actions are also closed in Vaes sense.

Abstract

We study homomorphisms of locally compact quantum groups from the point of view of integrability of the associated action. For a given homomorphism of quantum groups $\Pi\colon\mathbb{H}\to\mathbb{G}$ we introduce quantum groups $\mathbb{H}/\!\ker{\Pi}$ and $\overline{\mathrm{im}\,\Pi}$ corresponding to the classical quotient by kernel and closure of image. We show that if the action of $\mathbb{H}$ on $\mathbb{G}$ associated to $\Pi$ is integrable then $\mathbb{H}/\!\ker\Pi\cong\overline{\mathrm{im}\,\Pi}$ and characterize such $\Pi$. As a particular case we consider an injective continuous homomorphism $\Pi\colon{H}\to{G}$ between locally compact groups $H$ and $G$. Then $\Pi$ yields an integrable action of $H$ on $L^\infty\;\!\!(G)$ if and only if its image is closed and $\Pi$ is a homeomorphism of $H$ onto $\mathrm{im}\,\Pi$. We also give characterizations of open quantum subgroups and of compact quantum subgroups in terms of integrability and show that a closed quantum subgroup always gives rise to an integrable action. Moreover we prove that quantum subgroups closed in the sense of Woronowicz whose associated homomorphism of quantum groups yields an integrable action are closed in the sense of Vaes.