分 δ。令这里 "d" 是外导数。对黎曼流形 "s" = +1 。而相比于外导数，余微分不是外代数上的反导子。余微分在是外微分的伴随：这个恒等式是因为体积形式 ω 满足 "d"ω = 0，从而 拉普拉斯–德拉姆算子由给出，是霍奇理论的核心。它有对称性：以及非负：霍奇星号将一个调和形式变成调和形式。作为霍奇定理的一个推论，德拉姆上同调自然同构于调和 "k"-形式空间，从而霍奇星号诱导了上同调群之间一个同构通过庞加莱对偶性，这给出了 "H"("M") 与它的对偶空间的一个典