[論文レビュー] Automorphisms and Ideals of the Weyl Algebra

Yuri Berest, George Wilson|ArXiv.org|Feb 25, 2001

Advanced Differential Equations and Dynamical Systems参考文献 11被引用数 4

ひとこと要約

本稿は、第一種ウェイラー代数 $A_1$ の非ゼロ右イデアルの同型類の空間と、$[X,Y] - I$ のランクが1以下であるような $n\times n$ 行列の対からなる空間 $\mathcal{C}_n$ の直和の間の全単射対応を確立する。同定された自己同型群 $G$ は、可換の場合のヒルベルトスキームにおける作用と類似した構造によりこの空間に作用し、$A_1$ に有限次元表現が存在しないにもかかわらず、非可換イデアルと可換代数幾何学の間の深い類似性を明らかにする。主な貢献は、$\mathcal{C}_n$ が自己同型群の中心拡大における共伴軌道として特定されることであり、非可換代数と可積分系および無限次元代数群の間の関係を結ぶ。

ABSTRACT

Let $A_1$ be the (first) Weyl algebra, and let $G$ be its automorphism group. We study the natural action of $G$ on the space of isomorphism classes of right ideals of $A_1$ (equivalently, of finitely generated rank 1 torsion-free right $A_1$-modules). We show that this space breaks up into a countable number of orbits each of which is a finite dimensional algebraic variety. Our results are strikingly similar to those for the commutative algebra of polynomials in two variables; however, we do not know of any general principle that would allow us to predict this in advance. As a key step in the proof, we obtain a new description of the bispectral involution of \cite{W1}. We also make some comments on the group $G$ from the viewpoint of Shafaravich's theory of infinite dimensional algebraic groups.

研究の動機と目的

• 第一種ウェイラー代数 $A_1$ の右イデアルの同型類の構造を理解すること。$A_1$ は有限次元表現をもたないため、古典的手法では解析不能である。
• 自己同型群 $G$ が $A_1$ の非ゼロ右イデアルの同型類の空間 $\mathcal{R}$ にどのように作用するかを記述すること。
• 代表理論の根本的な相違にもかかわらず、非可換的状況 $A_1$ とよく理解された可換的状況 $\mathbb{C}[x,y]$ の間の幾何学的・力学的対応を確立すること。
• 特に自由非可換代数 $\mathbb{C}\langle x,y\rangle$ に関連して、シャファレヴィチの無限次元代数群理論を用いて $G$ の代数群構造を調べること。
• アデール的グラスマンニアンとKP階層が、合成 $\omega = \alpha \beta$ を通じて $A_1$ のイデアルをパラメトライズする役割を果たす役割を明確にすること。

提案手法

• 著者たちは、[W2] で構成された KP 階層のアデール的グラスマンニアンから $\mathcal{C} \to \mathrm{Gr}^{\mathrm{ad}}$ への全単射写像 $\beta$ を用い、$A_1$ の近似表現をパラメトライズする。
• これに、カンニングスとオランズの研究から得られる逆写像 $\alpha: \mathrm{Gr}^{\mathrm{ad}} \to \mathcal{R}$ を組み合わせ、$\omega = \alpha \beta$ を定義し、$\omega: \mathcal{C} \to \mathcal{R}$ として全単射 $\omega$ を確立する。
• 自己同型群 $G$ は $\mathcal{R}$ に作用し、この作用は $\omega$ を通じて $\mathcal{C}$ に持ち込まれ、自己同型 $\Phi_p$ と $\Psi_q$ による行列対への作用を用いて明示的に記述される。
• $G$ による $\mathcal{C}_n$ 上の作用が、全空間にホロモルフィックシンプレクティック構造を保存することが示され、各 $\mathcal{C}_n$ が自己同型群の中心拡大における共伴軌道である可能性を示唆する。
• 著者たちは、シャファレヴィチの無限次元代数群の枠組みを用いて $G$ を分析し、そのリー代数 $A_1/\mathbb{C}$ と $A_0/\mathbb{C}$ の比較を通じて、$A_1$ のための $G_1$ と $\mathbb{C}[x,y]$ のための $G_0$ を区別する。
• 彼らは $G$ が自由代数 $\mathbb{C}\langle x,y\rangle$ のユニモジュラー自己同型群 $\mathcal{G}$ の商として実現可能であり、$\mathcal{G}$ が $\mathcal{C}_n$ 上に代数的に作用することを示し、作用に自然な代数群構造を与える。

実験結果

リサーチクエスチョン

• RQ1 ウェイラー代数 $A_1$ の右イデアルの同型類の空間は、可換の場合のヒルベルトスキームに類似した方法でパラメトライズ可能か？
• RQ2 自己同型群 $G$ は $A_1$ の右イデアルの同型類の空間にどのように作用するか。その作用は明示的に記述可能か？
• RQ3 なぜ $A_1$ に有限次元表現が存在しないにもかかわらず、$[X,Y] - I$ のランクが1以下であるような行列対の空間 $\mathcal{C}_n$ は、$G$-作用に関して安定な有限次元代数的概形をなすのか？
• RQ4 $G$-作用に背後に隠れた幾何学的または代数的群論的構造はあるか。もし存在するなら、可積分系や共伴軌道の既知の構造とどのように関係するか？
• RQ5 自己同型群 $G$ は、$\mathcal{C}_n$ 上に代数的に作用する無限次元代数群として実現可能か。その場合、どの代数群構造を介して実現されるか？

主な発見

• 非ゼロ右イデアルの同型類の空間 $\mathcal{R}$ は、$\mathcal{C} = \bigsqcup_{n \geq 0} \mathcal{C}_n$ との全単射対応にある。ここで $\mathcal{C}_n$ は、$[X,Y] - I$ のランクが1以下であるような $n \times n$ 行列対 $(X,Y)$ の $G$-軌道からなる。
• 自己同型群 $G$ は $\mathcal{C}_n$ 上で $\sigma \cdot (X,Y) = (\sigma^{-1}(X), \sigma^{-1}(Y))$ という公式により作用し、可換の場合の可換行列への作用と類似している。
• 各 $\mathcal{C}_n$ は自然なホロモルフィックシンプレクティック構造を備えており、$G$-作用によって保存される。これは、$\mathcal{C}_n$ が自己同型群の中心拡大における共伴軌道である可能性を示唆する。
• $A_1$ の自己同型群 $G_1$ のリー代数は $A_1 / \mathbb{C}$ に同型であり、$\mathbb{C}[x,y]$ の自己同型群 $G_0$ のリー代数は $A_0 / \mathbb{C}$ に同型である。これにより、$G_1$ と $G_0$ は代数群として同型ではないことが示される。
• $G$ は自由代数 $\mathbb{C}\langle x,y\rangle$ のユニモジュラー自己同型群 $\mathcal{G}$ の商として実現可能であり、$\mathcal{G}$ は $\mathcal{C}_n$ 上に代数的に作用する。これにより、作用に自然な代数群構造が与えられる。
• $\mathcal{C}_n$ は、中心拡大の共伴軌道に同型であると予想されており、後にジンツブルグによって確認された。