[论文解读] On commuting ordinary differential operators with polynomial coefficients corresponding to spectral curves of genus two

V. N. Davletshina, Andrey E. Mironov|arXiv (Cornell University)|Jun 4, 2016

Advanced Algebra and Geometry参考文献 4被引用 3

一句话总结

本文构建了一类新的、具有多项式系数的可交换常微分算子族，对应于亏格二的谱曲线，证明了当系数为一般值时，第一个 Weyl 代数的自同构群作用下的轨道集合是无限的。该构造使用一个特定的四阶算子 $ L_4^{\flat} $ 及其高阶伴随算子 $ L_{10}^{\flat} $，其系数依赖于六个参数，并通过从 $ \mathbb{C}^6 $ 到系数空间 $ \mathbb{C}^5 $ 的支配态射证明了轨道的无限性。

ABSTRACT

The group of automorphisms of the first Weyl algebra acts on commuting ordinary differential operators with polynomial coefficient. In this paper we prove that for fixed generic spectral curve of genus two the set of orbits is infinite.

研究动机与目标

• 研究在 $ \mathrm{Aut}(A_1) $ 作用下，具有多项式系数的可交换微分算子方程解的轨道结构。
• 确定对于一般亏格二谱曲线，轨道集合是有限还是无限。
• 在第一个 Weyl 代数中构造一个显式且简单的可交换微分算子族，使其满足亏格二双椭圆谱曲线方程。
• 提供支持 Berest 猜想的证据，即轨道的有限性取决于谱曲线的亏格。

提出的方法

• 构造一个依赖于六个复参数 $ \alpha_i $ 的四阶变系数微分算子 $ L_4^{\flat} $。
• 通过直接代数计算，显式计算出与 $ L_4^{\flat} $ 可交换的十阶算子 $ L_{10}^{\flat} $。
• 推导出谱曲线方程 $ Y^2 = X^5 + c_4X^4 + \cdots + c_0 $，其中系数 $ c_i $ 是 $ \alpha_i $ 的多项式函数。
• 建立从 $ \mathbb{C}^6 $ 到 $ \mathbb{C}^5 $ 的态射 $ \alpha_i \mapsto c_i $，并证明其在一般点处的微分是满射。
• 利用该态射的支配性，推断出对于一般 $ c_i $，存在一个单参数解族。
• 通过分析自同构在参数空间上的作用，证明该族中的算子位于不同的 $ \mathrm{Aut}(A_1) $-轨道中。

实验结果

研究问题

• RQ1 对于由 $ Y^2 = X^5 + c_4X^4 + \cdots + c_0 $ 定义的一般亏格二谱曲线，$ \mathrm{Aut}(A_1) $-轨道集合是有限还是无限？
• RQ2 能否在第一个 Weyl 代数中构造出一个简单且显式的可交换微分算子族，使其实现这样的谱曲线？
• RQ3 单参数解族的存在是否意味着在 Weyl 代数自同构群作用下存在无限多个不同的轨道？
• RQ4 在可交换微分算子的背景下，能否将用于自伴算子的方法扩展到非自伴情形？

主要发现

• 算子 $ L_4^{\flat} = \left( (\alpha_1 x^2 + 1)\partial_x^2 + (\alpha_2 x + \alpha_3)\partial_x + \alpha_4 x + \alpha_5 \right)^2 + \alpha_1 \alpha_4 g(g+1)x + \alpha_6 $ 对所有复数 $ \alpha_i $ 与十阶算子 $ L_{10}^\flat $ 可交换，其中 $ g = 2 $。
• 对 $ (L_4^\flat, L_{10}^\flat) $ 满足谱曲线方程 $ Y^2 = X^5 + c_4X^4 + \cdots + c_0 $，其中系数 $ c_i $ 作为 $ \alpha_i $ 的多项式函数。
• 从 $ \mathbb{C}^6 \to \mathbb{C}^5 $ 映射 $ \alpha_i \mapsto c_i $ 是支配的，因为其在一般点处的微分是满射。
• 对于一般 $ c_i $，解空间包含一个单参数族的算子，这意味着存在无限多个不同的 $ \mathrm{Aut}(A_1) $-轨道。
• 所构造的族提供了第一个已知的、在 $ A_1 $ 中具有多项式系数的非自伴可交换算子族，其对应于亏格二曲线。
• 作者猜想 $ L_4^\flat $ 对所有 $ g $ 都与一个 $ 4g+2 $ 阶算子可交换，从而将构造从 $ g=2 $ 推广到更高亏格。