Recognition: 2 theorem links
· Lean TheoremCompact Quantum Group Extensions of USp_q(2n), O_q(n) and SO_q(2n)
Pith reviewed 2026-05-14 20:45 UTC · model grok-4.3
The pith
Compact quantum groups USp_q(2n), O_q(n) and SO_q(2n) admit extensions by adjoining a central unitary element.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
One can form compact quantum groups Z_{q,n} extending each A_{q,n} in {USp_q(2n), O_q(n), SO_q(2n)} by adjoining a single central unitary element that commutes with all generators and satisfies the same coproduct rules that turn SU_q(n) into U_q(n). The resulting algebra remains a compact quantum group: the coproduct stays coassociative, the counit is well-defined, and a faithful Haar state exists.
What carries the argument
Adjoining a central unitary generator whose coproduct is the tensor-square of itself, chosen so that the ideal of relations inherited from A_{q,n} remains compatible with the new element.
If this is right
- The new groups Z_{q,n} possess a non-trivial center generated by the adjoined unitary, allowing a notion of determinant in these quantum settings.
- Finite-dimensional corepresentations of A_{q,n} extend to Z_{q,n} by assigning a phase factor to the central element.
- The construction yields a short exact sequence of compact quantum groups from the circle group to Z_{q,n} onto A_{q,n}.
- Representation theory and Peter-Weyl decompositions carry over directly once the central element is fixed to a root of unity.
Where Pith is reading between the lines
- The same pattern may produce extensions for other q-deformed classical groups whose presentation is known but whose center has not yet been enlarged.
- Low-dimensional cases (n=1 or 2) should admit concrete matrix presentations that can be checked by direct computation of the coproduct.
- These extensions could supply new examples for the classification of compact quantum groups with prescribed dimension or fusion rules.
Load-bearing premise
The same central-unitary extension that works for SU_q(n) to U_q(n) can be copied verbatim onto USp_q(2n), O_q(n) and SO_q(2n) while preserving coassociativity and the existence of a Haar state.
What would settle it
An explicit calculation for small n and generic q showing that the candidate coproduct on the extended algebra fails to be coassociative on at least one generator.
read the original abstract
I introduce compact quantum group extensions associated with the $q$-deformations of the classical compact groups $USp(2n)$, $O(n,\mathbb{R})$ and $SO(2n,\mathbb{R})$. Motivated by the relationship between $SU_q(n)$ and $U_q(n)$, I study the problem of constructing compact quantum groups $Z_{q,n}$ extending the standard compact quantum groups $A_{q,n}\in\{ {USp_q(2n), O_q(N), SO_q(2n)}\}$ through an additional central unitary element.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript constructs compact quantum group extensions Z_{q,n} of the standard q-deformations A_{q,n} belonging to {USp_q(2n), O_q(n), SO_q(2n)} by adjoining a single central unitary generator z satisfying z^* = z^{-1}. Motivated by the known passage from SU_q(n) to U_q(n), the author supplies explicit presentations of the extended *-algebras, defines a comultiplication with Δ(z) = z ⊗ z, and verifies that the counit, antipode, and Haar state extend consistently while preserving coassociativity and invariance.
Significance. If the verifications hold, the work supplies new explicit families of compact quantum groups that enlarge the classical series beyond the unitary case. The explicit algebraic relations and axiom checks constitute a concrete contribution that can be used to study representation categories or quantum homogeneous spaces associated with these extensions.
minor comments (4)
- [Introduction] Introduction, paragraph 2: the statement that the extension 'preserves the compact quantum group structure' would benefit from a one-sentence pointer to the precise axioms (coassociativity, Haar invariance) that are re-checked in the later sections.
- [§3.1] §3.1, relations (3.2)–(3.4): the centrality of z is asserted but the commutation relations with the matrix generators u_{ij} are only written for the orthogonal case; the symplectic case requires an explicit line confirming that the same centrality holds after imposing the symplectic relations.
- [Table 1] Table 1: the column headings for the three families are not aligned with the equation numbers in the text; a small typographical inconsistency that affects readability.
- [§5] §5, final paragraph: the claim that the construction is 'parameter-free' is correct, but a brief comparison with the parameter count in the original A_{q,n} would clarify the novelty.
Simulated Author's Rebuttal
We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. We appreciate the recognition that the explicit constructions and verifications provide new families of compact quantum groups.
Circularity Check
No significant circularity identified
full rationale
The paper constructs the extended compact quantum groups Z_{q,n} explicitly by adjoining a central unitary element to the standard presentations of A_{q,n} in {USp_q(2n), O_q(n), SO_q(2n)}. It directly verifies that the resulting comultiplication, counit, antipode and Haar state satisfy the compact quantum group axioms from the algebraic definitions. The motivation from the SU_q(n) to U_q(n) relationship is external background and does not enter as a load-bearing self-citation or definitional reduction. No equations or parameters are fitted in a way that forces the claimed extensions by construction, and the central claims rest on independent algebraic checks rather than renamed patterns or imported uniqueness theorems.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 1 ... every irreducible representation of Z is of the form π_{α,λ} ... twisting with a one-dimensional unitary element
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
Q uantum groups SO_q(N) , Sp_q(n) have q -determinants, too
G Fiore. Q uantum groups SO_q(N) , Sp_q(n) have q -determinants, too. Journal of Physics A: Mathematical and General , 27(11):3795, jun 1994
1994
-
[2]
Tjerk Koelink
H. Tjerk Koelink. On ast -representations of the hopf star-algebra associated with the quantum group U _q(n) . Compositio Math. , 77(2):(199--231), 1991
1991
-
[3]
Quantum G roups and T heir R epresentations
Anatoli Klimyk and Konrad Schm \"u dgen. Quantum G roups and T heir R epresentations . Texts and Monographs in Physics. Springer Berlin, Heidelberg, first edition, 1997
1997
-
[4]
Korogodski and Yan S
Leonid I. Korogodski and Yan S. Soibelman. Algebras of F unctions on Q uantum G roups: P art I , volume 56 of Mathematical Surveys and Monographs . American Mathematical Society, 1998
1998
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.