より一般に、微分形式に対して定義される「ホッジ」ラプラシアンは