[論文レビュー] A young person's guide to mixed Hodge modules

Morihiko Saito|arXiv (Cornell University)|May 2, 2016

Algebraic Geometry and Number Theory参考文献 56被引用数 14

ひとこと要約

本稿は、若手数学者を対象に、混合Hodgeモジュールのわかりやすい、非形式的な入門を提供する。主に、直接像、引き戻し、モノドロミー関手に関しての安定性に注目している。また、適切な混合Hodge構造の変動が混合Hodgeモジュールであることを確立し、理論の基盤において、厳密なHodgeフィルトレーションを備えたフィルトレートDモジュールの中心的役割を強調している。

ABSTRACT

We give a rather informal introduction to the theory of mixed Hodge modules for young mathematicians.

研究の動機と目的

• 代数幾何およびHodge理論における若手研究者を対象に、混合Hodgeモジュールへの親しみやすい導入を提供すること。
• フィルトレートDモジュールに厳密なHodgeフィルトレーションを備えた構成と安定性の理論的基盤を明確にすること。
• 混合HodgeモジュールがDeligneの混合Hodge理論を相対的および特異的設定へ一般化し、拡張することを説明すること。
• 特に、混合Hodgeモジュールが直接像および引き戻しに関して安定であるという主要な定理を通じて、理論の実用性を示すこと。
• 核心的な証明には、古典的Hodge理論に依存せず、Zuckerの曲線の場合の基本的Hodge理論のみが必要であることを強調すること。

提案手法

• 中心的な技術的道具として、Hodgeフィルトレーション $F$ と重みフィルトレーション $W$ に注目したフィルトレートDモジュールを用いる。
• コhomological操作との整合性を保証するため、基礎となるDモジュール上でのHodgeフィルトレーション $F$ の厳密性の概念を適用する。
• 導来カテゴリックな枠組みにおいて、 perverse sheaves の代わりに「hypersheaves」と呼ばれるハイパーシェーブ理論を用いる。
• Beilinsonの関手と、射影的準同型による直接像に関する安定性定理を用いて、一般の場合を正順交差特異点に還元する。
• 閉埋め込みに関する引き戻しの構成には、標準的なDモジュールの引き戻しとは異なり、近傍および消失サイクル関手を用いる。
• コンパactification後にGAGA原理を適用することで、解析的Dモジュールから代数的Dモジュールへ移行し、代数幾何と整合性を保つ。

実験結果

リサーチクエスチョン

• RQ1 Dモジュール理論に深く通じていない若手数学者にとって、混合Hodgeモジュールをどのようにして親しみやすく導入できるか？
• RQ2 直接像、引き戻し、モノドロミー関手などの幾何的作用に関して、混合Hodgeモジュールの主な安定性特性は何か？
• RQ3 適切な混合Hodge構造の変動が、なぜ自然に混合Hodgeモジュールとして現れるのか、その意味は何か？
• RQ4 フィルトレートDモジュール上でのHodgeフィルトレーション $F$ の厳密性が、理論の整合性にとってなぜ不可欠なのか？
• RQ5 完全な古典的Hodge理論に依存せず、ZuckerのHodge理論（曲線の場合）のみを用いて理論をどれほど発展させられるか？

主な発見

• 滑らかな複素代数的多様体上の適切な混合Hodge構造の変動は、正確に混合Hodgeモジュールである。これにより、幾何学とHodge理論の間の根本的な結びつきが確立される。
• 点上の混合Hodgeモジュールは、自然に重み付き極小化可能な ${\mathbf{Q}}$-Hodge構造のgradedバージョンと同一視され、Deligneの基礎的業績を一般化する。
• 射影的準同型による混合Hodgeモジュールの直接像は、再び混合Hodgeモジュールである。この安定性は、フィルトレートDモジュール上での ${\rm Dec}\,W$ の相対的バージョンを用いて証明される。
• 閉埋め込みによる混合Hodgeモジュールの引き戻しは、標準的なDモジュールの引き戻しではなく、近傍および消失サイクル関手を用いて構成される。
• 理論は、互いに整合性を持つフィルトレート $F$ と $W$ を備えたフィルトレートDモジュールに依存しており、$F$ の厳密性がコホモロジー的操作とHodgeフィルトレーションの可換性を保証する。
• 解析的Dモジュールの使用は十分であり、しばしば計算においてより実用的である。代数的対応物はコンパクト化後にGAGAにより得られる。