No Arabic abstract
Given a spectral triple of compact type with a real structure in the sense of [Dabrowski L., J. Geom. Phys. 56 (2006), 86-107] (which is a modification of Connes original definition to accommodate examples coming from quantum group theory) and references therein, we prove that there is always a universal object in the category of compact quantum group acting by orientation preserving isometries (in the sense of [Bhowmick J., Goswami D., J. Funct. Anal. 257 (2009), 2530-2572]) and also preserving the real structure of the spectral triple. This gives a natural definition of quantum isometry group in the context of real spectral triples without fixing a choice of volume form as in [Bhowmick J., Goswami D., J. Funct. Anal. 257 (2009), 2530-2572].
We give a new definition of Levi-Civita connection for a noncommutative pseudo-Riemannian metric on a noncommutative manifold given by a spectral triple. We prove the existence-uniqueness result for a class of modules of one forms over a large class of noncommutative manifolds, including the matrix geometry of the fuzzy 3-sphere, the quantum Heisenberg manifolds and Connes-Landi deformations of spectral triples on the Connes-Dubois Violette-Rieffel-deformation of a compact manifold equipped with a free toral action. It is interesting to note that in the example of the quantum Heisenberg manifold, the definition of metric compatibility given in the paper by Frolich et al failed to ensure the existence of a unique Levi-Civita connection. In the case of the matrix geometry, the Levi-Civita connection that we get coincides with the unique real torsion-less unitary connection obtained by Frolich et al.
We give a new sufficient condition on a spectral triple to ensure that the quantum group of orientation and volume preserving isometries defined in cite{qorient} has a $C^*$-action on the underlying $C^*$ algebra.
We formulate a quantum group analogue of the group of orinetation-preserving Riemannian isometries of a compact Riemannian spin manifold, more generally, of a (possibly $R$-twisted in the sense of a paper of one of the authors, and of compact type) spectral triple. The main advantage of this formulation, which is directly in terms of the Dirac operator, is that it does not need the existence of any `good Laplacian as in our previous works on quantum isometry groups. Several interesting examples, including those coming from Rieffel-type deformation as well as the equivariant spectral triples on $SU_mu(2)$ and $S^2_{mu 0}$ are dicussed.
In this follow-up of the article: Quantum Group of Isometries in Classical and Noncommutative Geometry(arXiv:0704.0041) by Goswami, where quantum isometry group of a noncommutative manifold has been defined, we explicitly compute such quantum groups for a number of classical as well as noncommutative manifolds including the spheres and the tori. It is also proved that the quantum isometry group of an isospectral deformation of a (classical or noncommutative) manifold is a suitable deformation of the quantum isometry group of the original (undeformed) manifold.
We prove that a compact quantum group with faithful Haar state which has a faithful action on a compact space must be a Kac algebra, with bounded antipode and the square of the antipode being identity. The main tool in proving this is the theory of ergodic quantum group action on $C^*$ algebras. Using the above fact, we also formulate a definition of isometric action of a compact quantum group on a compact metric space, generalizing the definition given by Banica for finite metric spaces, and prove for certain special class of metric spaces the existence of the universal object in the category of those compact quantum groups which act isometrically and are `bigger than the classical isometry group.