[論文レビュー] Equivariant D-modules

Ryoshi Hotta|ArXiv.org|May 6, 1998

Advanced Algebra and Geometry参考文献 6被引用数 50

ひとこと要約

本稿では、群作用を伴う線形微分方程式系、特にハリシュ・チャンドラ系とゲルファンドの一般化超幾何系に注目して、等変Dモジュールの理論を展開する。トーラス商に沿った引き戻しと単項式重みによるねじれを用いて、Dモジュールと超幾何型方程式の解との間の対応を確立し、正規性条件の下で、このような系が誘導Dモジュールの商として生じることを示す。

ABSTRACT

The first part of these notes is devoted to an introduction to algebraic $D$-modules. Several basic notions are introduced. In the second part, $D$-modules with group action are treated. Several important examples in this situation are discussed in details. Particularly, the Harish-Chandra systems for group characters and the Gelfand generalized hypergeometric systems are our main topics.

研究の動機と目的

• 代数群と対称空間の文脈において、群作用を伴うDモジュールの理論を発展させること。
• 特にハリシュ・チャンドラ系や超幾何系に関連する、群作用に関して不変な線形微分方程式系の解の構造を研究すること。
• 単項式によるねじれと引き戻しを用いて、商空間上のDモジュールと一般化超幾何方程式の解との間の対応を確立すること。
• 特徴的多様体とホモロジー的不変量が等変Dモジュールの研究において果たす役割を明確化すること。
• 等変設定における標準的Dモジュール同型写像の存在に必要な条件として、軌道の閉包の正規性を確認すること。

提案手法

• 正則係数を伴う線形偏微分方程式系をモデル化するため、滑らかなアフィン代数的多様体上のWeyl代数とDモジュールを用いる。
• 解とDモジュールの準同型写像の間の対応を適用：$ P_i u = 0 $ の解は、$ M = D(U)/I $、$ I $ が $ P_i $ で生成される左イデアルであるとき、$ \mathrm{Hom}_{D(U)}(M, F) $ に同定される。
• 特にトーラス作用と商構成に注目して、代数的多様体上の群作用を用いて等変Dモジュールを構成する。
• ホモモルフィズム $ \chi: \mathbb{C}^{\times n} \to \mathbb{C}^{\times N} $ を用いて、$ \mathbb{C}^l $ から $ \mathbb{C}^N $ への引き戻し構成を導入し、$ \mathcal{O}_\Lambda = D_{\mathbb{C}^N} z^\Lambda $ を通じてねじれたDモジュールを定義する。
• 写像 $ \pi $ を通じて微分作用素を上げることで、$ \mathbb{C}^l $ 上の超幾何型方程式を導出する。その結果得られる方程式は $ \{ \prod_{a_j > 0} (D_j + \Lambda_j - a_j + 1)_{a_j} - z^a \prod_{a_j < 0} (D_j + \Lambda_j + a_j + 1)_{|a_j|} \} v = 0 $ の形を取る。
• $ \mathcal{O}_\Lambda \otimes \pi^* N_\Lambda $ が $ M_\lambda|_{\mathbb{C}^{\times N}} $ の商であることを確立し、誘導Dモジュールと超幾何系との明確な関係を構築する。

実験結果

リサーチクエスチョン

• RQ1 対称空間の文脈において、群作用を伴うDモジュールを体系的に構成・分類する方法は何か？
• RQ2 ハリシュ・チャンドラ系に付随するDモジュールが、標準的誘導モジュールの商と同型であるための条件は何か？
• RQ3 トーラス還元を経て、商空間上の一般化超幾何系は、$ \mathbb{C}^N $ 上のDモジュールからどのように生じるか？
• RQ4 等変設定における標準的Dモジュール同型写像の存在において、軌道の閉包の正規性が果たす役割は何か？
• RQ5 トーラス商による$ \mathbb{C}^l $ 上のDモジュールの引き戻しは、どのような条件下でゲルファンド系の制限と同型なDモジュールを与えるか？

主な発見

• 線形偏微分方程式系の解空間は、自然に $ \mathrm{Hom}_{D(U)}(M, F) $ に同型である。ここで $ M = D(U)/I $、$ I $ は微分作用素で生成される左イデアルである。
• Dモジュールの特徴的多様体は、作用素の生成系に限らず、それらが生成するイデアルに基づいてのみ正しく定義される。
• $ l = 1 $ の場合、$ \mathbb{C}^l $ 上で得られる方程式は、古典的な一般化超幾何関数 $ {}_pF_{p-1} $ に対応するFuchs型常微分方程式である。
• $ \mathbb{C}^l $ 上の系は方程式 $ \{ \prod_{a_j > 0} (D_j + \Lambda_j - a_j + 1)_{a_j} - z^a \prod_{a_j < 0} (D_j + \Lambda_j + a_j + 1)_{|a_j|} \} v = 0 $ で定義され、$ a \in \ker \chi = \mathrm{im}\, \pi $ のときには適切に定義される。
• $ \mathbb{C}^{\times N} $ 上のDモジュール $ \mathcal{O}_\Lambda \otimes \pi^* N_\Lambda $ は $ M_\lambda|_{\mathbb{C}^{\times N}} $ の商である。このことにより、誘導モジュールと超幾何系との間の明確な関係が確立される。
• 軌道の閉包 $ \overline{O_T(\mathbf{i})} $ の正規性は、等変設定における標準的Dモジュール同型写像の存在にとって必要十分な条件である。この条件は、対称ペアに対して水本齊による確認がなされている。