[論文レビュー] On the definition of mixed Hodge modules

Morihiko Saito|arXiv (Cornell University)|Jul 8, 2013

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

ひとこと要約

本稿では、Beilinsonの最大拡張と部分商への系としての安定性を用いて、混合Hodgeモジュールの定義を単純化し、以前の再帰的構成を置き換えた。主な貢献は、cohomologicalファンクターの整合性と安定性を保証する、洗練された内在的定義を提示したことである。この定義は次元に関する帰納法と、近傍・消滅サイクルファンクターのwell-definednessによって検証されている。

ABSTRACT

We give some details of a simpler definition of mixed Hodge modules which has been announced in some papers. Compared with earlier arguments, this new definition is simplified by using Beilinson's maximal extension together with stability by subquotients systematically.

研究の動機と目的

• 再帰的構成を避ける、簡素化され内在的な混合Hodgeモジュールの定義を提供すること。
• 局所関数および近傍の選択に依存しない定義の独立性を確立すること。
• 得られる圏が、直接像、近傍・消滅サイクル、外部積などの標準的cohomologicalファンクターに関して安定であることを証明すること。
• 有界導来圏における導来ファンクターの使用を正当化すること。
• 適切な変動の役割と、解析的および代数的設定下での新定義の必要性を明確にすること。

提案手法

• Zariski開近傍上で関数 $ g $ を用いた局所的条件を定義し、$ U' = U \setminus g^{-1}(0) $ への制限が混合Hodge構造の適切な変動であることを要件とする。
• 純Hodgeモジュールから混合Hodgeモジュールを構成する際、Beilinsonの最大拡張を用いて構成を単純化する。
• 部分商への安定性を適用し、次元に関する帰納法によって、補題の支持の次元に関する条件の検証に問題を還元する。
• 局所的定義における近傍・消滅サイクルファンクター $ \psi_g $ および $ \varphi_{g,1} $ のwell-definednessを保証する。
• 有界導来圏 $ D^b\mathrm{MHM}(X,A) $ 上で、導来ファンクター $ f_* $, $ f_! $, $ f^* $, $ f^! $, $ \psi_g $, $ \varphi_{g,1} $, $ \boxtimes $, $ \otimes $, $ \mathcal{H}om $ を構成する。
• ファンクターの性質の検証を、$ A $-係数の対応する perverse sheaves に還元し、標準的結果が適用可能であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 再帰的構成を最大拡張と部分商への安定性に置き換えることで、混合Hodgeモジュールの定義を単純化できるか？
• RQ2 混合Hodgeモジュールであるという条件は、局所関数 $ g $ および近傍 $ U_x $ の選択に依存しないか？
• RQ3 混合Hodgeモジュールの圏は、$ \mathcal{H}^j f_* $, $ \psi_g $, $ \varphi_{g,1} $ などのcohomologicalファンクターに関して安定するか？
• RQ4 有界導来圏 $ D^b\mathrm{MHM}(X,A) $ 上で導来ファンクターが自然に定義され、対応する perverse sheaves と整合するか？
• RQ5 新しい定義は、特異点における変動の適切性を検証する際に、非正則な多様体をどのように扱うか？

主な発見

• 定理1で示されたように、新しい混合Hodgeモジュールの定義は、局所関数 $ g $ および近傍 $ U_x $ の選択に依存しない。
• 定理2で述べられているように、圏 $ \mathrm{MHM}(X,A) $ はすべての標準的cohomologicalファンクター $ \mathcal{H}^j f_* $, $ \mathcal{H}^j f_! $, $ \mathcal{H}^j f^* $, $ \mathcal{H}^j f^! $, $ \psi_g $, $ \varphi_{g,1} $, および $ \boxtimes $ に関して安定である。
• 系1で示されたように、有界導来圏 $ D^b\mathrm{MHM}(X,A) $ には、$ f_* $, $ f_! $, $ f^* $, $ f^! $, $ \psi_g $, $ \varphi_{g,1} $, $ \boxtimes $, $ \otimes $, $ \mathcal{H}om $ の自然なファンクターが存在し、そのcohomologyファンクターは $ \mathcal{H}^j $ のバージョンと一致する。
• Beilinsonの最大拡張と部分商への安定性の使用により、[Sa3]における繰り返しの制限（滑らかな射影による）の必要性が排除され、以前の構成が単純化された。
• 定義により、ある弱い混合Hodgeモジュールが、その稠密な開部分集合への制限が適切な変動であり、かつ近傍・消滅サイクルファンクターがwell-definedで圏を保存するならば、それは混合Hodgeモジュールであることが保証される。
• 安定性の証明は、補題の次元に関する帰納法と、標準的結果が適用可能な対応する perverse sheaves への還元に基づいている。