Abstract:For a locally compact quantum group $\mathbb{G}$, a (left) coideal is a (left) $\mathbb{G}$-invariant von Neumann subalgebra of $L^\infty(\mathbb{G})$. We introduce and analyze various generalizations of amenability and coamenability to coideals of discrete and compact quantum groups. We focus on a particular class of coideals found in the category of compact quantum groups, which are associated with a compact quasi-subgroup. This class includes all coideals of the quotient type. We also introduce the notion of a Furstenberg-Hamana boundary for representations of discrete quantum groups and use it to study amenability and coamenability properties of coideals. We then prove that a coideal of a compact quantum group that is associated with a compact quasi-subgroup is coamenable if and only if its codual coideal is $\mathbb{G}$-injective. If $\mathbb{G}$ is a unimodular or an exact discrete quantum group, we can replace $\mathbb{G}$-injectivity in the latter statement with the weaker condition of relative amenability. This result leads to a complete characterization of the unique trace property. Specifically, a unimodular discrete quantum group $\mathbb{G}$ has the unique trace property if and only if the action of $\mathbb{G}$ on its noncommutative Furstenberg boundary is faithful. We also demonstrated that if a unimodular discrete quantum group $\mathbb{G}$ is $C^*$-simple then it has the unique trace property. These findings are the quantum analogs of the groundbreaking results of Breuillard, Kalantar, Kennedy, and Ozawa and they provide answers to questions posted by Kalantar, Kasprzak, Skalski, and Vergnioux.

Topological automorphism groups of compact quantum groups

Quantum Galois theory for compact Lie groups

On certain invariants of compact quantum groups

Normal Subgroups, Center and Inner Automorphisms of Compact Quantum Groups

Topological Properties of Almost Abelian Groups

Coverings of Quantum Groups

Isometric actions of compact quantum groups on graph C*-algebras

Noncommutative integration, quantum mechanics, Tannaka's theorem for compact groupoids and examples

Quantum automorphism groups of finite graphs

Quantum groups from homologies of configuration spaces

Totally disconnected locally compact groups locally of finite rank

The Nub of an Automorphism of a Totally Disconnected, Locally Compact Group

Quantum Groups as Global Symmetries

Equivariant Tannaka-Krein reconstruction and quantum automorphism groups of discrete structures

A quantum analogue of the first fundamental theorem of invariant theory

Topological Quantum Groups, Star Products and their relations

Discrete quantum subgroups of free unitary quantum groups

Topological Boundaries of Representations and Coideals

A Quantum Analogue of the First Fundamental Theorem of Classical Invariant Theory

Quantum automorphism groups of trees

Locally compact quantum groups in the von Neumann algebraic setting