として、 は、 上の関数＝スカラー場 の空間（可換環） は、 上のp次微分形式の空間（-加群） は、 上の接ベクトル場の空間（-加群） は、ホッジスター（双対の同型写像） 以下「」の部分は省略、ダッシュ〈プライム〉を付けると「疑」の意味。接ベクトル＝…