[論文レビュー] Semipositivity theorem for reducible algebraic fiber spaces

Yūjirō Kawamata|ArXiv.org|Nov 9, 2009

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

ひとこと要約

この論文は、単純な正則交差除法子の補題を除いた補題の上での滑らかさと単調性の条件の下で、混合Hodge構造の変化を構成することにより、可約な代数的ファイバー空間への半正定定理の拡張を達成する。具体的には、$ R^q f_* ω_{X/Y}(B) $ が局所自由かつ数的に半正定であることを示している。この結果は、元々の正則性の仮定に基づく非可約なファイバーに関する先行研究を一般化するものである。

ABSTRACT

We shall prove an extension of the semipositivity theorem for the case of reducible algebraic fiber spaces.

研究の動機と目的

• 特異な全空間を持つ可約な代数的ファイバー空間へ、 canonical バンドルの半正定定理を一般化すること。
• 写像が滑らかである開基底上に、整合的な混合Hodge構造の変化の存在を確立すること。
• 単調性が単調で、断面ごとの全射性の条件の下で、$ R^q f_* ω_{X/Y}(B) $ が数的に半正定であることを証明すること。
• 有理Hodge構造の代わりに実Hodge構造を用いることで、結果をKähler空間へ拡張すること。

提案手法

• 全空間 $ X $ に、単純な正則交差変種であり、$ B $ をその上に持つ、単純な正則交差対を形成する、減少カーティエ除法子を備えた、コホモロジー的混合Hodge複体を構成する。
• X と対 $ (X,B) $ の閉じた断面を定義し、$ B $ が断面を避けること、かつそれらの上に単純な正則交差除法子を誘導することを保証する。
• 対数 de Rham 複体の重みスペクトル系列を用いて、開ファイバーのコホモロジーと断面上の双対化層の直接像を関連付ける。
• Hodgeバンドルがこの領域上で半正定であるという事実を用いて、開基底 $ Y ackslash C $ 上でのHodge構造の変化の正規化拡張を構成する。
• 重みスペクトル系列の $ E_2 $-項が退化し、Hodgeフィルトレーションの整合性により、$ E_2 $-項の正規化拡張が直接像層に一致することを証明する。
• 文献[8]における半正定性結果を、Hodgeフィルトレーションの最高部分に適用し、$ R^q f_* ω_{X/Y}(B) $ が正規化拡張の部分の拡張として数的に半正定であることを導く。

実験結果

リサーチクエスチョン

• RQ1 特異な全空間を持つ可約な代数的ファイバー空間へ、半正定定理を拡張することは可能か？
• RQ2 開ファイバー上の混合Hodge構造の最高Hodgeフィルトレーションの各層の正規化拡張は、直接像層 $ R^q f_* ω_{X/Y}(B) $ と一致するか？
• RQ3 単調性とファイバー構造のどの条件下で、$ R^q f_* ω_{X/Y}(B) $ は数的に半正定のままであるか？
• RQ4 有理Hodge構造を実Hodge構造に置き換えることで、結果をKähler空間へ一般化することは可能か？

主な発見

• $ R^q f_* ω_{X/Y}(B) $ は、重みスペクトル系列の退化と正規化拡張の整合性により、基底 $ Y $ 上で局所自由である。
• $ R^q f_* ω_{X/Y}(B) $ は、正規化拡張の最高Hodgeフィルトレーション部分の半正定性に起因し、数的に半正定である。
• 重みスペクトル系列の $ E_2 $-項は $ E_2 $ で退化し、$ m \geq 2 $ に対して境界写像が消えるため、系列が正しいコホモロジー層へ収束することが保証される。
• スペクトル系列の $ E_2 $-項の正規化拡張は直接像層に一致し、それらのHodgeフィルトレーション部分は断面上の双対化層の高次直接像に一致する。
• 証明は、境界除法子 $ C $ を超えてHodge構造が適切に拡張されることを保証する、単調性の仮定に依存している。
• 有理Hodge構造の代わりに実Hodge構造を用いることで、Kähler空間に対しても結果が成り立ち、半正定性の結論が保たれる。