[論文レビュー] Variation of mixed Hodge structures and the positivity for algebraic fiber spaces

Yūjirō Kawamata|arXiv (Cornell University)|Aug 9, 2010

Algebraic Geometry and Number Theory被引用数 5

ひとこと要約

この論文は、混合Hodge構造の変動を用いて、代数的ファイバー空間の局所自由性および半正定性定理の新たな、簡素化された証明を提示する。Kollárの双対層の分解定理を、適切に準備された双有理的モデル上の任意の次数の微分形式の層へと拡張し、スペクトル系列の $E_1$ および $E_2$ の退化を確立し、対数空間上の重みおよびHodgeフィルトレーションを用いて正定性を示す。

ABSTRACT

These are the lecture notes based on earlier papers with some additional new results. New and simple proofs are given for local freeness theorem and the semipositivity theorem. A decomposition theorem for higher direct images of dualizing sheaves of Kollár is extended to the sheaves of differential forms of arbitrary degrees in the case of a well prepared birational model. We will also prove the log versions of some of the results, i.e., the case where we allow horizontal boundary components.

研究の動機と目的

• 代数的ファイバー空間の局所自由性および半正定性定理の新たな、簡素化された証明を提供すること。
• 双対層の高次直接像に関するKollárの分解定理を、任意の次数の微分形式の層へと拡張すること。
• 適切に準備された代数的ファイバー空間のファイバー上に、コホロロジー的混合Hodge複体の存在を確立すること。
• Hodgeフィルトレーションおよび重みフィルトレーションに関連するスペクトル系列の $E_1$ および $E_2$ 退化を証明すること。
• 対数幾何から構成されたトポロジカルモデルを用いて、水平的境界成分を含む対数ケースへの一般化を図ること。

提案手法

• $X \setminus B$ のコンパクト化として対数空間 $X^{\log}$ を構成し、$X \setminus B$ の閉部分集合に同相であり、チューブ近傍を除いたものとする。
• 対数微分形式を含むように $X^{\log}$ の構造層を定義し、対数極を持つ微分形式の研究を可能にする。
• 対数空間上の層に重みフィルトレーションを導入し、対数形式のPoincaré補題を用いてDe Rhamコホロロジーと関連付ける。
• 導来カテゴリ−におけるDeligneの分解基準を用い、複体 $\bigoplus_k Rf_*\Omega^k_{X/Y}(\log)[-k]$ がコホロロジー層の直和に分解されることを証明する。
• Griffithsの正定性定理および極分類Hodge構造の半単純性を適用し、重みフィルトレーションの各層の数値的半正定性を導出する。
• 重みフィルトレーションに関連するスペクトル系列を用い、Deligneの道具立てにより $E_1$-退化および $E_2$-退化を示す。

実験結果

リサーチクエスチョン

• RQ1 混合Hodge理論を用いて、局所自由性および半正定性定理をより単純な議論で再証明することは可能か？
• RQ2 双対層のKollárの分解定理を、任意の次数の微分形式の層へと拡張することは可能か？
• RQ3 対数幾何は、代数的ファイバー空間における退化ファイバーの解析を簡素化する役割を果たすか？
• RQ4 対数空間上の重みおよびHodgeフィルトレーションは、スペクトル系列の退化をどのように導くか？
• RQ5 水平的境界成分を有する適切に準備された双有理的モデルにおいて、対数微分形式の高次直接像の挙動はいかなるものか？

主な発見

• 複体 $\bigoplus_k Rf_*\Omega^k_{X/Y}(\log)[-k]$ に付随するHodgeフィルトレーションに関するスペクトル系列は $E_1$ で退化する。
• 同じ複体に付随する重みフィルトレーションに関するスペクトル系列は $E_2$ で退化する（$E_2$-退化を意味する）。
• 水平成分のない適切に準備された状況では、すべての $k$ に対して高次直接像 $Rf_*\Omega^k_{X/Y}(\log)$ は直和 $\bigoplus_i R^i f_*\Omega^k_{X/Y}(\log)[-i]$ に分解される。
• 重みフィルトレーションの各層 $\mathrm{Gr}^W_q(Rf_*\Omega^k_{X/Y}(\log))$ は、余次元 $q$ のストラト $B^h_I$ の直和として同型であり、$\mathrm{Gr}^W_q \cong \bigoplus_{\mathrm{codim}\, B^h_I = q} Rf_*\Omega^k_{B^h_I/Y}(\log)[-k-q]$ が成り立つ。
• $F = f_*\Omega^k_{X/Y}(\log)$ または $R^k f_*\Omega^n_{X/Y}(\log)$ は、その重み付き層が数値的に半正定的であるため、数値的に半正定的である。
• 重みフィルトレーション複体の境界写像は、余次元1のストラト間のGysin準同型として与えられ、たとえば $B^h_I \subset B^h_J$ に対して $R^q f_*\Omega^k_{B^h_I/Y}(\log) \to R^{q+1} f_*\Omega^{k+1}_{B^h_J/Y}(\log)$ のようになる。