arxiv: 2604.14937 · v1 · submitted 2026-04-16 · 🧮 math.OA · math.QA

Recognition: unknown

Braided quantum SU(2) group - a case study

Jacek Krajczok, Piotr. M. So{\l}tan

Pith reviewed 2026-05-10 09:59 UTC · model grok-4.3

classification 🧮 math.OA math.QA

keywords braided quantum groupSU_q(2)Haar measureantipodescaling groupbosonizationbraided tensor productcompletely bounded maps

0 comments

The pith

The braided compact quantum group SU_q(2) admits a Haar measure, scaling group, antipode with polar decomposition, and equivalent bosonization constructions.

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

This paper builds directly on an existing definition of the braided SU_q(2) for complex q with modulus between zero and one. It proves existence of an invariant Haar measure, constructs the scaling group and the antipode together with its polar decomposition, and identifies the associated braided Hopf algebra. The work also locates the values of q where the braided flip extends to a completely bounded map and shows that two approaches to bosonization and the braided tensor product coincide. A reader would care because these additions turn the braided object into a fully equipped quantum group that supports the same analytic tools as its unbraided counterpart.

Core claim

Starting from the given braided compact quantum group SU_q(2), the paper establishes the existence of the Haar measure, constructs the scaling group, the antipode and its polar decomposition, and describes the related braided Hopf algebra. It further determines when the braided flip extends to a completely bounded map and proves that the two approaches to bosonization and the braided tensor product coincide.

What carries the argument

The braided coproduct together with the braided flip map, which twist the tensor product and enable the definition of invariance and the antipode in the braided category.

If this is right

The group now supports invariant integrals and therefore harmonic analysis in the braided setting.
The scaling group supplies a continuous family of automorphisms that can be used for spectral decompositions.
The antipode with its polar decomposition allows definition of the regular representation and unitary corepresentations.
The proven equivalence of bosonization methods means that results obtained in one formalism transfer immediately to the other.

Where Pith is reading between the lines

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

The complete boundedness condition on the flip opens the possibility of applying operator-space techniques such as noncommutative Lp spaces to the braided group.
The same sequence of constructions could be carried out for other braided compact quantum groups once their basic definitions are in place.
The unification of bosonization approaches reduces the need to choose between competing formalisms when studying representations in braided tensor categories.

Load-bearing premise

The braided compact quantum group SU_q(2) is already defined and carries the algebraic structure needed for the additional maps and states to be constructed.

What would settle it

A concrete calculation showing that the candidate Haar functional fails to satisfy left or right invariance for some element of the algebra would disprove existence of the Haar measure.

read the original abstract

We continue the study of the braided compact quantum group $\mathrm{SU}_q(2)$ for complex $q$ satisfying $0<|q|<1$ introduced by Kasprzak, Meyer, Roy and Woronowicz (J. Noncommut. Geom. 10(4):1611-1625, 2016). We address such aspects as existence of the Haar measure, construct the scaling group, the antipode and its polar decomposition and describe the related braided Hopf algebra. We also study when the braided flip extends to a completely bounded map and establish equivalence between the two approaches to bosonization and braided tensor product taken in the literature (Kasprzak, Meyer, Roy, Woronowicz J. Noncommut. Geom. 10(4):1611-1625, 2016 vs. Meyer, Roy Woronowicz Internat. J. Math. 25(2):1450019, 37, 2014, Roy Int. Math. Res. Not. (14):11791--11828, 2023 and De Commer, Krajczok arXiv:2412.17444, to appear in J. Operator Th.).

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

read the letter

This paper supplies the explicit scaling group, antipode polar decomposition, and a clean equivalence between the two bosonization constructions for braided SU_q(2) with complex q, all built directly on the 2016 definition. It also confirms the Haar measure exists, describes the braided Hopf algebra, and pins down when the braided flip extends to a completely bounded map. These are the concrete pieces that were left open in the earlier work, and the equivalence result ties the 2016 Kasprzak-Meyer-Roy-Woronowicz paper to the 2014 Meyer-Roy-Woronowicz approach and the later Roy and De Commer-Krajczok papers without introducing new parameters or fitting steps. The constructions look careful and usable once the base object is accepted. The main limitation is the dependence on the 2016 C*-bialgebra and coassociativity properties for non-real q. The paper treats those as given and does not re-derive or independently check them, so any gaps in the foundation carry forward. The abstract states the results without derivations, but the full text supplies the calculations. This is narrow technical work for people already inside braided quantum groups or operator-algebra quantum SU(2). A reader outside that circle would need the 2016 paper first and would not gain much. I would send it to peer review. The equivalence is a genuine clarification worth recording, and the explicit formulas are specific enough for referees to verify against the cited definitions.

Referee Report

1 major / 0 minor

Summary. The manuscript continues the study of the braided compact quantum group SU_q(2) for complex q with 0 < |q| < 1, as introduced in Kasprzak, Meyer, Roy and Woronowicz (J. Noncommut. Geom. 2016). It establishes the existence of the Haar measure, constructs the scaling group, the antipode and its polar decomposition, describes the related braided Hopf algebra, studies the conditions under which the braided flip extends to a completely bounded map, and proves the equivalence between the two approaches to bosonization and the braided tensor product appearing in Kasprzak et al. (2016), Meyer-Roy-Woronowicz (2014), Roy (2023) and De Commer-Krajczok (arXiv:2412.17444).

Significance. If the derivations hold, the work supplies concrete structural results for a model braided quantum group with non-real deformation parameter, including the antipode polar decomposition and scaling group. The equivalence between bosonization approaches unifies constructions from several papers and may serve as a template for other braided compact quantum groups in operator algebra theory.

major comments (1)

Introduction and the opening paragraphs of the constructions section: every central result (Haar measure existence, scaling group, antipode, braided Hopf algebra, cb extension of the flip, and bosonization equivalence) is built directly on the assumption that the braided SU_q(2) C*-bialgebra for complex q satisfies coassociativity, density conditions and the required Woronowicz algebra axioms as stated in Kasprzak-Meyer-Roy-Woronowicz (2016). The manuscript cites this prior work as the starting point but does not re-derive or explicitly verify these foundational properties for non-real q; a short self-contained recap or precise theorem references from the 2016 paper would make the load-bearing assumptions verifiable within the present text.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We are grateful to the referee for their careful reading of our manuscript and for the constructive comments provided. We address the major comment as follows.

read point-by-point responses

Referee: Introduction and the opening paragraphs of the constructions section: every central result (Haar measure existence, scaling group, antipode, braided Hopf algebra, cb extension of the flip, and bosonization equivalence) is built directly on the assumption that the braided SU_q(2) C*-bialgebra for complex q satisfies coassociativity, density conditions and the required Woronowicz algebra axioms as stated in Kasprzak-Meyer-Roy-Woronowicz (2016). The manuscript cites this prior work as the starting point but does not re-derive or explicitly verify these foundational properties for non-real q; a short self-contained recap or precise theorem references from the 2016 paper would make the load-bearing assumptions verifiable within the present text.

Authors: We thank the referee for pointing this out. While our work builds upon the foundational results established in Kasprzak, Meyer, Roy and Woronowicz (J. Noncommut. Geom. 2016), we agree that explicit references and a brief recap would improve accessibility. In the revised manuscript, we will insert precise citations to the relevant theorems from the 2016 paper regarding coassociativity, the density conditions, and the Woronowicz C*-bialgebra axioms for the braided SU_q(2) with complex q. We will also add a short paragraph in the introduction summarizing these properties to ensure the assumptions are verifiable without immediate reference to the prior work. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper explicitly takes the definition and core properties of the braided compact quantum group SU_q(2) for complex q from the 2016 Kasprzak-Meyer-Roy-Woronowicz paper as its starting point, an external reference with no author overlap. All subsequent constructions (Haar measure, scaling group, antipode and polar decomposition, braided Hopf algebra, braided flip extension, and equivalence of bosonization approaches) are developed as extensions on this independent foundation rather than re-deriving or re-proving the base object. No equations, definitions, or claims within the manuscript reduce any result to a fitted parameter, self-definition, or load-bearing self-citation chain; the single citation to a forthcoming paper co-authored by one current author (De Commer-Krajczok) is used only for comparative equivalence and is not required to establish the primary new results. The derivation chain is therefore self-contained against the cited external benchmark.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper rests on the prior definition of the braided SU_q(2) structure and standard axioms of compact quantum groups and Hopf algebras; no new free parameters or invented entities are introduced in the abstract.

axioms (1)

domain assumption Braided compact quantum group SU_q(2) for 0 < |q| < 1 as defined by Kasprzak, Meyer, Roy and Woronowicz (2016)
All new constructions presuppose this object exists with the stated properties.

pith-pipeline@v0.9.0 · 5522 in / 1191 out tokens · 32447 ms · 2026-05-10T09:59:57.000303+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

46 extracted references · 2 canonical work pages

[1]

Double crossed products of locally compact quantum groups.J

Saad Baaj and Stefaan Vaes. Double crossed products of locally compact quantum groups.J. Inst. Math. Jussieu, 4(1):135–173, 2005

2005
[2]

Braided quantum symmetries of graph C˚-algebras.Internat

Suvrajit Bhattacharjee, Soumalya Joardar, and Sutanu Roy. Braided quantum symmetries of graph C˚-algebras.Internat. J. Math., 35(13):Paper No. 2450051, 25, 2024

2024
[3]

The Theta Foundation, Bucharest, 2001

Florin-Petre Boca.RotationC ˚-algebras and almost Mathieu operators, volume 1 ofTheta Series in Advanced Mathematics. The Theta Foundation, Bucharest, 2001

2001
[4]

Positive definite bounded matrices and a characterization of amenable groups.Proc

Marek Bo˙ zejko. Positive definite bounded matrices and a characterization of amenable groups.Proc. Amer. Math. Soc., 95(3):357–360, 1985

1985
[5]

Harmonic analysis on quantum tori.Comm

Zeqian Chen, Quanhua Xu, and Zhi Yin. Harmonic analysis on quantum tori.Comm. Math. Phys., 322(3):755–805, 2013

2013
[6]

Analytic generators for one-parameter groups.Tohoku Math

Ioana Cior˘ anescu and L´ aszl´ o Zsid´ o. Analytic generators for one-parameter groups.Tohoku Math. J. (2), 28(3):327–362, 1976

1976
[7]

Inner amenability and approximation properties of locally compact quantum groups

Jason Crann. Inner amenability and approximation properties of locally compact quantum groups. Indiana Univ. Math. J., 68(6):1721–1766, 2019. BRAIDED QUANTUM SUp2qGROUP 39

2019
[8]

Matthew Daws, Pawe l Kasprzak, Adam Skalski, and Piotr M. So ltan. Closed quantum subgroups of locally compact quantum groups.Adv. Math., 231(6):3473–3501, 2012

2012
[9]

The approximation property for locally com- pact quantum groups.Adv

Matthew Daws, Jacek Krajczok, and Christian Voigt. The approximation property for locally com- pact quantum groups.Adv. Math., 438:Paper No. 109452, 79, 2024

2024
[10]

Averaging multipliers on locally compact quantum groups.J

Matthew Daws, Jacek Krajczok, and Christian Voigt. Averaging multipliers on locally compact quantum groups.J. Lond. Math. Soc. (2), 111(3):Paper No. e70104, 52, 2025

2025
[11]

Braided tensor product of von Neumann algebras.arXiv e-prints, page arXiv:2412.17444, Dec 2024

Kenny De Commer and Jacek Krajczok. Braided tensor product of von Neumann algebras.arXiv e-prints, page arXiv:2412.17444, Dec 2024. Accepted for publication in Journal of Operator Theory

work page arXiv 2024
[12]

Effros and Zhong-Jin Ruan.Operator spaces, volume 23 ofLondon Mathematical Society Monographs

Edward G. Effros and Zhong-Jin Ruan.Operator spaces, volume 23 ofLondon Mathematical Society Monographs. New Series. The Clarendon Press, Oxford University Press, New York, 2000

2000
[13]

Maximal coactions of quantum groups, 2004

Robert Fischer. Maximal coactions of quantum groups, 2004. Preprint based on Ph.D. Thesis

2004
[14]

Representations and classification of the compact quantum groups Uqp2qfor complex deformation parameters.Internat

Satyajit Guin and Bipul Saurabh. Representations and classification of the compact quantum groups Uqp2qfor complex deformation parameters.Internat. J. Math., 32(4):Paper No. 2150020, 37, 2021

2021
[15]

American Mathematical Society, Providence, RI, [2020] ©2020

Istv´ an Heckenberger and Hans-J¨ urgen Schneider.Hopf algebras and root systems, volume 247 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, [2020] ©2020

2020
[16]

Completely bounded multipliers over locally compact quantum groups.Proc

Zhiguo Hu, Matthias Neufang, and Zhong-Jin Ruan. Completely bounded multipliers over locally compact quantum groups.Proc. Lond. Math. Soc. (3), 103(1):1–39, 2011

2011
[17]

A representation theorem for locally com- pact quantum groups.Internat

Marius Junge, Matthias Neufang, and Zhong-Jin Ruan. A representation theorem for locally com- pact quantum groups.Internat. J. Math., 20(3):377–400, 2009

2009
[18]

Woronowicz

Pawe l Kasprzak, Ralf Meyer, Sutanu Roy, and Stanis law L. Woronowicz. Braided quantum SU(2) groups.arXiv e-prints, page arXiv:1411.3218, November 2014

work page arXiv 2014
[19]

Woronowicz

Pawe l Kasprzak, Ralf Meyer, Sutanu Roy, and Stanis law L. Woronowicz. Braided quantum SUp2q groups.J. Noncommut. Geom., 10(4):1611–1625, 2016

2016
[20]

Pawe l Kasprzak and Piotr M. So ltan. Quantum groups with projection on von Neumann algebra level.J. Math. Anal. Appl., 427(1):289–306, 2015

2015
[21]

Pawe l Kasprzak and Piotr M. So ltan. Quantum groups with projection and extensions of locally compact quantum groups.J. Noncommut. Geom., 14(1):105–123, 2020

2020
[22]

Springer Monographs in Mathematics

David Kerr and Hanfeng Li.Ergodic theory. Springer Monographs in Mathematics. Springer, Cham,
[23]

Independence and dichotomies
[24]

Modular properties of type I locally compact quantum groups.J

Jacek Krajczok. Modular properties of type I locally compact quantum groups.J. Operator Theory, 87(2):319–354, 2022

2022
[25]

Jacek Krajczok and Piotr M. So ltan. Center of the algebra of functions on the quantum group SUqp2qand related topics.Comment. Math., 56(2):251–272, 2016

2016
[26]

Locally compact quantum groups.Ann

Johan Kustermans and Stefaan Vaes. Locally compact quantum groups.Ann. Sci. ´Ecole Norm. Sup. (4), 33(6):837–934, 2000

2000
[27]

Christopher Lance.HilbertC ˚-modules, volume 210 ofLondon Mathematical Society Lecture Note Series

E. Christopher Lance.HilbertC ˚-modules, volume 210 ofLondon Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 1995. A toolkit for operator algebraists

1995
[28]

Cambridge University Press, Cambridge, 2002

Shahn Majid.A quantum groups primer, volume 292 ofLondon Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 2002

2002
[29]

Woronowicz

Tetsuya Masuda, Yoshiomi Nakagami, and Stanis law L. Woronowicz. AC ˚-algebraic framework for quantum groups.Internat. J. Math., 14(9):903–1001, 2003

2003
[30]

Braided multiplicative unitaries as regular objects

Ralf Meyer and Sutanu Roy. Braided multiplicative unitaries as regular objects. InOperator algebras and mathematical physics, volume 80 ofAdv. Stud. Pure Math., pages 153–178. Math. Soc. Japan, Tokyo, 2019

2019
[31]

Woronowicz

Ralf Meyer, Sutanu Roy, and Stanis law L. Woronowicz. Quantum group-twisted tensor products of C˚-algebras.Internat. J. Math., 25(2):1450019, 37, 2014

2014
[32]

Woronowicz

Ralf Meyer, Sutanu Roy, and Stanis law L. Woronowicz. Quantum group-twisted tensor products of C˚-algebras. II.J. Noncommut. Geom., 10(3):859–888, 2016

2016
[33]

Murphy.C ˚-algebras and operator theory

Gerard J. Murphy.C ˚-algebras and operator theory. Academic Press, Inc., Boston, MA, 1990

1990
[34]

Soci´ et´ e Math´ ematique de France, Paris, 2013

Sergey Neshveyev and Lars Tuset.Compact quantum groups and their representation categories, volume 20 ofCours Sp´ ecialis´ es [Specialized Courses]. Soci´ et´ e Math´ ematique de France, Paris, 2013

2013
[35]

Equivariant Poincar´ e duality for quantum group actions.J

Ryszard Nest and Christian Voigt. Equivariant Poincar´ e duality for quantum group actions.J. Funct. Anal., 258(5):1466–1503, 2010. 40 JACEK KRAJCZOK AND PIOTR M. SO LTAN

2010
[36]

Woronowicz

Piotr Podle´ s and Stanis law L. Woronowicz. Quantum deformation of Lorentz group.Comm. Math. Phys., 130(2):381–431, 1990

1990
[37]

Braided quantum groups and their bosonizations in the C ˚-algebraic framework.Int

Sutanu Roy. Braided quantum groups and their bosonizations in the C ˚-algebraic framework.Int. Math. Res. Not. IMRN, (14):11791–11828, 2023

2023
[38]

Piotr M. So ltan. Podle´ s spheres for the braided quantum SU(2).Linear Algebra Appl., 591:169–204, 2020

2020
[39]

Williams.Crossed products ofC ˚-algebras, volume 134 ofMathematical Surveys and Mono- graphs

Dana P. Williams.Crossed products ofC ˚-algebras, volume 134 ofMathematical Surveys and Mono- graphs. American Mathematical Society, Providence, RI, 2007

2007
[40]

Woronowicz

Stanis law L. Woronowicz. Twisted SUp2qgroup. An example of a noncommutative differential cal- culus.Publ. Res. Inst. Math. Sci., 23(1):117–181, 1987

1987
[41]

Woronowicz

Stanis law L. Woronowicz. QuantumEp2qgroup and its Pontryagin dual.Lett. Math. Phys., 23(4):251–263, 1991

1991
[42]

Woronowicz

Stanis law L. Woronowicz. Unbounded elements affiliated withC ˚-algebras and noncompact quan- tum groups.Comm. Math. Phys., 136(2):399–432, 1991

1991
[43]

Woronowicz

Stanis law L. Woronowicz. An example of a braided locally compact group. InQuantum groups (Karpacz, 1994), pages 155–171. PWN, Warsaw, 1995

1994
[44]

Woronowicz

Stanis law L. Woronowicz. Compact quantum groups. InSym´ etries quantiques (Les Houches, 1995), pages 845–884. North-Holland, Amsterdam, 1998

1995
[45]

Double group construction of quantum groups in the von Neumann algebra framework.J

Takehiko Yamanouchi. Double group construction of quantum groups in the von Neumann algebra framework.J. Math. Soc. Japan, 52(4):807–834, 2000

2000
[46]

The compact quantum groupU qp2q

Xiaoxia Zhang and Ervin Yunwei Zhao. The compact quantum groupU qp2q. I.Linear Algebra Appl., 408:244–258, 2005. Vrije Universiteit Brussel Email address:jacek.krajczok@vub.be University of W arsaw Email address:piotr.soltan@fuw.edu.pl

2005