[論文レビュー] Wild Harmonic Bundles and Wild Pure Twistor D-modules

Takuro Mochizuki|arXiv (Cornell University)|Mar 10, 2008

Geometry and complex manifolds被引用数 109

ひとこと要約

本論文は、野生的ホロモーフィックバンドルと野生的純粋ツイスターD-加群の間の深い対応関係を確立し、代数的半単純な特徴的特異点を持つD-加群に対してハード・レフシェッツ定理を証明する。転送点のブローアップによる解消を導入し、良いデリーニュ＝マグランジュ格子の構成を行うことで、不規則的D-加群理論の基盤的道具を提供し、不規則的設定への小林＝ヒッチン対応の拡張を実現する。

ABSTRACT

We study (i) asymptotic behaviour of wild harmonic bundles, (ii) the relation between semisimple meromorphic flat connections and wild harmonic bundles, (iii) the relation between wild harmonic bundles and polarized wild pure twistor $D$-modules. As an application, we show the hard Lefschetz theorem for algebraic semisimple holonomic $D$-modules, conjectured by M. Kashiwara.

研究の動機と目的

• 野生的ホロモーフィックバンドルと野生的純粋ツイスターD-加群の間の対応関係を確立すること。
• ブローアップを用いた、メラモーフィック平坦バンドルにおける転送点の解消と、良いデリーニュ＝マグランジュ格子の存在の証明。
• 不規則的（野生的）な設定への小林＝ヒッチン対応の拡張。
• 代数的半単純特徴的特異点を持つD-加群に対して、カシワラが予想したハード・レフシェッツ定理の証明。
• 不規則的特異点を有する代数的D-加群の研究のための基盤的道具の開発。

提案手法

• 良いメラモーフィック ̺-平坦バンドルの概念を導入し、形式的および段階的解析を用いて良い格子を構成する。
• 完全な前ストークスデータおよびストークスデータを用いて、メラモーフィック平坦バンドルのストークス構造理論を発展させる。
• 曲線上のフィルター付きλ-平坦バンドルに対するL2コホロロジー技法を適用し、ホロモーフィックバンドルを分析する。
• ノルム推定と有界性の議論を用いて、野生的ホロモーフィックバンドルをツイスター構造へ延長する。
• 変形理論とKMS構造を用いて、フィルター付きλ-平坦バンドルの族を分析する。
• シンプソンの主要推定と受容性条件を適用し、特異点付近でのホロモーフィックバンドルの成長を制御する。

実験結果

リサーチクエスチョン

• RQ1 不規則的特異点付近での野生的ホロモーフィックバンドルの漸近的挙動はいかなるものか？
• RQ2 半単純なメラモーフィック平坦接続と野生的ホロモーフィックバンドルとの間の正確な対応関係は何か？
• RQ3 ツイスターD-加群を用いて、代数的半単純特徴的特異点を持つD-加群に対するハード・レフシェッツ定理を拡張できるか？
• RQ4 ブローアップによる転送点の解消後に、良いデリーニュ＝マグランジュ格子が存在するか？
• RQ5 野生的ホロモーフィックバンドルからどのように野生的純粋ツイスターD-加群を構成できるか？

主な発見

• 代数的半単純特徴的特異点を持つD-加群に対してハード・レフシェッツ定理が成り立ち、カシワラによる予想が裏付けられた。
• 適切なブローアップを行った後、任意の不規則的特異点を有するメラモーフィック平坦バンドルに対して、良いデリーニュ＝マグランジュ格子が存在する。
• 野生的ホロモーフィックバンドルは、ツイスター構造と整合的な良いフィルター付きλ-平坦バンドルへ標準的に延長可能である。
• 良いメラモーフィック ̺-平坦バンドルの完全ストークスデータは、そのリーマン＝ヒルベルト＝バーキホフ対応を決定する。
• 曲線上のフィルター付きλ-平坦バンドルのL2コホロロジーは、de Rham複体と擬似同型であり、ホッジ理論的解釈を提供する。
• 野生的ホロモーフィックバンドルに付随する良いフィルター付きλ-平坦バンドルは受容的であり、シンプソンの主要推定を満たす。