[论文解读] 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$ 中非零右理想同构类空间与空间 $\mathcal{C}_n$ 的不相交并之间的双射对应关系，其中 $\mathcal{C}_n$ 表示满足 $[X,Y] - I$ 的秩至多为 1 的 $n\times n$ 矩阵对。研究发现，$A_1$ 的自同构群 $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$ 在非零右理想同构类空间 $\mathcal{R}$ 上的作用。
• 在表示理论存在根本差异的前提下，建立 $A_1$ 的非交换设定与 $\mathbb{C}[x,y]$ 的熟知交换情形之间的几何与动力学对应关系。
• 通过沙法列维奇的无限维代数群理论，特别是与自由结合代数 $\mathbb{C}\langle x,y\rangle$ 的关系，探索 $G$ 的代数群结构。
• 阐明阿德勒格拉斯曼ian与 KP 层次在通过复合 $\omega = \alpha \beta$ 参数化 $A_1$ 的理想中的作用。

提出的方法

• 作者利用 [W2] 中构造的从 KP 层次的阿德勒格拉斯曼ian $\mathrm{Gr}^{\mathrm{ad}}$ 到 $\mathcal{C}$ 的双射映射 $\beta$，来参数化 $A_1$ 的近似表示。
• 他们将此与坎宁斯和霍兰德的工作中得到的逆映射 $\alpha: \mathrm{Gr}^{\mathrm{ad}} \to \mathcal{R}$ 结合，定义 $\omega = \alpha \beta$，从而建立双射 $\omega: \mathcal{C} \to \mathcal{R}$。
• 自同构群 $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$ 如何作用于右理想同构类的空间，且该作用能否被显式描述？
• RQ3 为何矩阵对空间 $\mathcal{C}_n$ 满足 $[X,Y] - I$ 的秩至多为 1，在 $A_1$ 缺乏有限维表示的情况下，仍构成在 $G$ 作用下稳定的有限维代数簇？
• RQ4 在 $G$ 作用于 $\mathcal{C}_n$ 的背后是否存在几何或代数群论结构，其与可积系统或余伴随轨道中的已知结构有何关联？
• 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$-轨道构成。
• $A_1$ 的自同构群 $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$ 被猜想同构于 $\mathcal{G}$ 的中心扩张的余伴随轨道，后由金兹堡证实。