[論文レビュー] Wild twistor D-modules

Claude Sabbah|arXiv (Cornell University)|Mar 3, 2008

Algebraic structures and combinatorial models参考文献 19被引用数 6

ひとこと要約

本稿は、不規則特異点を含むように正則twistor D加群の理論を一般化した、極化された不規則なtwistor D加群の理論を導入する。次元1における漸近展開と正規直交基底の構成を用いて局所的分類を確立し、特異点における形式的構造と実解析的構造の間の重要な同型を証明することで、Kashiwaraの半単純な正則D加群の直接像に関する予想に対する解析的アプローチの基盤を提供する。

ABSTRACT

We propose a definition of (polarized) wild twistor D-modules, generalizing to objects with irregular singularities that of (polarized) regular twistor D-modules. We give a precise analysis in dimension one.

研究の動機と目的

• 半単純な正則D加群の直接像に関するKashiwaraの予想に対する解析的アプローチを可能にするために、極化された正則twistor D加群の理論を不規則特異点を含むように拡張すること。
• twistor D加群を用いた半単純な正則D加群の直接像を研究するための枠組みを構築すること。
• 分岐と指数関数的ねじれを用いて、Deligneの近傍サイクル構成を不規則D加群へ一般化すること。
• リーマン面における不規則twistor D加群の局所的分類、特に特異点付近での構造を提供すること。
• 将来のMochizukiの正則ケースに類似した調和的計量理論の基盤を築くこと、特に不規則特異点に適用可能なものとする。

提案手法

• Riemann-Hilbert対応とtwistor構造の枠組みを用い、不規則なtwistor D加群を正則なものへの拡張として定義する。
• 分岐と指数関数的ねじれを用いて、不規則特異点を扱うためにDeligneの不規則近傍サイクル構成を適用する。
• Malgrange-Sibuya定理とコycleの共役を用いて、局所的な正則的およびC∞-基底を構成し、チャート間での整合性を保証する。
• セスキリニアペアリングの漸近展開を用いて成長条件を解析し、正規直交基底を構成する。
• 形式的構造と実解析的構造を用いて、特異点における形式的完備化と実解析的完備化の間の標準的同型を定義する。
• 形式的構造を保存する同型を用いて、局所モデルの一意性と貼り合わせを確立し、形式的レベルで恒等写像を誘導する。

実験結果

リサーチクエスチョン

• RQ1 極化された正則twistor D加群の概念を不規則特異点を含むように一般化するにはどうすればよいか？
• RQ2 リーマン面上の不規則twistor D加群が特異点付近でどのような局所的構造を持つのか？
• RQ3 セスキリニアペアリングの漸近展開は、不規則ケースにおける正規直交基底の構成とどのように関係するか？
• RQ4 特異点における不規則twistor D加群の形式的完備化と実解析的完備化の間に、標準的同型を構成できるか？
• RQ5 分岐と指数関数的ねじれは、不規則twistor D加群の局所モデルの構成において果たす役割は何か？

主な発見

• 本稿は、特異点における不規則twistor D加群の形式的完備化と実解析的完備化の間の標準的同型を構成し、定理5.0.1を証明した。
• 次元1における不規則twistor D加群に対して、漸近展開と成長条件と整合する正規直交基底が構成された。
• 局所モデルの構成は一意的であり、形式的レベルで恒等写像を誘導するため、異なるチャート間で一貫性が保証された。
• 形式的完備化と実解析的完備化の間の同型の下で、特異点におけるStokes構造が保存された。
• 本理論により、リーマン面上の不規則twistor D加群の局所的分類が得られ、ランク1および高ランクの場合を含む。
• 指数関数的ねじれによるコycleの共役を用いる方法により、z=0でもwell-definedかつ大域的に整合性のある接続が、補助加群上に得られた。