{"id":"arxiv/2605.08459","url":"https://arxiv.org/abs/2605.08459","tags":["math.OA","math.QA"],"score":0,"title":"Quantum hypergroups arising from ergodic coactions","domain":"math.OA","source":"arxiv","authors":["Joeri De Ro"],"reviews":0,"subject":"math.OA","summary":"Given a compact quantum group $\\mathbb{G}$ and an ergodic action $L^\\infty(\\mathbb{X})\\stackrelα\\curvearrowleft \\mathbb{G}$ with algebraic core $\\mathcal{O}(\\mathbb{X})$, we show that the unital $*$-algebra $\\mathcal{O}(\\mathbb{X}\\times_{\\mathbb{G}} \\bar{\\mathbb{X}}):= \\mathcal{O}(\\mathbb{X})\\square\\overline{\\mathcal{O}(\\bar{\\mathbb{X}})}$ carries the structure of an algebraic compact quantum hypergroup. This $*$-algebra admits two (generally distinct) $C^*$-algebra completions (`reduced' and `universal'), both carrying the structure of a $C^*$-algebraic compact quantum hypergroup. This…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-08","reactions":{}}