ホッジ双対

**ホッジ双対**（ホッジそうつい、）は、数学において、ウィリアム・ホッジにより導入された線型写像であり、**ホッジスター作用素**（ホッジスターさようそ、）とも呼ばれる。ホッジ双対は、有限次元の向き付けられた内積空間の外積代数の上で定義される -ベクトルのなす空間から-ベクトルのなす空間への線形同型である。

他のベクトル空間に対する多くの構成と同様に、ホッジスター作用素は多様体の上のベクトルバンドルへの作用に拡張することができる。
たとえば余接束の外積代数（すなわち、多様体上の微分形式の空間）に対して、ホッジスター作用素を用いてラプラス＝ド・ラーム作用素を定義し、コンパクトなリーマン多様体上の微分形式のホッジ分解を導くことができる。

## 次元と代数
を向きつけられた内積空間とし、をその次元とする。 をみたす整数  に対し、ホッジスター作用素は、外積代数における（）の空間から -ベクトルの空間への同型写像を与える。この写像による -ベクトルの像を、そのホッジ双対と呼ぶ。
-ベクトルの空間と-ベクトルの空間の次元は、二項係数の性質により等しく、

: \binom{n}{k} = \binom{n}{n - k} 

である。同じ体の上にある同次元の2つのベクトル空間は常に同型であるが、自然な同型写像が存在するとは限らない。しかし、ホッジスター作用素は、空間の内積と向き付けを利用することによって、これら2つの空間の間に自然な同型（ホッジ双対性）を定める。これは -ベクトル空間に内積を誘導することと同義であり、この双対関係は幾何学的に重要な役割を果たす。

最初の興味深い例は、3次元ユークリッド空間  の場合である。二項係数の列は 1, 3, 3, 1 となり、 の空間（ベクトル）と  の空間（2つのベクトルのウェッジ積）はいずれも3次元である。ホッジスター作用素はこれらの間の同型を与える（詳細は#例の節を参照）。この対応関係は、伝統的なベクトル解析におけるクロス積（外積）に相当する。クロス積は3次元でのみ定義される概念だが、ホッジ双対は任意の次元へ一般化された定義を与える。

## k-ベクトルのホッジスターの定義
非退化な対称双線型形式（以下ではこれを内積とよぶ）を持つベクトル空間  上のホッジスター作用素は、 の外積代数上の線型作用素であり、 に対し、-ベクトルを -ベクトルに写すものである。

-ベクトル上の内積  は、 上の内積から、 -ベクトル  と  に対して、

:\langle \alpha, \beta \rangle = \det \bigl( \langle \alpha_{i}, \beta_{j} \rangle \bigr) 

と定め、これを双線形に拡張することで得られる。

-ベクトル の空間は 1 次元で、したがって単位 ベクトル  には 2 つの取り方がある。このどちらかを選ぶことにより  上の向き付けが決まる。

ホッジスター作用素は以下の性質をもち、またこれにより決定される。2つの -ベクトル  が与えられたとき、

:\alpha \wedge (\star \beta) = \langle \alpha,\beta \rangle \omega

である。

## 説明
 を内積をもつ 次元ベクトル空間とすると、上で述べたように各   に対し \bigwedge^k V にも内積を定めることができる。これらをすべて  で表すとする。\bigwedge^n V は 1 次元で、その長さ 1 のベクトルのうち一つ  を固定して、これを向きとする。
-ベクトル  と-ベクトル  に対し \lambda \wedge \theta \in \bigwedge^n V  が得られる。
これは上で選んだ  のスカラー倍になる。

\lambda \in \bigwedge^k V を固定し、上で定まるスカラーを  と書くと、一意に線形形式

:f_{\lambda} \in \biggl( \bigwedge^{n-k} V \biggr)^{\! *} 

が存在して、任意の \theta \in \bigwedge^{n-k} V  に対して  となる。
この線形形式に対し、リースの表現定理により一意に -ベクトル、\star \lambda \in \bigwedge^{n-k} V  が存在し、

:\forall \theta \in \bigwedge^{n-k} V: \quad f_{\lambda}(\theta) = \langle \theta, \star \lambda\rangle 

を満たす。言いかえると、この -ベクトル  は 内積

:\biggl( \bigwedge^{n-k} V \biggr)^{\! *} \cong \bigwedge^{n-k} V 

により導かれた同型の下で  の像となる。このようにして、

: \star\colon \bigwedge^{k} V \to \bigwedge^{n-k} V

が得られる。

## ホッジスターの計算
 となるように順序付けされた直交基底  が与えられると、

:\star (e_{1} \wedge e_{2} \wedge \dotsb \wedge e_{k})= e_{k+1} \wedge e_{k+2} \wedge \dotsb \wedge e_n

と計算できる。

より一般に偶置換  に対しても

:\star (e_{i_1} \wedge e_{i_2} \wedge \dotsb \wedge e_{i_k}) = e_{i_{k+1}} \wedge e_{i_{k+2}} \wedge \dotsb \wedge e_{i_n}

となることが分かる。

## スター作用素のインデックス記法
インデックス記法（添字記法）を使うと、ホッジ双対は、-形式の添字を -次元の完全反対称なレヴィ・チヴィタテンソルと縮約することによって得られる。ここでレヴィ・チヴィタテンソルは、レヴィ・チヴィタの記号に係数  を乗じたものである（ は内積を与える計量テンソル）。ローレンツ多様体の接空間などのように  が正定値でない場合も考慮し、行列式の絶対値が用いられる。

具体的には次のように書ける。

:(\star \eta)_{i_1, i_2, \dotsc, i_{n-k}} = \frac{1}{k!} \eta^{j_1, \dotsc, j_k} \sqrt  \, \varepsilon_{j_1, \dotsc, j_k, i_1, \dotsc, i_{n-k}}

ここで  は反対称な 階テンソルである。には、レヴィ・チヴィタテンソルの定義と同様に内積  が使われる。任意のテンソルに対してこの演算を適用可能だが、対称な成分は完全反対称なレヴィ・チヴィタ記号との縮約によって消滅するため、結果として得られるのは常に反対称テンソルとなる。

## 例
スター作用素のよく知られた例は、 次元の場合で、このとき 3 次元のベクトルと 3 × 3 歪対称行列の対応と見なすことができる。これはベクトル解析において暗に使われていて、たとえば、2つのベクトルのウェッジ積からクロス積を作りだすことができる。特に、ユークリッド空間  では、容易に、

:\star \mathrm{d}x=\mathrm{d}y\wedge \mathrm{d}z
:\star \mathrm{d}y=\mathrm{d}z\wedge \mathrm{d}x
:\star \mathrm{d}z=\mathrm{d}x\wedge \mathrm{d}y

であることが分かる。ここに  は  上の標準の直交な微分 -形式である。3次元におけるホッジ双対は、明らかにクロス積とウェッジ積を関連付ける。微分幾何学へ限定しない詳細な説明は、パラグラフを改める。

### 2次元の例
2次元ユークリッド空間（）におけるホッジスター作用素は、単純な幾何学的性質を持つ。正規直交基底を  とし、標準的な向き付けを与えると、-形式（ベクトル）に対する作用は以下のようになる。

:\star e_1 = e_2
:\star e_2 = -e_1

これは、ベクトルを正の向き（反時計回り）に90度回転させる操作に対応している。-次元においてホッジスターを2回作用させると  となることからも、これが90度回転の2回繰り返し（180度回転＝反転）であることが分かる。

#### 複素幾何学との関係
2次元ユークリッド空間（）を複素平面（）とみなすと、ホッジスター作用素は複素構造と密接に関連する。
複素座標  に対し、正則関数  のコーシー・リーマンの方程式

:\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}, \quad \frac{\partial u}{\partial y} = - \frac{\partial v}{\partial x}

は、ホッジスター作用素を用いて

:\mathrm{d}v = \star \mathrm{d}u

と簡潔に表現でき、より高次元の複素多様体におけるホッジ理論への入り口となる。

### 3次元の例
3次元空間においてホッジ双対は、軸性ベクトルと（）の間の同型を与える。つまり、軸性ベクトル  と -ベクトル  は互いに双対となる。

: \boldsymbol{A} = \star \boldsymbol{a} \qquad \boldsymbol{a} = \star \boldsymbol{A}

この双対関係は、実クリフォード代数  における  との（）を用いて記述できる（ここで  は3次元ユークリッド空間の正規直交基底とする）。

: \boldsymbol{A} = \boldsymbol{a}i \quad \boldsymbol{a} = - \boldsymbol{A} i 

例えば、ベクトル  の双対は、 を右から乗じることで得られる。
 
:\begin{align}
\boldsymbol{a}i &= (a_1 \boldsymbol{e}_1 + a_2 \boldsymbol{e}_2 + a_3 \boldsymbol{e}_3) \boldsymbol{e}_1 \boldsymbol{e}_2 \boldsymbol{e}_3 \\
&= a_1 \boldsymbol{e}_2 \boldsymbol{e}_3 (\boldsymbol{e_1})^2 + a_2 \boldsymbol{e}_3 \boldsymbol{e}_1 (\boldsymbol{e}_2)^2 + a_3  \boldsymbol{e}_1 \boldsymbol{e}_2 (\boldsymbol{e}_3)^2 \\
&= a_1 \boldsymbol{e}_2 \boldsymbol{e}_3 + a_2 \boldsymbol{e}_3 \boldsymbol{e}_1 + a_3 \boldsymbol{e}_1 \boldsymbol{e}_2 \\
&= \star \boldsymbol{a}
\end{align}

また、 によって張られる双対空間においても同様に計算できる。

:\begin{align}
\boldsymbol{A} i &= (A_1 \boldsymbol{e}_2 \boldsymbol{e}_3 + A_2 \boldsymbol{e}_3 \boldsymbol{e}_1 + A_3 \boldsymbol{e}_1 \boldsymbol{e}_2) \boldsymbol{e}_1 \boldsymbol{e}_2 \boldsymbol{e}_3 \\
&= A_1 \boldsymbol{e}_1 (\boldsymbol{e}_2 \boldsymbol{e}_3)^2 + A_2 \boldsymbol{e}_2 (\boldsymbol{e}_3 \boldsymbol{e}_1)^2 + A_3 \boldsymbol{e}_3 (\boldsymbol{e}_1 \boldsymbol{e}_2)^2 \\
&=-( A_1 \boldsymbol{e}_1 + A_2 \boldsymbol{e}_2 + A_3 \boldsymbol{e}_3 ) \\
&= - (\star \boldsymbol{A} )
\end{align}

以上の計算では、基底ベクトルの性質  および以下の関係式を用いた。

:(\boldsymbol{e}_1 \boldsymbol{e}_2)^2 = \boldsymbol{e}_1 \boldsymbol{e}_2 \boldsymbol{e}_1 \boldsymbol{e}_2 = -\boldsymbol{e}_1 \boldsymbol{e}_2 \boldsymbol{e}_2 \boldsymbol{e}_1 = -1 
:i^2 = (\boldsymbol{e}_1 \boldsymbol{e}_2 \boldsymbol{e}_3)^2 =\boldsymbol{e}_1 \boldsymbol{e}_2 \boldsymbol{e}_3 \boldsymbol{e}_1 \boldsymbol{e}_2 \boldsymbol{e}_3 = \boldsymbol{e}_1 \boldsymbol{e}_2 \boldsymbol{e}_3 \boldsymbol{e}_3 \boldsymbol{e}_1 \boldsymbol{e}_2 = \boldsymbol{e}_1 \boldsymbol{e}_2 \boldsymbol{e}_1 \boldsymbol{e}_2 = -1

この双対性を用いると、2つの極ベクトル（非軸性ベクトル） と  のクロス積  と、外積（ウェッジ積）  を関係付けることができる。それぞれ行列式を用いて次のように書き表せる（ここで  とした）。

: \boldsymbol{a} = \boldsymbol{u} \times \boldsymbol{v} = \begin{vmatrix}
\boldsymbol{e}_1 & \boldsymbol{e}_2 & \boldsymbol{e}_3\\
u_1 & u_2 & u_3\\
v_1 & v_2 & v_3
\end{vmatrix} \,,\quad
\boldsymbol{A} = \boldsymbol{u} \wedge \boldsymbol{v} = \begin{vmatrix}
\boldsymbol{e}_{23} & \boldsymbol{e}_{31} & \boldsymbol{e}_{12}\\
u_1 & u_2 & u_3\\
v_1 & v_2 & v_3
\end{vmatrix}

これより、両者がホッジ双対の関係にあることがわかる。

:\star (\boldsymbol{u} \wedge \boldsymbol{v} ) = \boldsymbol{u} \times \boldsymbol{v} \,,\quad
\star (\boldsymbol{u} \times \boldsymbol{v} ) = \boldsymbol{u} \wedge \boldsymbol{v}

 を用いた表記では、以下の関係式がよく用いられる。

: \boldsymbol{u} \times \boldsymbol{v} = -(\boldsymbol{u} \wedge \boldsymbol{v} ) i \,,\quad
\boldsymbol{u} \wedge \boldsymbol{v} = (\boldsymbol{u} \times \boldsymbol{v} ) iここでは次の関係式

:(\boldsymbol{e}_1 \boldsymbol{e}_2)^2 = \boldsymbol{e}_1 \boldsymbol{e}_2 \boldsymbol{e}_1 \boldsymbol{e}_2 = -\boldsymbol{e}_1 \boldsymbol{e}_2 \boldsymbol{e}_2 \boldsymbol{e}_1 = -1 

および、

:i^2 = (\boldsymbol{e}_1 \boldsymbol{e}_2 \boldsymbol{e}_3)^2 =\boldsymbol{e}_1 \boldsymbol{e}_2 \boldsymbol{e}_3 \boldsymbol{e}_1 \boldsymbol{e}_2 \boldsymbol{e}_3 = \boldsymbol{e}_1 \boldsymbol{e}_2 \boldsymbol{e}_3 \boldsymbol{e}_3 \boldsymbol{e}_1 \boldsymbol{e}_2 = \boldsymbol{e}_1 \boldsymbol{e}_2 \boldsymbol{e}_1 \boldsymbol{e}_2 = -1

を用いた。

これらの双対  と  関係式は、任意のベクトルに対して適用できる。ここで双対は、クロス積  として生成された軸性ベクトルを、-ベクトルに値を持ち 2つの極（つまり、軸性ではない）ベクトル  と  の外積  へと関係付けることに適用される。2つの積は、行列式を使う同じ方法で、記法  を使い、次のように書き表すことができる。

: \boldsymbol{a} = \boldsymbol{u} \times \boldsymbol{v} = \begin{vmatrix}
\boldsymbol{e}_1 & \boldsymbol{e}_2 & \boldsymbol{e}_3\\
u_1 & u_2 & u_3\\
v_1 & v_2 & v_3
\end{vmatrix} \,,\quad
\boldsymbol{A} =  \boldsymbol{u} \wedge \boldsymbol{v} = \begin{vmatrix}
\boldsymbol{e}_{23} & \boldsymbol{e}_{31} & \boldsymbol{e}_{12}\\
u_1 & u_2 & u_3\\
v_1 & v_2 & v_3
\end{vmatrix}

これらの表現は、2つのタイプのベクトルは、 が巡回的な関係式

:\star \boldsymbol{e}_{\ell} = \boldsymbol{e}_{\ell} i = \boldsymbol{e}_{\ell} \boldsymbol{e}_1 \boldsymbol{e}_2 \boldsymbol{e}_3 = \boldsymbol{e}_m \boldsymbol{e}_n

と、再び  が巡回的な関係式

:\star ( \boldsymbol{e}_{\ell} \boldsymbol{e}_m ) = -( \boldsymbol{e}_{\ell} \boldsymbol{e}_m ) i = -( \boldsymbol{e}_{\ell} \boldsymbol{e}_m )\boldsymbol{e}_1 \boldsymbol{e}_2 \boldsymbol{e}_3 = \boldsymbol{e}_{n}  

の 2つの結果として、ホッジ双対であることを示される。

:\star (\boldsymbol{u} \wedge \boldsymbol{v} ) = \boldsymbol{u} \times \boldsymbol{v} \,,\quad
\star (\boldsymbol{u} \times \boldsymbol{v} ) = \boldsymbol{u} \wedge \boldsymbol{v}

 を用いた  の、よく使われている関係式 は、

: \boldsymbol{u} \times \boldsymbol{v} = -(\boldsymbol{u} \wedge \boldsymbol{v} ) i  \,,\quad
\boldsymbol{u} \wedge \boldsymbol{v} = (\boldsymbol{u} \times \boldsymbol{v} )  i 
である。

### 4次元
 の場合では、ホッジ双対は -ベクトルのなす空間の自己準同型として作用する（つまり、  であるので、ホッジ双対は -形式から -形式への写像である）。このときホッジ双対は対合であり、よって、ホッジ双対は自分から自分自身への自己双対と反自己双対な部分空間へ分解し、その上でホッジ双対がそれぞれ  として作用する。

他の有用な例は、 次元の計量の符号  と 座標  を使いミンコフスキー空間に対し、（ を使い、） -形式に対し、

:\star \mathrm{d}t=\mathrm{d}x\wedge \mathrm{d}y \wedge\mathrm{d}z
:\star \mathrm{d}x=\mathrm{d}t\wedge \mathrm{d}y \wedge\mathrm{d}z
:\star \mathrm{d}y=\mathrm{d}t\wedge \mathrm{d}z \wedge\mathrm{d}x
:\star \mathrm{d}z=\mathrm{d}t\wedge \mathrm{d}x \wedge\mathrm{d}y

であり、一方、2-形式に対し、

:\star (\mathrm{d}t \wedge\mathrm{d}x) = - \mathrm{d}y\wedge \mathrm{d}z
:\star (\mathrm{d}t \wedge\mathrm{d}y) =   \mathrm{d}x\wedge \mathrm{d}z
:\star (\mathrm{d}t \wedge\mathrm{d}z) = - \mathrm{d}x\wedge \mathrm{d}y
:\star (\mathrm{d}x \wedge\mathrm{d}y) =   \mathrm{d}t\wedge \mathrm{d}z
:\star (\mathrm{d}x \wedge\mathrm{d}z) = - \mathrm{d}t\wedge \mathrm{d}y
:\star (\mathrm{d}y \wedge\mathrm{d}z) =   \mathrm{d}t\wedge \mathrm{d}x

である。

### 4次元ミンコフスキー時空
特殊相対性理論において重要となる  次元のミンコフスキー空間を考える。計量の符号を 、座標を  とし、体積形式を  とする。

このとき、-形式に対するホッジスター作用素は以下のようになる。

:\begin{align}
\star \mathrm{d}t & = \mathrm{d}x\wedge \mathrm{d}y \wedge\mathrm{d}z \\
\star \mathrm{d}x & = \mathrm{d}t\wedge \mathrm{d}y \wedge\mathrm{d}z \\
\star \mathrm{d}y & = \mathrm{d}t\wedge \mathrm{d}z \wedge\mathrm{d}x \\
\star \mathrm{d}z & = \mathrm{d}t\wedge \mathrm{d}x \wedge\mathrm{d}y
\end{align}

また、-形式に対する作用は以下のようになる。

:\begin{align}
\star (\mathrm{d}t \wedge\mathrm{d}x) & = - \mathrm{d}y\wedge \mathrm{d}z \\
\star (\mathrm{d}t \wedge\mathrm{d}y) & = \phantom{-} \mathrm{d}x\wedge \mathrm{d}z \\
\star (\mathrm{d}t \wedge\mathrm{d}z) & = - \mathrm{d}x\wedge \mathrm{d}y \\
\star (\mathrm{d}x \wedge\mathrm{d}y) & = \phantom{-} \mathrm{d}t\wedge \mathrm{d}z \\
\star (\mathrm{d}x \wedge\mathrm{d}z) & = - \mathrm{d}t\wedge \mathrm{d}y \\
\star (\mathrm{d}y \wedge\mathrm{d}z) & = \phantom{-} \mathrm{d}t\wedge \mathrm{d}x
\end{align}

ミンコフスキー時空における計量は正定値ではないため、-形式に対して  となる一方、-形式に対しては  となる点に注意が必要である。

## 双対性
ホッジスターは双対性を定義する、つまりホッジスターを二回適用することで符号を除き外積代数の恒等写像を定める。-次元空間  の中の  \bigwedge^k (V)  の -ベクトルが与えられると、

:\star {\star \eta}=(-1)^{k(n-k)}s\eta

を得る。ここに  は  上の内積のである。特に、 は内積テンソルの行列式の符号である。このように、たとえば、 で内積の符号が、 、または、 であれば、 である。通常のユークリッド空間では符号は常に正であり、従って、 である。ホッジスターが擬リーマン多様体へ拡張されると、上の内積は対角形式での計量であると理解される。

上のことから、 の逆写像が

: \star^{-1} \colon \bigwedge^k \to \bigwedge^{n-k}; \eta \mapsto (-1)^{k(n-k)}s{\star \eta} 

で与えられることがわかる。 が奇数であれば、任意の  に対し  は偶数であり、 が偶数であれば、 と  の偶奇はひとしい。従って、

:\begin{cases} \star^{-1} = s\star & n \text{ is odd} \\
\star^{-1} = (-1)^k s\star & n \text{ is even} \end{cases}

である。ここに  は作用した形式の次数である。

### 共形不変性
ホッジスター作用素の重要な性質として、計量の共形変換（スケール変換）に対する振る舞いがある。
次元多様体上の計量  を、正の関数  を用いて  と変換（共形変換）したとき、-形式に対するホッジスター作用素  と  の関係は以下のようになる。

:\star_{g'} \omega = \lambda^{n-2k} (\star_g \omega)

この式から分かるように、 となる「中間次元」の微分形式に対しては、ホッジスター作用素は計量のスケール因子  に依存しない（共形不変である）。
例えば、4次元時空（）における電磁場（）や、2次元面（）における調和関数（ に対する微分 ）の方程式が、角度を保つ変形に対して不変であることは、この性質に由来している。

## 多様体上のホッジスター
上の構成を向きづけられた 次元のリーマン多様体、あるいは擬リーマン多様体の余接空間に対しても適用でき、-形式のホッジ双対 -形式を得る。すると、ホッジスターは多様体上の微分形式の-ノルムである内積を与える。\bigwedge^k(T^{*}M) の切断  と  に対し、

:(\eta,\zeta)=\int_M \eta\wedge \star \zeta = \int_M \langle \eta, \zeta \rangle \, \mathrm{d}\mathrm{Vol} 

である（切断の集合は、\Omega^{k}(M) = \Gamma \bigl( \bigwedge^{k}(T^{*}M) \bigr) と書かれることが多い。 の元は、外 -形式と呼ばれる）。

さらに一般的には、向き付けされていない場合は、-形式のホッジスターを -、すなわち、標準ラインバンドル  に値を持つ微分形式として定義することができる。

### 余微分形式
多様体上のホッジ双対の最も重要な応用は、余微分  を定義することである。

:\delta = (-1)^{nk + n + 1}s\, {\star \mathrm{d}\star} = (-1)^k\,{\star^{-1}\mathrm{d}\star} 

とする。ここに、リーマン多様体に対し、 は外微分、 とする。

 に対し、 である。
余微分は反微分ではない。これは外微分と異なる。

余微分は外微分に随伴する、すなわち  である。
ここに  は -形式であり、 は -形式である。
これは滑らかな微分形式に対するストークスの定理より従う。このことは

:\begin{align} 0 &= \int_M \mathrm{d}(\eta \wedge \star \zeta)\\
&= \int_M \Bigl( (\mathrm{d}\eta \wedge \star \zeta) - (\eta\wedge (-1)^{k+1} \mathrm{d}{\star \zeta}) \Bigr)\\
&= \int_M \Bigl( (\mathrm{d}\eta \wedge \star \zeta) - (\eta\wedge \star (-1)^{k+1}\,{\star^{-1}\mathrm{d}{\star \zeta}}) \Bigr)\\
&= \langle \mathrm{d}\eta, \zeta \rangle -\langle \eta, \delta\zeta \rangle
\end{align}

となるとき、つまり、 は境界を持たないか、または、 あるいは  が境界値が  を持っているときである。
（もちろん、真の随伴性は、滑らかな微分形式の閉包として、適切な位相ベクトル空間への連続に接続した後に、これらの事実が成り立つ。）

注意すべきは、微分形式は、を満たすので、余微分は対応する性質 \! \delta^2 = s^2{\star \mathrm{d}{\star {\star \mathrm{d}{\star}}}} = (-1)^{k(n-k)} s^3{\star \mathrm{d}^2\star} = 0  をみたす。

ラプラス・ド・ラーム作用素(:en:Laplace–Beltrami_operator)は  で与えられ、
ホッジ理論の心臓部をなす。この作用素は対称、すなわち  であり、
非負  である。
ホッジ双対は、調和形式を調和形式へ写像する。ホッジ理論の結果として、ド・ラームコホモロジーは自然に調和 -形式の空間と同型となり、ホッジスターはコホモロジー群

:\star\colon H^{k}_{\Delta}(M) \to H^{n-k}_{\Delta}(M)

の同型をもたらす。これは  のポアンカレ双対性と標準的に同一視される。

### 3次元での微分
3次元では、 作用素と外微分  の組み合わせは、古典的作用素 、、 を生成する。このことは次のようにして分かる。 は、-形式（函数）から -形式へ、-形式から -形式へ、-形式から -形式へ（-形式へ作用させると  となる）作用素である。-形式  に対し、成分表示された第一の場合は、 作用素と同一視される。

:\mathrm{d}\omega=\frac{\partial f}{\partial x}\mathrm{d}x+\frac{\partial f}{\partial y}\mathrm{d}y+\frac{\partial f}{\partial z}\mathrm{d}z

第二の場合は、 作用素により、-形式上の作用素 () を成分で示すと、 作用素である。

:\mathrm{d}\eta = \left( \frac{\partial C}{\partial y} - \frac{\partial B}{\partial z} \right) \mathrm{d}y \wedge \mathrm{d}z  + \left( \frac{\partial A}{\partial z} - \frac{\partial C}{\partial x} \right) \mathrm{d}z \wedge \mathrm{d}x + \left( \frac{\partial B}{\partial x} - \frac{\partial A}{\partial y} \right) \mathrm{d}x \wedge \mathrm{d}y

ホッジスター作用素を適用することは、次を意味する。

:\star \mathrm{d}\eta = \left( \frac{\partial C}{\partial y} - \frac{\partial B}{\partial z} \right) \mathrm{d}x  + \left( \frac{\partial A}{\partial z} - \frac{\partial C}{\partial x} \right) \mathrm{d}y + \left( \frac{\partial B}{\partial x} - \frac{\partial A}{\partial y} \right) \mathrm{d}z

最後の場合は、 を作用させると、-形式 () から -形式（函数）を得て、成分で示すと div 作用素である。

:\begin{align}
\star\eta &= A\,\mathrm{d}y \wedge \mathrm{d}z + B\,\mathrm{d}z \wedge \mathrm{d}x + C\,\mathrm{d}x \wedge \mathrm{d}y \\
\mathrm{d}{\star\eta} &= \left(\frac{\partial A}{\partial x}+\frac{\partial B}{\partial y}+\frac{\partial C}{\partial z}\right)\mathrm{d}x\wedge \mathrm{d}y\wedge \mathrm{d}z \\
\star \mathrm{d}{\star\eta} &= \frac{\partial A}{\partial x}+\frac{\partial B}{\partial y}+\frac{\partial C}{\partial z}
\end{align}

この表現の有利な点のひとつは、どの場合でも成り立つ恒等式  が、残る 2つをまとめ、 と  と得る。特に、電磁気学におけるマクスウェルの方程式（真空中で電荷・電流が存在する場合）は、電磁場テンソル（-形式）を 、電流密度（-形式、あるいは-形式）を  とすると、外微分とホッジスター作用素を用いて以下の2つの式で表現できる。

:\mathrm{d}F = 0
:\mathrm{d}{\star F} = J
第一の式は磁場のガウスの法則とファラデーの電磁誘導の法則を、第二の式はガウスの法則とアンペールの法則を統合したものである。このように、ホッジスター作用素を用いることで、物理法則を座標系に依存しない幾何学的な形式で記述することが可能になる。

ラプラシアンも得ることができる。-形式  に対し、上の定義に従って計算すると、

: \Delta \omega = \delta \mathrm{d} \omega = -\star \mathrm{d}{\star \mathrm{d}\omega} = -\left( \frac{\partial^2 f}{\partial x^2} + \frac{\partial^2 f}{\partial y^2} + \frac{\partial^2 f}{\partial z^2} \right)

となる。これは通常の解析的なラプラシアン（）の符号を反転させたものであり、前述した「ホッジ・ラプラシアンは非負作用素である（固有値が非負である）」という性質と整合する。

## 脚注

## 参考文献
* David Bleecker (1981) *Gauge Theory and Variational Principles*. Addison-Wesley Publishing. . Chpt. 0 contains a condensed review of non-Riemannian differential geometry.
* Jurgen Jost (2002) *Riemannian Geometry and Geometric Analysis*. Springer-Verlag. . A detailed exposition starting from basic principles; does not treat the pseudo-Riemannian case.
* Charles W. Misner, Kip S. Thorne, John Archibald Wheeler (1970) *Gravitation*. W.H. Freeman. . A basic review of differential geometry in the special case of four-dimensional spacetime.
* Steven Rosenberg (1997) *The Laplacian on a Riemannian manifold*. Cambridge University Press. . An introduction to the heat equation and the Atiyah-Singer theorem.
* Tevian Dray (1999) ''The Hodge Dual Operator''. A thorough overview of the definition and properties of the Hodge dual operator.