On some algebraic and geometric aspects of the quantum unitary group

Debabrata Jana

On some algebraic and geometric aspects of the quantum unitary group

T0 review · 0 major / 3 minor · reviewed 2026-05-24 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗

Pith's one-line read C*-algebras of U_q(2) are non-isomorphic when the deformation parameter q is real versus non-real

desk verdict The paper proves non-isomorphism of C(U_q(2)) for non-real versus real q (unlike braided SU_q(2)) and constructs a T^3-equivariant even 3+-summable spectral triple with nontrivial K-homology. read the letter →

arxiv 2404.17863 v1 submitted 2024-04-27 math.OA

Debabrata Jana This is my paper

classification math.OA

keywords compactquantumgroupsC*-algebrasU_q(2)spectraltriplesK-homologytorusactiondeformationparameternon-isomorphism

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves that the C*-algebras C(U_q(2)) and C(U_{q'}(2)) are non-isomorphic whenever q is a non-real complex number and q' is real, with |q| and |q'| not equal to 1. This follows from the standard relations that define the compact quantum group U_q(2) and its C*-algebra for each deformation parameter. The result stands in contrast to the braided SU_q(2) case, where no such distinction appears between real and non-real parameters. In a separate geometric direction, the paper equips C(U_q(2)) with a torus action and produces an associated spectral triple that is even, 3+-summable, and has a Dirac operator that is nontrivial in K-homology.

What carries the argument

The family of C*-algebras C(U_q(2)) defined by generators and relations that depend on the deformation parameter q, together with the T^3 action and the associated equivariant spectral triple.

What would settle it

An explicit construction of a *-isomorphism mapping the generators of C(U_q(2)) to those of C(U_{q'}(2)) while preserving all relations for some non-real q and real q' would show the algebras are isomorphic.

Watch

Extended reading notes

Core claim

We prove that if q is a non-real complex number and q' is real, then the underlying C*-algebras C(U_q(2)) and C(U_{q'}(2)) are non-isomorphic. This is in sharp contrast with the case of braided SU_q(2), introduced earlier by Woronowicz et al., where q is a non-zero complex deformation parameter. In another direction, on a geometric aspect of U_q(2), we introduce torus action on the C*-algebra C(U_q(2)) and obtain a C*-dynamical system (C(U_q(2)), T^3, alpha). We construct a T^3-equivariant spectral triple for U_q(2) that is even and 3+-summable. It is shown that the Dirac operator is K-homologically nontrivial.

Load-bearing premise

The C*-algebras are defined by the standard set of generators and relations for the compact quantum group U_q(2) that incorporate the value of q in the commutation relations.

Editorial extensions

If this is right

The isomorphism class of C(U_q(2)) depends on whether the deformation parameter is real or non-real.
The non-isomorphism result does not hold for the braided version of SU_q(2).
C(U_q(2)) carries a T^3 action that forms a C*-dynamical system.
There exists an even 3+-summable T^3-equivariant spectral triple on C(U_q(2)) whose Dirac operator is K-homologically nontrivial.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The non-isomorphism may be detected by some C*-algebra invariant such as K-theory that distinguishes the two cases.
The spectral triple construction may extend to other quantum groups and allow index computations or other noncommutative geometric invariants.
The distinction between real and non-real q could appear in the classification of quantum groups by their C*-algebra properties.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

read the letter

The main things to know are that C(U_q(2)) for non-real q is shown non-isomorphic to the real-q case via an invariant on the standard generators-and-relations presentation, and that a T^3-equivariant spectral triple is built on the C*-algebra that is even, 3+-summable, and K-homologically nontrivial. Both claims are framed as direct extensions of prior quantum-group work rather than broad new machinery. The non-isomorphism stands out because it is explicitly contrasted with the braided SU_q(2) situation where the distinction does not appear; that contrast is the clearest sign of novelty. The spectral triple is a concrete construction that uses the torus action to produce an equivariant Dirac operator, which is a standard move but applied here to this specific family. The algebraic proofs and the existence statement look like they rest on ordinary operator-algebra tools without obvious circularity or free parameters. The main limitation is scope: the result is tightly focused on U_q(2) and does not claim to reorganize larger parts of the subject. The 3+-summability is acceptable for the stated K-homology check but is not especially strong for analytic applications. No load-bearing gaps are visible from the abstract and stress-test description, and the central non-isomorphism argument appears to hold on its own terms. This is for specialists in compact quantum groups and noncommutative geometry who care about deformation parameters and equivariant spectral triples. A reader already working in that corner will find the distinction and the construction useful. It is worth sending to peer review because the claims are precise, the methods are reproducible from the literature, and the contrast with the braided case is verifiable.

Referee Report

0 major / 3 minor

Summary. The paper proves that the C*-algebras C(U_q(2)) and C(U_{q'}(2)) are non-isomorphic when q is non-real and q' is real (with |q| ≠ 1), using an invariant that distinguishes these cases, in contrast to the braided SU_q(2) situation. It also equips C(U_q(2)) with a T^3-action yielding a C*-dynamical system, constructs an even T^3-equivariant 3+-summable spectral triple, and verifies that the associated Dirac operator is K-homologically nontrivial.

Significance. If the non-isomorphism holds via a direct invariant argument from the standard generators-and-relations presentation, it clarifies the dependence of the C*-algebra on the reality of the deformation parameter q, providing a concrete algebraic distinction not present in the braided case. The spectral triple construction, being equivariant, even, and 3+-summable with nontrivial K-homology, contributes a geometric tool for studying these quantum groups in noncommutative geometry; the explicit verification of nontriviality strengthens the result.

minor comments (3)

[Abstract] Abstract: the claim of 'sharp contrast' with braided SU_q(2) would benefit from a one-sentence indication of the invariant or property that fails to distinguish in the braided case.
[Section on torus action] The definition of the T^3-action (presumably in the section introducing the dynamical system) should explicitly list the three circle actions on the generators of C(U_q(2)) to make the equivariance of the spectral triple immediate.
[Section on spectral triple] In the spectral triple construction, the precise form of the Dirac operator (e.g., its expression in terms of the representation) and the verification of 3+-summability should include a short computation or reference to the eigenvalue growth.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, including the significance of the non-isomorphism result and the spectral triple construction, as well as the recommendation for minor revision. No specific major comments were listed in the report.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity

full rationale

The paper's central claim is a direct proof that C(U_q(2)) and C(U_{q'}(2)) are non-isomorphic for non-real q and real q' (|q|≠1), starting from the standard generators-and-relations presentation of these C*-algebras as given in the established quantum-group literature. The argument proceeds by constructing an algebraic invariant that distinguishes the real and non-real cases; this invariant is not obtained by fitting parameters to data, nor is it defined in terms of the target non-isomorphism. The torus-action and spectral-triple constructions are likewise built from standard equivariant-operator-algebra techniques without any self-referential reduction. No load-bearing self-citation, ansatz smuggling, or renaming of known results occurs. The derivation is therefore self-contained against external benchmarks and receives score 0.

Assumptions & free parameters 0 free parameters · 2 assumptions · 0 invented entities

The paper relies on prior definitions of compact quantum groups (Woronowicz) and spectral triples (Connes) without introducing new free parameters, invented entities, or ad-hoc axioms beyond standard domain assumptions in operator algebras.

assumptions (2)

domain assumption Standard definition and C*-algebra relations for the compact quantum group U_q(2) with |q| ≠ 1
Invoked throughout the abstract for both the non-isomorphism proof and the spectral triple construction
standard math Existence and basic properties of even spectral triples and K-homology in noncommutative geometry
Used to state that the constructed triple is even, 3+-summable, and that the Dirac operator is K-homologically nontrivial

how reviews work

0 comments

Cite this review

Pith. "Pith review of On some algebraic and geometric aspects of the quantum unitary group." pith.science (2026). https://pith.science/paper/2404.17863

@misc{pith2026240417863,
  author       = {Pith},
  title        = {Pith review of: On some algebraic and geometric aspects of the quantum unitary group},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2404.17863}},
  note         = {Machine review of arXiv:2404.17863}
}

abstract

Consider the compact quantum group $U_q(2)$, where $q$ is a non-zero complex deformation parameter such that $|q|\neq 1$. Let $C(U_q(2))$ denote the underlying $C^*$-algebra of the compact quantum group $U_q(2)$. We prove that if $q$ is a non-real complex number and $q^\prime$ is real, then the underlying $C^*$-algebras $C(U_q(2))$ and $C(U_{q^\prime}(2))$ are non-isomorphic. This is in sharp contrast with the case of braided $SU_q(2)$, introduced earlier by Woronowicz et al., where $q$ is a non-zero complex deformation parameter. In another direction, on a geometric aspect of $U_q(2)$, we introduce torus action on the $C^*$-algebra $C(U_q(2))$ and obtain a $C^*$-dynamical system $(C(U_q(2)),\mathbb{T}^3,\alpha)$. We construct a $\mathbb{T}^3$-equivariant spectral triple for $U_q(2)$ that is even and $3^+$-summable. It is shown that the Dirac operator is K-homologically nontrivial.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

[1]

S.; Pal, A.: Equivariant spectral tripl es on the quantum SU (2) group

Chakraborty, P. S.; Pal, A.: Equivariant spectral tripl es on the quantum SU (2) group. K-Theory. 28 (2003), no. 2, 107–126

work page 2003
[2]

S.; Pal, A.: Spectral triples and associ ated Connes-de Rham complex for the quantum SU (2) and the quantum sphere

Chakraborty, P. S.; Pal, A.: Spectral triples and associ ated Connes-de Rham complex for the quantum SU (2) and the quantum sphere. Comm. Math. Phys. 240 (2003), no. 3, 447–456

work page 2003
[3]

Academic Press, Inc., San Diego, CA , 1994

Connes, A.: Noncommutative Geometry. Academic Press, Inc., San Diego, CA , 1994

work page 1994
[4]

Connes, A.: Gravity coupled with matter and the foundati on of non-commutative geom- etry. Comm. Math. Phys. 182 (1996), no. 1, 155–176

work page 1996
[5]

C.: The Dirac operator on SUq(2)

Dabrowski, L.; Landi, G.; Sitarz, A.; van Suijlekom, W.; Varilly, J. C.: The Dirac operator on SUq(2). Comm. Math. Phys. 259 (2005), no. 3, 729–759. 20

work page 2005
[6]

Birkh´ auser Advanced Texts

Gracia-Bond ´ ıa, J.; V´ arilly, J.; Figueroa, H.: Elemen ts of noncommutative geometry. Birkh´ auser Advanced Texts. Birkh´ auser Boston, Inc., Boston, MA , 2001

work page 2001
[7]

Internat

Guin, S.; Saurabh, B.: Representations and Classiﬁcati on of the compact quantum groups Uq(2) for complex deformation parameters. Internat. J. Math. 32 (2021), no. 4, 2150020

work page 2021
[8]

Guin, S.; Saurabh, B.: Equivariant spectral triples for homogeneous spaces of the compact quantum group Uq(2). Math. Phys. Anal. Geom. 25 (2022), no. 3, Paper No. 21, 15 pp

work page 2022

Show all 23 references

[9]

Guin, S.; Saurabh, B.: Equivariant spectral triple for t he quantum groupUq(2) for complex deformation parameters. J. Geom. Phys. 185 (2023), Paper No. 104748

2023
[10]

Guin, S.; Saurabh, B.: On the Clebsch-Gordan coeﬃcient s for the quantum group Uq(2). Proc. Indian Acad. Sci. Math. Sci. 133 (2023), no. 2, Paper No. 44

2023
[11]

Hadﬁeld, T.: K-homology of the rotation algebras Aθ. Canad. J. Math. 56 (2004), no. 5, 926–944

2004
[12]

Haydon, R.; Wassermann, S.: A commutation result for te nsor products of C ∗-algebras. Bull. London Math. Soc. 5 (1973), 283–287

1973
[13]

Jones, V. F. R.: Index for subfactors. Invent. Math. 72 (1983), no. 1, 1–25

1983
[14]

L.: Bra ided quantum SU(2) groups

Kasprzak, P.; Meyer, R.; Roy, S.; Woronowicz, S. L.: Bra ided quantum SU(2) groups. J. Noncommut. Geom. 10 (2016), no. 4, 1611–1625

2016
[15]

L.: Quantum group-tw isted tensor products of C ∗- algebras

Meyer, R.; Roy, S.; Woronowicz, S. L.: Quantum group-tw isted tensor products of C ∗- algebras. II. J. Noncommut. Geom. 10 (2016), no. 3, 859–888

2016
[16]

Pimsner, M.; Popa, S.: Entropy and index for subfactors . Ann. Sci. Ecole Norm. Sup. (4) 19 (1986), no. 1, 57–106

1986
[17]

Noncommutative geometry and quantum groups (Warsaw, 2001), 231–263, Banach Center Publ., 61, Polish Acad

Sitarz, A.: Equivariant spectral triples. Noncommutative geometry and quantum groups (Warsaw, 2001), 231–263, Banach Center Publ., 61, Polish Acad. Sci. Inst. Math., War- saw, 2003

2001
[18]

M.: Center of the algebra of fun ctions on the quantum group SUq(2) and related topics

Krajczok, J.; Soltan, P. M.: Center of the algebra of fun ctions on the quantum group SUq(2) and related topics. Comment. Math. 56 (2016), no. 2, 251–272

2016
[19]

L.: Twisted SU(2) group

Woronowicz, S. L.: Twisted SU(2) group. An example of a n oncommutative diﬀerential calculus. Publ. Res. Inst. Math. Sci. 23 (1987), no. 1, 117–181

1987
[20]

L.: Compact matrix pseudogroups

Woronowicz, S. L.: Compact matrix pseudogroups. Comm. Math. Phys. 111 (1987), no. 4, 613–665. 21

1987
[21]

Watatani, Y.: Index for C ∗-subalgebras. Mem. Amer. Math. Soc. 83 (1990), no. 424

1990
[22]

X.; Zhao, E

Zhang, X. X.; Zhao, E. Y.: The compact quantum group Uq(2). I. Linear Algebra Appl. 408 (2005), 244–258

2005
[23]

X.: The compact quantum group Uq(2)

Zhang, X. X.: The compact quantum group Uq(2). II. Acta Math. Sin. (Engl. Ser.) 22 (2006), no. 4, 1221–1226. Debabrata Jana (debabrata.jana05@gmail.com) Department of Mathematics and Statistics, Indian Institute of Technology, Kanpur, Uttar Pradesh 208016, India 22

2006

Pith tools

Reviewed May 24, 2026 · model on record in the stance chip above.

[1] [1]

S.; Pal, A.: Equivariant spectral tripl es on the quantum SU (2) group

Chakraborty, P. S.; Pal, A.: Equivariant spectral tripl es on the quantum SU (2) group. K-Theory. 28 (2003), no. 2, 107–126

work page 2003

[2] [2]

S.; Pal, A.: Spectral triples and associ ated Connes-de Rham complex for the quantum SU (2) and the quantum sphere

Chakraborty, P. S.; Pal, A.: Spectral triples and associ ated Connes-de Rham complex for the quantum SU (2) and the quantum sphere. Comm. Math. Phys. 240 (2003), no. 3, 447–456

work page 2003

[3] [3]

Academic Press, Inc., San Diego, CA , 1994

Connes, A.: Noncommutative Geometry. Academic Press, Inc., San Diego, CA , 1994

work page 1994

[4] [4]

Connes, A.: Gravity coupled with matter and the foundati on of non-commutative geom- etry. Comm. Math. Phys. 182 (1996), no. 1, 155–176

work page 1996

[5] [5]

C.: The Dirac operator on SUq(2)

Dabrowski, L.; Landi, G.; Sitarz, A.; van Suijlekom, W.; Varilly, J. C.: The Dirac operator on SUq(2). Comm. Math. Phys. 259 (2005), no. 3, 729–759. 20

work page 2005

[6] [6]

Birkh´ auser Advanced Texts

Gracia-Bond ´ ıa, J.; V´ arilly, J.; Figueroa, H.: Elemen ts of noncommutative geometry. Birkh´ auser Advanced Texts. Birkh´ auser Boston, Inc., Boston, MA , 2001

work page 2001

[7] [7]

Internat

Guin, S.; Saurabh, B.: Representations and Classiﬁcati on of the compact quantum groups Uq(2) for complex deformation parameters. Internat. J. Math. 32 (2021), no. 4, 2150020

work page 2021

[8] [8]

Guin, S.; Saurabh, B.: Equivariant spectral triples for homogeneous spaces of the compact quantum group Uq(2). Math. Phys. Anal. Geom. 25 (2022), no. 3, Paper No. 21, 15 pp

work page 2022