ホッジ理論

数学におけるホッジ理論（ホッジりろん、 ）とは可微分多様体 上の微分形式に関する理論である。特に、 上のリーマン計量に付随する（一般化された）ラプラス作用素に関する偏微分方程式論をもちいて得られる 上の実係数コホモロジー群の性質のことをいう。
1930年代にウィリアム・ホッジによってド・ラームコホモロジーの拡張として開発され、3つのレベルで大きな応用を持っている。
はじめ、M が閉多様体（つまり、境界を持たないコンパクトな多様体）の場合に研究された。その後、上記の3つのレベルでホッジ理論は以降の研究に大きな影響を与えた。たとば小平邦彦によって研究された（日本で、さらにプリンストンでヘルマン・ワイルの影響の下で）。
ホッジ分解.
formula_1 を（codifferential）とすると、微分形式 formula_2 は formula_3 の時は余閉といい、また、ある微分形式 formula_4 に対して formula_5 であれば余完全という。ホッジ分解（Hodge decomposition）は、任意の "k"-形式が 3つの"L"2成分に分解できることを言っている。
ここに formula_7 は調和形式すなわち formula_8 である。このことは、完全形式と余完全形式は直交することから従う。従って、直交補空間は閉形式と余閉形式の両方の形式、つまり調和形式からなる。ここで、直交性は formula_9 上の "L"2内積
によって定義される。分解を正確に定義し証明するには、ソボレフ空間上で問題を定式化することが必要である。そこでの考え方は、ソボレフ空間が二乗可積分函数の考え方と微分の考え方の双方に対して自然な設定をもたらすことであり、これを使いコンパクト台が必要であるという制限のいくつかを克服することができる。
調和形式.
formula_11 をコンパクトなリーマン多様体とすると、formula_12 の各々の同値類はちょうどひとつだけ調和形式を含む。すなわち、与えられた閉形式の同値類の任意の元 ω は次の形に書くことができる。
ここに formula_4 はある微分形式で、γ は調和形式、つまり Δγ = 0 である。
コンパクトで連結なリーマン多様体の上の任意の調和函数は定数である。したがって、特別に注目すべき元は多様体の全てのコホモロジー同値な形式の最大値（最小値）であると理解することができる。例えば、2-トーラス上では、定数の1-形式は、（同じ長さで）同じ方向を揃って向いた「毛」のようなものと考えることができる。この場合には、2つのコホモロジー的に異なった方向があり、他はすべてこれらの線型結合である。特に、このことは2-トーラスの 1 次ベッチ数は 2 であることを意味する。より一般的には、"n"-次元トーラス "Tn" 上では、"k"-形式の様々な方向を考えることができて、formula_15 の基底ベクトルを作ることに使うことができる "nCk" 個のそのような選び方がある。従って、"n"-次元トーラスのド・ラームコホモロジー群の "k"-次ベッチ数は、"nCk" である。
さらに詳しくは、微分可能多様体 "M" に対して、あるリーマン計量を与えることができて、ラプラシアン Δ は次で定義される。
ここで "d" は外微分であり、δ はである。ラプラシアンは微分形式の外積代数上に作用する（次数付き） 線型微分作用素として同次(homogeneous)である。次数 "k" の各々の成分への作用を別々にみることができる。
"M" がコンパクトで向き付け可能であれば、（ホッジ理論により）"k"-形式の空間上に作用するラプラシアンの核の次元は、次数 "k" のド・ラームコホモロジー群の次元に等しくなる。ラプラシアンは、閉形式の各々のコホモロジー類の中の調和形式を一意に取り出す。特に "M" 上の全ての調和 "k"-形式の空間は "H""k"("M"; R) に同型となる。各々のそれらの空間の次元は有限で、"k"-番目のベッチ数で与えられる。
応用と例.
ド・ラームコホモロジー.
ホッジ理論の（ホッジによる）もともとの定式化は、ド・ラーム複体に対するものである。 はコンパクトで向き付け可能な多様体で滑らかな計量 を持つものとし、 は 上の -次の微分形式の空間とする。これにたいし微分作用素の成す系列
はド・ラーム複体と呼ばれる。ここに、 は 上の外微分を表す。このとき、ド・ラームコホモロジーとは
で定義されるベクトル空間の系列のことである。と呼ばれる外微分 の形式的な随伴 を以下のように定義することができる。 を計量の誘導する 上の内積として、任意の に対して、
を満足するものとして定めるのである。このとき、微分形式の空間上のラプラシアンは と定義され、調和形式の空間
が定義できるようになる。dΔ=0であることから調和形式は閉形式でありしたがって線形写像 formula_21 がさだまる。ホッジの定理は、この線形写像が同型であることを主張する。つまり、 上の各ド・ラームコホモロジー類の代表元として、調和形式が一意的に取れる。
このことから得られるめぼしい帰結は、コンパクト多様体上のド・ラームコホモロジー群が有限次元となることである。これは作用素 が楕円型であり、コンパクト多様体楕円型作用素の核が必ず有限次元ベクトル空間となることから従う。
またド・ラームコホモロジーにおけるポアンカレ双対性もしめすことができる。
楕円型複体のホッジ理論.
一般に、ホッジ理論はコンパクト多様体 上の任意の楕円型複体に適用できる。
 を 上の計量を持つベクトル束とし、
をこれらベクトル束の切断の空間上に作用する微分作用素として、これらの成す複体
が楕円型であるとする。これらの直和
をとり、 を の随伴として楕円型作用素 を定義すると、ド・ラームコホモロジーのときと同様に、調和切断全体の成すベクトル空間
を考えることができる。
ここで、formula_26 を直交射影とし、 を に対するグリーン作用素とすると、ホッジの定理は以下の事を主張する。
ホッジ構造.
実ホッジ構造とは、実ベクトル空間 "W" とに対し、"W" のである の次数付き空間 "W""p", "q" への直和分解であって、"W"C の複素共役が "W""q", "p" を入れ替える作用となるもの。ここで "p"+"q"="k" とし、この"k"をウェイト "k" とよぶ。
非特異な複素射影多様体 "V" の実数係数の特異コホモロジー群はホッジ構造を持つことがわかる。
formula_28 は複素部分空間 "H""p", "q" への分解を持つ。
それぞれの次元を formula_29とかきformula_30 をホッジ数と言う。
ベッチ数 bk = dim Hk (V) は
をみたす。また hp,q=hq,pであることもわかり、とくに k が奇数の場合に bkが偶数であることがしたがう。
ベッチ数の系列は、ホッジ数のホッジダイアモンドと言い、2次元的に広がっている。
この分解は調和形式の理論から来ていて、ホッジラプラス作用素（一般化された調和函数であり、最大値原理によりコンパクト多様体上にである必要がある）によって選ばれたド・ラームコホモロジーの中の特別な表現である。後日のドルボー(Dolbeault)の仕事により、上記のホッジ分解は正則 "p"-形式の層 Ω"p" に係数をもつ層コホモロジー群 formula_32 をもちいて記述できることがわかる。この場合には、ラプラス作用素なしで、より直接的な代数的解釈をもたらす。
特異点をもつ場合や非コンパクトな多様体の場合は、コホモロジー群は混合ホッジ構造といわれるより複雑な構造をもつ。混合ホッジ構造においては直和分解のかわりに二つのをもち、適切な性質をみたす。例えばモノドロミー問題のように、より広く使われている。