ホッジ理論

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

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

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

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

応用と例

ド・ラームコホモロジー

→詳細は「ド・ラームコホモロジー」を参照

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

0\rightarrow \Omega ^{0}(M){\xrightarrow {d_{0}}}\Omega ^{1}(M){\xrightarrow {d_{1}}}\cdots {\xrightarrow {d_{n-1}}}\Omega ^{n}(M){\xrightarrow {d_{n}}}0

はド・ラーム複体と呼ばれる。ここに、 $d k$ は $Ω k (M)$ 上の外微分を表す。このとき、ド・ラームコホモロジーとは

H^{k}(M)=\ker d_{k}/\operatorname {im} d_{k-1}

で定義されるベクトル空間の系列のことである。余微分と呼ばれる外微分 $d$ の形式的な随伴 $δ$ を以下のように定義することができる。 $⟨ , ⟩$ を計量の誘導する $Ω k (M)$ 上の内積として、任意の $α \in Ω k (M), β \in Ω k +1 (M)$ に対して、

\int _{M}\langle d\alpha ,\beta \rangle _{k+1}\,dV=\int _{M}\langle \alpha ,\delta \beta \rangle _{k}\,dV

を満足するものとして定めるのである。このとき、微分形式の空間上のラプラシアンは $Δ = d δ + δ d$ と定義され、調和形式の空間

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

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

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

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

楕円型複体のホッジ理論

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

$E 0, E 1, \dots, E N$ を $M$ 上の計量を持つベクトル束とし、

L_{i}\colon \Gamma (E_{i})\to \Gamma (E_{i+1})

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

\Gamma (E_{0})\to \Gamma (E_{1})\to \dotsb \to \Gamma (E_{N})

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

L=\bigoplus L_{i}\colon {\mathcal {E}}^{\bullet }\to {\mathcal {E}}^{\bullet }\quad ({\mathcal {E}}^{\bullet }=\bigoplus \Gamma (E_{i}))

をとり、 $L *$ を $L$ の随伴として楕円型作用素 $Δ = LL * + L * L$ を定義すると、ド・ラームコホモロジーのときと同様に、調和切断全体の成すベクトル空間

{\mathcal {H}}=\{e\in {\mathcal {E}}^{\bullet }\mid \Delta e=0\}

を考えることができる。

ここで、 $H\colon {\mathcal {E}}^{\bullet }\to {\mathcal {H}}$ を直交射影とし、 $G$ を $Δ$ に対するグリーン作用素とすると、ホッジの定理は以下の事を主張する。

$H$ および $G$ は矛盾なく定義される。
$Id = H + Δ G = H + G Δ.$
$LG = GL, L * G = GL * .$
この複体のコホモロジーは調和切断の空間と自然同型 $H(E_{j})\cong {\mathcal {H}}(E_{j})$ である。これは各コホモロジー類は調和な代表元を一意に持つことを意味する。

ホッジ構造

実ホッジ構造とは、実ベクトル空間 W とに対し、W の複素化（英語版）である $W C = W \otimes C$ の次数付き空間 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,\Omega ^{p})$ をもちいて記述できることがわかる。この場合には、ラプラス作用素なしで、より直接的な代数的解釈をもたらす。

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

参考文献

Griffiths, P.; Harris, Joe (1994). Principles of Algebraic Geometry. Wiley Classics Library. Wiley Interscience. p. 117. ISBN 0-471-05059-8
Hodge, W. V. D. (1941), The Theory and Applications of Harmonic Integrals, Cambridge University Press, ISBN 978-0-521-35881-1, MR0003947

応用と例

ド・ラームコホモロジー

楕円型複体のホッジ理論

ホッジ構造

関連項目

参考文献