"m" をコンパクトで滑らかな多様体で、formula_20をユニモジュラー表現とする。