W*-superrigidity for discrete quantum groups
Pith reviewed 2026-05-22 21:48 UTC · model grok-4.3
The pith
A family of co-induced discrete quantum groups can be recovered from their von Neumann algebras.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We introduce quantum W*-superrigidity for discrete quantum groups and prove that this property holds for a natural family of co-induced discrete quantum groups. We also prove that most existing families of W*-superrigid groups are not quantum W*-superrigid.
What carries the argument
The co-induction construction on discrete quantum groups, which is shown to preserve the quantum W*-superrigidity recovery property.
If this is right
- The quantum group can be recovered from its von Neumann algebra for the co-induced family.
- Classical W*-superrigid groups generally fail to satisfy quantum W*-superrigidity.
- Quantum W*-superrigidity distinguishes a different class of objects than classical W*-superrigidity.
Where Pith is reading between the lines
- Similar co-induction methods may produce further examples of quantum-superrigid objects.
- The distinction between classical and quantum versions suggests that quantum rigidity properties are strictly finer in some settings.
Load-bearing premise
The chosen definition of quantum W*-superrigidity makes the co-induction construction preserve recoverability while causing classical W*-superrigid groups to fail it.
What would settle it
An explicit computation or counterexample showing that one specific co-induced discrete quantum group cannot be recovered from its von Neumann algebra would disprove the positive claim.
read the original abstract
A discrete group $G$ is called W*-superrigid if the group $G$ can be entirely recovered from the ambient group von Neumann algebra $L(G)$. We introduce an analogous notion for discrete quantum groups. We prove that this strengthened quantum W*-superrigidity property holds for a natural family of co-induced discrete quantum groups. We also prove that, remarkably, most existing families of W*-superrigid groups are not quantum W*-superrigid.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces a notion of quantum W*-superrigidity for discrete quantum groups, strengthening the classical W*-superrigidity (recovery of G from L(G)) to account for quantum structures. It proves that this property holds for a natural family of co-induced discrete quantum groups and shows that most known families of classical W*-superrigid groups fail to satisfy the quantum version.
Significance. If the results hold, the work distinguishes quantum from classical superrigidity in von Neumann algebras, providing positive examples via co-induction and negative results for classical cases. This could influence rigidity theory for quantum groups by highlighting how quantum phenomena necessitate a strengthened recovery property.
major comments (2)
- [Introduction and §2] Definition of quantum W*-superrigidity (Introduction and §2): The precise strengthening beyond classical W*-superrigidity appears selected so that co-induction preserves recovery of the quantum group from its von Neumann algebra while classical W*-superrigid groups fail the quantum property. A explicit discussion of why this definition is the natural one (rather than one that reduces exactly to the classical case on commutative quantum groups) is needed, as the separation between the two families may otherwise be by construction.
- [§3 or §4] Proof of the positive result for co-induced quantum groups (likely §3 or §4): The argument relies on the functoriality of the von Neumann algebra construction under co-induction. The manuscript should include a clear statement of how the co-induction functor interacts with the quantum group von Neumann algebra to guarantee the strengthened recovery property holds.
minor comments (2)
- [Introduction] The abstract claims 'most existing families' fail the quantum property; a table or explicit list in the introduction summarizing which classical families were checked would improve readability.
- [§2] Notation for the quantum group von Neumann algebra should be introduced consistently early on to avoid ambiguity when comparing to L(G).
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments, which will help improve the clarity of the manuscript. We address each major comment below and will incorporate the suggested additions in a revised version.
read point-by-point responses
-
Referee: [Introduction and §2] Definition of quantum W*-superrigidity (Introduction and §2): The precise strengthening beyond classical W*-superrigidity appears selected so that co-induction preserves recovery of the quantum group from its von Neumann algebra while classical W*-superrigid groups fail the quantum property. A explicit discussion of why this definition is the natural one (rather than one that reduces exactly to the classical case on commutative quantum groups) is needed, as the separation between the two families may otherwise be by construction.
Authors: The definition is the direct quantum analogue: it requires that an isomorphism L(ℍ) ≅ L(𝔾) implies ℍ ≅ 𝔾 as discrete quantum groups (including the full Hopf *-algebra structure and comultiplication). On commutative quantum groups this reduces exactly to classical W*-superrigidity, since the quantum group is then determined by its underlying discrete group. The strengthening is natural because the object of study is the quantum group itself, not merely its group von Neumann algebra; any weaker notion would fail to distinguish genuinely quantum phenomena. The separation is not by construction: the positive results apply to non-commutative co-induced quantum groups, while the negative results show that classical W*-superrigid groups typically admit non-isomorphic quantum group realizations with the same L(·). We will add a dedicated paragraph in the introduction explaining this motivation and the reduction on the commutative case. revision: yes
-
Referee: [§3 or §4] Proof of the positive result for co-induced quantum groups (likely §3 or §4): The argument relies on the functoriality of the von Neumann algebra construction under co-induction. The manuscript should include a clear statement of how the co-induction functor interacts with the quantum group von Neumann algebra to guarantee the strengthened recovery property holds.
Authors: We agree that an explicit statement of the relevant functoriality would improve readability. In the revised manuscript we will insert a short lemma (or proposition) at the beginning of the section containing the positive result, recording that the co-induction functor F: 𝔾 ↦ ℍ satisfies L(F(𝔾)) ≅ F(L(𝔾)) in the appropriate sense of von Neumann algebras with coactions, and that this compatibility, together with the assumed quantum W*-superrigidity of the base, yields the recovery of ℍ from L(ℍ). This makes the dependence on functoriality fully transparent without altering the argument. revision: yes
Circularity Check
No circularity: new definition with independent theorems
full rationale
The paper introduces a new definition of quantum W*-superrigidity for discrete quantum groups and then proves two independent results: that the property holds for a family of co-induced quantum groups, and that classical W*-superrigid groups fail the quantum version. No equations, fitted parameters, self-citations, or ansatzes are quoted that reduce any claimed result to its own inputs by construction. The separation between classical and quantum cases follows from the explicit definition and the functoriality of the von Neumann algebra construction, which are external to the theorems themselves. This is a standard non-circular mathematical development.
Axiom & Free-Parameter Ledger
invented entities (1)
-
quantum W*-superrigidity
no independent evidence
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.