[論文レビュー] Log D-modules and Index theorems

Lei Wu, Peng Zhou|arXiv (Cornell University)|Apr 19, 2019

Rings, Modules, and Algebras参考文献 11被引用数 4

ひとこと要約

本稿では、滑らかな対の上での log $π$-加群に対して、Sabbahの一般化された $b$-関数を用いて、除数による十分大きなねじれの下で log de Rham複体が安定することを示す log 比較定理を確立する。主な貢献は、擬射影的多様体への Dubson-Kashiwara の指数定理の拡張である一般化された log 指数定理と、 perverse sheaf に対する Riemann-Roch 型公式である。

ABSTRACT

We study log D-modules on smooth log pairs and construct a comparison theorem of log de Rham complexes. The proof uses Sabbah's generalized b-functions. As applications, we deduce a log index theorem and a Riemann-Roch type formula for perverse sheaves on smooth quasi-projective varieties. The log index theorem naturally generalizes the Dubson-Kashiwara index theorem on smooth projective varieties.

研究の動機と目的

• 正則特徴的 $π_U$-加群 $\mathcal{M}_U$ の lattices の log de Rham 複体と、正則交叉除数の補集合上の de Rham 複体の押し出しの間の比較同型を構築すること。
• log $π$-加群を用いて、滑らかな擬射影的多様体への Dubson-Kashiwara の指数定理の一般化を達成すること。
• log $π$-加群の技法を用いて、滑らかな擬射影的多様体上の perverse sheaf に対する Riemann-Roch 型公式を確立すること。
• 特に Deligne の lattice と Bernstein-Sato 型構成の文脈において、除数のシフトによるねじれの下での log de Rham 複体の挙動を分析すること。
• 対数的閉包を有する鋭錐ラグランジュ部分多様体と特性サイクルの交線論を用いて、指数定理の幾何的証明を提供すること。

提案手法

• 滑らかな多様体 $X$ における正則交叉除数 $D$ の補集合上での正則特徴的 $π_U$-加群の lattices として log $π$-加群を構成する。
• Sabbah の一般化された $b$-関数を適用して、log 比較定理を証明する：十分大きな $q$ に対して、$\mathrm{DR}_{X,D}(\mathcal{M}(qD)) \simeq Rj_*\mathrm{DR}_U(\mathcal{M}_U)$ が quasi-isomorphism として成り立つ。
• 実定義関数と対数接空間バンドルの理論を用いて、$T^*(X,D)$ 内の鋭錐ラグランジュサイクルの対数的閉包を分析する。
• 曲線選択補題と実解析的曲線に沿った Liouville 1-形式の積分を用いて、対数的正規バンドル $\Gamma_{-d\log\rho}$ がラグランジュサイクルの閉包と内部でのみ交わることを証明する。
• 局所化 $\mathbf{s} = \mathbf{v}$ を通じて $\mathscr{D}_Y[\mathbf{s}]$-加群のファイバー的記述を確立し、$j_*\mathcal{M}_U$ と $j_!\mathcal{M}_U$ をねじれ加群の形で記述する。
• 特性サイクルと対数的正規バンドルの交線を用いて、オイラー特性を計算することで、Riemann-Roch 型公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 除数 $D$ による十分大きな正のねじれの下で、lattice の log de Rham 複体はどのように振る舞うか？
• RQ2 log $π$-加群を用いて、非射影的滑らかな多様体への Dubson-Kashiwara の指数定理を拡張できるか？
• RQ3 対数的正規バンドル $\Gamma_{-d\log\rho}$ と鋭錐ラグランジュサイクルの閉包の交線の幾何的意味は何か？
• RQ4 $\mathscr{D}_Y[\mathbf{s}]$-加群 $\mathcal{M}_{\mathbf{h}}^\mathbf{v}$ と $j_*\mathcal{M}_U$、$j_!\mathcal{M}_U$ の関係は何か？
• RQ5 log de Rham 複体が除数のねじれの下でいつ安定化し、その安定複体は何か？

主な発見

• log 比較定理が成立する：任意の正則特徴的 $π_U$-加群 $\mathcal{M}_U$ に対して、$q_0 > 0$ が存在し、すべての $q > q_0$ に対して、$\mathrm{DR}_{X,D}(\mathcal{M}(qD)) \simeq Rj_*\mathrm{DR}_U(\mathcal{M}_U)$ が quasi-isomorphism として成り立つ。
• 残留部の固有値が $(-1,0]$ 内にある Deligne の lattice $\overline{\mathcal{V}}$ に対して、すべての $k_1,k_2 > 0$ に対して、$\mathrm{DR}_{X,D}(\overline{\mathcal{V}}(k_2D^{\bar{I}} - k_1D^I)) \simeq j^{I}_{2!}Rj^{I}_{1*}L[n]$ が成り立つ。
• log 指数定理が確立された：$[\overline{\mathrm{SS}}(F)] \cdot [T^*_X(X,D)] = \chi(U,F)$ であり、これは Dubson-Kashiwara の定理を一般化する。
• $\mathscr{D}_Y[\mathbf{s}]({\mathbf{h}}^{\mathbf{s}+\mathbf{v}}\cdot\mathcal{M}_0)$ の $\mathbf{s} = \mathbf{v}$ におけるファイバーは $j_!\mathcal{M}_U$ に同型であり、$\mathbf{s} = -\mathbf{v}$ では $j_*\mathcal{M}_U$ に同型である。条件 $v_l \gg 0$ を満たす。
• 対数的閉包 $\Gamma_{-d\log\rho}$ が鋭錐ラグランジュ部分多様体 $\Lambda$ の閉包とちょうど $\Lambda$ で交わることを証明し、指数定理のための主要な幾何的補題を示した。
• Riemann-Roch 型公式は $\chi(U,F) = \Gamma_{-d\log\rho} \cdot \overline{\mathrm{SS}}(F)$ として導出され、ここで $F$ は $U$ 上の perverse sheaf である。