Topological invariance of quantum quaternion spheres

Ext and (K)-homology (19K33) Quantum groups (quantized function algebras) and their representations (20G42) (K)-theory and operator algebras (including cyclic theory) (46L80) Other ``noncommutative mathematics based on (C^*)-algebra theory (46L89) Noncommutative geometry (à la Connes) (58B34)

Abstract: The

C^{*}

-algebra of continuous functions on the quantum quaternion sphere

H_{q}^{2 n}

can be identified with the quotient algebra

C (S P_{q} (2 n) / S P_{q} (2 n - 2))

. In commutative case i.e. for

q = 1

, the topological space

S P (2 n) / S P (2 n - 2)

is homeomorphic to the odd dimensional sphere

S^{4 n - 1}

. In this paper, we prove the noncommutative analogue of this result. Using homogeneous

C^{*}

-extension theory, we prove that the

C^{*}

-algebra

C (H_{q}^{2 n})

is isomorphic to the

C^{*}

-algebra

C (S_{q}^{4 n - 1})

. This further implies that for different values of

q i n [0, 1)

, the

C^{*}

-algebras underlying the noncommutative space

H_{q}^{2 n}

are isomorphic.

Review text

This paper is about what the author calls the \textit{quantum quaternion sphere} \(C(H_q^{2n})\), which is defined by certain generators and relations, and was shown in [\textit{B. Saurabh}, Proc. Indian Acad. Sci., Math. Sci. 127, No. 1, 133--164 (2017; Zbl 1370.58002)] to be the same as the \(C^*\)-algebra generated by the elements of the first and last row of the fundamental matrix of the quantum symplectic group (what the author calls \(SP_q(2n)\) but what most people would denote \(Sp_q(n)\)). The main result (Theorem 4.5) is that \(C(H_q^{2n})\) is isomorphic to the usual quantum sphere \(C(S^{4n-1}_q)\). Thus up to isomorphism as a \(C^*\)-algebra it does not depend on the choice of \(q\) in \([0, 1)\).

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Topological invariance of quantum quaternion spheres

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2397679)