We construct compact quantum metric spaces (CQMS) starting with some C*algebra extension with a positive splitting. As special cases we discuss the case of Toeplitz algebra, quantum SU(2) and Podles sphere.
We prove that the Podles spheres $S_q^2$ converge in quantum Gromov-Hausdorff distance to the classical 2-sphere as the deformation parameter $q$ tends to 1. Moreover, we construct a $q$-deformed analogue of the fuzzy spheres, and prove that they converge to $S_q^2$ as their linear dimension tends to infinity, thus providing a quantum counterpart to a classical result of Rieffel.
We study the spectral metric aspects of the standard Podles sphere, which is a homogeneous space for quantum SU(2). The point of departure is the real equivariant spectral triple investigated by Dabrowski and Sitarz. The Dirac operator of this spectral triple interprets the standard Podles sphere as a 0-dimensional space and is therefore not isospectral to the Dirac operator on the 2-sphere. We show that the seminorm coming from commutators with this Dirac operator provides the Podles sphere with the structure of a compact quantum metric space in the sense of Rieffel.
Hilbert space representations of the cross product *-algebra of the Hopf *-algebra U_q(su_2) and its module *-algebras O(S^2_{qc}) of Podles' spheres are studied. Two classes of representations are described by explicit formulas for the actions of the generators.
A Dirac operator D on the standard Podles sphere is defined and investigated. It yields a spectral triple such that |D|^{-z} is of trace class for Re z>0. Commutators with the Dirac operator give the distinguished 2-dimensional covariant differential calculus on the standard Podles sphere. The twisted cyclic cocycle associated with the volume form of the differential calculus is expressed by means of the Dirac operator.
For $μ\in (0,1), c> 0,$ we identify the quantum group $SO_μ(3)$ as the universal object in the category of compact quantum groups acting by `orientation and volume preserving isometries' in the sense of \cite{goswami2} on the natural spectral triple on the Podles sphere $S^2_{μ, c}$ constructed by Dabrowski, D'Andrea, Landi and Wagner in \cite{Dabrowski_et_al}.
Starting with the braided quantum group $\operatorname{SU}_q(2)$ for a complex deformation parameter $q$ we perform the construction of the quotient $\operatorname{SU}_q(2)/\mathbb{T}$ which serves as a model of a quantum sphere. Then we follow the reasoning of Podleś who for real $q$ classified quantum spaces with the action of $\operatorname{SU}_q(2)$ with appropriate spectral properties. These properties can also be expressed in the context of the braided quantum $\operatorname{SU}_q(2)$ (with complex $q$) and we find that they lead to precisely the same family of quantum spaces as found by…
We calculate the twisted Hochschild and cyclic homology (in the sense of Kustermans, Murphy and Tuset) of all Podles quantum spheres relative to arbitary automorphisms. Our calculations are based on a free resolution due to Masuda, Nakagami and Watanabe. The dimension drop in Hochschild homology can be overcome by twisting by automorphisms induced from the canonical modular automorphism associated to the Haar state on quantum SU(2). We specialize our results to the standard quantum sphere, and identify the class in twisted cyclic cohomology of the 2-cocycle discovered by Schmuedgen and Wagner …
We give a new definition of dimension spectrum for non-regular spectral triples and compute the exact (i.e. non only the asymptotics) heat-trace of standard Podles spheres $S^2_q$ for $0<q<1$, study its behavior when $q\to 1$ and fully compute its exact spectral action for an explicit class of cut-off functions.
We continue the investigation of twisted homology theories in the context of dimension drop phenomena. This work unifies previous equivariant index calculations in twisted cyclic cohomology. We do this by proving the existence of the resolvent cocycle, a finitely summable analogue of the JLO cocycle, under weaker smoothness hypotheses and in the more general setting of `modular' spectral triples. As an application we show that using our twisted resolvent cocycle, we can obtain a local index formula for the Podles sphere. The resulting twisted cyclic cocycle has non-vanishing Hochschild class w…
Hilbert space representations of the cross product *-algebras of the Hopf *-algebra U_q(su_2) and its module *-algebras O(S^2_{qr}) of Podles spheres are investigated and classified by describing the action of generators. The representations are analyzed within two approaches. It is shown that the Hopf *-algebra O(SU_q(2)) of the quantum group SU_q(2) decomposes into an orthogonal sum of projective Hopf modules corresponding to irreducible integrable *-representations of the cross product algebras and that each irreducible integrable *-representation appears with multiplicity one. The projecti…
We define the $C^*$-algebra of quantum real projective space $\R P_q^2$, classify its irreducible representations and compute its $K$-theory. We also show that the $q$-disc of Klimek-Lesniewski can be obtained as a non-Galois $\Z_2$-quotient of the equator Podleś quantum sphere. On the way, we provide the Cartesian coordinates for all Podleś quantum spheres and determine an explicit form of isomorphisms between the $C^*$-algebras of the equilateral spheres and the $C^*$-algebra of the equator one.
We define even dimensional quantum spheres Sigma_q^2n that generalize to higher dimension the standard quantum two-sphere of Podle's and the four-sphere Sigma_q^4 obtained in the quantization of the Hopf bundle. The construction relies on an iterated Poisson double suspension of the standard Podle's two-sphere. The Poisson spheres that we get have the same symplectic foliation consisting of a degenerate point and a symplectic plane and, after quantization, have the same C^*-algebraic completion. We investigate their K-homology and K-theory by introducing Fredholm modules and projectors.
We consider two Z/2Z-actions on the Podles generic quantum spheres. They yield, as noncommutative quotient spaces, the Klimek-Lesniewski q-disc and the quantum real projective space, respectively. The C*-algebras of all these quantum spaces are described as graph C*-algebras. The K-groups of the thus presented C*-algebras are then easily determined from the general theory of graph C*-algebras. For the quantum real projective space, we also recall the classification of the classes of irreducible *-representations of its algebra and give a linear basis for this algebra.
The Podles quantum sphere S^2_q admits a natural commutative C*-subalgebra I_q with spectrum {0} \cup {q^{2k}: k = 0,1,2,...}, which may therefore be considered as a quantised version of a classical interval. We study here the compact quantum metric space structure on I_q inherited from the corresponding structure on S^2_q, and provide an explicit formula for the metric induced on the spectrum. Moreover, we show that the resulting metric spaces vary continuously in the deformation parameter q with respect to the Gromov-Hausdorff distance, and that they converge to a classical interval of lengt…
We consider three quantum algebras: the q-oscillator algebra, the Podles' sphere and the q-deformed enveloping algebra of $su(2).$ To each of these *-algebras we associate certain partial dynamical system and perform the "Mackey analysis" of *-representations developed in [SS]. As a result we get the description of "standard" irreducible *-representations. Further, for each of these examples we show the existence of a "$C^*$-envelope" which is canonically isomorphic to the covariance $C^*$-algebra of the partial dynamical system. Finally, for the q-oscillator algebra and the q-deformed $\cU(su…
We show that for any co-amenable compact quantum group A=C(G) there exists a unique compact Hausdorff topology on the set EA of isomorphism classes of ergodic actions of G such that the following holds: for any continuous field of ergodic actions of G over a locally compact Hausdorff space T the map T->EA sending each t in T to the isomorphism class of the fibre at t is continuous if and only if the function counting the multiplicity of gamma in each fibre is continuous over T for every equivalence class gamma of irreducible unitary representations of G. Generalizations for arbitrary compact q…
For a unital C*-algebra A, which is equipped with a spectral triple and an extension T of A by the compacts, we construct a family of spectral triples associated to T and depending on the two positive parameters (s,t). Using Rieffel's notation of quantum Gromov-Hausdorff distance between compact quantum metric spaces it is possible to define a metric on this family of spectral triples, and we show that the distance between a pair of spectral triples varies continuously with respect to the parameters. It turns out that a spectral triple associated to the unitarization of the algebra of compact …