ホッジ理論

数学におけるホッジ理論（ホッジりろん、テンプレート:Lang-en-short ）とは可微分多様体 テンプレート:Mvar 上の微分形式に関する理論である。特に、テンプレート:Mvar 上のリーマン計量に付随する（一般化された）ラプラス作用素に関する偏微分方程式論をもちいて得られる テンプレート:Mvar 上の実係数コホモロジー群の性質のことをいう。

1930年代にウィリアム・ホッジによってド・ラームコホモロジーの拡張として開発され、3つのレベルで大きな応用を持っている。

• リーマン多様体
• ケーラー多様体
• 複素射影多様体の代数幾何学、より広くはモチーフ

はじめ、M が閉多様体（つまり、境界を持たないコンパクトな多様体）の場合に研究された。その後、上記の3つのレベルでホッジ理論は以降の研究に大きな影響を与えた。たとば小平邦彦によって研究された（日本で、さらにプリンストンでヘルマン・ワイルの影響の下で）。

ホッジ分解

$\delta$ をテンプレート:仮リンク（codifferential）とすると、微分形式 $\omega$ は $\delta \omega =0$ の時は余閉といい、また、ある微分形式 $\alpha$ に対して $\omega =\delta \alpha$ であれば余完全という。ホッジ分解（Hodge decomposition）は、任意の k-形式が 3つのL²成分に分解できることを言っている。

$\omega =d\alpha +\delta \beta +\gamma .$

ここに $\gamma$ は調和形式すなわち $\mathrm{\Delta }\gamma =0$ である。このことは、完全形式と余完全形式は直交することから従う。従って、直交補空間は閉形式と余閉形式の両方の形式、つまり調和形式からなる。ここで、直交性は ${\mathrm{\Omega }}^k(M)$ 上の L²内積

$(\alpha ,\beta )=\underset{M}{\int }\alpha \wedge *\beta .$

によって定義される。分解を正確に定義し証明するには、ソボレフ空間上で問題を定式化することが必要である。そこでの考え方は、ソボレフ空間が二乗可積分函数の考え方と微分の考え方の双方に対して自然な設定をもたらすことであり、これを使いコンパクト台が必要であるという制限のいくつかを克服することができる。

調和形式

テンプレート:See also $M$ をコンパクトテンプレート:要曖昧さ回避なリーマン多様体とすると、$H_{\mathrm{d}\mathrm{R}}^k(M)$ の各々の同値類はちょうどひとつだけ調和形式を含む。すなわち、与えられた閉形式の同値類の任意の元 ω は次の形に書くことができる。

$\omega =d\alpha +\gamma$

ここに $\alpha$ はある微分形式で、γ は調和形式、つまり Δγ = 0 である。

コンパクトで連結なリーマン多様体の上の任意の調和函数は定数である。したがって、特別に注目すべき元は多様体の全てのコホモロジー同値な形式の最大値（最小値）であると理解することができる。例えば、2-トーラス上では、定数の1-形式は、（同じ長さで）同じ方向を揃って向いた「毛」のようなものと考えることができる。この場合には、2つのコホモロジー的に異なった方向があり、他はすべてこれらの線型結合である。特に、このことは2-トーラスの 1 次ベッチ数は 2 であることを意味する。より一般的には、n-次元トーラス Tⁿ 上では、k-形式の様々な方向を考えることができて、$H_{\text{dR}}^k(T^n)$ の基底ベクトルを作ることに使うことができる _nC_k 個のそのような選び方がある。従って、n-次元トーラスのド・ラームコホモロジー群の k-次ベッチ数は、_nC_k である。

さらに詳しくは、微分可能多様体 M に対して、あるリーマン計量を与えることができて、ラプラシアン Δ は次で定義される。

$\mathrm{\Delta }=d\delta +\delta d$

ここで d は外微分であり、δ はテンプレート:仮リンクである。ラプラシアンは微分形式の外積代数上に作用する（次数付き） 線型微分作用素として同次(homogeneous)である。次数 k の各々の成分への作用を別々にみることができる。

M がコンパクトテンプレート:要曖昧さ回避で向き付け可能であれば、（ホッジ理論により）k-形式の空間上に作用するラプラシアンの核の次元は、次数 k のド・ラームコホモロジー群の次元に等しくなる。ラプラシアンは、閉形式の各々のコホモロジー類の中の調和形式を一意に取り出す。特に M 上の全ての調和 k-形式の空間は H^k(M; R) に同型となる。各々のそれらの空間の次元は有限で、k-番目のベッチ数で与えられる。

応用と例

ド・ラームコホモロジー

テンプレート:Main ホッジ理論の（ホッジによる）もともとの定式化は、ド・ラーム複体に対するものである。テンプレート:Mvar はコンパクトで向き付け可能な多様体で滑らかな計量 テンプレート:Mvar を持つものとし、テンプレート:Math は テンプレート:Mvar 上の テンプレート:Mvar-次の微分形式の空間とする。これにたいし微分作用素の成す系列

$0\to {\mathrm{\Omega }}^0(M)\stackrel{d_0}{\to }{\mathrm{\Omega }}^1(M)\stackrel{d_1}{\to }\cdots \stackrel{d_{n-1}}{\to }{\mathrm{\Omega }}^n(M)\stackrel{d_n}{\to }0$

はド・ラーム複体と呼ばれる。ここに、テンプレート:Math は テンプレート:Math 上の外微分を表す。このとき、ド・ラームコホモロジーとは

$H^k(M)=\ker d_k/\mathrm{im}{d}_{k-1}$

で定義されるベクトル空間の系列のことである。テンプレート:仮リンクと呼ばれる外微分 テンプレート:Mvar の形式的な随伴 テンプレート:Mvar を以下のように定義することができる。テンプレート:Math を計量の誘導する テンプレート:Math 上の内積として、任意の テンプレート:Math に対して、

$\underset{M}{\int }⟨d\alpha ,\beta {⟩}_{k+1}dV=\underset{M}{\int }⟨\alpha ,\delta \beta {⟩}_{k}dV$

を満足するものとして定めるのである。このとき、微分形式の空間上のラプラシアンは テンプレート:Math と定義され、調和形式の空間

${\mathscr{H}}_{\mathrm{\Delta }}^k(M)=\{\alpha \in {\mathrm{\Omega }}^k(M)\mid \mathrm{\Delta }\alpha =0\}$

が定義できるようになる。dΔ=0であることから調和形式は閉形式でありしたがって線形写像 ${\mathscr{H}}_{\mathrm{\Delta }}^k(M)\to H^k(M)$ がさだまる。ホッジの定理は、この線形写像が同型であることを主張する。つまり、テンプレート:Mvar 上の各ド・ラームコホモロジー類の代表元として、調和形式が一意的に取れる。

このことから得られるめぼしい帰結は、コンパクト多様体上のド・ラームコホモロジー群が有限次元となることである。これは作用素 テンプレート:Math が楕円型であり、コンパクト多様体楕円型作用素の核が必ず有限次元ベクトル空間となることから従う。

またド・ラームコホモロジーにおけるポアンカレ双対性もしめすことができる。

楕円型複体のホッジ理論

一般に、ホッジ理論はコンパクト多様体 テンプレート:Mvar 上の任意の楕円型複体に適用できる。

テンプレート:Math を テンプレート:Mvar 上の計量を持つベクトル束とし、

$L_i:\mathrm{\Gamma }(E_i)\to \mathrm{\Gamma }(E_{i+1})$

をこれらベクトル束の切断の空間上に作用する微分作用素として、これらの成す複体

$\mathrm{\Gamma }(E_0)\to \mathrm{\Gamma }(E_1)\to \cdots \to \mathrm{\Gamma }(E_N)$

が楕円型であるとする。これらの直和

$L=⨁L_i:{ℰ}^{\bullet }\to {ℰ}^{\bullet }({ℰ}^{\bullet }=⨁\mathrm{\Gamma }(E_i))$

をとり、テンプレート:Math を テンプレート:Mvar の随伴として楕円型作用素 テンプレート:Math を定義すると、ド・ラームコホモロジーのときと同様に、調和切断全体の成すベクトル空間

$\mathscr{H}=\{e\in {ℰ}^{\bullet }\mid \mathrm{\Delta }e=0\}$

を考えることができる。

ここで、$H:{ℰ}^{\bullet }\to \mathscr{H}$ を直交射影とし、テンプレート:Mvar を テンプレート:Math に対するグリーン作用素とすると、ホッジの定理は以下の事を主張する。

1. テンプレート:Mvar および テンプレート:Mvar は矛盾なく定義される。
2. テンプレート:Math
3. テンプレート:Math
4. この複体のコホモロジーは調和切断の空間と自然同型 $H(E_j)\cong \mathscr{H}(E_j)$ である。これは各コホモロジー類は調和な代表元を一意に持つことを意味する。

ホッジ構造

実ホッジ構造とは、実ベクトル空間 W とに対し、W のテンプレート:仮リンクである テンプレート:Math の次数付き空間 W^{p, q} への直和分解であって、W^C の複素共役が W^{q, p} を入れ替える作用となるもの。ここで "p"+"q"="k" とし、この"k"をウェイト k とよぶ。

非特異な複素射影多様体 V の実数係数の特異コホモロジー群はホッジ構造を持つことがわかる。 $H^k(V)$ は複素部分空間 H^{p, q} への分解を持つ。 それぞれの次元を $h^{p,q}=\dim H^{p,q}$とかき$h^{p,q}$ をホッジ数と言う。 ベッチ数 b_k = dim H^k (V) は

$b_k=\sum _{p+q=k}{h}^{p,q},$

をみたす。また h^p,q=h^q,pであることもわかり、とくに k が奇数の場合に b_kが偶数であることがしたがう。 ベッチ数の系列は、ホッジ数のホッジダイアモンドと言い、2次元的に広がっている。

この分解は調和形式の理論から来ていて、ホッジラプラス作用素（一般化された調和函数であり、最大値原理によりコンパクト多様体上にテンプレート:仮リンクである必要がある）によって選ばれたド・ラームコホモロジーの中の特別な表現である。後日のドルボー(Dolbeault)の仕事により、上記のホッジ分解は正則 p-形式の層 Ω^p に係数をもつ層コホモロジー群 $H^q(V,{\mathrm{\Omega }}^p)$ をもちいて記述できることがわかる。この場合には、ラプラス作用素なしで、より直接的な代数的解釈をもたらす。

特異点をもつ場合や非コンパクトな多様体の場合は、コホモロジー群は混合ホッジ構造といわれるより複雑な構造をもつ。混合ホッジ構造においては直和分解のかわりに二つのテンプレート:仮リンクをもち、適切な性質をみたす。例えばモノドロミー問題のように、より広く使われている。

関連項目

• テンプレート:仮リンク
• ホッジ予想
• 周期写像
• テンプレート:仮リンク
• ホッジ構造
• 対数的微分形式
• p進ホッジ理論
• ホッジ・アラケロフ幾何学

参考文献

• テンプレート:Cite book
• テンプレート:Citation