关于流形的谱特征刻画

我们证明了先前关于谱三元组所提出的前五个公理（在稍强的形式下）足以刻画与光滑紧流形相关联的谱三元组。假设为交换的代数被证明同构于唯一光滑定向紧流形上所有光滑函数的代数，而算子被证明是狄拉克型算子，度量为黎曼度量。