[論文レビュー] A generalization of the b-function lemma

Sam Raskin|arXiv (Cornell University)|Nov 15, 2016

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

ひとこと要約

本稿は、ホロノミックでないD-加群への古典的b関数補題の一般化を、ホロノミック欠損という、ホロノミック性からの逸脱を測る数値的不変量を導入することによって実現する。D-加群の操作（例えば、押し出し、引き戻し、ヴェルディエ双対性）がこの欠損を保つことを証明し、ホロノミックな設定を超えてD-加群理論の主要な結果を拡張するとともに、アフィン写像におけるt-正確性や幾何的表現論への新しい応用を可能にする。

ABSTRACT

We establish some cohomological bounds in D-module theory that are known in the holonomic case and folklore in general. The method rests on a generalization of the b-function lemma for non-holonomic D-modules.

研究の動機と目的

• ホロノミックD-加群に限らない、より広いクラスの連続D-加群への古典的b関数補題の拡張を図ること。
• D-加群がホロノミックでないときの逸脱を測る新しい数値的不変量、ホロノミック欠損を定義し、その性質を考察すること。
• D-加群の操作（押し出し、引き戻し、双対性）がホロノミック欠損を保つことを確立し、ホロノミックな場合に既知の結果を一般化すること。
• アフィン準同型写像におけるf!のt-正確性の概念的基盤を非ホロノミックな設定に提供すること。
• 特にフーリエ＝デリーニ変換などから生じる非ホロノミックD-加群に対して、幾何的表現論における新しい応用を可能にすること。

提案手法

• ホロノミック欠損をコhomologicalサポート条件を介して定義するための道具として、ガブラー＝カシワラ＝サトウ（GKS）フィルトレーションを導入する。
• GKSフィルトレーションを用いて、ホロノミック欠損δを、FδGKS(F) = F を満たす最小の整数として定義する（D-加群Fに対して）。
• GKSフィルトレーションを用いて、滑らかな場合に還元し、特異的サポート次元がフィルトレーションを制御することを応用する。
• D-加群の操作（f*, f!, f*, dRおよびヴェルディエ双対性）がGKSフィルトレーションを保ち、したがってホロノミック欠損を保つことを証明する。
• 非ホロノミック加群において古典的に定義されない場合でも、プロコホモロジー複体を用いて、アフィン写像fに対するf!のt-正確性を扱う。
• 主な保存結果を、特異的サポート解析と次元の上限を用いて、アフィン開埋め込みのケースに還元する。

実験結果

リサーチクエスチョン

• RQ1 b関数補題は、非ホロノミックD-加群へどのように一般化できるか？
• RQ2 D-加群がホロノミックでないときの逸脱を、D-加群操作のもとで不変となるような数値的不変量として、何が適切か？
• RQ3 アフィン準同型写像に沿った押し出しは、非ホロノミックD-加群においてt-構造の切り捨て（左t-正確性）を保つか？
• RQ4 有限長の議論やホロノミック性に依存せずに、D-加群操作によるホロノミック欠損の保存性を確立できるか？
• RQ5 GKSフィルトレーションは、D-加群理論における特異的サポート次元とコホモロジー的境界をどのように制御するか？

主な発見

• 連続D-加群Fのホロノミック欠損δは、押し出しf*、引き戻しf!、ヴェルディエ双対性のもとで保存され、b関数補題が非ホロノミックな設定へ一般化される。
• 滑らかな多様体Xに対して、連続D-加群Fがホロノミック欠損δを持つとは、その特異的サポートの次元がdim X + δ以下であることと同値である。
• GKSフィルトレーションF•GKS(F)は、開制限、閉埋め込み、およびフィルタリングされた帰納極限と両立するため、滑らかな場合への還元が可能になる。
• この結果により、f!がアフィン準同型写像において左t-正確であることが示され、f!が非ホロノミック加群において古典的に定義されない場合でも、プロコホモロジーの枠組みで成立する。
• ホロノミック欠損δをもつD-加群の族は、部分加群、商加群、拡張、およびフィルタリングされた帰納極限に関して閉じており、D(X)のフル部分圏をなす。
• アフィン写像におけるf!の保存性の証明は、GKSフィルトレーションと特異的サポート次元の上限に依存し、主な補題として、j*がアフィン開埋め込みにおいてホロノミック欠損を保つことが示される。