リーマン多様体
Let M be a compact Riemannian manifold, with eigenvalues