On Amenable and Coamenable Coideals

Abstract

We study relative amenability and amenability of a right coideal ${\tilde{N}}_P\subseteq {\ell }^{\infty }(\mathbb{G})$ of a discrete quantum group in terms of its group-like projection $P$. We establish a notion of a $P$-left invariant state and use it to characterize relative amenability. We also develop a notion of coamenability of a compact quasi-subgroup $N_{\omega }\subseteq L^{\infty }(\hat{\mathbb{G}})$ that generalizes coamenability of a quotient as defined by Kalantar, Kasprzak, Skalski, and Vergnioux, where $\hat{\mathbb{G}}$ is the compact dual of $\mathbb{G}$. In particular, we establish that the coamenable compact quasi-subgroups of $\hat{\mathbb{G}}$ are in one-to-one correspondence with the idempotent states on the reduced $C^{\ast }$-algebra $C_r(\hat{\mathbb{G}})$. We use this work to obtain results for the duality between relative amenability and amenability of coideals in ${\ell }^{\infty }(\mathbb{G})$ and coamenability of their codual coideals in $L^{\infty }(\hat{\mathbb{G}})$, making progress towards a question of Kalantar et al{.}.

arXiv commentv4: minor revisions. Accepted to Journal of Noncommutative Geometry. v3: significant errors corrected, including error in main theorem of v2. Exposition rewritten, minor changes to notation, and uninteresting results omitted. v2: completely rewritten. Many new results, with v1 contents in sections 4.5 and 5. 30 pages + references