[论文解读] On commutative subalgebras of the Weyl algebra that are related to commuting operators of arbitrary rank and genus

O. I. Mokhov|arXiv (Cornell University)|Jan 28, 2012

Advanced Algebra and Geometry被引用 4

一句话总结

本文为任意亏格 $ g \geq 1 $ 及偶数秩 $ r = 2k $（$ k > 1 $）以及秩 $ r = 3k $（$ k \geq 1 $）构造了具有多项式系数的可交换常微分算子的显式例子，推广了 Mironov 的亏格 $ g $、秩 2 和 3 的例子。关键贡献在于通过一种规范形式系统性地构造这些算子，涉及阶数为 $ 2k $ 和 $ 4kg+2k $，或分别为 $ 6k $ 和 $ 6kg+3k $ 的微分算子，其系数以首项算子的系数及其导数的多项式形式表达，确保 $[L,M] = 0$ 且谱曲线的亏格为 $ g $。

ABSTRACT

We construct examples of commuting ordinary scalar differential operators with polynomial coefficients that are related to a spectral curve of an arbitrary genus g and to an arbitrary even rank r = 2k, and also to an arbitrary rank of the form r = 3k, of the vector bundle of common eigenfunctions of the commuting operators over the spectral curve.

研究动机与目标

• 为任意亏格 $ g \geq 1 $ 和偶数秩 $ r = 2k $，$ k > 1 $，构造具有多项式系数的可交换常微分算子的显式例子。
• 将构造方法扩展至任意亏格 $ g \geq 1 $ 的秩 $ r = 3k $，$ k \geq 1 $，推广已知的亏格 1 例子。
• 提供一种系统化方法，以首项算子的系数及其导数的多项式形式生成此类算子。
• 解决一个开放问题：此类算子是否对所有秩存在，特别是对 $ r = 6s \pm 1 $，$ s \geq 1 $ 的情况，目前尚无显式例子。
• 建立对于所有 $ r = 2k $ 和 $ r = 3k $，$ k \geq 1 $，以及所有 $ g \geq 1 $，此类可交换对均存在，且具有规范形式及亏格为 $ g $ 的谱曲线。

提出的方法

• 将阶数为 $ 4k $ 的算子 $ L $ 和阶数为 $ 4kg + 2k $ 的算子 $ M $ 构造为阶数为 $ 2k $ 的微分算子的平方，其系数具有特定的多项式结构，涉及 $ x $、$ \alpha $ 和 $ g(g+1) $，以确保 $[L,M] = 0$。
• 采用 $ L $ 的规范形式，包含 $ \left( \left( \frac{d}{dx} \right)^{2k} - 2x \left( \frac{d}{dx} \right)^k - k \left( \frac{d}{dx} \right)^{k-1} + \cdots \right)^2 + g(g+1) \frac{d}{dx} $，其系数由导数的对称函数导出。
• 通过关系式 $ M^2 = L^{2g+1} + a_{2g}L^{2g} + \cdots + a_0 $ 定义 $ M $，其中 $ a_i $ 为常数，确保 $ M $ 的系数为 $ L $ 及其导数的多项式函数。
• 对于 $ k > 1 $，证明所构造的算子处于标准（规范）形式，简化其代数结构并确保可积性。
• 将方法扩展至秩 $ r = 3k $，通过构造阶数为 $ 6k $ 的 $ L $ 和阶数为 $ 6kg + 3k $ 的 $ M $，采用更复杂的微分算子结构，包含至 $ \left( \frac{d}{dx} \right)^{k-2} $ 的项，并将常数项调整为 $ -g(g+1)x $。
• 验证 $ M $ 的系数为 $ L $ 的系数及其导数的多项式函数，满足交换性条件 $[L,M] = 0$。

实验结果

研究问题

• RQ1 能否为任意亏格 $ g \geq 1 $ 和偶数秩 $ r = 2k $，$ k > 1 $，显式构造具有多项式系数的可交换常微分算子？
• RQ2 是否可以将 Mironov 的亏格 $ g $、秩 2 和 3 的例子推广至任意偶数秩 $ r = 2k $ 和秩 $ r = 3k $，$ k \geq 1 $？
• RQ3 对于所有亏格 $ g \geq 1 $ 和所有秩 $ r = 2k $、$ r = 3k $，此类算子是否存在，且谱曲线的亏格为 $ g $？若存在，其规范形式为何？
• RQ4 为何目前对形如 $ r = 6s \pm 1 $，$ s \geq 1 $ 的秩尚无显式例子？这是根本性障碍还是构造方法的空白？
• RQ5 如何将第二类算子 $ M $ 的系数以 $ L $ 的系数及其导数的多项式形式表达，同时保持交换性？

主要发现

• 本文为任意亏格 $ g \geq 1 $ 和偶数秩 $ r = 2k $，$ k > 1 $，显式构造了阶数分别为 $ 4k $ 和 $ 4kg + 2k $ 的可交换微分算子 $ L $ 和 $ M $，满足 $[L,M] = 0$。
• 对于 $ k > 1 $，所构造的算子处于标准（规范）形式，简化了其代数与几何解释。
• 该构造将 Mironov 的亏格 $ g $、秩 2 和 3 的例子推广至任意偶数秩 $ r = 2k $，保持谱曲线的亏格为 $ g $ 且系数依赖于首项算子的多项式形式。
• 对于秩 $ r = 3k $，$ k \geq 1 $，本文构造了阶数为 $ 6k $ 的 $ L $ 和阶数为 $ 6kg + 3k $ 的 $ M $，满足 $ M^2 = L^{2g+1} + \cdots + a_0 $，确保 $[L,M] = 0 $ 且系数为多项式依赖。
• 明确展示了 $ M $ 的系数为 $ L $ 的系数及其导数的多项式函数，确认了可积性与代数一致性。
• 作者推测此类算子对所有秩均存在，包括 $ r = 6s \pm 1 $，$ s \geq 1 $，但目前尚无显式例子，凸显了 Weyl 代数中交换子代数理论中的一个开放问题。