[論文レビュー] Fourier transform and middle convolution for irregular D-modules

D. Arinkin|ArXiv.org|Aug 5, 2008

Algebraic and Geometric Analysis被引用数 6

ひとこと要約

本稿では、非正則D加群の局所フーリエ変換に対して、形式的円板上の非正則的D加群のグローバルフーリエ変換を拡張することで、概念的で新しいアプローチを提示する。この手法により、随伴関手を用いて主要な性質を自明なものとし、局所ミドルコンボリューション（カッツ＝ラドン変換）を定義・計算可能とし、N. カッツが提起した問いに明示的な公式を提示するとともに、フーリエ変換下での剛性指数の不変性を示す。

ABSTRACT

S.Block and H.Esnault constructed the local Fourier transform for D-modules. We present a different approach to the local Fourier transform, which makes its properties almost tautological. We apply the local Fourier transform to compute the local version of Katz's middle convolution.

研究の動機と目的

• 形式的円板上のD加群に対して、非正則的D加群のグローバルフーリエ変換を用いて、局所フーリエ変換の新しい概念的定義を提示すること。
• この枠組みを用いて、カッツのミドルコンボリューションの局所版、すなわち局所カッツ＝ラドン変換を定義・研究すること。
• 従来の複素解析を用いた証明に代わり、フーリエ変換下での剛性指数の不変性を概念的に証明すること。
• N. カッツが[9, 節3.4]で提起した問いに応え、局所カッツ＝ラドン変換の明示的公式を提示すること。
• P¹上のD加群の文脈において、ラドン変換およびミドルコンボリューションの既存のアプローチを統一・一般化すること。

提案手法

• 穴あき形式的円板上のD加群を全アフィン直線に拡張することで得られる非正則的D加群のグローバルフーリエ変換として、局所フーリエ変換を定義し、形式的近傍に台を持つD加群を得る。
• 導来函手間の随伴関手を用いることで、D加群の特異点とそのフーリエ変換の特異点を関連付ける主な性質を自明なものとすること。
• 局所フーリエ変換に類似した、穴あき形式的円板上のD加群の圏上の自己同値関手としての局所カッツ＝ラドン変換を構成する。
• 随伴関手から導かれる形式的停留位相公式を主要な道具とし、変換下での無限遠点における特異点を関連付ける。
• 傾きフィルトレーションおよび分岐拡大を用いた非正則特異点の理論により、既約D加群をクーメル型加群の拡張として記述する。
• 形式的微分作用素の分数乗を用いた形式的計算により、同型を構成し、局所ミドルコンボリューションを実現する。これにより明示的公式が得られる。

実験結果

リサーチクエスチョン

• RQ1 非正則的D加群の局所フーリエ変換を、その基本的性質が自明なものとなるように再定義することは可能か？
• RQ2 局所フーリエ変換とD加群のグローバルフーリエ変換の間には、どのような明確な関係があるか？
• RQ3 非正則的D加群に対して、カッツのミドルコンボリューションの局所版をどのように定義し、明示的に計算できるか？
• RQ4 局所カッツ＝ラドン変換の明示的公式は何か？ そして、グローバル変換とはどのように関係するか？
• RQ5 フーリエ変換下で剛性指数はどのように振る舞い、その不変性を概念的に証明できるか？

主な発見

• 局所フーリエ変換は、穴あき形式的円板上の正則的D加群を全アフィン直線に拡張して得られる非正則的D加群のフーリエ変換として定義される。
• 主な性質（D加群の特異点とそのフーリエ変換の特異点との関係）は、随伴関手により自明なものとなるため、深い結果の証明が簡略化される。
• 局所カッツ＝ラドン変換は、穴あき形式的円板上のD加群の圏上の自己同値関手として構成される。
• 局所カッツ＝ラドン変換の明示的公式が導出され、[9, 節3.4]でN. カッツが提起した問いに応える。
• フーリエ変換下での剛性指数の不変性が、新しい枠組みを用いて概念的に証明された。
• この構成により、局所ミドルコンボリューション（カッツ＝ラドン変換）が、微分作用素の分数乗によるモノドロミーのねじれを実現することが明らかになり、傾きに依存する明確な振る舞いを示す。