Regularity and dimension spectrum of the equivariant spectral triple for the odd-dimensional quantum spheres (Q990740)

In [\textit{P. S. Chakraborty} and \textit{A. Pal}, J. Reine Angew. Math. 623, 25--42 (2008; Zbl 1158.58003)], a generic spectral triple \(({\mathcal A}(S^{2\ell+1}_q), L_2(S^{2\ell+1}_q), D_{eq})\) for the odd-dimensional quantum sphere, a homogeneous space for the quantum group \(\text{SU}_q(\ell+ 1)\), is constructed (reviewed in this paper in \S4.2 as Theorem 4.9). In this paper, this spectral triple is shown to be regular and its dimension spectrum is computed and shown to be simple. Namely, the following Theorem is proved (\S4.5). Theorem 4.25. The triple \((C^\infty(S^{2\ell+1}_q),{\mathcal H}_\Sigma, D_{eq})\) is a regular spectral triple with simple dimension spectrum \(\{1,2,\dots, 2\ell+ 1\}\). Here, \(C^\infty(S^{2\ell+1}_q)\) is a dense Fréchet \(C^*\)-algebra of \(C_\ell= \pi(C(S^{2\ell+1}_q)\) (\S4.5). \(\pi\) is the representation of \(C(S^{2\ell+1}_q)\) on \[ {\mathcal H}_\Sigma= \undersetbrace \ell\to{\ell_2(\mathbb{N}\otimes\cdots\otimes\ell_2(\mathbb{N})}\otimes\ell_2(\mathbb{Z})\otimes \undersetbrace \ell\to{\ell_2(\mathbb{N})\otimes\cdots \otimes \ell_2(\mathbb{N})}. \] \({\mathcal H}_\Sigma\) is unitary equivalent to \(L_2(S^{2\ell+1}_q)\). Definition of regular spectral triple and topological tensor product of regular spectral triple are reviewed in \S2 according to \textit{A. Connes} and \textit{H. Moscovici} [Geom. Funct. Anal. 5, No. 2, 174--243 (1995; Zbl 0960.46048)]. Proof of Theorem 4.25 follows the idea of Connes for \(\text{SU}_q(2)\) [\textit{A. Connes}, J. Inst. Math. Jussieu 3, No. 1, 17-68 (2004; Zbl 1074.58012), cf. \textit{P. S. Chakraborty} and \textit{A. Pal}, K-Theory 28, No. 2, 107--126 (2003; Zbl 1028.58005)]. The torus group \(\mathbb{T}^{\ell+1}\) acts naturally on \(C(S^{2\ell+1}_q)\). From this action, a faithful representation \(\pi_\ell\) of \(C(S^{2\ell+1}_q)\) on \[ {\mathcal H}_\ell= \undersetbrace \ell\to{\ell_2(\mathbb{N}\otimes\cdots \otimes\ell_2(\mathbb{N})}\otimes \ell_2(\mathbb{Z}), \] is obtained. Let \(A_\ell(q)\) be \(\pi_\ell(C(S^{2\ell+ 1}_q))\). Then since the sequence \[ 0\to{\mathcal K}(\ell_2(\mathbb{N}^\ell)) \otimes C(\mathbb{T})\to A_\ell\to A_{\ell-1}\to 0, \] where \({\mathcal K}\) means the algebra of compact operators, is exact [cf. \textit{L. B. Schweitzer}, Int. J. Math. 4, No. 2, 289--317 (1993; Zbl 0804.46081)], regularity of the spectral triple \(({\mathcal A}^\infty_\ell,{\mathcal H}_\ell, D_\ell)\) is inductively proved and its dimensional spectrum is shown to be \(\{1,\dots,\ell+ 1\}\) and simple [Prop.3.9. cf \textit{P. S. Chakraborty} and \textit{A. Pal}, Lett. Math. Phys. 80, No. 1, 57--68 (2007; Zbl 1114.58005)]. Theorem 4.25 is proved by Prop.3.9, representation of \(\text{SU}_q(\ell+1)\) [cf. \textit{S. L. Woronowicz}, Invent. Math. 93, No. 1, 35--76 (1988; Zbl 0664.58044)] and precise study of the restriction of the left multiplication to \(C(\text{SU}_q(\ell+ 1)\setminus\text{SU}_q(\ell))\cong C(S^{2\ell+ 1}_q)\), which is given in the last subsection \S4.6.