We formulate a quantum generalization of the notion of the group ofRiemannian isometries for a compact Riemannian manifold, by introducing anatural notion of smooth and isometric action by a compact quantum group on aclassical or noncommutative manifold described by spectral triples, and thenproving the existence of a universal object (called the quantum isometry group)in the category of compact quantum groups acting smoothly and isometrically ona given (possibly noncommutative) manifold satisfying certain regularityassumptions. In fact, we identify the quantum isometry group with the universalobject in a bigger category, namely the category of `quantum families of smoothisometries', defined along the line of Woronowicz and Soltan. We also constructa spectral triple on the Hilbert space of forms on a noncommutative manifoldwhich is equivariant with respect to a natural unitary representation of thequantum isometry group. We give explicit description of quantum isometry groupsof commutative and noncommutative tori, and in this context, obtain the quantumdouble torus defined in \cite{hajac} as the universal quantum group ofholomorphic isometries of the noncommutative torus.

我们通过在由谱三元组描述的经典或非对易流形上的紧凑量子群引入平滑和等距作用的自然概念，为紧凑黎曼流形制定了黎曼等距群概念的量子推广，然后证明普遍存在对象（称为量子等距群）属于紧凑量子群的范畴，它在满足某些规律性假设的给定（可能是非对易的）流形上平稳且等距地作用。事实上，我们将量子等距群与更大范畴中的通用物体识别出来，即“平滑等距的量子族”的范畴，沿着 Woronowicz 和 Soltan 的路线定义。我们还在非交换流形上的 Hilbert 形式的空间上构造了一个谱三元组，它与量子等距群的自然幺正表示是等变的。我们给出了可交换和不可交换环的量子等距群的明确描述，并在这种情况下，得到了\cite{hajac}中定义的量子双环作为非交换环的全纯等距的通用量子群。