[論文レビュー] Higher direct images of log canonical divisors and positivity theorems

Osamu Fujino|ArXiv.org|Feb 7, 2003

Algebraic Geometry and Number Theory参考文献 30被引用数 10

ひとこと要約

本稿は、変動する混合Hodge構造におけるHodgeフィルトレーションの標準的拡張を用いて、対数正則特異点の高次直接像を分析することにより、Fujita-Kawamataの半正定性定理の対数的一般化を確立する。ユニポテンツモノドロミーのもとで $ R^if_*ω_{X/Y}(D) $ が半正定的であり、強い水平性のもとでねじれが存在しないことが示され、これにより対数正則対の一般化されたKawamata正定性定理と対数正則バンドル公式が得られる。

ABSTRACT

In this paper, we investigate higher direct images of log canonical divisors. After we reformulate Kollár's torsion-free theorem, we treat the relationship between higher direct images of log canonical divisors and the canonical extensions of Hodge filtration of gradedly polarized variations of mixed Hodge structures. As a corollary, we obtain a logarithmic version of Fujita-Kawamata's semi-positivity theorem. By this semi-positivity theorem, we generalize Kawamata's positivity theorem and apply it to the study of a log canonical bundle formula. The final section is an appendix, which is a result of Morihiko Saito.

研究の動機と目的

• Hodge理論的手法を用いて、Fujita-Kawamataの半正定性定理を単純な横断的交差を持つ対数的設定に一般化すること。
• $ R^if_*ω_{X/Y}(D) $ の混合Hodge構造に関する標準的拡張の記述を確立すること。
• kltから対数正則対へとKawamataの正定性定理を拡張すること。
• 一般化された正定性定理の系として、対数正則バンドル公式を導出すること。
• D-加群および混合Hodgeモジュールを用いて、対数正則層の高次直接像の基礎的枠組みを提供すること。

提案手法

• Kollárのねじれなしおよび消失定理を、対数正則特異点に対して、混合Hodge構造の幾何的変動を用いて再定式化する。
• Deligneの拡張および標準的フィルトレーションの理論を用いて、$ R^if_*ω_{X/Y}(D) $ をHodgeフィルトレーションの上位標準的拡張として特徴付ける。
• ねじれのなさを応用して、ユニポテンツモノドロミー条件のもとで半正定性を証明する。
• フィルトレートD加群の重みスペクトル系列を用いて、直接像フィルトレーションの $ F_0 $-条件を検証する。
• 厳密な補題による分解と双対性を用いて、問題を純粋Hodgeモジュールの状況に還元する。
• Saitoの混合HodgeモジュールおよびフィルトレートD加群の理論を応用して、直接像のHodgeフィルトレーションの性質を確立する。

実験結果

リサーチクエスチョン

• RQ1 Fujita-Kawamataの半正定性定理は、単純な横断的交差を持つ対数的設定に、どのように拡張可能か？
• RQ2 D が f に関して強く水平であるとき、$ R^if_*ω_{X/Y}(D) $ が半正定的であるための条件は何か？
• RQ3 混合HodgeモジュールのHodgeフィルトレーションの標準的拡張は、対数正則層の高次直接像を用いて特徴付けられるか？
• RQ4 Kawamataの正定性定理は、kltから対数正則対へどの程度一般化可能か？
• RQ5 $ R^if_*ω_{X/Y}(D) $ のHodgeフィルトレーションの構造は何か？ また、それは局所系のDeligneの拡張とどのように関係するか？

主な発見

• D が f に関して強く水平であるとき、高次直接像 $ R^if_*ω_{X/Y}(D) $ はねじれが存在せず、Kollárのねじれなし定理を一般化する。
• ユニポテンツモノドロミーのもとで、$ R^if_*ω_{X/Y}(D) $ は半正定的であり、Fujita-Kawamataの半正定性定理の対数的版が得られる。
• 層 $ R^if_*ω_{X/Y}(D) $ は、階数付き極化変動混合Hodge構造の下位Hodgeフィルトレーションの上位標準的拡張と同型である。
• 一般化されたKawamata正定性定理は、対数正則対に対しても成り立ち、元のklt対に対する結果を拡張する。
• 対数正則バンドル公式が系として得られ、Fujino-Moriの結果を一般化する。
• $ H^if_*(j_*ω_U, F) $ の $ F_0 $-条件は、重みスペクトル系列および厳密補題による分解を用いて検証され、Hodgeフィルトレーションが直接像のもとで適切に振る舞うことが保証される。