[論文レビュー] The cohomology of a variation of polarized Hodge structures over a quasi-compact Kähler manifold

Jürgen Jost, Yi-Hu Yang+1 more|ArXiv.org|Dec 7, 2003

Algebraic Geometry and Number Theory参考文献 8被引用数 5

ひとこと要約

本稿は、正則交叉特異点を持つコンパクト・カーラー多様体 $\overline{M}$ から除いた quasi-compact カーラー多様体 $M = \overline{M} \setminus D$ 上で、二つの $L^2$-コホロロジー複体の準同型を確立する。$({\bf E}_{(2)}, \theta)$ という Higgs バンドル複体の $L^2$-部分複体のハイパーコホモロジーは、ホッジフィルトレーションに関する $L^2$-de Rham 複体の全層 $L^2$-切断のコホモロジーと同型であり、$L^2$-手法とモノドロミーの漸近解析を用いて、デリーニュの古典的結果を非コンパクトな状況に拡張する。

ABSTRACT

A systematic study of the contributions at infinity for the cohomology of variations of polarized Hodge structures over quasicompact Kähler manifolds. Several isomorphisms between different cohomologies given.

研究の動機と目的

• コンパクトでない場合のデリーヌの古典的 $\overline{\partial}$-Poincaré補題と $L^2$-コホモロジー同型を、正則交叉特異点を持つ quasi-compact カーラー多様体に拡張すること。
• Poincaré-に類似した計量とホッジ計量を用いて、$\overline{M}$ 上の Higgs バンドル複体の $L^2$-部分複体を定義・研究し、モノドロミー条件によって計量の選び方に依存しないことを保証すること。
• $L^2$-Higgs 複体と、弱い $\overline{\partial}$-微分をもつ $L^2$-可測形式の細層複体の間の準同型を確立すること。
• ハイパーコホモロジー $\mathbb{H}^*({\overline{M}}, \{({\bf E} \otimes \Omega^\cdot_{\overline{M}}(\log D))_{(2)}, \theta\})$ が、$L^2$-de Rham 複体の全層 $L^2$-切断のコホモロジーと同型であることを証明し、コンパクトな場合の一般化を行うこと。

提案手法

• 特異点 $D$ の近傍で Poincaré-に類似した計量 $\omega$ を持つ完全なカーラー計量を $M = \overline{M} \setminus D$ 上に構成し、有限体積であり特異点付近での成長が制御されることを保証する。
• $\bf E \otimes \Omega^\cdot_{\overline{M}}(\log D)$ の局所的 $L^2$ 截線の芽の層として $L^2$-部分複体 $({\bf E}_{(2)}, \theta)$ を定義し、Higgs フィールド $\theta$ の有界性とモノドロミーの漸近解析を用いる。
• $L^2$-可測形式で弱い $\overline{\partial}$-微分が存在するような細層複体 $[\mathrm{Gr}^*_F A^\cdot({\bf H}_{\mathbb{C}})]_{(2)}$ を導入し、微分 $D^{\prime\prime} = \overline{\partial} + \theta$ を備える。
• $({\bf E}_{(2)}, \theta)$ が $[\mathrm{Gr}^*_F A^\cdot({\bf H}_{\mathbb{C}})]_{(2)}$ の部分複体であることを示し、$L^2$-推定と $L^2$-設定における $\overline{\partial}$-Poincaré補題を用いたホモトピー論的議論により、包含写像が準同型を誘導することを証明する。
• 細層複体の複体がハイパーコホモロジーを計算することを用い、標準的結果により、これは全層の複体のコホモロジーと同型であるため、$L^2$-コホモロジーと全層 $L^2$-de Rham コホモロジーを関連付ける。
• ボレルの補題によって正当化されるユニポテンテ・モノドロミー仮定を用い、$L^2$-条件が代数的に決定され、計量の選び方に依存しないことを保証する。

実験結果

リサーチクエスチョン

• RQ1 Higgs バンドル複体の $L^2$-部分複体 $({\bf E}_{(2)}, \theta)$ は、Poincaré-に類似した計量とホッジ計量の選び方に依存しないか。もし依存しないならば、それを決定する代数的条件は何か？
• RQ2 ハイパーコホモロジー $\mathbb{H}^*({\overline{M}}, \{({\bf E} \otimes \Omega^\cdot_{\overline{M}}(\log D))_{(2)}, \theta\})$ は、ホッジフィルトレーションに関する $L^2$-de Rham 複体の全層 $L^2$-切断のコホモロジーと同一視できるか？
• RQ3 $L^2$-手法と弱微分を用いる場合、デリーヌの古典的準同型結果がコンパクトから quasi-compact カーラー設定へ拡張可能か？
• RQ4 Higgs フィールド $\theta$ が特異点 $D$ の近傍で示す漸近的挙動は、$L^2$-コホモロジー構造にどのように影響を与えるか？
• RQ5 極小化されたホッジ構造の変動の文脈において、$L^2$-de Rham 複体と $L^2$-Higgs 複体の正確な関係は何か？

主な発見

• Higgs バンドルの $L^2$-切断の複体 $({\bf E}_{(2)}, \theta)$ は、Poincaré-に類似した計量やホッジ計量の選び方に依存せず、変動のモノドロミー情報にのみ依存する。
• $L^2$-Higgs 複体 $({\bf E}_{(2)}, \theta)$ は、微分 $D^{\prime\prime} = \overline{\partial} + \theta$ を持つ細層複体 $[\mathrm{Gr}^*_F A^\cdot({\bf H}_{\mathbb{C}})]_{(2)}$ と準同型であり、それらのハイパーコホモロジーの間の自然な同型を確立する。
• $L^2$-Higgs 複体のハイパーコホモロジーは、$[\mathrm{Gr}^*_F A^\cdot({\bf H}_{\mathbb{C}})]_{(2)}$ の全層 $L^2$-切断のコホモロジーと同型であり、すなわち $\mathbb{H}^*({\overline{M}}, \{({\bf E} \otimes \Omega^\cdot_{\overline{M}}(\log D))_{(2)}, \theta\}) \simeq H^*(\{\Gamma({\overline{M}}, [\mathrm{Gr}^*_F A^\cdot({\bf H}_{\mathbb{C}})]_{(2)}), D^{\prime\prime}\})$ が成り立つ。
• 証明は、$L^2$-推定と $L^2$-設定における $\overline{\partial}$-Poincaré補題を用いたホモトピー作用素の構成に依存し、任意の $L^2$-閉形式が、ホッジバンドル内の正則形式のモジュラスで $D^{\prime\prime}$-完全であることを示す。
• $H^k([\mathrm{Gr}^*_F A^\cdot({\bf H}_{\mathbb{C}})]_{(2)})$ から $H^k(\mathrm{Gr}^*_F \Omega^\cdot({\bf H}_{\mathbb{C}})_{(2)})$ への写像 $j^*$ によるコホモロジー類の同定は、適切に定義され、全単射であるため、準同型が証明される。
• この結果は、デリーヌの古典的同型をコンパクトから非コンパクトな状況へ一般化し、ホッジ構造の変動における $L^2$-コホモロジーの基礎的ツールを提供する。