Abstract:We study relative amenability and amenability of a right coideal $\widetilde{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(\widehat{\mathbb{G}})$ that generalizes coamenability of a quotient as defined by Kalantar, Kasprzak, Skalski, and Vergnioux, where $\widehat{\mathbb{G}}$ is the compact dual of $\mathbb{G}$. In particular, we establish that the coamenable compact quasi-subgroups of $\widehat{\mathbb{G}}$ are in one-to-one correspondence with the idempotent states on the reduced $C^*$-algebra $C_r(\widehat{\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(\widehat{\mathbb{G}})$, making progress towards a question of Kalantar et al{.}.
What problem does this paper attempt to address?
This paper aims to explore the relative amenability and amenability of right coideals in discrete quantum groups (DQG), as well as the dual relationships between these properties and coamenability in compact quantum groups (CQG). Specifically, the paper addresses the following main issues:
1. **Definitions and characteristics of relative amenability and amenability**:
- The paper first defines the relative amenability and amenability of the right coideal \(\tilde{N}_P\) of the discrete quantum group \(G\), and characterizes these properties through \(P\)-left invariant states. Specifically, a right coideal \(\tilde{N}_P\) is relatively amenable if and only if there exists a \(P\)-left invariant state \(\ell^\infty(G)\to\mathbb{C}\).
- By introducing the concept of \(P\)-left invariant states, the paper establishes equivalent conditions for relative amenability and amenability, similar to \(H\)-invariant states in classical group theory.
2. **Coamenability of compact quantum subgroups**:
- The paper further studies the coamenability of compact quasi - subgroups in the compact quantum group \(\hat{G}\). The author proves that a compact quasi - subgroup \(N_\omega\) is coamenable if and only if its corresponding idempotent state \(\omega\) can be realized through the reduced \(C^*\)-algebra \(C_r(\hat{G})\).
- This result generalizes the definition of quotient coamenability by Kalantar, Kasprzak, Skalski, and Vergnioux, and provides a new characterization method.
3. **Dual relationships**:
- The paper explores the dual relationships between the relative amenability of the right coideal \(\tilde{N}_P\) in the discrete quantum group \(G\) and the coamenability in the compact quantum group \(\hat{G}\). In particular, the author proves that if a compact quasi - subgroup \(N_\omega\) is coamenable, then its dual coideal \(\tilde{N}_P\) is relatively amenable.
- This result provides a partial answer to the question raised by Kalantar et al., that is, whether \(L^\infty(\hat{G}/\hat{H})\) is coamenable is equivalent to whether \(\ell^\infty(H)\) is relatively amenable.
4. **Classification of idempotent states**:
- The paper also studies the classification of central idempotent states on the reduced \(C^*\)-algebra \(C_r(\hat{G})\). The author proves that there is a one - to - one correspondence between these central idempotent states and the amenable quantum subgroups of \(G\).
- This result helps to understand the unique trace property of compact quantum groups.
In conclusion, through in - depth research on the relative amenability and amenability of right coideals in discrete quantum groups and the exploration of the dual relationships with coamenability in compact quantum groups, this paper provides new perspectives and tools for the development of quantum group theory.