We propose a slight modification of the properties of a spectral geometry a la Connes, which allows for some of the algebraic relations to be satisfied only modulo compact operators. On the equatorial Podles sphere we construct suq2-equivariant Dirac operator and real structure which satisfy these modified properties.
A wide class of noncommutative spaces, including 4-spheres based on all the quantum 2-spheres and suspensions of matrix quantum groups is described. For each such space a noncommutative vector bundle is constructed. This generalises and clarifies various recent constructions of noncommutative 4-spheres.
Using principles of quantum symmetries we derive the algebraic part of the real spectral triple data for the standard Podleś quantum sphere: equivariant representation, chiral grading $γ$, reality structure $J$ and the Dirac operator $D$, which has bounded commutators with the elements of the algebra and satisfies the first order condition.
We discuss spectral properties of the equatorial Podles sphere. As a preparation we also study the `degenerate' (i.e. $q=0$) case (related to the quantum disk). We consider two different spectral triples: one related to the Fock representation of the Toeplitz algebra and the isopectral one. After the identification of the smooth pre-$C^*$-algebra we compute the dimension spectrum and residues. We check the nontriviality of the (noncommutative) Chern character of the associated Fredholm modules by computing the pairing with the fundamental projector of the $C^*$-algebra (the nontrivial generato…
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.
The fundamental Hochschild cohomology class of the standard Podles quantum sphere is expressed in terms of the spectral triple of Dabrowski and Sitarz by means of a residue formula.
Building on the now established presentation of the standard Podles sphere as an example of a noncommutative complex structure, we investigate how its classical Kahler geometry behaves under $q$-deformation. Discussed are noncommutative versions of Hodge decomposition, Lefschetz decomposition, the Kahler identities, and the refinement of de Rham cohomology by Dolbeault cohomology
The dual coalgebra of Podleś' quantum sphere O_q(S^2_c) is determined explicitly. This result is used to classify all finite dimensional covariant first order differential calculi over O_q(S^2_c) for all but exceptional values of the parameter c.
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.
We give an explicit form of the symplectic groupoid that integrates the semiclassical standard Podles sphere. We show that Sheu's groupoid, whose convolution C*-algebra quantizes the sphere, appears as the groupoid of the Bohr-Sommerfeld leaves of a (singular) real polarization of the symplectic groupoid. By using a complex polarization we recover the convolution algebra on the space of polarized sections. We stress the role of the modular class in the definition of the scalar product in order to get the correct quantum space.
The cup and cap product in twisted Hochschild (co)homology is computed for the standard quantum 2-sphere and used to construct a cyclic 2-cocycle that represents the fundamental Hochschild class.
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.
It is shown that the isospectral bi-equivariant spectral triple on quantum SU(2) and the isospectral equivariant spectral triples on the Podles spheres are related by restriction. In this approach, the equatorial Podles sphere is distinguished because only in this case the restricted spectral triple admits an equivariant grading operator together with a real structure (up to infinitesimals of arbitrary high order). The real structure is expressed by the Tomita operator on quantum SU(2) and it is shown that the failure of the real structure to satisfy the commutant property is related to the fa…
We show that the family of Podles' spheres is complete under equivariant Morita equivalence (with respect to the action of quantum SU(2)), and determine the associated orbits. We also give explicit formulas for the actions which are equivariantly Morita equivalent with the quantum projective plane. In both cases, the computations are made by examining the localized spectral decomposition of a generalized Casimir element.
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}.
We construct spectral triples on all Podles quantum spheres. These noncommutative geometries are equivariant for a left action of $U_q(su(2))$ and are regular, even and of metric dimension 2. They are all isospectral to the undeformed round geometry of the 2-sphere. There is also an equivariant real structure for which both the commutant property and the first order condition for the Dirac operators are valid up to infinitesimals of arbitrary order.
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 construct new families of spectral triples over quantum spheres, with a particular attention focused on the standard Podles quantum sphere and twisted Dirac operators.
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…
The purpose of the paper is twofold: First, known results of the noncommutative spin geometry of the standard Podles sphere are extended by discussing Poincare duality and orientability. In the discussion of orientability, Hochschild homology is replaced by a twisted version which avoids the dimension drop. The twisted Hochschild cycle representing an orientation is related to the volume form of the distinguished covariant differential calculus. Integration over the volume form defines a twisted cyclic 2-cocycle which computes the q-winding numbers of quantum line bundles. Second, a "twisted" …
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…
Whereas the classical sphere $C P^1$ can be defined as the coordinate algebra generated by the matrix entries of a projector $e$ with $\trace(e)=1$, the fuzzy-sphere is defined in the same way by $\trace(e)=1+λ$. We show that the standard $q$-sphere is similarly defined by $\trace_q(e)=1$ and the Podles 2-spheres by $\trace_q(e)=1+λ$, thereby giving a unified point of view in which the 2-parameter Podles spheres are $q$-fuzzy spheres. We show further that they arise geometrically as `constant time slices' of the unit hyperboloid in $q$-Minkowski space viewed as the braided group $B_q[SU_2]$. T…
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.
Using non canonical braidings, we first introduce a notion of symmetric tensors and corresponding Hodge operators on a class of left covariant 3d differential calculi over the quantum SU(2) group, then we induce Hodge operators on the left covariant 2d exterior algebras over the standard Podles quantum sphere.
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 study a three-dimensional differential calculus on the standard Podles quantum two-sphere S^2_q, coming from the Woronowicz 4D+ differential calculus on the quantum group SU_q(2). We use a frame bundle approach to give an explicit description of the space of forms on S^2_q and its associated spin geometry in terms of a natural spectral triple over S^2_q. We equip this spectral triple with a real structure for which the commutant property and the first order condition are satisfied up to infinitesimals of arbitrary order.
We construct the action of the quantum double of $\uq$ on the standard Podleś sphere and interpret it as the quantum projective formula generalizing to the q-deformed setting the action of the Lorentz group of global conformal transformations on the ordinary Riemann sphere.
We describe the quantum sphere of Podleś for $c=0$ by means of a stereographic projection which is analogous to that which exhibits the classical sphere as a complex manifold. We show that the algebra of functions and the differential calculus on the sphere are covariant under the coaction of fractional transformations with \SU coefficients as well as under the action of \SU vector fields. Going to the classical limit we obtain the Poisson sphere. Finally, we study the invariant integration of functions on the sphere and find its relation with the translationally invariant integration on the c…
An algebraic framework for noncommutative bundles with (quantum) homogeneous fibres is proposed. The framework relies on the use of principal coalgebra extensions which play the role of principal bundles in noncommutative geometry which might be additionally equipped with a Hopf algebra symmetry. The proposed framework is supported by two examples of noncommutative $\mathbb{C} P_q^1$-bundles: the quantum flag manifold viewed as a bundle with a generic Podleś sphere as a fibre, and the quantum twistor bundle viewed as a bundle over the quantum 4-sphere of Bonechi, Ciccoli and Tarlini.
We study covariant differential calculus on the quantum spheres S_q^{N-1} which are quantum homogeneous spaces with coactions of the quantum groups O_q(N). The first part of the paper is devoted to first order differential calculus. A classification result is proved which says that for N>=6 there exist exactly two covariant first order differential calculi on S_q^{N-1} which satisfy the classification constraint that the bimodule of one-forms is generated as a free left module by the differentials of the generators of S_q^{N-1}. Both calculi exist also for 3<=N<=5. The same calculi can be cons…
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 …