[論文レビュー] On rings of commuting partial differential operators

Alexander Zheglov|arXiv (Cornell University)|Jun 3, 2011

Nonlinear Waves and Solitons参考文献 38被引用数 3

ひとこと要約

本稿は、Krichever、Mumford、Mulase によって以前に確立された、通常の微分作用素の可換環の幾何的分類を、2変数の可換偏微分作用素環へ一般化する。Parshin の一般化された幾何的データと、M. Sato の理論の構成的拡張を用いて、完成化された微分作用素環 $\hat{D}$ の可換部分環を分類し、それらが射影的曲面、滑らかな点、およびねじれのない層からなるスペクトルデータに対応することを示している。この構成は両方向に可逆である。

ABSTRACT

We give a natural generalization of the classification of commutative rings of ordinary differential operators, given in works of Krichever, Mumford, Mulase, and determine commutative rings of operators in a completed ring of partial differential operators in two variables (satisfying certain mild conditions) in terms of Parshin's generalized geometric data. It uses a generalization of M.Sato's theory and is constructible in both ways.

研究の動機と目的

• 通常の微分作用素の可換環の分類を2変数の偏微分作用素へ拡張すること。
• 完成化された微分作用素環の可換部分環と一般化されたスペクトルデータとの間の幾何的対応を確立すること。
• M. Sato の理論と Parshin の枠組みを一般化し、作用素環と代数幾何的不変量とを構成的に結びつけること。
• このような環が幾何的データから作用素へ、および逆に作用素から幾何的データへ両方向に構成可能であることを証明すること。
• 可換 PDE の環の Cohen-Macaulay 正規化 $CM(A)$ が、元のスペクトル構造を保存する別の同様の環を導くこと。

提案手法

• 完成化された微分作用素環 $\hat{D}$ の可換部分環を分類するために、特に射影的曲面 $X$、滑らかな点 $P$、ねじれのない層 $\mathcal{F}$ を含む Parshin の一般化された幾何的データを用いる。
• Sato の理論を用いて1変数の場合を一般化し、可換 PDE の環とスペクトルデータとの間の構成的対応を確立する。
• 環 $A$ と $A$-加群 $W$ からなる Schur 対 $(A, W)$ の概念を用い、スペクトルデータをモデル化し、有限生成構造を保証する。
• 環 $A$ の Cohen-Macaulay 正規化 $CM(A)$ を導入し、スペクトル的性質を保ち、幾何的正則性を確保する。
• $CM(A) \hookrightarrow k[[u]]((t))$ の埋め込みと、$W'$ が $CM(A)$ 上の有限生成加群としての構造を用い、Schur 対の公理を検証する。
• 作用素級数の漸近的解析と係数の消滅条件（行列 $C$ における二項係数を介して）を用い、非微分作用素が $W_0^\prime$ のモジュールを保存できないことを証明し、結果として微分環内に閉じることを強制する。

実験結果

リサーチクエスチョン

• RQ1 通常の微分作用素の可換環の分類を2変数の偏微分作用素へどのように拡張できるか？
• RQ2 完成化された微分作用素環 $\hat{D}$ の可換部分環を分類する一般化された幾何的データ（スペクトル曲線や層に類似）は何か？
• RQ3 作用素環と幾何的データとの対応が、1変数の場合と同様に両方向に構成可能になるか？
• RQ4 Cohen-Macaulay 正規化 $CM(A)$ は、可換 PDE の環の構造を保つ上で果たす役割は何か？
• RQ5 可換部分環が、一般の作用素のクラスよりも実際に偏微分作用素環に対応するための条件は何か？

主な発見

• 本稿は、$\hat{D}$ の可換部分環（やや弱い条件を満たすものに限る）と一般化されたスペクトルデータ（射影的曲面 $X$、滑らかな点 $P$、ランク $r$ のねじれのない層 $\mathcal{F}$）との間の一対一対応を確立し、Krichever-Mumford-Mulase の分類を一般化する。
• 分類は両方向に構成可能である：幾何的データから可換 PDE の環へ、およびその逆に、そのスペクトルデータへ。
• PDE の環に対応する環 $A$ の Cohen-Macaulay 正規化 $CM(A)$ は、Schur 対の構造を保ち、別の PDE の環を導く。これにより幾何的正則性が保証される。
• 任意の可換部分環が $k[[x_1,x_2]][\partial_{x_1},\partial_{x_2}]$ を再稠密部分環として含むとき、純粋性条件を満たせば（命題 3.1）、それは実際に偏微分作用素環である。
• 証明は、$W_0^\prime$ のモジュールを保存する任意の作用素が微分環 $D$ 内に存在しなければならないことを示すことに依拠し、係数の漸近的消滅と、線形方程式系における二項係数行列の可逆性を用いる。
• この手法は高次元へ一般化可能であり、2変数の場合が、一般化された Parshin-KP ハイアーチーおよびリボン理論の基礎的モデルをなす。