arxiv: 2604.10047 · v2 · submitted 2026-04-11 · 🧮 math.OA

Recognition: unknown

C(SO_q(4)/SO_q(2)) as a Groupoid C^*-algebra

Bipul Saurabh, Shreema Subhash Bhatt, Vinay Deshpande

Pith reviewed 2026-05-10 16:37 UTC · model grok-4.3

classification 🧮 math.OA

keywords quantum homogeneous spacesgroupoid C*-algebrastight groupoidsinverse semigroupsirreducible representationsSoibelman representationsquantum SO(4)

0 comments

The pith

The C-algebra of the quantum homogeneous space SO_q(4)/SO_q(2) equals the C-algebra of a tight groupoid built from the classical inverse semigroup.

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

This paper shows that the quantum algebra C(SO_q(4)/SO_q(2)) arises exactly as the groupoid C*-algebra of the tight groupoid associated to the inverse semigroup generated by the standard generators of the classical limit C(SO_0(4)/SO_0(2)). The unit space has four orbits under the groupoid action, each locally closed with isotropy group Z. This structure implies that all irreducible representations of the algebra are induced from irreducible representations of C*(Z), which are parametrized by the circle T, and these match the known Soibelman representations. A sympathetic reader would care because it supplies an explicit dynamical model for the quantum space, turning abstract operator-algebraic relations into concrete orbit and isotropy data.

Core claim

The paper proves that C(SO_q(4)/SO_q(2)) is isomorphic to C*(G_tight), the C*-algebra of the tight groupoid G_tight coming from the inverse semigroup generated by the standard generators of C(SO_0(4)/SO_0(2)). It establishes that the four orbits of the unit space are locally closed and that the isotropy groups are all isomorphic to Z. Consequently every irreducible representation of C*(G_tight) is induced from an irreducible representation of C*(Z) parametrized by T, and these four families are shown to be equivalent to the corresponding Soibelman irreducible representations of the quantum algebra.

What carries the argument

The tight groupoid G_tight associated with the inverse semigroup generated by the standard generators of the classical limit C(SO_0(4)/SO_0(2)). It carries the argument by converting the classical generators into a groupoid whose C*-algebra reproduces the quantum relations and whose orbit-isotropy data directly yields the irreducible representations.

If this is right

All irreducible representations of the algebra are induced from those of C*(Z) and therefore fall into four families parametrized by T.
The representations obtained this way coincide with the Soibelman irreducible representations.
The locally closed orbit condition ensures that the induction process produces irreducible representations without additional quotients or extensions.
The groupoid model supplies a concrete description of the spectrum in terms of the unit space orbits and their isotropy.

Where Pith is reading between the lines

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

The same inverse-semigroup-to-tight-groupoid construction may apply to other quantum homogeneous spaces SO_q(n)/SO_q(k) and yield similar orbit-based representation classifications.
K-theory or cyclic homology invariants of the quantum algebra could be computed directly from the groupoid via standard groupoid cohomology formulas.
The four-orbit structure suggests that the underlying classical space SO(4)/SO(2) decomposes into four distinct orbit types whose quantum deformations remain separated.

Load-bearing premise

The inverse semigroup generated by the classical generators produces, via its tight groupoid, precisely the quantum C*-algebra, with the four orbits locally closed and isotropy groups exactly Z.

What would settle it

An explicit computation showing that some Soibelman representation of C(SO_q(4)/SO_q(2)) fails to arise by induction from a representation of C*(Z) on one of the four orbits, or that the spectrum of a generator differs between the quantum algebra and the groupoid algebra.

read the original abstract

In this paper, we prove that $C(SO_q(4)/SO_q(2))$ is isomorphic to the $C^*$-algebra of the tight groupoid $\mathcal{G}_{\mathrm{tight}}$ associated with the inverse semigroup generated by the standard generators of its classical limit $C(SO_0(4)/SO_0(2))$. We show that all four orbits of the unit space $\mathcal{G}_{\mathrm{tight}}^{(0)}$ under the natural action of $\mathcal{G}_{\mathrm{tight}}$ are locally closed, and that the associated isotropy groups are isomorphic to $\mathbb{Z}$. Consequently, every irreducible representation of $C^*(\mathcal{G}_{\mathrm{tight}})$ is induced from an irreducible representation of $C^*(\mathbb{Z})$, which are parametrized by $\mathbb{T}$. In this way, we obtain four families of irreducible representations parametrized by $\mathbb{T}$, and we explicitly construct their equivalence with the corresponding Soibelman irreducible representations of $C(SO_q(4)/SO_q(2))$.

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

This paper constructs an explicit tight-groupoid model for C(SO_q(4)/SO_q(2)) from the classical inverse semigroup and matches its irreps to the four Soibelman families via Z-isotropy orbits.

read the letter

The main takeaway is that the authors take the inverse semigroup generated by the standard classical generators of SO(4)/SO(2), form its tight groupoid, and claim its C*-algebra is exactly the quantum homogeneous space C(SO_q(4)/SO_q(2)). They then classify the unit space into four orbits, each locally closed with isotropy group Z, so every irrep of the groupoid C*-algebra is induced from a character of C*(Z) parametrized by the circle, and they build explicit equivalences to the known Soibelman representations of the quantum algebra.

Referee Report

2 major / 2 minor

Summary. The paper proves that C(SO_q(4)/SO_q(2)) is isomorphic to the C*-algebra of the tight groupoid G_tight associated with the inverse semigroup generated by the standard generators of its classical limit C(SO_0(4)/SO_0(2)). It shows that all four orbits of the unit space G_tight^(0) under the groupoid action are locally closed, with isotropy groups isomorphic to Z. Consequently every irreducible representation of C*(G_tight) is induced from an irreducible representation of C*(Z) parametrized by T, yielding four families that are explicitly shown to be equivalent to the Soibelman irreducible representations of the quantum homogeneous space.

Significance. If the isomorphism and orbit analysis hold, the result supplies a concrete groupoid model for this quantum homogeneous space. This permits the representation theory to be recovered via induction from the isotropy groups and connects the q-deformed algebra to the theory of inverse semigroups and their tight completions. The explicit equivalence with the known Soibelman families is a concrete strength that makes the model immediately usable for further computations.

major comments (2)

[Main theorem (isomorphism statement)] The isomorphism C*(G_tight) ≅ C(SO_q(4)/SO_q(2)) is the central claim. The argument that the tight completion of the inverse semigroup generated by the classical-limit generators reproduces exactly the q-relations (and no others) requires an explicit verification that the universal C*-algebra defined by the semigroup coincides with the quantum one; without a direct comparison of relations or a universal-property argument, the identification remains formal.
[Orbit analysis and isotropy computation] The decomposition into exactly four locally closed orbits with isotropy precisely Z is load-bearing for the induction statement and the count of representation families. The manuscript must supply an explicit description of the unit space and the groupoid action that confirms local closedness and computes the isotropy groups; any orbit that fails local closedness or has isotropy strictly larger or smaller than Z would alter the induced-representation count and prevent exact matching with the four Soibelman families.

minor comments (2)

[Construction of the inverse semigroup] Clarify the precise generators chosen for the classical inverse semigroup and how they are lifted to the q-case.
[Representation equivalence section] Add a short table or diagram summarizing the four orbits, their isotropy, and the corresponding Soibelman parameters.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the detailed comments on the central claims. We address each major point below and will revise the manuscript accordingly to provide the requested explicit verifications and descriptions.

read point-by-point responses

Referee: The isomorphism C*(G_tight) ≅ C(SO_q(4)/SO_q(2)) is the central claim. The argument that the tight completion of the inverse semigroup generated by the classical-limit generators reproduces exactly the q-relations (and no others) requires an explicit verification that the universal C*-algebra defined by the semigroup coincides with the quantum one; without a direct comparison of relations or a universal-property argument, the identification remains formal.

Authors: We appreciate the referee pointing out the need for greater explicitness in the isomorphism proof. The manuscript defines the inverse semigroup S via the classical generators and constructs G_tight as its tight groupoid, with C*(G_tight) presented as the universal C*-algebra for tight representations. To strengthen this, we will insert a dedicated subsection that performs a direct comparison: we verify by explicit computation on the partial isometries that the generators in C*(G_tight) obey precisely the q-deformed relations of C(SO_q(4)/SO_q(2)), and we show the converse direction by proving that every *-representation of the quantum algebra yields a tight representation of S. This uses the universal property of the groupoid C*-algebra to establish the isomorphism without additional relations. revision: yes
Referee: The decomposition into exactly four locally closed orbits with isotropy precisely Z is load-bearing for the induction statement and the count of representation families. The manuscript must supply an explicit description of the unit space and the groupoid action that confirms local closedness and computes the isotropy groups; any orbit that fails local closedness or has isotropy strictly larger or smaller than Z would alter the induced-representation count and prevent exact matching with the four Soibelman families.

Authors: We agree that the orbit analysis requires more explicit detail to support the induction and the matching with Soibelman's representations. The unit space G_tight^(0) is the space of tight characters on the semilattice of idempotents of S. We will expand the relevant section with a concrete parametrization of this space, explicitly partitioning it into four orbits. For each orbit we describe the action of the groupoid generators on the filters, verify local closedness by exhibiting each orbit as a relatively open set defined by the vanishing or non-vanishing of specific projections, and compute the isotropy groups directly, confirming they are generated by the integer powers arising from the classical circle action and hence isomorphic to Z. These additions ensure the four induced families are precisely those of Soibelman. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation uses external standard constructions and pre-existing representations.

full rationale

The paper generates an inverse semigroup from the classical-limit generators of C(SO_0(4)/SO_0(2)), forms the associated tight groupoid G_tight, verifies that its four orbits are locally closed with isotropy Z, and shows that C*(G_tight) is isomorphic to C(SO_q(4)/SO_q(2)) by explicit equivalence of the induced representations to the known Soibelman families. These steps invoke the standard definition of tight groupoids (from inverse-semigroup theory) and the independently defined Soibelman irreps as external inputs; no equation or construction reduces the target isomorphism or the orbit/isotropy claims to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation chain. The argument is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard definitions of inverse semigroups, tight groupoids, and the classical limit, plus the assumption that Soibelman representations are already available and match the induced ones.

axioms (2)

domain assumption The inverse semigroup generated by standard generators of the classical C(SO_0(4)/SO_0(2)) yields a well-defined tight groupoid whose C*-algebra matches the quantum deformation.
Invoked when constructing G_tight from the classical generators.
domain assumption All four orbits of the unit space are locally closed and isotropy groups are isomorphic to Z.
Stated as shown in the paper; required for the induction of representations.

pith-pipeline@v0.9.0 · 5499 in / 1632 out tokens · 39556 ms · 2026-05-10T16:37:43.354027+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

25 extracted references · 2 canonical work pages

[1]

and Saurabh B., Topological Invariance of Quantum Homogeneous Spaces of Type B and D, arXiv:2406.19074v1, 2024

Bhuva A., Biswas S. and Saurabh B., Topological Invariance of Quantum Homogeneous Spaces of Type B and D, arXiv:2406.19074v1, 2024

work page arXiv 2024
[2]

Chakraborty P. S. and Pal A., Characterization ofSU q(l+ 1)-equivariant spectral triples for the odd dimensional quantum spheres,J. Reine Angew. Math.623(2008), 25–42

2008
[3]

Chakraborty P. S. and Sundar S.,K-groups of the quantum homogeneous space SUq(n)/SUq(n−2),Pacific J. Math.252(2011), no. 2, 275–292

2011
[4]

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

1994
[5]

Exel R., Inverse Semigroups and CombinatorialC ∗-algebras,Bull. Braz. Math. Soc. (N.S.) 39(2008), no. 2, 191–313

2008
[6]

and Pardo E., The tight groupoid of an inverse semigroup,Semigroup Forum92 (2016), no

Exel R. and Pardo E., The tight groupoid of an inverse semigroup,Semigroup Forum92 (2016), no. 1, 274–303

2016
[7]

Hong J. H. and Szymanski W., Quantum Spheres and Projective Spaces as Graph Alge- bras,Comm. Math. Phys.232(2002), no. 1, 157–188

2002
[8]

L.,General Topology, Springer-Verlag, New York, 1975

Kelley J. L.,General Topology, Springer-Verlag, New York, 1975

1975
[9]

and Schm¨ udgen K.,Quantum Groups and Their Representations, Theoretical and Mathematical Physics, Springer-Verlag, Berlin, 1997

Klimyk A. and Schm¨ udgen K.,Quantum Groups and Their Representations, Theoretical and Mathematical Physics, Springer-Verlag, Berlin, 1997

1997
[10]

and Soibelman Y.S.,Algebras of functions on quantum groups, Part I, volume 56 of Mathematical Surveys and Monographs, American Mathematical Society, Providence, RI, 1998

Korogodski L.I. and Soibelman Y.S.,Algebras of functions on quantum groups, Part I, volume 56 of Mathematical Surveys and Monographs, American Mathematical Society, Providence, RI, 1998. 37

1998
[11]

M., Some Permanence Properties of Exact Groupoids,Houston J

Lalonde S. M., Some Permanence Properties of Exact Groupoids,Houston J. Math.46 (2020), no. 1, 151–187

2020
[12]

Christopher Lance, The compact quantum groupSO(3) q, J

E. Christopher Lance, The compact quantum groupSO(3) q, J. Operator Theory 40 (1998), no. 2, 295-307

1998
[13]

S., Renault J

Muhly P. S., Renault J. N. and Williams D. P., Equivalence and isomorphism of groupoid C∗-algebras,J. Operator Theory17(1987), no. 1, 3–22

1987
[14]

Paterson A. L. T.,Groupoids, Inverse Semigroups and their Operator Algebras, Progress in Mathematics, 170. Birkh¨ auser Boston, Inc., Boston, MA, 1999

1999
[15]

Podkolzin G. B. and Vainerman L. I., Quantum Stiefel manifold and double cosets of quantum unitary group,Pacific J. Math.188(1999), no. 1, 179–199

1999
[16]

Springer, Berlin, 1980

Renault J.,A Groupoid Approach toC ∗-algebras, Lecture Notes in Mathematics, 793. Springer, Berlin, 1980

1980
[17]

Indian Acad

Saurabh B., Quantum quaternion spheres,Proc. Indian Acad. Sci. Math. Sci.127(2017), no. 1, 133–164

2017
[18]

Math.288 (2017), no

Saurabh B., Topological invariance of quantum quaternion spheres,Pacific J. Math.288 (2017), no. 2, 435-452

2017
[19]

Saurabh B.,C(SO q(2n+1)/SO q(2n−1)) as iterated torsioned quantum double suspensions ofC(T), arXiv:2602.17075v1, 2026

work page arXiv 2026
[20]

Sheu A. J. L., Compact Quantum Groups and GroupoidC ∗-algebras,J. Funct. Anal. 144(1997), no. 2, 371–393

1997
[21]

Sheu A. J. L., Quantum Spheres as GroupoidC ∗-algebras,Quart. J. Math. Oxford Ser. (2)48(1997), no. 192, 503–510

1997
[22]

Math.5(2012), no

Sundar S., Inverse Semigroup and the Cuntz-Li algebras,M¨ unster J. Math.5(2012), no. 1, 151–181

2012
[23]

Sundar S., Inverse Semigroups and Sheu’s Groupoid forn-dimensional Quantum Sphere, Canad. Math. Bull.56(2013), no. 3, 630–639

2013
[24]

Vaksman L. L. and Soibelman Ya. S., Algebra of functions on the quantum groupSU(n+1) and odd-dimensional quantum spheres,Leningrad Math. J.2(1991), no. 5, 1023–1042

1991
[25]

P.,A Toolkit of GroupoidC ∗-algebras, Mathematical Surveys and Mono- graphs, 241

Williams D. P.,A Toolkit of GroupoidC ∗-algebras, Mathematical Surveys and Mono- graphs, 241. American Mathematical Society, Providence, RI, 2019. 38 Shreema Subhash Bhatt(shreemab@iitgn.ac.in,shreemabhatt3@gmail.com) Indian Statistical Institute Bangalore, Stat. Math. Unit, R.V. College Post, Bengaluru 560059, India Vinay Deshpande(deshpandevinay@iitgn.a...

2019