[論文レビュー] Moduli of log mixed Hodge structures

Kazuya Katô, Chikara Nakayama+1 more|ArXiv.org|Oct 23, 2009

Algebraic Geometry and Number Theory参考文献 7被引用数 4

ひとこと要約

本稿は、モノドロミー群のリー代数におけるファンを用いて、ネイピュアな状況のKU09の構成を拡張することで、極化された順序付き商を持つ混合Hodge構造のモジュライ空間のトーラス的部分コンパクト化を構成する。この構成は、対数混合Hodge構造を導入し、単調性の軌道とリー代数内のファンを用いて行われる。主な結果は、これらのコンパクト化が、滑らかなモノドロミー群を有する対数混合Hodge構造のモジュライ関手を表していることであり、周期写像の零点集合の解析的性を示す応用を可能にする。

ABSTRACT

We announce the construction of toroidal partial compactifications of the moduli spaces of mixed Hodge structures with polarized graded quotients. They are moduli spaces of log mixed Hodge structures with polarized graded quotients. We include an application to the analyticity of zero loci of some functions.

研究の動機と目的

• KU09の純粋な状況の構成を拡張し、極化された順序付き商を持つ混合Hodge構造のモジュライ空間を構成すること。
• モジュライ空間のコンパクト化のための枠組みとして、対数混合Hodge構造を導入すること。
• 構成された空間が、滑らかなモノドロミー群を有する対数混合Hodge構造のモジュライ関手を表していることを証明すること。
• コンパクト化されたモジュライ空間を用いて、周期写像の零点集合の解析的性を証明すること。

提案手法

• モノドロミー群の有理リー代数 𝔤ℚ におけるファン Σ を用いて、コンパクト双対 Ď における単調性の軌道を定義する。
• F ∈ Ď および F が分類空間 D の閉包に属する場合、σ-単調性の軌道 Z = exp(σℂ)F を定義する。
• Σ に属するすべての σ-単調性の軌道の和集合として DΣ を構成し、それが複素解析的空間となるように位相を導入する。
• ファンに適切な条件（アドミッション条件）を課すことで、相対的モノドロミー分類の存在と、単調性生成子の選び方に依存しない軌道の独立性を保証する。
• 純粋な状況におけるCKS定理の代わりに、混合Hodge理論的版のSL(2)-軌道定理（KNU08）を主要な技術的道具として用いる。
• アドミッション可能な混合Hodge構造の変動の周期写像にこの構成を適用し、DΣ への拡張がカテゴリ B(log) 内の準同型写像を定めることを示す。

実験結果

リサーチクエスチョン

• RQ1 極化された順序付き商を持つ混合Hodge構造のモジュライ空間は、対数混合Hodge構造をパラメトライズする方法でコンパクト化可能だろうか？
• RQ2 KU09 が純粋な対数Hodge構造に用いた構成を、混合状況にどのように拡張できるか？
• RQ3 モノドロミー・ファンにどのような条件を課すと、コンパクト化された空間がモジュライ関手を表すようになるか？
• RQ4 このようなモジュライ空間間の周期写像の零点集合は解析的だろうか？
• RQ5 コンパクト化されたモジュライ空間をコンパクト化の道具として用いることで、零点集合の解析的性を証明できるか？

主な発見

• 極化された順序付き商を持つ対数混合Hodge構造のモジュライ関手 LMHΦ は、Γ が滑らかであれば、商 Γ\DΣ によって表される。
• 空間 DΣ は、単調性の軌道とリー代数内の適切なファンを用いて構成された、分類空間 D のトーラス的部分コンパクト化である。
• 極化された順序付き商を持つ任意のアドミッション可能な混合Hodge構造の変動の周期写像は、カテゴリ B(log) 内の写像 S → Γ\DΣ に拡張可能である。
• 準射影的基底 S* 上の n 個の周期写像 f1,…,fn の零点集合 V は、コンパクト化 S 内で閉じた解析的部分集合 V̄ に拡張可能であり、その解析的性が示される。
• この構成により、アドミッション可能な正規関数の零点集合が解析的であることを示す新しいアプローチが得られ、Saito や Brosnan-Pearlstein の結果がより広い枠組みで再現される。