ホッジ理論のソースを表示

{{要改訳}}

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

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

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

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

==ホッジ分解==
<math>\delta</math> を{{仮リンク|余微分|en|codifferential}}（codifferential）とすると、微分形式 <math>\omega</math> は <math>\delta\omega=0</math> の時は'''余閉'''といい、また、ある微分形式 <math>\alpha</math> に対して <math>\omega=\delta\alpha</math> であれば'''余完全'''という。'''ホッジ分解'''（Hodge decomposition）は、任意の ''k''-形式が 3つの[[Lp空間|''L''<sup>2</sup>]]成分に分解できることを言っている。

:<math>\omega = d\alpha +\delta \beta + \gamma \ .</math>

ここに <math>\gamma</math> は調和形式すなわち <math>\Delta\gamma=0</math> である。このことは、完全形式と余完全形式は直交することから従う。従って、直交補空間は閉形式と余閉形式の両方の形式、つまり調和形式からなる。ここで、直交性は <math>\Omega^k(M)</math> 上の [[Lp空間|''L''<sup>2</sup>]]内積

:<math>(\alpha,\beta)=\int_M \alpha \wedge *\beta.</math>

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

==調和形式==
{{see also|調和微分}}
<math>M</math> を[[コンパクト]]{{要曖昧さ回避|date=2022年11月}}な[[リーマン多様体]]とすると、<math> H^{k}_{\mathrm{dR}}(M) </math> の各々の同値類はちょうどひとつだけ[[調和形式]]を含む。すなわち、与えられた閉形式の同値類の任意の元 ω は次の形に書くことができる。

:<math>\omega = d\alpha+\gamma \,</math>

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

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

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

:<math>\Delta=d\delta+\delta d \,</math>
 
ここで ''d'' は[[外微分]]であり、δ は{{仮リンク|余微分|en|codifferential}}である。ラプラシアンは[[微分形式]]の[[外積代数]]上に作用する（[[次数付き多元環|次数付き]]） [[線型]][[微分作用素]]として同次(homogeneous)である。次数 ''k'' の各々の成分への作用を別々にみることができる。

''M'' が[[コンパクト]]{{要曖昧さ回避|date=2022年11月}}で[[向き付け可能性|向き付け可能]]であれば、（ホッジ理論により）[[微分形式|''k''-形式]]の空間上に作用するラプラシアンの[[核 (代数学)|核]]の[[次元]]は、次数 ''k'' のド・ラームコホモロジー群の次元に等しくなる。ラプラシアンは、[[ポアンカレの補題|閉形式]]の各々のコホモロジー類の中の'''調和形式'''を一意に取り出す。特に ''M'' 上の全ての調和 ''k''-形式の空間は ''H''<sup>''k''</sup>(''M''; '''R''') に同型となる。各々のそれらの空間の次元は有限で、''k''-番目の[[ベッチ数]]で与えられる。

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

: <math> 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 </math>

はド・ラーム複体と呼ばれる。ここに、{{math|''d<sub>k</sub>''}} は {{math|Ω<sup>''k''</sup>(''M'')}} 上の[[外微分]]を表す。このとき、ド・ラームコホモロジーとは

: <math>H^k(M)=\ker d_k/\operatorname{im}d_{k-1}</math>

で定義されるベクトル空間の系列のことである。{{仮リンク|余微分|en|codifferential}}と呼ばれる外微分 {{mvar|d}} の形式的な随伴 {{mvar|δ}} を以下のように定義することができる。{{math|&lang;&thinsp;,&thinsp;&rang;}} を計量の誘導する {{math|Ω<sup>''k''</sup>(''M'')}} 上の内積として、任意の {{math|α &isin; Ω<sup>''k''</sup>(''M''), β &isin; Ω<sup>''k''+1</sup>(''M'')}} に対して、

: <math>\int_M \langle d\alpha,\beta\rangle_{k+1} \,dV = \int_M\langle\alpha,\delta\beta\rangle_k \,dV</math>

を満足するものとして定めるのである。このとき、微分形式の空間上の[[ラプラス作用素|ラプラシアン]]は {{math|Δ {{=}} ''d''δ + δ''d''}} と定義され、[[調和形式]]の空間
:<math>\mathcal{H}_\Delta^k(M)=\{\alpha\in\Omega^k(M)\mid\Delta\alpha=0\}</math>

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

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

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

===楕円型複体のホッジ理論===

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

{{math|''E''{{sub|0}}, ''E''{{sub|1}}, …, ''E''{{sub|''N''}}}} を {{mvar|M}} 上の計量を持つ[[ベクトル束]]とし、
:<math>L_i\colon \Gamma(E_i)\to \Gamma(E_{i+1})</math> 
をこれらベクトル束の切断の空間上に作用する[[微分作用素]]として、これらの成す複体

: <math>\Gamma(E_0)\to \Gamma(E_1)\to \dotsb \to \Gamma(E_N)</math>

が楕円型であるとする。これらの[[直和]]
: <math>L=\bigoplus L_i\colon \mathcal{E}^\bullet\to \mathcal{E}^\bullet \quad (\mathcal E^\bullet=\bigoplus \Gamma(E_i))</math> 
をとり、{{math|''L''<sup>*</sup>}} を {{mvar|L}} の随伴として楕円型作用素 {{math|Δ {{=}} ''LL''<sup>*</sup> + ''L''<sup>*</sup>''L''}} を定義すると、ド・ラームコホモロジーのときと同様に、調和切断全体の成すベクトル空間

: <math>\mathcal{H} =\{e\in\mathcal E^\bullet\mid\Delta e=0\}</math>

を考えることができる。

ここで、<math>H\colon \mathcal E^\bullet\to \mathcal{H}</math> を直交射影とし、{{mvar|G}} を {{math|Δ}} に対する[[グリーン函数|グリーン作用素]]とすると、'''ホッジの定理'''は以下の事を主張する。

# {{mvar|H}} および {{mvar|G}} は[[well-defined|矛盾なく定義される]]。
# {{math|Id {{=}} ''H'' + Δ''G'' {{=}} ''H'' + ''G''Δ.}}
# {{math|''LG'' {{=}} ''GL'', ''L''<sup>*</sup>''G'' {{=}} ''GL''<sup>*</sup>.}}
# この複体のコホモロジーは調和切断の空間と自然同型 <math>H(E_j)\cong\mathcal H(E_j)</math> である。これは各コホモロジー類は調和な代表元を一意に持つことを意味する。

==ホッジ構造==
実[[ホッジ構造]]とは、実[[ベクトル空間]] ''W'' とに対し、''W'' の{{仮リンク|複素化|en|complexification}}である {{math|''W''<sup>'''C'''</sup> {{=}} ''W'' ⊗ '''C'''}} の次数付き空間 ''W''<sup>''p'', ''q''</sup> への[[直和]]分解であって、''W''<sup>'''C'''</sup> の[[複素共役]]が ''W''<sup>''q'', ''p''</sup> を入れ替える作用となるもの。ここで "p"+"q"="k" とし、この"k"をウェイト ''k'' とよぶ。

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

:<math> b_{k} = \sum_{p+q=k} h^{p,q},\, </math>

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

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

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

==関連項目==
*{{仮リンク|ホッジサイクル|en|Hodge cycle}}
*[[ホッジ予想]]
*[[周期写像]]
*{{仮リンク|トレリの定理|en|Torelli theorem}}
*[[ホッジ構造]]
*[[対数的微分形式]]
*[[p進ホッジ理論]]
*[[ホッジ・アラケロフ理論|ホッジ・アラケロフ幾何学]]

==参考文献==
* {{cite book |last1=Griffiths |first1=P. | authorlink1=Phillip Griffiths |last2=Harris |first2=Joe |authorlink2=Joe Harris (mathematician) | title=Principles of Algebraic Geometry | series=Wiley Classics Library | publisher=Wiley Interscience | year=1994 | isbn=0-471-05059-8 | page=117 }}
*{{Citation | last1=Hodge | first1=W. V. D. | authorlink1=W. V. D. Hodge | title=The Theory and Applications of Harmonic Integrals | url=https://books.google.co.jp/books?id=-8k8AAAAIAAJ&redir_esc=y&hl=ja | publisher=[[Cambridge University Press]] | isbn= 978-0-521-35881-1 |mr=0003947 | year=1941}}

{{Normdaten}}
{{DEFAULTSORT:ほつしりろん}}

[[Category:ホッジ理論|*]]
[[Category:微分位相幾何学]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]