[論文レビュー] Logarithmic Comparison with smooth boundary divisor in Mixed Hodge Modules

Chuanhao Wei|arXiv (Cornell University)|Oct 20, 2017

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

ひとこと要約

本稿は滑らかな境界除集合に関して、混合Hodgeモジュールの対数的比較定理を確立し、局所化されたモジュールのスペクトル複体とde Rham複体の間に自然な準同型が存在することを証明する。古典的な対数的比較定理を混合Hodgeモジュールの設定に一般化し、局所化ファンクター $Δ[∗\log D]$ および $Δ[! olimits\log D]$ が導来カテゴリにおける直接像および双対ファンクターに関してうまく振る舞うことを示し、Popa–Schnell および Viehweg の結果を拡張する。

ABSTRACT

We use filtered log-$\mathscr{D}$-modules to represent the (dual) localization of Saito's Mixed Hodge Modules along a smooth hypersurface, and show that they also behave well under the direct image functor and the dual functor in the derived category of filtered log-$\mathscr{D}$-modules. The results of this paper can be used to generalize the result of M. Popa and C. Schnell about Kodaira dimension and zeros of holomorphic one-forms into the log setting.

研究の動機と目的

• 滑らかな境界除集合に関して、混合Hodgeモジュールの設定に、対数的比較定理を拡張すること。
• 導来カテゴリにおけるフィルター付き $\widetilde{\mathscr{D}}$-モジュールの圏において、$\mathcal{M}[\ast\log D]$ および $\mathcal{M}[!\log D]$ の直接像および双対ファンクターに関する性質を確立すること。
• 混合Hodgeモジュールの枠組みを用いて、Popa–Schnell および Viehweg の結果を対数的滑らか（log-smooth）な設定に一般化すること。
• 局所化されたモジュール $\mathcal{M}[\ast\log D]$ および $\mathcal{M}[!\log D]$ が $\mathbf{V}$-適合多インデックスKashiwara–Malgrangeフィルターを備えることを示すこと。
• Viehwegの一般型対数的滑らか多様体の族に関する双曲的性の証明を、より簡潔かつ一般化された形で与えること。

提案手法

• 本稿は、混合Hodgeモジュールの背後にあるフィルター付き $\widetilde{\mathscr{D}}$-モジュールを定義するために、Rees代数の構成を用いる。
• 多インデックスKashiwara–Malgrangeフィルターを介して、ファンクター $\mathcal{M}[\ast\log D] := \mathbf{V}^{D}_{\mathbf{0}}(\mathcal{M}[\ast D])$ および $\mathcal{M}[!\log D] := \mathbf{V}^{D}_{<\mathbf{0}}(\mathcal{M}[!D])$ を導入する。
• 主な技術的道具は、$\widetilde{\mathscr{D}}_{(X,D_I)}$ 上の導来テンソル積であり、$\mathcal{M}[\ast D][\ast\log D_I] \otimes^{\mathbf{L}} \widetilde{\mathscr{D}}_{(X,D_S)} \simeq \mathcal{M}[\ast D][\ast\log D_S]$ が成り立つことを示す。
• 証明は、Kashiwara–Malgrangeフィルターの厳密性および $\mathbf{V}^{D}$-フィルターが双対および直接像ファンクターと適合することに依拠する。
• スペクトルファンクター $\text{Sp}_{(X,D)}$ を用いて、対数de Rham複体と古典的de Rham複体を関連付ける。
• フィルター付きモジュールの各成分数は $\text{Gr}^F$ および $\mathcal{G}$ ファンクターを用いて解析され、余接バンドル上で双対同型が得られる。

実験結果

リサーチクエスチョン

• RQ1 対数的比較定理は、滑らかな境界除集合に関して混合Hodgeモジュールに拡張可能か？
• RQ2 導来カテゴリにおけるフィルター付き $\widetilde{\mathscr{D}}$-モジュールの圏において、局所化されたモジュール $\mathcal{M}[\ast\log D]$ および $\mathcal{M}[!\log D]$ は直接像ファンクターに関してどのように振る舞うか？
• RQ3 双対ファンクターは、混合Hodgeモジュールの設定において $\mathbf{V}^{D}$-フィルター構造を保存するか？
• RQ4 Kashiwara–Malgrangeフィルターは、対数的滑らか設定における双対化複体と適合するか？
• RQ5 これらの結果は、Viehwegの双曲的性定理を対数的滑らか多様体の一般型族に一般化するために応用可能か？

主な発見

• 本稿は、$DG(\widetilde{\mathbb{C}}_X)$ 内で $\text{Sp}_{(X,D)}(\mathcal{M}[\ast\log D]) \simeq \text{Sp}_X(\mathcal{M}[\ast D])$ および $\text{Sp}_{(X,D)}(\mathcal{M}[!\log D]) \simeq \text{Sp}_X(\mathcal{M}[!D])$ が成り立つことを証明し、混合Hodgeモジュール設定における対数的比較定理を確立する。
• 導来テンソル積の公式 $\mathcal{M}[\ast D][\ast\log D_I] \otimes^{\mathbf{L}}_{\widetilde{\mathscr{D}}_{(X,D_I)}} \widetilde{\mathscr{D}}_{(X,D_S)} \simeq \mathcal{M}[\ast D][\ast\log D_S]$ が成り立ち、局所化が部分除集合への制限と適合することを示す。
• 混合Hodgeモジュール $\mathcal{M}$ の双対モジュール $\mathcal{M}'$ は、$\mathbf{V}^{D}$-適合多インデックスKashiwara–Malgrangeフィルターを備える。これは、Saitoの結果を混合の場合に拡張する。
• 関連する各成分数は $\text{Gr}^F \mathcal{M}'[\ast\log D] \simeq \mathbf{R}\mathcal{H}om_{\mathcal{A}_{(X,D)}}(\text{Gr}^F \mathcal{M}[!\log D], \omega_X[d_X] \otimes_{\mathscr{O}_X} \mathcal{A}_{(X,D)})$ を満たし、双対同型を与える。
• 余接バンドル上で、同型 $\mathcal{G}(\mathcal{M}'[\ast\log D]) \simeq (-1)^*_{T^*_{(X,D)}} \mathbf{R}\mathcal{H}om_{\mathscr{O}_{T^*_{(X,D)}}}(\mathcal{G}(\mathcal{M}[!\log D]), p_X^*\omega_X[d_X] \otimes \mathscr{O}_{T^*_{(X,D)}})$ が成り立つ。これは既知の双対性結果を一般化する。
• 本結果は、一般型対数的滑らか多様体の族に関するViehwegの双曲的性の証明を、より簡潔かつ一般化された形で与える。対数的設定へと拡張される。