pith. sign in

arxiv: 2604.10047 · v3 · pith:DILPVRVSnew · submitted 2026-04-11 · 🧮 math.OA

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

Shreema Subhash Bhatt , Vinay Deshpande , Bipul Saurabh This is my paper

Pith reviewed 2026-05-21 01:29 UTC · model grok-4.3

classification 🧮 math.OA
keywords quantum homogeneous spacesgroupoid C*-algebrasinverse semigroupstight groupoidsSO_q(4)irreducible representationsSoibelman representations
0
0 comments X

The pith

The C*-algebra C(SO_q(4)/SO_q(2)) equals the C*-algebra of the tight groupoid built from the inverse semigroup of classical generators.

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

The paper proves an isomorphism between the C*-algebra of the quantum homogeneous space SO_q(4)/SO_q(2) and the groupoid C*-algebra coming from the tight groupoid of an inverse semigroup generated by the standard generators of the classical limit SO_0(4)/SO_0(2). It further shows that the unit space has four locally closed orbits whose isotropy groups are copies of the integers, so all irreducible representations arise by induction from representations of C*(Z) parametrized by the circle. A reader cares because the result gives an explicit groupoid model for a quantum C*-algebra, identifies its irreducible representations with the known Soibelman family, and shows the construction works without q-dependent changes to the semigroup.

Core claim

C(SO_q(4)/SO_q(2)) is isomorphic to C*(G_tight), where G_tight is the tight groupoid associated to the inverse semigroup generated by the standard generators of C(SO_0(4)/SO_0(2)). All four orbits of the unit space are locally closed with isotropy groups isomorphic to Z. Every irreducible representation of C*(G_tight) is therefore induced from an irreducible representation of C*(Z) parametrized by T, and these representations are equivalent to the Soibelman irreducible representations of the quantum algebra.

What carries the argument

The tight groupoid G_tight of the inverse semigroup generated by the classical generators, which encodes the relations that survive quantization and produces the four families of induced representations.

If this is right

  • The irreducible representations of C(SO_q(4)/SO_q(2)) fall into four families, each parametrized by the circle T.
  • Each such representation is induced from a one-dimensional representation of the integers.
  • The unit space decomposes into exactly four locally closed orbits under the groupoid action.
  • Equivalence with the Soibelman representations supplies an explicit description of the spectrum of the quantum algebra.

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 route may produce groupoid models for other quantum homogeneous spaces whose classical limits have known generators.
  • K-theory or trace computations on these quantum algebras could become simpler once the groupoid presentation is available.
  • Varying the deformation parameter q or testing other compact quantum groups would show how widely the isomorphism persists.
  • The construction supplies a concrete noncommutative model for a quantized orbit space that can be studied with standard groupoid techniques.

Load-bearing premise

The inverse semigroup generated by the classical generators produces a tight groupoid whose C*-algebra remains isomorphic to the quantum deformation without any q-dependent modifications to the semigroup relations or the tightness condition.

What would settle it

Compute the spectrum of both algebras and check whether every Soibelman representation parametrized by a point of T is unitarily equivalent to an induced representation from C*(Z); a mismatch for any parameter value would falsify the isomorphism.

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.

Referee Report

1 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 arising from the inverse semigroup generated by the standard generators of the classical limit C(SO_0(4)/SO_0(2)). It establishes that the four orbits in the unit space are locally closed with isotropy groups isomorphic to Z, shows that every irreducible representation of C*(G_tight) is induced from an irreducible representation of C*(Z) parametrized by T, and explicitly constructs equivalences between these four families of representations and the corresponding Soibelman irreducible representations of the quantum homogeneous space.

Significance. If the isomorphism holds, the result supplies an explicit groupoid model for this quantum homogeneous space, reducing the description of its irreducible representations to induced representations from C*(Z) and providing a direct dictionary with the classical Soibelman family. The explicit construction of the equivalence maps between the induced representations and the Soibelman ones is a concrete strength that makes the identification falsifiable at the level of the spectrum.

major comments (1)
  1. The central isomorphism is asserted to hold for the given q without q-dependent adjustments to the inverse semigroup or the tightness condition. While the abstract indicates that this is verified by matching the four families of Soibelman irreps, the manuscript should clarify in the main argument (likely around the orbit analysis and induction steps) whether the C*-relations enforced by G_tight automatically reproduce the q-deformed commutation relations of C(SO_q(4)/SO_q(2)) or whether an additional verification step is required.
minor comments (2)
  1. Notation for the inverse semigroup and the tight groupoid G_tight should be introduced with a brief reminder of the standard generators of C(SO_0(4)/SO_0(2)) to make the construction self-contained.
  2. The statement that 'all four orbits are locally closed' would benefit from an explicit reference to the topology on the unit space in which local closedness is verified.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive recommendation of minor revision and for highlighting the need for greater clarity on how the groupoid construction interacts with the q-deformed relations. We address the major comment below.

read point-by-point responses

  1. Referee: The central isomorphism is asserted to hold for the given q without q-dependent adjustments to the inverse semigroup or the tightness condition. While the abstract indicates that this is verified by matching the four families of Soibelman irreps, the manuscript should clarify in the main argument (likely around the orbit analysis and induction steps) whether the C*-relations enforced by G_tight automatically reproduce the q-deformed commutation relations of C(SO_q(4)/SO_q(2)) or whether an additional verification step is required.

    Authors: The inverse semigroup is generated by the standard generators of the classical limit C(SO_0(4)/SO_0(2)), which obey the same algebraic relations that persist in the quantum setting for this homogeneous space. The tightness condition is the standard one from inverse semigroup theory and carries no q-dependence. Consequently, the C*-algebra C*(G_tight) is the universal C*-algebra generated by the corresponding partial isometries subject to the semigroup relations and the tightness condition. These are precisely the relations satisfied by the Soibelman representations of C(SO_q(4)/SO_q(2)). The explicit equivalence maps constructed between the four families of induced representations (from the isotropy groups isomorphic to Z) and the Soibelman irreps therefore establish that the natural *-homomorphism C*(G_tight) → C(SO_q(4)/SO_q(2)) is an isomorphism. We will add a short clarifying paragraph immediately after the orbit analysis (Section 3) stating that the relations are reproduced automatically by the choice of generators and that the representation-matching step suffices to conclude the isomorphism, with no separate q-dependent verification required. revision: yes

Circularity Check

0 steps flagged

No significant circularity; explicit isomorphism from classical generators via standard constructions

full rationale

The paper constructs the inverse semigroup directly from the standard generators of the classical limit C(SO_0(4)/SO_0(2)), forms the associated tight groupoid G_tight, and establishes the isomorphism C(SO_q(4)/SO_q(2)) ≅ C*(G_tight) by proving that all four orbits are locally closed, isotropy groups are isomorphic to Z, and every irrep of C*(G_tight) is induced from C*(Z) parametrized by T, with explicit equivalence to the Soibelman irreps. This chain uses only the classical generators and standard groupoid C*-algebra theory without any equations or steps that reduce the target isomorphism to a fitted parameter, self-defined quantity, or load-bearing self-citation. The q-dependence is addressed through representation matching rather than being presupposed in the semigroup or tightness condition.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on standard background results in C*-algebra theory and groupoid theory together with the assumption that the classical generators extend appropriately to the quantum case; no free parameters or new postulated entities are introduced.

axioms (2)
  • standard math Standard properties of C*-algebras, inverse semigroups, and tight groupoids hold as in the literature on groupoid C*-algebras.
    Invoked throughout the construction of G_tight and the isomorphism proof.
  • domain assumption The inverse semigroup is generated by the standard generators of the classical limit C(SO_0(4)/SO_0(2)).
    Stated in the abstract as the starting point for building G_tight.

pith-pipeline@v0.9.0 · 5730 in / 1688 out tokens · 61343 ms · 2026-05-21T01:29:16.889079+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

25 extracted references · 25 canonical work pages

  1. [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. [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

    work page 2008

  3. [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

    work page 2011

  4. [4]

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

    work page 1994

  5. [5]

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

    work page 2008

  6. [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

    work page 2016

  7. [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

    work page 2002

  8. [8]

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

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

    work page 1975

  9. [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

    work page 1997

  10. [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

    work page 1998

  11. [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

    work page 2020

  12. [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

    work page 1998

  13. [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

    work page 1987

  14. [14]

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

    work page 1999

  15. [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

    work page 1999

  16. [16]

    Springer, Berlin, 1980

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

    work page 1980

  17. [17]

    Indian Acad

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

    work page 2017

  18. [18]

    Math.288 (2017), no

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

    work page 2017

  19. [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. [20]

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

    work page 1997

  21. [21]

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

    work page 1997

  22. [22]

    Math.5(2012), no

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

    work page 2012

  23. [23]

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

    work page 2013

  24. [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

    work page 1991

  25. [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...

    work page 2019