随伴作用素
はド・ラムコホモロジーと呼ばれる。 の計量が誘導する内積に関して、外微分 に対する形式的な随伴作用素として を定義することができる。