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.
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.
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.
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.
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.
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.
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 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 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.
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.
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 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.
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.
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 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…
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 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 construct new families of spectral triples over quantum spheres, with a particular attention focused on the standard Podles quantum sphere and twisted Dirac operators.
A Dirac operator D on quantized irreducible generalized flag manifolds is defined. This yields a Hilbert space realization of the covariant first-order differential calculi constructed by I. Heckenberger and S. Kolb. All differentials df=i[D,f] are bounded operators. In the simplest case of Podles' quantum sphere one obtains the spectral triple found by L. Dabrowski and A. Sitarz.
The quantum flag manifold ${SU_q(3)/\mathbb{T}^2}$ is interpreted as a noncommutative bundle over the quantum complex projective plane with the quantum or Podleś sphere as a fibre. A connection arising from the (associated) quantum principal $U_q(2)$-bundle is described.
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…
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.
The Noncommutative Index Theorem is used to prove that the Chern character of quantum Hopf line bundles over the standard Podles quantum sphere equals the winding number of the representations defining these bundles. This result gives an estimate of the positive cone of the algebraic $K_0$ of the standard quantum sphere.
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…
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.
We construct a Dirac operator on the quantum sphere $S^2_q$ which is covariant under the action of $SU_q(2)$. It reduces to Watamuras' Dirac operator on the fuzzy sphere when $q\to 1$. We argue that our Dirac operator may be useful in constructing $SU_q(2)$ invariant field theories on $S^2_q$ following the Connes-Lott approach to noncommutative geometry.
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 investigate the spin $1/2$ fermions on quantum two spheres. It is shown that the wave functions of fermions and a Dirac Operator on quantum two spheres can be constructed in a manifestly covariant way under the quantum group $SU(2)_q$. The concept of total angular momentum and chirality can be expressed by using $q$-analog of Pauli-matrices and appropriate commutation relations.
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.
The derivations of a left coideal subalgebra B of a Hopf algebra A which are compatible with the comultiplication of A (that is, the covariant first order differential calculi, as defined by Woronowicz, on a quantum homogeneous space) are related to certain right ideals of B. The correspondence is one-to-one if A is faithfully flat as a right B-module. This generalizes the result for B=A due to Woronowicz. A definition for the dimension of a first order differential calculus at a classical point is given. For the quantum 2-sphere S(q,c) of Podles under the assumptions "q is not a root of unity…
Equivariance under the action of Uq(so(5)) is used to compute the left regular and (chiral) spinorial representations of the algebra of the orthogonal quantum 4-sphere S^4_q. These representations are the constituents of a spectral triple on this sphere with a Dirac operator which is isospectral to the canonical one on the round undeformed four-sphere and which gives metric dimension four for the noncommutative geometry. Non-triviality of the geometry is proved by pairing the associated Fredholm module with an `instanton' projection. We also introduce a real structure which satisfies all requi…
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…
Definition of Dirac operators on the quantum group $SU_{q}(2)$ and the quantum sphere $S^{2}_{q μ}$ are discussed. In both cases similar $SU_{q}(2)$-invariant form is obtained. It is connected with corresponding Laplace operators.
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…
It is shown that the non-commutative three-sphere introduced by Matsumoto is a total space of the quantum Hopf bundle over the classical two-sphere. A canonical connection is constructed, and is shown to coincide with the standard Dirac magnetic monopole.
The spin 1/2 Dirac operator and its chirality operator on the fuzzy 2-sphere $S^2_F$ can be constructed using the Ginsparg-Wilson(GW) algebra [arxiv:hep-th/0511114]. This construction actually exists for any spin $j$ on $S^2_F$, and have continuum analogues as well on the commutative sphere $S^2$ or on $\mathbb{R}^{2}$. This is a remarkable fact and has no known analogue in higher dimensional Minkowski spaces. We study such operators on $S^2_F$ and the commutative $S^2$ and formulate criteria for the existence of the limit from the former to the latter. This singles out certain fuzzy versions …
We construct a Connes spectral triple or `Dirac operator' on the non-reduced fuzzy sphere $C_λ[S^2]$ as realised using quantum Riemannian geometry with a central quantum metric $g$ of Euclidean signature and its associated quantum Levi-Civita connection. The Dirac operator is characterised uniquely up to unitary equivalence within our quantum Riemannian geometric setting and an assumption that the spinor bundle is trivial and rank 2 with a central basis. The spectral triple has KO dimension 3 and in the case of the round metric, essentially recovers a previous proposal motivated by rotational …
We investigate the leading terms of the spectral action for odd-dimensional Riemannian spin manifolds with the Dirac operator perturbed by a scalar function. We calculate first two Gilkey-de Witt coefficients and make explicit calculations for the case of $n$-spheres with a completely symmetric Dirac. In the special case of dimension 3, when such perturbation corresponds to the completely antisymmetric torsion we carry out the noncommutative calculation following Chamseddine and Connes and study the case of $SU_q(2)$.
We formulate the notion of equivariance of an operator with respect to a covariant representation of a C^*-dynamical system. We then use a combinatorial technique used by the authors earlier in characterizing spectral triples for SU_q(2) to investigate equivariant spectral triples for two classes of spaces: the quantum groups SU_q(\ell+1) for \ell>1, and the odd dimensional quantum spheres S_q^{2\ell+1} of Vaksman & Soibelman. In the former case, a precise characterization of the sign and the singular values of an equivariant Dirac operator acting on the L_2 space is obtained. Using this, we t…
We find that there is an alternative possibility to define the chirality operator on the fuzzy sphere, due to the ambiguity of the operator ordering. Adopting this new chirality operator and the corresponding Dirac operator, we define Connes' spectral triple on the fuzzy sphere and the differential calculus. The differential calculus based on this new spectral triple is simplified considerably. Using this formulation the action of the scalar field is derived.
The (left coalgebra) line bundle associated to the quantum Hopf fibration of any quantum two-sphere is shown to be a finitely generated projective module. The corresponding projector is constructed and its monopole charge is computed. It is shown that the Dirac $q$-monopole connection on any quantum two-sphere induces the Grassmannian connection built with this projector.
