|
|
| 1行目: |
1行目: |
| − | {{要改訳}} | + | {{テンプレート:20180815sk}} |
| − | {{for|ホッジ多様体の定義|ホッジ多様体}}
| |
| − | 数学では、{{仮リンク|ウィリアム・バーランス・ダグラス・ホッジ|en|W. V. D. Hodge}}（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 ∈ '''Z''')（pure Hodge structure with weight n） とは、アーベル群 H<sub>'''Z'''</sub> とその複素化 H の複素部分空間 H<sup> p,q </sup> の直和への分解のことをいう。ここに p + q = n であり、H<sup>p,q</sup> の複素共役は H<sup>q,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）に置き換えることにより得られる。ホッジフィルトレーションは、複素部分空間 F<sup>p</sup>H (p ∈ '''Z''') によって得られる H の有限な減少{{仮リンク|フィルトレーション|en|filtration (mathematics)}}で、条件
| |
| − | | |
| − | : <math>\forall p, q \ : \ p + q = n+1 \ \ F^p H\cap\overline{F^q H}=0 </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> = H<sup>n</sup>(''X'','''Z''') を X の整数係数の n 番目の[[コホモロジー群]]とすると、H = H<sup>n</sup>(X, '''C''') は、n 番目の複素係数のコホモロジー群となり、[[ホッジ理論]]を使い上記のような H の直和分解を得る。これらの結果をウェイト n の純粋ホッジ構造と定義する。他方、'''{{仮リンク|ホッジ・ド・ラームスペクトル系列|en|Hodge-de Rham spectral sequence}}'''(Hodge-de Rham spectral sequence)を考えると、F<sup>p</sup>H での降順のフィルトレーションも得るので、H<sup>n</sup> を、第二のフィルトレーションとして考えることができる。
| |
| − | <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 ∈ '''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 ⊗<sub>'''Z'''</sub>'''R''' は体である必要がある。すると、ウェイト n の純粋ホッジ '''A'''-構造が、上記（のホッジ構造）と同様に定義され、'''Z'''
| |
| − | を '''A''' に置き換えることができる。'''B''' の部分環 '''A''' に対するホッジ '''A'''-構造と '''B'''-構造とを関係付ける基底の変換と制限という自然な函手が存在する。
| |
| − | | |
| − | ==混合ホッジ構造==
| |
| − | | |
| − | [[ヴェイユ予想]]を基礎として、1960年代には[[ジャン＝ピエール・セール]]（Jean-Pierre Serre）は特異点をもつ（簡約（reducible）でもよい）完備ではない代数多様体であっても、'仮想[[ベッチ数]]'を持つはずであることに気づいた。詳しくは、任意の代数多様体 ''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> の周りの小さなループを表す元 α<sub>i</sub> （に対応する1-サイクル）が存在する。また第二に、別な元 β<sub>j</sub> が存在し、この成分のコンパクト化された第一コホモロジーから来る（1-サイクルが存在する）。X<sub>k</sub>, k = 1, 2 の中の1-サイクルの X の中のあるサイクルへの持ち上げ（lift）は標準的ではなく、これらの元は α<sub>i</sub> を法(modulo)として決定される。結局、最初の2つのタイプを法(modulo)として、群は組み合わせ的な（第三の1-サイクル）γ によっても決定される。γ は Q<sub>1</sub> から Q<sub>2</sub> へある成分 X<sub>1</sub> に沿っていき、他のコンポーネント X<sub>2</sub> に沿って戻ってくる。これは H<sup>1</sup>(X) が、次の増加するフィルトレーションを持つことを示唆している。
| |
| − | | |
| − | : <math> 0\subset W_0\subset W_1 \subset W_2=H^1(X) </math>
| |
| − | | |
| − | この連続する商 W<sub>n</sub> / W<sub>n-1</sub> は、スムースで完備多様体のコホモロジーに起源を持つので、（純粋）ホッジ構造を持っていて、異なるウェイトで作用する。
| |
| − | | |
| − | === 混合ホッジ構造の定義 ===
| |
| − | アーベル群 H<sub>'''Z'''</sub> の上の'''混合ホッジ構造'''は、複素ベクトル空間 H （H<sub>'''Z'''</sub> の複素化）上の有限の減少するフィルトレーション F<sup>p</sup> であり、'''ホッジフィルトレーション'''（Hodge filtration）と呼ばれる。また有理ベクトル空間 H<sub>'''Q'''</sub> = H<sub>'''Z'''</sub> ⊗<sub>'''Z'''</sub>'''Q''' （有理数へのスカラーを拡張することで得られる）より有限な増加するフィルトレーション W<sub>i</sub> も得られ、'''ウェイトフィルトレーション'''（Weight filtration）と呼ばれる。これは複素化された空間の上の F によって引き起こされるフィルトレーションとともにあるウェイトフィルトレーション（増加するフィルトレーション）について H<sub>'''Q'''</sub> の n 番目の次数付き商が、すべての n についてウェイト n の純粋ホッジ構造であるということを要求することとなる。ここに
| |
| − | | |
| − | : <math>\operatorname{gr}_n^{W} H = W_n\otimes\mathbf{C}/W_{n-1}\otimes\mathbf{C} </math>
| |
| − | | |
| − | として記号を定義し、この商の上に引き起こされるフィルトレーションは次の式によって定義される。
| |
| − | | |
| − | : <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>
| |
| − | | |
| − | ふり返って考えると、コンパクトケーラー多様体のコホモロジー全体は、混合ホッジ構造を持っていることが分かる。ここではウェイトフィルトレーション W<sub>n</sub> の n 番目の空間が、n に等しいかまたは小さな次数の（有理係数の）コホモロジー群の直和であるので、従って、コンパクトな複素数体の場合の古典的ホッジ理論は、複素コホモロジーの上で二重に次数を持った理論と考えることができる。二重次数付きコホモロジーは、ある方法で整合性を保つ増加するフィルトレーション F<sup>p</sup> と、減少するフィルトレーション W<sub>n</sub> の2つ（のフィルトレーション）を定義する。一般に、コホモロジー空間全体は2つのフィルトレーションを持っているが、もはや直和分解から出来上がったコホモロジーではない。純粋ホッジ構造の第三の定義との関係では、混合ホッジ構造は、群 '''C'''<sup>*</sup> の作用を使って記述することは不可能ということができる。ドリーニュの重要な発見は、混合ホッジ構造の場合には、さらに複雑な非可換な準代数的な群が存在して、[[淡中圏|淡中の定式化]]を使うことと同じ効果を発揮しうるということである。
| |
| − | | |
| − | ここで、混合ホッジ構造のモルフィズムを定義することができる。これはフィルトレーション F と W と整合性を持ち、次の定理を証明することができる。
| |
| − | | |
| − | : '''混合ホッジ構造は[[アーベル圏]]を構成し、引き起こされたフィルトレーションを持ち、圏の核と余核はベクトル空間の普通の核と余核に一致する。'''
| |
| − | | |
| − | さらに、（混合）ホッジ構造の圏は、多様体の積に対応するテンソル積と整合性を持ち、'''内部 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 の純粋（ホッジ構造）であり、ホッジフィルトレーションはド・ラーム複体の{{仮リンク|ハイパーコホモロジー|en|Hyperhomology}}（hypercohomology）を通して定義することができる。
| |
| − | | |
| − | 証明の概要は、非コンパクトなことと、特異点を持つことに注目するという2つの部分から構成される。どちらの部分も（広中による）特異点解消を本質的なに使用する。特異点を持つ場合、多様体は単体的なスキームに置き換えられ、さらに複雑な代数へ至り、（コホモロジーに対し）複体上のホッジ構造のより技術的な考え方が使われる。
| |
| − | | |
| − | ==例==
| |
| − | *'''ホッジ・テイト構造''' '''Z'''(1) は 2π''i'' '''Z''' （'''C'''の部分群）で与えられた基礎となる '''Z'''-加群を持つホッジ構造である。この'''Z'''-加群は '''Z'''(1)⊗ '''C''' = ''H''<sup>-1,-1</sup> である。従って、これは定義よりウェイト −2 の純粋ホッジ構造であり、同型を同一視してウェイト -2 の一意に決まる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}}
| |
| − | *{{springer|id=H/h047470|title=Hodge structure|author=A.I. Ovseevich}}
| |
| − | *{{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}}
| |
| − | *{{springer|id=V/v096170|title=Variation of Hodge structure|author=J. Steenbrink}}
| |
| − | *上野健爾，清水勇二著，岩波書店，モジュライ理論3，id=ISBN 4-00-010656-2，第三章｢周期写像とHodge理論（日本語の文献）
| |
| − | | |
| − | {{DEFAULTSORT:ほつしこうそう}}
| |
| − | [[Category:ホモロジー代数]]
| |
| − | [[Category:ホッジ理論]]
| |
| − | [[Category:多様体の構造]]
| |
| − | [[Category:数学に関する記事]]
| |