| 原文と比べた結果、この記事には多数の(または内容の大部分に影響ある)誤訳があることが判明しています。情報の利用には注意してください。 正確な表現に改訳できる方を求めています。 |
数学において、ホッジスター作用素(ホッジスターさようそ、Hodge star operator)、もしくは、ホッジ双対(ホッジそうつい、Hodge dual)は、ウィリアム・ホッジにより導入された線型写像である。ホッジ双対は、有限次元の向き付けられた内積空間の外積代数の上で定義されるk -ベクトルのなす空間から(n − k)-ベクトルのなす空間への線形同型である。
他のベクトル空間に対する多くの構成と同様に、ホッジスター作用素は多様体の上のベクトルバンドルへの作用に拡張することができる。
たとえば余接束の外積代数(すなわち、多様体上の微分形式の空間)に対して、ホッジスター作用素を用いてラプラス=ド・ラーム作用素を定義し、コンパクトなリーマン多様体上の微分形式のホッジ分解を導くことができる。
Vを向きつけられた内積空間とし、nをその次元とする。0 ≤ k ≤ n をみたす整数 k に対し、ホッジスター作用素とは、k-ベクトル(英語版)(k-vectors)から (n − k)-ベクトル空間への同型写像のことである。この写像の k-ベクトルの像は、k-ベクトルのホッジ双対と呼ばれる。k-ベクトルの空間および(n − k)-ベクトルの空間の次元はともに二項係数
![{\displaystyle {\binom {n}{k}}={\binom {n}{n-k}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c1be4c4c9a68f088f7e13fe0b16135695cc638c)
である。同じ体の上の同じ次元の 2つのベクトル空間は常に同型であるが、標準的方法で同型となるわけではない。しかし、この場合のホッジ双対は、内積とベクトル空間の向き付けを利用することによって、代数における二項係数のパターンを反映した同型を自然にさだめる。またこれによって k-ベクトル空間の内積を導く。自然な定義とは、この双対関係が理論の幾何学的な役割を果たすことを意味する。
最初の興味深い例は、3次元ユークリッド空間 V である。二項係数は 1, 3, 3, 1であり、ホッジ双対は、2つの 3次元空間、V 自身とV から導かれる 2つのベクトルのウェッジ積の空間の間の同型を確立する。詳細は、#例の節を参照。この場合には、まさに伝統的なベクトル解析であるクロス積(外積)である。クロス積は 3次元でのみ定義されるのに対し、ホッジ双対は一般次元で定義される。
非退化な対称双線型形式(以下ではこれを内積とよぶ)を持つベクトル空間 V 上のホッジスター作用素(Hodge star operator)は、V の外積代数上の線型作用素であり、0 ≤ k ≤ n に対し、k-ベクトルを (n − k)-ベクトルに写すものである。
k-ベクトル上の内積 ⟨•, •⟩ は、V 上の内積から、 k-ベクトル α = α1 ∧ … ∧ αk と β = β1 ∧ … ∧ βk に対して、
![{\displaystyle \langle \alpha ,\beta \rangle =\det {\bigl (}\langle \alpha _{i},\beta _{j}\rangle {\bigr )}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/60845bc41457af971a52e2bcbf17d39946c3e554)
と定め、これを双線形に拡張することで得られる。
n-ベクトル の空間は 1 次元で、したがって単位n ベクトル ω には 2 つの取り方がある。このどちらかを選ぶことにより V 上の向き付けが決まる。
ホッジスター作用素は以下の性質をもち、またこれにより決定される。2つの k-ベクトル α, β が与えられたとき、
![{\displaystyle \alpha \wedge (\star \beta )=\langle \alpha ,\beta \rangle \omega }](https://wikimedia.org/api/rest_v1/media/math/render/svg/0800084e0bbf39993b8bbd55b441069740b5c7bc)
である。
V を内積をもつ n次元ベクトル空間とすると、上で述べたように各 k に対し
にも内積を定めることができる。これらをすべて ⟨•, •⟩ で表すとする。
は 1 次元で、その長さ 1 のベクトルのうち一つ ω を固定して、これを向きとする。
k-ベクトル λ と(n − k)-ベクトル θ に対し
が得られる。
これは上で選んだ ω のスカラー倍になる。
を固定し、上で定まるスカラーを fλ(θ) と書くと、一意に線形形式
![{\displaystyle f_{\lambda }\in {\biggl (}\bigwedge ^{n-k}V{\biggr )}^{\!*}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a57253d796078b129bf4d332b6b0dc8dde3639f)
が存在して、任意の
に対して λ ∧ θ = fλ(θ) ω となる。
この線形形式に対し、リースの表現定理により一意に (n − k)-ベクトル、
が存在し、
![{\displaystyle \forall \theta \in \bigwedge ^{n-k}V:\quad f_{\lambda }(\theta )=\langle \theta ,\star \lambda \rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/99ac3acf54a2c1d242032623d8e31d81635b9908)
を満たす。言いかえると、この (n − k)-ベクトル ⋆λ は 内積
![{\displaystyle {\biggl (}\bigwedge ^{n-k}V{\biggr )}^{\!*}\cong \bigwedge ^{n-k}V}](https://wikimedia.org/api/rest_v1/media/math/render/svg/05aee0b4ee7a3456ac145e204d5ff5247e8c2b84)
により導かれた同型の下で fλ の像となる。このようにして、
![{\displaystyle \star \colon \bigwedge ^{k}V\to \bigwedge ^{n-k}V}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a73f4797146a6bb04505f5e755b3d5922bd61243)
が得られる。
ω = e1 ∧ … ∧ en となるように順序付けされた直交基底 (e1, ..., en) が与えられると、
![{\displaystyle \star (e_{1}\wedge e_{2}\wedge \dotsb \wedge e_{k})=e_{k+1}\wedge e_{k+2}\wedge \dotsb \wedge e_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f731ed3627203062f82bf0d07ff300ef9bb9799)
と計算できる。
より一般に偶置換 (i1, i2, ..., in) に対しても
![{\displaystyle \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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83ee5b64c3e3cf11d7f1403c85053ec4653f74ee)
となることが分かる。
インデックス記法を使うと、ホッジ双対は、n-次元完全反対称レヴィ・チヴィタテンソル(Levi-Civita tensor)と k-形式の添字の縮約により得られる。これはレヴィ・チヴィタの記号から|det g|1/2 だけずれている。ここでg を内積(計量テンソル)とした。ここで行列式は、たとえばローレンツ多様体の接空間のようにg が正定値でない場合もあるので絶対値をとる必要がある。
このように[1]、
![{\displaystyle (\star \eta )_{i_{1},i_{2},\dotsc ,i_{n-k}}={\frac {1}{k!}}\eta ^{j_{1},\dotsc ,j_{k}}{\sqrt {|\det g|}}\,\varepsilon _{j_{1},\dotsc ,j_{k},i_{1},\dotsc ,i_{n-k}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/afa11d738b82be7fceae0963dd56f7436987151c)
と書く。ここに η は k の任意の反対称テンソルである。レヴィ・チヴィタテンソル同じ内積 g を使い、レヴィ・チヴィタテンソルの定義と同様に、インデックスを上げたり下げたりする(英語版)(indices are raised and lowered)。任意のテンソルを同じように表示できるが、結果は反対称である。これはテンソルの対称な成分が完全反対称レヴィ・チヴィタ記号との縮約により消去されるからである。
スター作用素のよく知られた例は、n = 3 次元の場合で、このとき 3 次元のベクトルと 3 × 3 歪対称行列の対応と見なすことができる。これはベクトル解析において暗に使われていて、たとえば、2つのベクトルのウェッジ積からクロス積を作りだすことができる。特に、ユークリッド空間 R3 では、容易に、
![{\displaystyle \star \mathrm {d} x=\mathrm {d} y\wedge \mathrm {d} z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2419fe056fa1ed0e27830d48ad0289eea3173f66)
![{\displaystyle \star \mathrm {d} y=\mathrm {d} z\wedge \mathrm {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2a6130d7dcdc2cbbb6d1a3c7ca05650ad7dd8ca9)
![{\displaystyle \star \mathrm {d} z=\mathrm {d} x\wedge \mathrm {d} y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/678680ffd5cc74d3cd1e441a10ec7496ae13136d)
であることが分かる。ここに dx, dy, dz は R3 上の標準の直交な微分 1-形式である。3次元におけるホッジ双対は、明らかにクロス積とウェッジ積を関連付ける。微分幾何学へ限定しない詳細な説明は、パラグラフを改める。
ホッジ双対を3次元へ適用すると、軸性ベクトルと 2-ベクトル(英語版)(bivector)の間の同型の間の同型、つまり軸性ベクトル a と 2-ベクトル A を対応させることができる。すなわち、[2]
![{\displaystyle {\boldsymbol {A}}=\star {\boldsymbol {a}}\qquad {\boldsymbol {a}}=\star {\boldsymbol {A}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b53cbcaf6dc369186d5a5b2bf857982cb343eac2)
が成り立つ。ここに、⋆ は双対作用素を表す。これらの双対関係は、実、および複素クリフォード代数 Cl3(R) の単位擬スカラー(英語版)(Unit pseudoscalar)の作用により以下のように記述できる[3]。i = e1e2e3 (ベクトル {eℓ} は 3次元ユークリッド空間の中での直交基底である)は、次の関係式に従う[4]。
![{\displaystyle {\boldsymbol {A}}={\boldsymbol {a}}i\quad {\boldsymbol {a}}=-{\boldsymbol {A}}i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c316ebae34f3ee6a7938f5d6a318ac6466f2720)
ベクトルの双対は i をかけることにより得ることができる。これは次のように代数の幾何積(英語版)(geometric product)の性質を使って説明できる。
![{\displaystyle {\begin{aligned}{\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{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/384b2678c82c3bfc236edf53fc612691dccba16d)
また、{eℓem} により張られる双対空間においても、
![{\displaystyle {\begin{aligned}{\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{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae73a043e907ea05a59eb55f16fdd2d2eea6e9c2)
である。ここでは次の関係式
![{\displaystyle ({\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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4db21a33e70772521744fbc7bd87689393ce9744)
および、
![{\displaystyle 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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e48aa94e479edbe9db2ca423d32f03486174d6d)
を用いた。
これらの双対 ⋆ と i 関係式は、任意のベクトルに対して適用できる。ここで双対は、クロス積 a = u × v として生成された軸性ベクトルを、2-ベクトルに値を持ち 2つの極(つまり、軸性ではない)ベクトル u と v の外積 A = u ∧ v へと関係付けることに適用される。2つの積は、行列式を使う同じ方法で、記法 eℓm = eℓem を使い、次のように書き表すことができる。
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/963e076e51cc86abac766fc5d0223833daeee1f0)
これらの表現は、2つのタイプのベクトルは、ℓ, m, n が巡回的(cyclic)な関係式
![{\displaystyle \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}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bbf51a73feba54e64d61d0b0dd7163bf0ec50ace)
と、再び ℓ, m, n が巡回的な関係式
![{\displaystyle \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}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c7744bb2d69225b52eb44d522e3460fb8721c6f)
の 2つの結果として、ホッジ双対であることを示される[2]。
![{\displaystyle \star ({\boldsymbol {u}}\wedge {\boldsymbol {v}})={\boldsymbol {u}}\times {\boldsymbol {v}}\,,\quad \star ({\boldsymbol {u}}\times {\boldsymbol {v}})={\boldsymbol {u}}\wedge {\boldsymbol {v}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/360eee02a90617dd5aea12cf0105fd1cd97c1c6a)
i を用いた ⋆ の、よく使われている関係式[5] は、
![{\displaystyle {\boldsymbol {u}}\times {\boldsymbol {v}}=-({\boldsymbol {u}}\wedge {\boldsymbol {v}})i\,,\quad {\boldsymbol {u}}\wedge {\boldsymbol {v}}=({\boldsymbol {u}}\times {\boldsymbol {v}})i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e59755507bcf828f7afd7e6cd32dd293b890f063)
である。
n = 4 の場合では、ホッジ双対は 2-ベクトルのなす空間の自己準同型として作用する(つまり、 4 − 2 = 2 であるので、ホッジ双対は 2-形式から 2-形式への写像である)。このときホッジ双対は対合であり、よって、ホッジ双対は自分から自分自身への自己双対と反自己双対な部分空間へ分解し、その上でホッジ双対がそれぞれ +1 , −1 として作用する。
他の有用な例は、n = 4 次元の計量の符号 (+ − − −) と 座標 (t, x, y, z) を使いミンコフスキー空間に対し、(ε0123 = 1 を使い、) 1-形式に対し、
![{\displaystyle \star \mathrm {d} t=\mathrm {d} x\wedge \mathrm {d} y\wedge \mathrm {d} z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b3f283c7106ca72101372f1af4479be2ea7ec75f)
![{\displaystyle \star \mathrm {d} x=\mathrm {d} t\wedge \mathrm {d} y\wedge \mathrm {d} z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65407e582ac4a250f5c3da1b329718480b32132e)
![{\displaystyle \star \mathrm {d} y=\mathrm {d} t\wedge \mathrm {d} z\wedge \mathrm {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d57bb5750bd9cf8bcad9b927af8ed54aa22ab44)
![{\displaystyle \star \mathrm {d} z=\mathrm {d} t\wedge \mathrm {d} x\wedge \mathrm {d} y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/889444e4d3638d4aa79c8188b00aad7151c3f273)
であり、一方、2-形式に対し、
![{\displaystyle \star (\mathrm {d} t\wedge \mathrm {d} x)=-\mathrm {d} y\wedge \mathrm {d} z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c80bcdfb1bfd1083b4203abc1446d159d51ceac)
![{\displaystyle \star (\mathrm {d} t\wedge \mathrm {d} y)=\mathrm {d} x\wedge \mathrm {d} z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/35ba008ba939a150a49c6f2aa8375820665c5c6d)
![{\displaystyle \star (\mathrm {d} t\wedge \mathrm {d} z)=-\mathrm {d} x\wedge \mathrm {d} y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0233c14d8474ff32197ecde327f845a9b2c22df8)
![{\displaystyle \star (\mathrm {d} x\wedge \mathrm {d} y)=\mathrm {d} t\wedge \mathrm {d} z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c04ffab723cb5d8cf4ea7e2e27cfc65db9166e4)
![{\displaystyle \star (\mathrm {d} x\wedge \mathrm {d} z)=-\mathrm {d} t\wedge \mathrm {d} y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/98ca80ee0ac3134f10546e8557a5bef08336ac0b)
![{\displaystyle \star (\mathrm {d} y\wedge \mathrm {d} z)=\mathrm {d} t\wedge \mathrm {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa1e5876515df84d19919c8294249057ea3d4789)
である。
ホッジスターは双対性を定義する、つまりホッジスターを二回適用することで符号を除き外積代数の恒等写像を定める。n-次元空間 V の中の
の k-ベクトルが与えられると、
![{\displaystyle \star {\star \eta }=(-1)^{k(n-k)}s\eta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d644bd4d8ee4c3b2e1c7e395a37a1c2e7d19ca8)
を得る。ここに s は V 上の内積の計量の符号(英語版)(metric signature)である。特に、s は内積テンソルの行列式の符号である。このように、たとえば、n = 4 で内積の符号が、(+ − − −) 、または、(− + + +) であれば、s = −1 である。通常のユークリッド空間では符号は常に正であり、従って、s = 1 である。ホッジスターが擬リーマン多様体へ拡張されると、上の内積は対角形式での計量であると理解される。
上のことから、⋆ の逆写像が
![{\displaystyle \star ^{-1}\colon \bigwedge ^{k}\to \bigwedge ^{n-k};\eta \mapsto (-1)^{k(n-k)}s{\star \eta }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/019115f9c9a2f110f7896a76e1daa6325021c297)
で与えられることがわかる。n が奇数であれば、任意の k に対し k(n − k) は偶数であり、n が偶数であれば、k(n − k) と k の偶奇はひとしい。従って、
![{\displaystyle {\begin{cases}\star ^{-1}=s\star &n{\text{ is odd}}\\\star ^{-1}=(-1)^{k}s\star &n{\text{ is even}}\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/56fcb9946ebce97e5e94e9162bef0a0fd97dc309)
である。ここに k は作用した形式の次数である。
上の構成を向きづけられた n次元のリーマン多様体、あるいは擬リーマン多様体の余接空間に対しても適用でき、k-形式のホッジ双対 (n − k)-形式を得る。すると、ホッジスターは多様体上の微分形式のL2-ノルムである内積を与える。
の切断 η と ζ に対し、
![{\displaystyle (\eta ,\zeta )=\int _{M}\eta \wedge \star \zeta =\int _{M}\langle \eta ,\zeta \rangle \,\mathrm {d} \mathrm {Vol} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b64d063913a3f1a33d7fee7d013d9516e3bb1720)
である(切断の集合は、
と書かれることが多い。Ωk(M) の元は、外 k-形式と呼ばれる)。
さらに一般的には、向き付けされていない場合は、k-形式のホッジスターを (n − k)-擬微分形式(英語版)(pseudo differential form)、すなわち、標準ラインバンドル Ωn(M) に値を持つ微分形式として定義することができる。
多様体上のホッジ双対の最も重要な応用は、余微分(codifferential) δ を定義することである。
![{\displaystyle \delta =(-1)^{nk+n+1}s\,{\star \mathrm {d} \star }=(-1)^{k}\,{\star ^{-1}\mathrm {d} \star }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a420bb7e3558c2a72feb503591166cd06765ec3b)
とする。ここに、リーマン多様体に対し、d は外微分、s = 1 とする。
d: Ωk(M) → Ωk+1(M) に対し、δ: Ωk(M) → Ωk−1(M) である。
余微分は反微分ではない。これは外微分と異なる。
余微分は外微分に随伴する、すなわち ⟨η, δζ⟩ = ⟨dη, ζ⟩ である。
ここに ζ は (k + 1)-形式であり、η は k-形式である。
これは滑らかな微分形式に対するストークスの定理より従う。このことは
![{\displaystyle {\begin{aligned}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{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/20c682e00a2fc60450dbac20c5490128bb883f67)
となるとき、つまり、M は境界を持たないか、または、η あるいは ⋆ζ が境界値が 0 を持っているときである。
(もちろん、真の随伴性は、滑らかな微分形式の閉包として、適切な位相ベクトル空間への連続に接続した後に、これらの事実が成り立つ。)
注意すべきは、微分形式は、d2 = 0を満たすので、余微分は対応する性質
をみたす。
ラプラス・ド・ラーム作用素(en:Laplace–Beltrami_operator)は ∆ = (δ + d)2 = δd + dδ で与えられ、
ホッジ理論の心臓部をなす。この作用素は対称、すなわち ⟨∆ζ, η⟩ = ⟨ζ, ∆η⟩ であり、
非負 ⟨∆η, η⟩ ≥ 0 である。
ホッジ双対は、調和形式を調和形式へ写像する。ホッジ理論の結果として、ド・ラームコホモロジーは自然に調和 k-形式の空間と同型となり、ホッジスターはコホモロジー群
![{\displaystyle \star \colon H_{\Delta }^{k}(M)\to H_{\Delta }^{n-k}(M)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/973538d27d1f54075e00da4fb21d9d072d67f936)
の同型をもたらす。これは H k(M) のポアンカレ双対性と標準的に同一視される。
3次元では、⋆ 作用素と外微分 d の組み合わせは、古典的作用素 grad、curl、div を生成する。このことは次のようにして分かる。d は、0-形式(函数)から 1-形式へ、1-形式から 2-形式へ、2-形式から 3-形式へ(3-形式へ作用させると 0 となる)作用素である。0-形式 ω = f(x, y, z) に対し、成分表示された第一の場合は、grad 作用素と同一視される。
![{\displaystyle \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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c17bcb42845689fcffeb18dbb3ee89e3ec91b9ae)
第二の場合は、⋆ 作用素により、1-形式上の作用素 (η = A dx + B dy + C dz) を成分で示すと、curl 作用素である。
![{\displaystyle \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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2a672bb65e822cc9503305532c6053a006504236)
ホッジスター作用素を適用することは、次を意味する。
![{\displaystyle \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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2938b2d7eea506b58d2d79f6f399ec2eadb39b3c)
最後の場合は、⋆ を作用させると、1-形式 (η = A dx + B dy + C dz) から 0-形式(函数)を得て、成分で示すと div 作用素である。
![{\displaystyle {\begin{aligned}\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{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/11ac153a5b83f72d60bbe86553bcc0acbcbd3d20)
この表現の有利な点のひとつは、どの場合でも成り立つ恒等式 d2 = 0 が、残る 2つをまとめ、curl(grad( f )) = 0 と div(curl(F)) = 0 と得る。特に、マクスウェルの方程式は、外微分とホッジスター作用素で表すと、特別に単純でエレガントな形となる。
ラプラシアンも得ることができる。上の情報と ∆ f = div grad f という事実を使うと、0-形式 ω = f(x, y, z) に対し、
![{\displaystyle \Delta \omega =\star \mathrm {d} {\star \mathrm {d} \omega }={\frac {\partial ^{2}f}{\partial x^{2}}}+{\frac {\partial ^{2}f}{\partial y^{2}}}+{\frac {\partial ^{2}f}{\partial z^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e1621f10049e49cf8b96db538bf4fdf88379f70)
となる。