[論文レビュー] Specialization of motivic Hodge-Chern classes

Joerg Schuermann|ArXiv.org|Sep 18, 2009

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

ひとこと要約

本稿では、混合Hodgeモジュールの文脈において、モチビック・ホッジ＝シュール類 $MHC_y$ が代数的および複素解析的設定の両方で特異化と可換であることを確立している。これは、マクファーソンのシュール類のためのベルジエの結果を一般化する。主な結果は、$-(1+y) \cdot MHC_y(\Psi^H_f(-)) = i^! MHC_y(-)$ であり、ここで $\Psi^H_f$ は混合Hodgeモジュールの近傍サイクルを表し、$i^!$ はギジン写像である。この結果は、特異点の解消、厳密特異化可能性、および適切な押し出しとの整合性を用いて得られる。

ABSTRACT

In this paper we give a proof of the fact, that the motivic Hodge-Chern class transformation MHC_y and Hirzebruch class transformation MHT_y* for mixed Hodge modules and strictly specializable filtered D-modules commute with specialization in the algebraic and in a suitable complex analytic context. Here specialization in the Hodge- and D-module context means the corresponding nearby cycles defined in terms of the $V$-filtration of Malgrange-Kashiwara. This generalizes a corresponding specialization result of Verdier about MacPherson's Chern class transformation c_*.

研究の動機と目的

• 混合Hodgeモジュールの文脈において、マクファーソンのシュール類のためのベルジエの特異化結果を、モチビック・ホッジ＝シュール類変換 $MHC_y$ に拡張すること。
• 代数的および複素解析的両設定において、$MHC_y$ が近傍サイクル $\Psi^H_f$ と可換であることを確立すること。
• 古典的シュール類からの特異化性質を、混合Hodgeモジュールおよびフィルター付き $\mathcal{D}$-加群を通じて、洗練されたモチビック不変量へ一般化すること。
• 斎藤の混合Hodgeモジュール理論を用いて、モチビック特性類における特異化の統一的枠組みを提供すること。

提案手法

• 特異点の解消および適切な押し出しの不変性を用いて、滑らかな環境空間のケースに還元すること。
• 斎藤によって確立された、$V$-フィルトレーション下でのフィルター付き $\mathcal{D}$-加群の厳密特異化可能性の利用。
• グラフ埋め込み構成を用いて、近傍サイクルが明示的に制御可能な射影 $t: M \times \mathbb{A}^1 \to \mathbb{A}^1$ のケースに還元すること。
• 適切な準同型およびギジン写像 $i^!$ に対する $MHC_y$ の関手的性質の活用。
• 重みフィルトレーションおよび $K_0$-群における加法性を用いて、純粋なホッジモジュールに還元すること。
• 埋め込みされた混合ホッジモジュールおよび $MHM_X(M)$ 上の完全関手を用いて、複素解析的設定に代数的議論を適応すること。

実験結果

リサーチクエスチョン

• RQ1 混合Hodgeモジュールの文脈において、代数的設定下でモチビック・ホッジ＝シュール類変換 $MHC_y$ は近傍サイクル関手 $\Psi^H_f$ と可換か？
• RQ2 導来圏関手が利用しにくい複素解析的圏において、$MHC_y$ の特異化性質を拡張できるか？
• RQ3 超曲面ファイバーへの特異化において、変換 $MHC_y$ はギジン写像 $i^!$ とどのように作用するか？
• RQ4 $-(1+y) \cdot MHC_y(\Psi^H_f(-)) = i^! MHC_y(-)$ という恒等式は、代数的および複素解析的両設定で成立するか？
• RQ5 グラフ埋め込みを通じて、射影 $t: M \times \mathbb{A}^1 \to \mathbb{A}^1$ のケースに特異化結果をどれほど還元できるか？

主な発見

• モチビック・ホッジ＝シュール類変換 $MHC_y$ は代数的設定において特異化と可換である：$-(1+y) \cdot MHC_y(\Psi^H_f(-)) = i^! MHC_y(-)$ は $K_0(MHM(X')) \to G_0(X)[y,y^{-1}]$ の写像として成り立つ。
• 結果はコンパクトなファイバーに対して複素解析的設定へ拡張可能である：$-(1+y) \cdot MHC_y(\Psi^H_f(-)) = i^! MHC_y(-)$ は $K_0(MHM(X)) \to G^{X_0}_0(M)[y,y^{-1}]$ で成り立つ。
• 証明は、特異点の解消および適切な押し出し不変性を用いて、滑らかな環境空間のケースに還元することに依拠している。
• 主な技術的入力は、斎藤によって確立された $V$-フィルトレーション下でのフィルター付き $\mathcal{D}$-加群の厳密特異化可能性である。
• $MHC_y$ はギジン写像 $i^!$ および近傍サイクル $\Psi^H_f$ と整合的であり、Groーデンエック・群のレベルで可換性関係が保証される。
• この結果は、$c_*$ のためのベルジエの特異化定理をモチビック・ホッジ＝シュール類へ一般化し、古典的およびモチビック特性類を統合する。