ホッジ双対

数学において、ホッジスター作用素(ホッジスターさようそ、Hodge star operator)、もしくは、ホッジ双対(ホッジそうつい、Hodge dual)は、ウィリアム・ホッジにより導入された線型写像である。ホッジ双対は、有限次元の向き付けられた内積空間の外積代数の上で定義される -ベクトルのなす空間から-ベクトルのなす空間への線形同型である。
他のベクトル空間に対する多くの構成と同様に、ホッジスター作用素は多様体の上のベクトルバンドルへの作用に拡張することができる。
たとえば余接束の外積代数（すなわち、多様体上の微分形式の空間）に対して、ホッジスター作用素を用いてラプラス＝ド・ラーム作用素を定義し、コンパクトなリーマン多様体上の微分形式のホッジ分解を導くことができる。
次元と代数.
を向きつけられた内積空間とし、をその次元とする。 をみたす整数に対し、ホッジスター作用素とは、(-vectors)から -ベクトル空間への同型写像のことである。この写像の -ベクトルの像は、-ベクトルのホッジ双対と呼ばれる。-ベクトルの空間および-ベクトルの空間はともに次元
である。同じ体の上の同じ次元の 2つのベクトル空間は常に同型であるが、標準的方法で同型となるわけではない。しかし、この場合のホッジ双対は、内積とベクトル空間の向き付けを利用することによって、代数における二項係数のパターンを反映した同型を自然にさだめる。またこれによって -ベクトル空間の内積を導く。自然な定義とは、この双対関係が理論の幾何学的な役割を果たすことを意味する。
最初の興味深い例は、3次元ユークリッド空間 である。二項係数は 1, 3, 3, 1であり、ホッジ双対は、2つの 3次元空間、 自身と から導かれる 2つのベクトルのウェッジ積の空間の間の同型を確立する。詳細は、#例の節を参照。この場合には、まさに伝統的なベクトル解析であるクロス積（外積）である。クロス積は 3次元でのみ定義されるのに対し、ホッジ双対は一般次元で定義される。
-ベクトルのホッジスターの定義.
非退化な対称双線型形式（以下ではこれを内積とよぶ）を持つベクトル空間 上のホッジスター作用素(Hodge star operator)は、 の外積代数上の線型作用素であり、 に対し、-ベクトルを -ベクトルに写すものである。
-ベクトル上の内積 formula_2 は、 上の内積から、 -ベクトル formula_3 と formula_4 に対して、
と定め、これを双線形に拡張することで得られる。
-ベクトル の空間は 1 次元で、したがって単位 ベクトル には 2 つの取り方がある。このどちらかを選ぶことにより 上の向き付けが決まる。
ホッジスター作用素は以下の性質をもち、またこれにより決定される。2つの -ベクトル が与えられたとき、
である。
説明.
 を内積をもつ -次元ベクトル空間とすると、上で述べたように各 に対しformula_7にも内積を定めることができる。これらをすべてformula_8 で表すとする。formula_9 は 1 次元で、その長さ 1 のベクトルのうち一つ ω を固定して、これを向きとする。
-ベクトル λ と-ベクトル θ に対し formula_10 が得られる。
これは上で選んだ ω のスカラー倍になる。
formula_11 を固定し、上で定まるスカラーを formula_12 と書くと、一意に線形形式
が存在して、任意の formula_14 に対して formula_15 となる。
この線形形式に対し、リースの表現定理により一意に -ベクトル、formula_16 が存在し、
を満たす。言いかえると、この -ベクトル は 内積
により導かれた同型の下で formula_19 の像となる。このようにして、
が得られる。
ホッジスターの計算.
formula_21 となるように順序付けされた直交基底 formula_22 が与えられると、
と計算できる。
より一般に偶置換 formula_24 に対しても
となることが分かる。
スター作用素のインデックス記法.
インデックス記法を使うと、ホッジ双対は、-次元完全反対称レヴィ・チヴィタテンソル(Levi-Civita tensor)と -形式の添字の縮約により得られる。これはレヴィ・チヴィタの記号から だけずれている。ここで"g" を内積（計量テンソル）とした。ここで行列式は、たとえばローレンツ多様体の接空間のように"g" が正定値でない場合もあるので絶対値をとる必要がある。
このように、
と書く。ここに は の任意の反対称テンソルである。レヴィ・チヴィタテンソル同じ内積 "g" を使い、レヴィ・チヴィタテンソルの定義と同様に、(indices are raised and lowered)。任意のテンソルを同じように表示できるが、結果は反対象である。これはテンソルの対象な成分が完全反対称レヴィ・チヴィタ記号との縮約により消去されるからである。
例.
スター作用素のよく知られた例は、 次元の場合で、このとき 3 次元のベクトルと 3 × 3 歪対称行列の対応と見なすことができる。これはベクトル解析において暗に使われていて、たとえば、2つのベクトルのウェッジ積からクロス積を作りだすことができる。特に、ユークリッド空間 R3 では、容易に、
であることが分かる。ここに d"x", d"y" と d"z" は R3 上の標準の直交な微分 1-形式である。3次元におけるホッジ双対は、明らかにクロス積とウェッジ積を関連付ける。微分幾何学へ限定しない詳細な説明は、パラグラフを改める。
3次元の例.
ホッジ双対を3次元へ適用すると、軸性ベクトルと (bivector)の間の同型の間の同型、つまり軸性ベクトル a と 2-ベクトル を対応させることができる。すなわち、
が成り立つ。ここに、 は双対作用素を表す。これらの双対関係は、実、および複素クリフォード代数 "C"ℓ3(R) の(Unit pseudoscalar)の作用により以下のように記述できる。 (ベクトル は 3次元ユークリッド空間の中での直交基底である）は、次の関係式に従う。
ベクトルの双対は をかけることにより得ることができる。これは次のように代数の(geometric product)の性質を使って説明できる。
また、 により張られる双対空間においても、
である。ここでは次の関係式
および、
を用いた。
これらの双対 と 関係式は、任意のベクトルに対して適用できる。ここで双対は、クロス積 として生成された軸性ベクトルを、2-ベクトルに値を持ち 2つの(polar)（つまり、軸性ではない）ベクトル と の外積 へと関係付けることに適用される。2つの積は、行列式を使う同じ方法で、記法 を使い、次のように書き表すことができる。
これらの表現は、2つのタイプのベクトルは、 が巡回的(cyclic)な関係式
と、再び が巡回的な関係式
の 2つの結果として、ホッジ双対であることを示される。
 を用いた の、よく使われている関係式 は、
である。
4次元.
 の場合では、ホッジ双対は 2-ベクトルのなす空間の自己準同型として作用する（つまり、 であるので、ホッジ双対は 2-形式から 2-形式への写像である）。このときホッジ双対は対合であり、よって、ホッジ双対は自分から自分自身への自己双対と反自己双対な部分空間へ分解し、その上でホッジ双対がそれぞれ +1 , -1 として作用する。
他の有用な例は、 次元の計量の符号 と 座標 を使いミンコフスキー空間に対し、（formula_41 を使い、） 1-形式に対し、
であり、一方、2-形式に対し、
である。
双対性.
ホッジスターは双対性を定義する、つまりホッジスターを二回適用することで符号を除き外積代数の恒等写像を定める。-次元空間 の中の の -ベクトルが与えられると、
を得る。ここに は 上の内積の(metric signature)である。特に、 は内積テンソルの行列式の符号である。このように、たとえば、 で内積の符号が、 、または、 であれば、 である。通常のユークリッド空間では符号は常に正であり、従って、 である。ホッジスターが擬リーマン多様体へ拡張されると、上の内積は対角形式での計量であると理解される。
上のことから、 の逆写像が
で与えられることがわかる。 が奇数であれば、任意の に対し は偶数であり、 が偶数であれば、 と の偶奇はひとしい。従って、
である。ここに は作用した形式の次数である。
多様体上のホッジスター.
上の構成を向きづけられた -次元のリーマン多様体、あるいは擬リーマン多様体の余接空間に対しても適用でき、-形式のホッジ双対 -形式を得る。すると、ホッジスターは多様体上の微分形式の-ノルムである内積を与える。formula_55 の切断 と に対し、
である（切断の集合は、formula_57 と書かれることが多い。formula_58 の元は、外 -形式と呼ばれる）。
さらに一般的には、向き付けされていない場合は、-形式のホッジスターを -(pseudo differential form)、すなわち、標準ラインバンドル Ω n(M) に値を持つ微分形式として定義することができる。
余微分形式.
多様体上のホッジ双対の最も重要な応用は、余微分(codifferential) を定義することである。
とする。ここに、リーマン多様体に対し、 は外微分、 とする。
formula_60 に対し、formula_61 である。
余微分は反微分ではない。これは外微分と異なる。
余微分は外微分に随伴する、すなわち formula_62である。
ここに は ("k"+1)-形式であり、 は -形式である。
これは滑らかな微分形式に対するストークスの定理より従う。このことは
となるとき、つまり、 は境界を持たないか、または、 あるいは が境界値が 0 を持っているときである。
（もちろん、真の随伴性は、滑らかな微分形式の閉包として、適切な位相ベクトル空間への連続に接続した後に、これらの事実が成り立つ。）
注意すべきは、微分形式は、を満たすので、余微分は対応する性質 formula_64 をみたす。
ラプラス・ド・ラーム作用素は formula_65 で与えられ、
ホッジ理論の心臓部をなす。この作用素は対称、すなわち formula_66 であり、
非負 formula_67である。
ホッジ双対は、調和形式を調和形式へ写像する。ホッジ理論の結果として、ド・ラームコホモロジーは自然に調和 -形式の空間と同型となり、ホッジスターはコホモロジー群
の同型をもたらす。これは のポアンカレ双対性と標準的に同一視される。
3次元での微分.
3次元では、 作用素と外微分 の組み合わせは、古典的作用素 grad、curl、div を生成する。このことは次のようにして分かる。 は、0-形式（函数）から 1-形式へ、1-形式から 2-形式へ、2-形式から 3-形式へ（3-形式へ作用させると 0 となる）作用素である。0-形式 formula_69 に対し、成分表示された第一の場合は、grad 作用素と同一視される。
第二の場合は、 作用素により、1-形式上の作用素（formula_71）を成分で示すと、curl 作用素である。
ホッジスター作用素を適用することは、次を意味する。
最後の場合は、 を作用させると、1-形式 (formula_71) から 0-形式（函数）を得て、成分で示すと div 作用素である。
この表現の有利な点のひとつは、どの場合でも成り立つ恒等式 が、残る 2つをまとめ、 と と得る。特に、マクスウェルの方程式は、外微分とホッジスター作用素で表すと、特別に単純でエレガントな形となる。
ラプラシアンも得ることができる。上の情報と という事実を使うと、0-形式 formula_69 に対し、
となる。