丛的外代数（即流形上的微分形式）上，可用来从外导数构造余微分（），以及拉普拉斯-德拉姆算子，它导致了紧黎曼流形上微分形式的霍奇分解。
"k"-向量的霍奇星号的正式定义.一个定向内积向量空间 "V" 上的霍奇星算子是 "V" 的外代数（formula_3）上的一个线性算子，是 "k"-向量子空间（formula_4） 与 ("n-k")-向量子空间（formula_5） 之间的线性映射，这里 formula_6。它具有如下性质，这些性质完全定义了霍奇星算子：给定一个定向正交基 for