ホッジ構造のソースを表示

{{要改訳}}
{{for|ホッジ多様体の定義|ホッジ多様体}}
数学では、[[ウィリアム・ホッジ|ウィリアム・バーランス・ダグラス・ホッジ]]（William Vallance Douglas Hodge）の名前に因んで付けられた'''ホッジ構造'''（{{lang-en-short|Hodge structure}}）とは、滑らかでコンパクトな[[ケーラー多様体]]の[[コホモロジー群]]に[[ホッジ理論]]が与えた代数構造と同様の、線形代数のレベルの代数構造である。'''混合ホッジ構造'''（{{lang-en-short|mixed Hodge structure}}）は、ホッジ構造のすべての複素多様体（たとえ[[特異点 (数学)|特異点]]を持ったり、非{{仮リンク|完備多様体|en|Complete variety}}であったとしても）への一般化で、1970年に[[ピエール・ルネ・ドリーニュ|ピエール・ドリーニュ]]（Pierre Deligne）により定義され、'''ホッジ構造の変形'''（{{lang-en-short|variations of Hodge structure}}）とは、多様体によってパラメトライズされたホッジ構造の族であり、最初に[[フィリップ・グリフィス]]（P. A. Griffiths）により1968年に研究された。これらのすべての概念は、さらに1989年に斎藤盛彦により複素多様体の上の'''混合ホッジ加群'''（{{lang-en-short|mixed Hodge module}}）へと一般化された。

==ホッジ構造==
===ホッジ構造の定義===
'''ウェイト ''n'' の純粋ホッジ構造''' (''n''&nbsp;∈&nbsp;'''Z''')（pure Hodge structure with weight n） とは、有限生成アーベル群''H''<sub>'''z'''</sub>とその複素化 ''H'' の複素線型空間としての直和分解を与えるような複素部分空間の族''H<sup>p</sup>''<sup>,''q''</sup> ''(p+q=n)'' であって、''H<sup>p</sup>''<sup>,''q''</sup> の複素共役は ''H<sup>q</sup>''<sup>,''p''</sup> であるという性質を満たすもののことである。

:<math>H := H_{\mathbf{Z}}\otimes_{\mathbf Z} {\mathbf C} = \bigoplus\nolimits_{p+q=n}H^{p,q},</math>
:<math>\overline{H^{p,q}}=H^{q,p}.</math>

これと同値な定義は、H の直和分解を'''ホッジフィルトレーション'''（Hodge filtration）に置き換えることにより得られる。ホッジフィルトレーションとは、複素線形空間''H'' の有限な減少{{仮リンク|フィルトレーション|en|filtration (mathematics)}} ''F<sup>p</sup>H'' (''p''&nbsp;∈&nbsp;'''Z''') で、条件

:<math>\forall p, q \ : \ p + q = n+1,  \ \ F^p H\cap\overline{F^q H}=0 \ \ \text{and}\ \  F^p H \oplus \overline{F^q H}=H. </math>

を満たすもののことである。これら2つの関係は次の2つの条件で与えられる。

:<math> H^{p,q}=F^p H\cap \overline{F^q H}</math>
:<math>F^p H= \bigoplus\nolimits_{i\geq p} H^{i,n-i}</math>

例えば、''X'' をコンパクトな[[ケーラー多様体]]とし、''H''<sub>'''Z'''</sub>&nbsp;=&nbsp;H<sup>n</sup>(''X'','''Z''') を ''X'' の''n'' 次整数係数特異[[コホモロジー群]]とすると、''H''=''H''<sub>'''Z'''</sub>&nbsp;⊗'''C''' は、複素係数の''n''次コホモロジー群となり、[[ホッジ理論]]から上記のような H の直和分解が得られ、これらのデータからウェイト n の純粋ホッジ構造が定まる。また、この場合の対応するホッジフィルトレーションを、'''{{仮リンク|ホッジ・ド・ラームスペクトル系列|en|Hodge-de Rham spectral sequence}}'''(Hodge-de Rham spectral sequence)から得ることもできる。
<ref>スペクトル系列のことばでは（[[ホモロジー代数]]の項目を参照）ホッジフィルトレーションは次のように記述することができる。
:<math>E^{p,q}_1=H^{p+q}(gr^W_nH)\Rightarrow H^{p+q}.</math> （[[#混合ホッジ構造の定義|混合ホッジ構造の定義]]の記号を使う）
重要な事実は、これが項 E<sup>1</sup> で退化するということで、これはホッジ・ド・ラームスペクトル系列が、ひいては[[ド・ラームコホモロジー#ホッジ分解|ホッジ分解]]が、M の複素構造にのみ依存し、ケーラー計量の選択には依存しないことを意味する。
</ref>

代数幾何学への応用としては、複素射影多様体の[[周期写像|周期]]の分類を考えることができる。すべての H<sub>'''Z'''</sub> のウェイト n のホッジ構造の集合はあまりに大きすぎるが、[[リーマンの双線型関係式|リーマン双線型写像]]を使い、それを最終的には小さくし扱いやすくすることができる。この場合の双線型写像を'''ホッジ・リーマンの双線型写像'''という。'''ウェイト n の偏極ホッジ構造'''はホッジ構造 (H<sub>'''Z'''</sub>, H<sup> p,q</sup>) と H<sub>'''Z'''</sub> 上の非退化整数[[双線型形式]] Q の2つからなる（[[アーベル多様体|偏極]]）。偏極とは H の線型性での拡張であり、次の3つの条件を満たすものを言う。

:<math>\begin{align}
Q(\varphi,\psi) &= (-1)^n Q(\psi, \varphi); \\
Q(\varphi,\psi) &=0 && \text{ for }\varphi\in H^{p,q}, \psi\in H^{p',q'}, p\ne q'; \\
i^{p-q}Q \left(\varphi,\bar{\varphi} \right) &>0 && \text{ for }\varphi\in H^{p,q},\ \varphi\ne 0.
\end{align}</math>

ホッジフィルトレーションでは、これらの条件は次を意味する。

:<math>\begin{align}
Q\left (F^p, F^{n-p+1} \right ) &=0, \\
Q \left (C\varphi,\bar{\varphi} \right ) &>0 && \text{ for }\varphi\ne 0,
\end{align}</math>

ここに C は、H 上の'''ヴェイユ作用素'''で H<sup>p,q</sup> 上の C=i <sup>p-q</sup> で与えられる。

もう一つのホッジ構造の定義は、複素ベクトル空間の上の '''Z'''-次数と周回群（circle group）
[[U(1)]]の作用との間の同値性から定義することができる。この定義では、複素数 '''C'''<sup>*</sup> の乗法群の作用は、2-次元の実代数的トーラスとみなすことができ、H の上に与えられる<ref>さらに詳しくは、S を '''C''' から '''R''' への[[乗法群]]の{{仮リンク|ウェイユの制限|en|Weil restriction}}として定義される2-次元の可換な実[[代数群]]、言い換えると、Aが '''R''' 上の代数であれば、G の A に値を持つ点の群 S(A) は A ⊗ '''C''' の乗法の群である。従って、S('''R''') はゼロを除く複素数の群 '''C'''<sup>*</sup> である。</ref>。この作用は、実数 a が a<sup>n</sup> として作用するという性質を持つ。部分空間 H<sup>p,q</sup> は、z&nbsp;∈&nbsp;'''C'''<sup>*</sup> が <math>z^p\overline{z}^q</math> による乗法として作用する部分空間となる。
<!--- Weight filtration is part of mixed Hodge structure The '''weight filtration'''  ''W'' is an increasing filtration defined by 
:<math>W_n=\oplus_{p+q\le n}^{}H^{p,q}</math>.
The weight filtration is defined over the reals, while the Hodge filtration is defined over the complex numbers. A Hodge structure is determined by its weight filtration and Hodge filtration. -->

===A-ホッジ構造===
モチーフの理論では、コホモロジーにより一般の係数を許すことが重要となる。ホッジ構造の定義は、[[実数]]の体 '''R''' の{{仮リンク|ネター的|en|Noetherian}}（Noetherian）部分環'''A'''を固定することで拡張される。このときウェイト n の純粋ホッジ '''A'''-構造とは、上記のホッジ構造の定義で'''Z'''を '''A''' に置き換えたもの、つまり'''A'''-加群H<sub>'''A'''</sub>とその複素化H=H⊗<sub>A</sub>'''C'''の直和分解で同様の条件を満たすもののことである。'''B''' の部分環 '''A''' に対して、ホッジ '''A'''-構造と '''B'''-構造を関係付ける基底の変換と制限という自然な函手が存在する。

==混合ホッジ構造==

[[ヴェイユ予想]]を基礎として、1960年代には[[ジャン＝ピエール・セール]]（Jean-Pierre Serre）は特異点をもつ（可約かもしれない）完備ではない代数多様体でさえも、'仮想[[ベッチ数]]'を持つはずであることに気づいた。詳しくは、任意の代数多様体 ''X'' に多項式 P<sub>X</sub>(t) を対応させることができ、次の性質を持つことが可能であることに気づいた。
* <math>X</math> が非特異で射影的（もしくは完備）であれば、
::<math>P_X(t)=\sum \text{rank}(H^n(X))t^n</math>
となる。
* <math>Y</math> が <math>X</math> の閉じた代数的部分集合で <math>U=X\setminus Y</math> であれば、
::<math>P_X(t)=P_Y(t)+P_U(t)</math>
が成り立つ。この多項式を'''仮想ポアンカレ多項式'''と呼ぶ。

そのような多項式の存在は、一般的な（特異点を持った非完備な）代数多様体のコホモロジーに対しホッジ構造の類似が存在することから導出可能である。新しい特徴は、一般の多様体の n 次コホモロジーがあたかも異なるウェイトに対応する部分をもっているかのように見えることである。このことが[[アレクサンドル・グロタンディーク]]（Alexander Grothendieck）を混合[[モチーフ (代数幾何学)|モチーフ]](Motive)という予想を含む理論へと導き、ホッジ理論の拡張を研究する動機を与えた。この理論は[[ピエール・ルネ・ドリーニュ]]（Pierre Deligne）の仕事で頂点をなした。彼は混合ホッジの概念を導入し、それらを扱うテクニックを開発し、それらの構成を与えた（[[広中平祐]]の{{仮リンク|特異点の解消|en|Resolution of singularities}}に基礎をおき、それらを[[l-進コホモロジー]]を関連付け、[[ヴェイユ予想]]の最後の部分を証明した）。

=== 曲線の例 ===
（混合ホッジ構造の）定義への動機付けとして、2つの非特異な成分 X<sub>1</sub> と X<sub>2</sub> から構成される可約な複素代数曲線 X の場合を考える。これらの成分は、横断的に点 Q<sub>1</sub> と Q<sub>2</sub> で交わることとする。さらに、各々の成分はコンパクトではないが、点 P<sub>1</sub>,...,P<sub>n</sub> を付け加えることでコンパクト化できるものとする。曲線 X の（コンパクトな台を持つ）１次コホモロジー群は１次ホモロジー群の双対であり、それは容易に可視化できる。この群のなかには3つのタイプの1-サイクルがある。第一に、各々の穴（puncture） P<sub>i</sub> の周りの小さなループを表す元  1-サイクルα<sub>i</sub>が存在する。第二に、X<sub>k</sub>(k =1,2) のコンパクト化の１次コホモロジー群から来る1-サイクル β<sub>j</sub> が存在する。ただし、X<sub>k</sub>(k =1,2)のコンパクト化の1-サイクルの、X<sub>k</sub> の1-サイクルへの標準的な持ち上げは存在せず、これらの元β<sub>j</sub>は α<sub>i</sub> を法(modulo)として決定される。第三に、 Q<sub>1</sub> から Q<sub>2</sub> へのX<sub>1</sub>上のパスとQ<sub>2</sub> からQ<sub>1</sub> へのX<sub>2</sub> 上のパスからなる1-サイクルγ が存在し、これらはα<sub>i</sub> と β<sub>j</sub> を法として決定される。これは H<sup>1</sup>(X) が、次の増加するフィルトレーションを持つことを示唆している。

: <math> 0\subset W_0\subset W_1 \subset W_2=H^1(X) </math>

ただし、 W<sub>0</sub> はα<sub>i</sub> と β<sub>j</sub>  を全て消すような1-コサイクルの全体とし、 W<sub>1</sub> はα<sub>i</sub>  を全て消すような1-コサイクルの全体とした。この連続する商 W<sub>n</sub>&ensp;/&ensp;W<sub>n-1</sub> は、滑らかな完備多様体のn次コホモロジーに起源を持ち、それゆえにウェイト ''n'' の純粋ホッジ構造を持っている。

=== 混合ホッジ構造の定義 ===
アーベル群 H<sub>'''Z'''</sub> の上の'''混合ホッジ構造'''とは、'''ホッジフィルトレーション'''（Hodge filtration）と呼ばれる複素ベクトル空間 H （H<sub>'''Z'''</sub> の複素化）上の有限な減少フィルトレーション F<sup>p</sup> と、'''ウェイトフィルトレーション'''（Weight filtration）と呼ばれる有理ベクトル空間 H<sub>'''Q'''</sub>&nbsp;=&nbsp;H<sub>'''Z'''</sub>&nbsp;⊗<sub>'''Z'''</sub>'''Q''' 上の有限な増加フィルトレーション W<sub>i</sub> の組であって、Wに対する H<sub>'''Q'''</sub> の次数付き商 W<sub>n</sub>H/W<sub>n-1</sub>H とその複素化に F から誘導されるフィルトレーションの組が全ての n についてウェイト n の純粋ホッジ構造となるもののことである。ここで次数付き商の複素化

: <math>\operatorname{gr}_n^{W} H = W_n\otimes\mathbf{C}/W_{n-1}\otimes\mathbf{C} </math>

に ''F'' から誘導されるフィルトレーションは次で与えられる。

: <math> F^p \operatorname{gr}_n^{W} H = (F^p\cap W_n\otimes\mathbf{C}+W_{n-1}\otimes\mathbf{C})/W_{n-1}\otimes\mathbf{C}</math>

ふり返って考えると、コンパクトケーラー多様体のコホモロジー全体は、混合ホッジ構造を持っていることが分かる。ここではウェイトフィルトレーションの n 番目の空間 W<sub>n</sub> は次数n以下の（有理係数の）コホモロジー群の直和である。非特異で完備な複素代数多様体の場合の古典的ホッジ理論は、（複素）コホモロジー群全体を直和分解して二重次数付きベクトル空間とするものであり、その次数付けが増加フィルトレーション F<sup>p</sup> と減少フィルトレーション W<sub>n</sub> を与える。一般の代数多様体についても、コホモロジー空間全体はこれら2つのフィルトレーションを持っているが、もはや直和分解から出来上がったコホモロジーではない。純粋ホッジ構造の第三の定義との関係では、混合ホッジ構造は、群 '''C'''<sup>*</sup> の作用を使って記述することは不可能ということができる。ドリーニュの重要な発見は、混合ホッジ構造の場合には、さらに複雑な非可換な準代数的な群が存在して、[[淡中圏|淡中の定式化]]を使うことと同じ効果を発揮しうるということである。

=== 混合ホッジ構造の圏 ===
混合ホッジ構造の圏を、混合ホッジ構造( H<sub>'''Z'''</sub> ,W, F)から( H'<sub>'''Z'''</sub> ,W', F')へのモルフィズムを、 H<sub>'''Z'''</sub> から H'<sub>'''Z'''</sub> への準同型で各フィルトレーションと整合的になるものとして定義することで定める。このとき次の定理が成り立つ。

:'''混合ホッジ構造の圏は[[アーベル圏]]である。この圏における核と余核は、アーベル群の普通の核と余核（の上に定まる自然な混合ホッジ構造）に一致する。'''

また混合ホッジ構造には多様体の積と対応するテンソル積が自然に定まる。また、混合ホッジ構造の圏には、'''内部 Hom''' や '''双対対象''' も存在し、これにより混合ホッジ構造の圏は[[淡中圏]]となる。 {{仮リンク|淡中・クラインの双対|en|Tannaka-Krein duality}}により、この圏はある群の有限次元表現の圏に同値である。ドリーニュとミルン（James S. Milne）は以上のことを明らかにした。 {{Harvtxt|Deligne|1982}} <ref>この論文集の第二の｢Tannakian categories｣と題するDeligneとMilneの論文は淡中圏の話題に注力されている。</ref>

=== コホモロジーの混合ホッジ構造（ドリーニュの定理） ===
ドリーニュは任意の代数多様体の n 番目のコホモロジー群が、標準的な混合ホッジ構造を持つことを証明した。この構造は、[[函手|函手的]]<!--少しニュアンスが異なる-->であり、多様体の積（{{仮リンク|キネットの定理|en|Künneth theorem}}(Künneth theorem)）やコホモロジーの積との整合性を持っている。完備で非特異な多様体 X に対しては、この構造はウェイト n の純粋ホッジ構造であり、ホッジフィルトレーション F<sup>p</sup> は、 p より小さい次数を切り捨てたド・ラーム複体の{{仮リンク|ハイパーコホモロジー|en|Hyperhomology}}（hypercohomology）として定義することができる。

証明の概要は、非完備性と特異性を処理する2つのパートから構成される。どちらのパートも（広中による）特異点解消を本質的に使用する。特異点を持つ場合、代数多様体は単体的スキーム（simplicial scheme）に置き換えられ、さらに複雑なホモロジー代数へ至り、（コホモロジーではなく）複体のホッジ構造のより技術的な考え方が使われる。

==例==
*'''ホッジ・テイト構造''' '''Z'''(1) は '''Z'''-加群 2π''i'' '''Z''' （'''C'''の部分群とみなす）とその複素化の（自明な）直和分解 '''Z'''(1)⊗ '''C''' = ''H''<sup>-1,-1</sup> からなるウェイト &minus;2 の純粋ホッジ構造である。またこれは、同型を同一視すれば、ウェイト -2 の唯一の1次元純粋ホッジ構造である。また、'''Z'''(1)の''n次''テンソル冪を '''Z'''(''n'') と書く。これは1次元のウェイト -2''n'' の純粋ホッジ構造である。
*完備なケーラー多様体のコホモロジーはホッジ理論によってホッジ構造を持ち、''n次''コホモロジー群はウェイト ''n'' の純粋ホッジ構造である。
*複素多様体（特異点をもっていても、非完備でもよい）のコホモロジーは混合ホッジ構造を持つ。これはスムースな多様体に対しては {{Harvtxt|Deligne|1971}},{{Harvtxt|Deligne|1971a}} で示され、一般の場合は {{Harvtxt|Deligne|1974}} で示された。

== 応用 ==

ホッジ構造や混合ホッジ構造を基礎とする機構は、[[アレクサンドル・グロタンディーク]]により予想された[[モチーフ (代数幾何学)|モチーフ]]という理論に対しては、大部分が未だに予想にとどまっている。非特異代数多様体 ''X'' の数論的な情報は、[[エタール・コホモロジー|l-進コホモロジー]]に作用する[[フロベニウス元]]の固有値にエンコードされているが、複素代数多様体として考えた ''X'' から生ずるホッジ構造を共通にあるものを持っている。[[セルゲイ・ゲリファンド]]（Sergei Gelfand）と[[ユーリ・マーニン]]（Yuri Manin）は1988年に彼らの著作 ''Methods of homological algebra'' の中で、他のコホモロジー群の上に作用しているガロア対称性とは異なり、形式的ではあるが「ホッジ対称性」の原点は非常に神秘的であると指摘している。ホッジ対称性はド・ラームコホモロジー上にの非完全な群 <math>R_{\mathbf {C/R}}{\mathbf C}^*</math> の作用を通して表現される。従って、この神秘性は[[ミラー対称性 (弦理論)|ミラー対称性]]の発見と定式化という深さを持っている。

==ホッジ構造の変形==
'''ホッジ構造の変形'''（Variation of Hodge structure） ({{Harvtxt|Griffiths|1968}},{{Harvtxt|Griffiths|1968a}},{{Harvtxt|Griffiths|1970}}) は、複素多様体 X によりパラメトライズされたホッジ構造の族を言う。詳しくは、複素多様体 X 上のウェイト n のホッジ構造の変形は、X の上の[[アーベル群#有限アーベル群|有限生成アーベル群]]の局所定数層 S と、次の2つの条件を満たす S ⊗ O<sub>X</sub> 上の減少するホッジフィルトレーションから構成される。
*フィルトレーションは層 S の各々の茎(stalk)の上にウェイト n のホッジ構造を引き起こす。
*（グリフィス横断性(Griffiths transversality）S ⊗ O<sub>X</sub> 上の自然な接続は、F<sup>n</sup> を F<sup>n-1</sup> ⊗ Ω<sup>1</sup><sub>X</sub> の中へ写像する。

ここに S ⊗ O<sub>X</sub> の上の自然な（平坦）接続は、S 上の平坦接続と O<sub>X</sub> 上の平坦接続 d により引き起こされる。O<sub>X</sub> は X 上の正則函数の層であり、Ω<sup>1</sup><sub>X</sub> は X の上の1-形式の層である。この自然な平坦接続は、{{仮リンク|ガウス・マーニン接続|en|Gauss-Manin connection}} ∇ であり、従って{{仮リンク|ピカール・フックス方程式|en|Picard-Fuchs equation}}で記述することができる．

'''混合ホッジ構造の変形''' は同じ方法で定義することができ、次数を付け加えるか、もしくはフィルトレーション W に S を加える。

==ホッジ加群==
ホッジ加群は複素多様体の上のホッジ構造の変形の一般化である。ホッジ加群は多様体の上のホッジ構造の層のようなものとインフォーマルには考えることができる。詳細な定義 ({{Harvtxt|Saito|1989}}) は技術的で複雑である。特異点を持った多様体に対しては、混合ホッジ加群への一般化がいくつかある。

各々のスムースな複素多様体に対して、これに付随する混合ホッジ加群のアーベル圏がある。これらは形式的に多様体の上の層の圏のような振る舞いをする。例えば、多様体間の射 f は、層の射のように、混合ホッジ加群（の[[導来圏]]）の間の函手 <math>f^*,\ f_*,\ f_!,\ f^!</math> を引き起こす。

== 参照項目 ==
* [[ホッジ予想]]
* [[ホッジ理論]]
* {{仮リンク|ホッジ・テイト構造|en|Hodge–Tate structure}}　ホッジ構造の ''p''-進での類似物 
* [[対数的微分形式]]

== 脚注 ==
<references/>

==参考文献==
*{{Citation | last1=Deligne | first1=Pierre | author1-link=Pierre Deligne | title=Travaux de Griffiths| publisher=Sem. Bourbaki Exp. 376, Lect. notes in math. Vol 180 |  year=1971b | pages=213–235}}
*{{Citation | last1=Deligne | first1=Pierre | author1-link=Pierre Deligne | title=Actes du Congrès International des Mathématiciens (Nice, 1970) | url=http://math.harvard.edu/~tdp/Deligne-Theorie.de.Hodge-1-single-page.pdf | publisher=Gauthier-Villars | mr=0441965 | year=1971 | volume=1 | chapter=Théorie de Hodge. I | pages=425–430}} This constructs a mixed Hodge structure on the cohomology of a complex variety.
*{{Citation | last1=Deligne | first1=Pierre | author1-link=Pierre Deligne | title=Théorie de Hodge. II. | url=http://www.numdam.org/item?id=PMIHES_1971__40__5_0 | publisher=Inst. Hautes Études Sci. Publ. Math. No. 40 | year=1971a | mr=0498551 | pages=5–57}} This constructs a mixed Hodge structure on the cohomology of a complex variety.
*{{Citation | last1=Deligne | first1=Pierre | author1-link=Pierre Deligne | title=Théorie de Hodge. III. | url=http://www.numdam.org/item?id=PMIHES_1974__44__5_0 | publisher=Inst. Hautes Études Sci. Publ. Math. No. 44 | year=1974 | mr=0498552 | pages=5–77}} This constructs a mixed Hodge structure on the cohomology of a complex variety.
*{{Citation | last1=Deligne | first1=Pierre | author1-link=Pierre Deligne | title=Structures de Hodge mixtes réelles.  Motives (Seattle, WA, 1991) | url=http://www.numdam.org/item?id=PMIHES_1974__44__5_0 | publisher=Proc. Sympos. Pure Math., 55, Part 1, Amer. Math. Soc., Providence, RI, 1994. | year=1994 | mr=1265541 | pages=509–514}}
*{{Citation | last1=Deligne | first1=Pierre | author1-link=Pierre Deligne | title=Tannakian categories, in Hodge Cycles, Motives, and Shimura Varieties by Pierre Deligne, James S. Milne, Arthur Ogus, Kuang-yen Shih | publisher=Springer-Verlag, Lecture Notes in Math. 900 | year=1982 | pages=1–414}} An annotated version of this article can be found on J. Milne's [http://www.jmilne.org/math/xnotes/tc.html homepage].
*{{Citation | last1=Griffiths | first1=P. | author1-link=P. Griffiths | title=Periods of integrals on algebraic manifolds I (Construction and Properties of the Modular Varieties) | url=http://links.jstor.org/sici?sici=0002-9327%28196804%2990%3A2%3C568%3APOIOAM%3E2.0.CO%3B2-V | publisher=Amer. J. Math., 90 | year=1968 | pages=568–626}}
*{{Citation | last1=Griffiths | first1=P. | author1-link=P. Griffiths | title=Periods of integrals on algebraic manifolds II (Local Study of the Period Mapping) | url=http://links.jstor.org/sici?sici=0002-9327%28196807%2990%3A3%3C805%3APOIOAM%3E2.0.CO%3B2-2 | publisher=Amer. J. Math., 90 | year=1968a | pages=808–865}}
*{{Citation | last1=Griffiths | first1=P. | author1-link=P. Griffiths | title=Periods of integrals on algebraic manifolds III. Some global differential-geometric properties of the period mapping. | url=http://www.numdam.org/item?id=PMIHES_1970__38__125_0 | publisher=Publ. Math. IHES, 38 | year=1970 | pages=228–296}}
*{{SpringerEOM|title=Hodge structure|author=A.I. Ovseevich|urlname=Hodge_structure}}
*{{Citation | last1=Saito | first1=Morihiko | author1-link=Morihiko Saito | title=Introduction to mixed Hodge modules. Actes du Colloque de Théorie de Hodge (Luminy, 1987). | publisher=Astérisque No. 179-180 | year=1989 | mr=1042805 | pages=145–162}}
*{{SpringerEOM|title=Variation of Hodge structure|author=J. Steenbrink|urlname=Variation_of_Hodge_structure}}
*上野健爾，清水勇二著，岩波書店，モジュライ理論3，id=ISBN 4-00-010656-2，第三章｢周期写像とHodge理論（日本語の文献）

{{Normdaten}}

{{DEFAULTSORT:ほつしこうそう}}
[[Category:ホモロジー代数]]
[[Category:ホッジ理論]]
[[Category:多様体の構造]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]