ラプラス作用素
formula_44 をホッジ作用素とすると、微分可能多様体 X 上でラプラス作用素を次のように定義することができる。