arxiv: 2605.08459 · v1 · submitted 2026-05-08 · 🧮 math.OA · math.QA

Recognition: 2 theorem links

· Lean Theorem

Quantum hypergroups arising from ergodic coactions

Joeri De Ro

Pith reviewed 2026-05-12 01:22 UTC · model grok-4.3

classification 🧮 math.OA math.QA

keywords quantum hypergroupsergodic coactionslocally compact quantum groupscrossed product algebrascoamenabilityequivariant correspondencesvon Neumann algebras

0 comments

The pith

Ergodic integrable coactions of locally compact quantum groups induce a natural coassociative coproduct on the crossed-product von Neumann algebra, yielding new compact quantum hypergroups.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that when a locally compact quantum group acts ergodically and integrably on a von Neumann algebra L^infty(X), the associated crossed-product algebra L^infty(X times_G bar X) carries a well-defined normal unital completely positive coassociative map Delta. Restricting to compact quantum groups turns this algebra into an analytical compact quantum hypergroup. The construction supplies a broad supply of fresh examples beyond those arising from groups or their duals. Coamenability of the resulting hypergroups is characterized by the existence of suitable equivariant correspondences.

Core claim

Given a locally compact quantum group G and an ergodic integrable coaction alpha on L^infty(X), the von Neumann algebra L^infty(X times_G bar X) admits a natural normal ucp coassociative coproduct Delta_{X times_G bar X} to the tensor product of two copies. When G is compact this produces a new family of analytical compact quantum hypergroups. Coamenability of these hypergroups is characterized in terms of equivariant correspondences.

What carries the argument

The crossed-product von Neumann algebra L^infty(X times_G bar X) equipped with the induced normal ucp coassociative coproduct Delta coming from the coaction.

If this is right

Any ergodic integrable coaction of a compact quantum group produces at least one new analytical compact quantum hypergroup.
Coamenability of the hypergroup obtained this way can be decided by checking for the existence of equivariant correspondences between the underlying algebras.
The construction applies uniformly to all locally compact quantum groups but yields compact analytical hypergroups precisely when the acting group is compact.
Known ergodic actions, such as those coming from quantum homogeneous spaces, immediately furnish explicit hypergroup examples.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

When the quantum group is classical, the construction may recover familiar hypergroup structures attached to homogeneous spaces or orbit spaces.
The same crossed-product algebra might carry additional structure, such as a Haar weight, that would make the hypergroup more amenable to further analytic study.
One could test whether the hypergroup is of Kac type or has a specific dimension by computing the associated modular function on the crossed product.

Load-bearing premise

The coaction must be both ergodic and integrable; without these the crossed-product algebra and the natural coproduct map are not defined in the stated form.

What would settle it

Exhibit one concrete ergodic integrable coaction of a compact quantum group for which the proposed map Delta fails to be coassociative or fails to be unital completely positive.

read the original abstract

Given a locally compact quantum group $\mathbb{G}$ and an ergodic, integrable action $L^\infty(\mathbb{X})\stackrel{\alpha}\curvearrowleft \mathbb{G}$, the von Neumann algebra $L^\infty(\mathbb{X}\times_{\mathbb{G}}\bar{\mathbb{X}}):= L^\infty(\mathbb{X})\square \overline{L^\infty(\mathbb{X})}$ is shown to carry a natural normal ucp coassociative map $\Delta_{\mathbb{X}\times_{\mathbb{G}}\bar{\mathbb{X}}}: L^\infty(\mathbb{X}\times_{\mathbb{G}}\bar{\mathbb{X}})\to L^\infty(\mathbb{X}\times_{\mathbb{G}}\bar{\mathbb{X}})\bar{\otimes} L^\infty(\mathbb{X}\times_{\mathbb{G}}\bar{\mathbb{X}})$. Restricting to the class of compact quantum groups, this provides a large class of new examples of (analytical) compact quantum hypergroups. We provide characterizations of coamenability for these compact quantum hypergroups, making use of the theory of equivariant correspondences.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper turns ergodic integrable coactions into compact quantum hypergroups via a crossed-product coproduct that checks out on coassociativity.

read the letter

The main thing is that for a locally compact quantum group G and an ergodic integrable coaction on L^infty(X), the algebra L^infty(X x_G bar X) carries a normal ucp coassociative coproduct, and when G is compact this yields new analytical compact quantum hypergroups plus characterizations of their coamenability via equivariant correspondences. The construction is new as a systematic source of examples rather than isolated cases, and it stays within standard crossed-product and quantum group machinery without inventing extra structure. The proofs use the coaction properties directly to verify the coproduct axioms, including the key coassociativity identity, so the stress-test worry does not hold up; no hidden freeness or Kac assumption is required beyond what is stated. The assumptions of ergodicity and integrability are necessary and clearly flagged, which keeps the scope honest. Citations follow the usual pattern in the area and reference the relevant prior results on quantum groups and hypergroups. This is aimed at specialists in quantum groups and operator algebras who want concrete new examples or tools for coamenability questions. A reader working in that subfield will get usable material. It deserves a serious referee because the claims are grounded in verifiable operator-algebraic steps and the construction is reproducible from the given data.

Referee Report

1 major / 2 minor

Summary. The paper shows that given a locally compact quantum group G and an ergodic integrable coaction α of G on L^∞(X), the crossed-product von Neumann algebra L^∞(X ×_G X-bar) := L^∞(X) □ L^∞(X-bar) carries a natural normal ucp coassociative coproduct Δ_{X×_G X-bar}. When G is compact this yields new analytical compact quantum hypergroups; coamenability of these hypergroups is characterized via equivariant correspondences.

Significance. If the coassociativity verification holds, the construction supplies a broad new family of compact quantum hypergroups generated systematically from ergodic coactions, together with a coamenability criterion. This enlarges the stock of concrete examples and analytical tools in the theory of quantum hypergroups beyond the classical or Kac-type cases.

major comments (1)

[Construction of Δ (main theorem section)] The coassociativity identity (Δ ⊗ id)Δ = (id ⊗ Δ)Δ for the induced map Δ on L^∞(X×_G X-bar) is the load-bearing algebraic step. The manuscript must supply an explicit verification (in the section defining Δ) that uses only the given ergodicity and integrability of α together with the standard properties of the crossed-product construction; if any auxiliary assumption (e.g., freeness of the action or Kac-type condition on G) is required, this must be stated.

minor comments (2)

[Notation and preliminaries] Notation for the crossed product L^∞(X)□L^∞(X-bar) should be compared with the more common L^∞(X) ⋊_α G or crossed-product notation used in the preliminaries.
[Introduction] A short remark on how the new hypergroups relate to existing examples (e.g., those arising from group actions or from the dual of a compact quantum group) would help readers situate the result.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the detailed reading and for highlighting the importance of an explicit coassociativity verification. We agree that this algebraic step requires a self-contained argument and will incorporate it into the revised manuscript.

read point-by-point responses

Referee: [Construction of Δ (main theorem section)] The coassociativity identity (Δ ⊗ id)Δ = (id ⊗ Δ)Δ for the induced map Δ on L^∞(X×_G X-bar) is the load-bearing algebraic step. The manuscript must supply an explicit verification (in the section defining Δ) that uses only the given ergodicity and integrability of α together with the standard properties of the crossed-product construction; if any auxiliary assumption (e.g., freeness of the action or Kac-type condition on G) is required, this must be stated.

Authors: We agree that the coassociativity verification is the central algebraic step and that it must be presented explicitly in the section introducing Δ. In the revised version we will insert a complete, self-contained proof of (Δ ⊗ id)Δ = (id ⊗ Δ)Δ. The argument uses only the ergodicity and integrability of the coaction α together with the standard properties of the crossed-product von Neumann algebra L^∞(X) □ L^∞(X-bar) and the associated dual coaction; no freeness assumption on the action and no Kac-type condition on G are invoked or needed. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation uses standard crossed-product and coproduct constructions

full rationale

The paper starts from a given locally compact quantum group G and an ergodic integrable coaction on L^∞(X), forms the crossed-product von Neumann algebra L^∞(X)□L^∞(X-bar) by the usual definition, and equips it with a candidate coproduct Δ that is asserted to be normal, ucp and coassociative. These properties are presented as theorems to be verified from the given data and the standard operator-algebraic operations; nothing in the abstract or description indicates that Δ is defined in terms of itself, that a parameter is fitted and then relabeled as a prediction, or that a load-bearing uniqueness or coassociativity result is imported solely via self-citation. The construction therefore remains self-contained against external benchmarks and receives the default non-circularity finding.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The work rests on the standard axioms of locally compact quantum groups, von Neumann algebras, and coactions; no free parameters or newly postulated entities beyond the constructed coproduct are introduced.

axioms (1)

standard math Standard definitions and properties of locally compact quantum groups, their coactions, and von Neumann algebra crossed products
The construction invokes these background results without re-deriving them.

invented entities (1)

The coproduct map Δ on L^∞(X×_G X-bar) no independent evidence
purpose: To turn the algebra into a quantum hypergroup
Defined from the given coaction; no independent external evidence supplied in the abstract.

pith-pipeline@v0.9.0 · 5481 in / 1336 out tokens · 52212 ms · 2026-05-12T01:22:55.812407+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear
the von Neumann algebra L^∞(X×_G X-bar) carries a natural normal ucp coassociative map Δ_{X×_G X-bar} ... using the Galois map associated to the action
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
ΔX×G X-bar(Z_π(μ,ν)) = sum Z_π(μ,f_j) ⊗ Z_π(f_j,ν) ... algebraic compact quantum hypergroup

Reference graph

Works this paper leans on

48 extracted references · 48 canonical work pages

[1]

Alaghmandan and J

M. Alaghmandan and J. Crann, Character density in central subalgebras of compact quantum groups, Canad. Math. Bull. 60 (2017), 449--461

work page 2017
[2]

Anderson-Sackaney and F

B. Anderson-Sackaney and F. Khosravi, Topological Boundaries of Representations and Coideals, Adv. Math. 425 (2024), 109830

work page 2024
[3]

Arano and A

Y. Arano and A. Skalski, On the Baum--Connes conjecture for discrete quantum groups with torsion and the quantum Rosenberg Conjecture, Proc. Amer. Math. Soc. 149 (2021), 5237--5254

work page 2021
[4]

Bichon, A

J. Bichon, A. De Rijdt and S. Vaes, Ergodic Coactions with Large Multiplicity and Monoidal Equivalence of Quantum Groups, Comm. Math. Phys. 262 (2006), 703--728

work page 2006
[5]

Bédos, G

E. Bédos, G. Murphy and L. Tuset, Co-amenability of compact quantum groups, Journal of Geometry and Physics 40 (2001), 129--153

work page 2001
[6]

Boca, Ergodic actions of compact matrix pseudogroups on C ^* -algebras, In: Recent advances in operator algebras (Orléans, 1992), Astérisque 232 (1995), 93--109

F. Boca, Ergodic actions of compact matrix pseudogroups on C ^* -algebras, In: Recent advances in operator algebras (Orléans, 1992), Astérisque 232 (1995), 93--109

work page 1992
[7]

Bédos and L

E. Bédos and L. Tuset, Amenability and co-amenability for locally compact quantum groups, Internat. J. Math. 14 (2003), 865--884

work page 2003
[8]

Chirvasitu, Relative Fourier transforms and expectations on coideal subalgebras, J

A. Chirvasitu, Relative Fourier transforms and expectations on coideal subalgebras, J. Algebra 516 (2018), 271--297

work page 2018
[9]

Crann, Amenability and covariant injectivity of locally compact quantum groups II , Canad

J. Crann, Amenability and covariant injectivity of locally compact quantum groups II , Canad. J. Math. 69 (2017), 1064--1086

work page 2017
[10]

Chapovsky and L.I

Y. Chapovsky and L.I. Vainerman, Hypergroup structures, associated with a pair of quantum groups ( SU _q(n), U _q(n-1)) , Methods of Functional Analysis in Problems of Math. PHysics. (1992), 47--69

work page 1992
[11]

Chapovsky and L.I

Y. Chapovsky and L.I. Vainerman, Compact quantum hypergroups, J. Operator Theory 41 (1999), 261--289

work page 1999
[12]

De Commer, Galois coactions for algebraic and locally compact quantum groups, PhD thesis KU Leuven (2009), https://lirias.kuleuven.be/retrieve/75632

K. De Commer, Galois coactions for algebraic and locally compact quantum groups, PhD thesis KU Leuven (2009), https://lirias.kuleuven.be/retrieve/75632

work page 2009
[13]

De Commer, Algebraic quantum hypergroups imbedded in algebraic quantum groups, Preprint, University Tor Vergata (Rome) (2009)

K. De Commer, Algebraic quantum hypergroups imbedded in algebraic quantum groups, Preprint, University Tor Vergata (Rome) (2009)

work page 2009
[14]

De Commer, Galois objects and cocycle twisting for locally compact quantum groups, J

K. De Commer, Galois objects and cocycle twisting for locally compact quantum groups, J. Operator Theory 66 (2011), 59--106

work page 2011
[15]

De Commer, Actions of compact quantum groups, Topological quantum groups, Banach Center Publ

K. De Commer, Actions of compact quantum groups, Topological quantum groups, Banach Center Publ. 111 (2017), Polish Acad. Sci. Inst. Math., Warsaw, 33--100

work page 2017
[16]

De Commer and J

K. De Commer and J. De Ro, Approximation properties for dynamical W ^* -correspondences, Adv. Math. 458 (2024), 109958

work page 2024
[17]

De Commer and J

K. De Commer and J. De Ro, Amenable actions of compact and discrete quantum groups on von Neumann algebras, J. Funct. Anal. 289 (2025), Paper No. 110973, 39

work page 2025
[18]

De Commer and J

K. De Commer and J. R. Dzokou Talla, Invariant integrals on coideals and their Drinfeld doubles, Int. Math. Res. Not. 14 (2024), 10650--10677

work page 2024
[19]

B. Das, U. Franz, X. Wang, Invariant Markov semigroups on quantum homogeneous spaces, J. Noncommut. Geom. 15 (2021), 531--580

work page 2021
[20]

De Ro and L

J. De Ro and L. Hataishi, Actions of compact and discrete quantum groups on operator systems, Int. Math. Res. Not. 15 (2024), 11190–11220

work page 2024
[21]

De Ro, Morita theory for dynamical von Neumann algebras, Int

J. De Ro, Morita theory for dynamical von Neumann algebras, Int. Math. Res. Not. 12 (2025), rnaf177

work page 2025
[22]

De Ro, A categorical interpretation of Morita equivalence for dynamical von Neumann algebras, J

J. De Ro, A categorical interpretation of Morita equivalence for dynamical von Neumann algebras, J. Algebra 666 (2025), 673-702

work page 2025
[23]

De Ro, Equivariant Eilenberg-Watts theorems for locally compact quantum groups (2025)

J. De Ro, Equivariant Eilenberg-Watts theorems for locally compact quantum groups (2025). Preprint. arXiv:2510.06206v2

work page arXiv 2025
[24]

De Ro, Equivariant injectivity of crossed products, J

J. De Ro, Equivariant injectivity of crossed products, J. Oper. Theory (2026) (in press)

work page 2026
[25]

Delvaux and A

L. Delvaux and A. Van Daele, Algebraic quantum hypergroups, Adv. Math. 226 (2011), 1134--1167

work page 2011
[26]

Delvaux and A

L. Delvaux and A. Van Daele, Algebraic quantum hypergroups II . C onstructions and examples, Internat. J. Math. 22 (2011), 407--434

work page 2011
[27]

Franz and M

U. Franz and M. Sch\"urmann, L\'evy processes on quantum hypergroups, Infinite dimensional harmonic analysis ( K yoto, 1999), 93--114

work page 1999
[28]

Franz and A

U. Franz and A. Skalski, On idempotent states on quantum groups, J. Algebra 322 (2009), 1774--1802

work page 2009
[29]

Bloom and H

W.R. Bloom and H. Heyer, Harmonic analysis of probability measures on hypergroups, De Gruyter Studies in Mathematics 20 (1995)

work page 1995
[30]

Kalyuzhnyi, Conditional expectations on compact quantum groups and new examples of quantum hypergroups, Methods Funct

A.A. Kalyuzhnyi, Conditional expectations on compact quantum groups and new examples of quantum hypergroups, Methods Funct. Anal. Topology 7 (2001), 49--68

work page 2001
[31]

Kasprzak and F

P. Kasprzak and F. Khosravi, Coideals, quantum subgroups and idempotent states, Q. J. Math. 68 (2017), 583--615

work page 2017
[32]

Kasprzak and P

P. Kasprzak and P. So tan, Lattice of idempotent states on a locally compact quantum group, Publ. Res. Inst. Math. Sci. 56 (2020), 33--53

work page 2020
[33]

Kustermans, Locally compact quantum groups in the universal setting, Int

J. Kustermans, Locally compact quantum groups in the universal setting, Int. J. Math. 12 (3) (2001), 289--338

work page 2001
[34]

Kustermans and S

J. Kustermans and S. Vaes, Locally compact quantum groups, Ann. Sci. \' E c. Norm. Sup\' e r. 33 (6) (2000), 837--934

work page 2000
[35]

Kustermans and S

J. Kustermans and S. Vaes, Locally compact quantum groups in the von Neumann algebraic setting, Math. Scand. 92 (1) (2003), 68--92

work page 2003
[36]

Neshveyev and L

S. Neshveyev and L. Tuset, Compact Quantum Groups and Their Representation Categories, Cours Sp\' e cialis\' e s 20, Soci\' e t\' e Math\' e matique de France (2014), 169pp

work page 2014
[37]

Podkolzin and L.I

G.B. Podkolzin and L.I. Vainerman, Quantum S tiefel manifold and double cosets of quantum unitary group, Pacific J. Math. 188 (1999), 179--199

work page 1999
[38]

Salmi and A

P. Salmi and A. Skalski, Idempotent states on locally compact quantum groups II , Q. J. Math. 68 (2017), 421--431

work page 2017
[39]

Str atil a, Modular theory in operator algebras, Cambridge University Press (second edition, 2020)

S.V. Str atil a, Modular theory in operator algebras, Cambridge University Press (second edition, 2020)

work page 2020
[40]

Tomatsu, Amenable discrete quantum groups, J

R. Tomatsu, Amenable discrete quantum groups, J. Math. Soc. Japan 58 (4) (2006), 949--964

work page 2006
[41]

Vaes, The unitary implementation of a locally compact quantum group action, J

S. Vaes, The unitary implementation of a locally compact quantum group action, J. Funct. Anal. 180 (2001), 426--480

work page 2001
[42]

Vainerman

L.I. Vainerman. Gelfand pairs of quantum groups, hypergroups and q-special functions. Contemp. Math. 183 (1995), 373--394

work page 1995
[43]

Vainerman, Hypergroup structures associated with G el fand pairs of compact quantum groups, Ast\'erisque 232 (1995), 231--242

L.I. Vainerman, Hypergroup structures associated with G el fand pairs of compact quantum groups, Ast\'erisque 232 (1995), 231--242

work page 1995
[44]

Vaes and A

S. Vaes and A. Van Daele, The Heisenberg commutation relations, commuting squares and the Haar measure on locally compact quantum groups, In: Operator algebras and mathematical physics: conference proceedings, Constanta (Romania), July 2-7, 2001, Editors J.-M. Combes, J. Cuntz, G.A. Elliott, G. Nenciu, H. Siedentop and S. Stratila, Theta Foundation, Bucar...

work page 2001
[45]

Woronowicz, Compact matrix pseudogroups, Comm

S.L. Woronowicz, Compact matrix pseudogroups, Comm. Math. Phys. 111 (1987), 613--665

work page 1987
[46]

Woronowicz, Twisted SU (2) group

S.L. Woronowicz, Twisted SU (2) group. A n example of a noncommutative differential calculus, Publ. Res. Inst. Math. Sci. 23 (1987), 117--181

work page 1987
[47]

Woronowicz, Compact quantum groups

S.L. Woronowicz, Compact quantum groups. Symétries quantiques (Les Houches, 1995)

work page 1995
[48]

Zhang, Infinitely divisible states on finite quantum groups, Math

H. Zhang, Infinitely divisible states on finite quantum groups, Math. Z. 294 (2020), 571--592

work page 2020