[论文解读] Self-adjoint commuting differential operators and commutative subalgebras of the Weyl algebra

Andrey E. Mironov|arXiv (Cornell University)|Jul 18, 2011

Nonlinear Waves and Solitons参考文献 20被引用 15

一句话总结

本论文通过一种新颖的方程将势函数 V(x) 和 W(x) 与谱曲线 w² = F_g(z) 联系起来，首次构造出任意亏格 g 的谱曲线的、具有多项式系数的、秩为二的自伴对易微分算子的已知实例。关键贡献在于，构造出一族此类算子，其在第一威克代数中生成交换子代数，从而将迪克西梅尔算子推广至高亏格情形。

ABSTRACT

In this paper we study self-adjoint commuting ordinary differential operators. We find sufficient conditions when an operator of fourth order commuting with an operator of order $4g+2$ is self-adjoint. We introduce an equation on coefficients of the self-adjoint operator of order four and some additional data. With the help of this equation we find the first example of commuting differential operators of rank two corresponding to a spectral curve of arbitrary genus. These operators have polynomial coefficients and define commutative subalgebras of the first Weyl algebra.

研究动机与目标

• 为任意亏格的谱曲线构造具有多项式系数的、秩为二的自伴对易微分算子。
• 解决长期悬而未决的难题：在亏格一（椭圆曲线）和秩一之外，构造此类算子。
• 通过 χ₁ 函数在双阿贝尔对合下的不变性，建立四阶微分算子自伴性的充分条件。
• 推导并求解一个非线性微分方程，该方程关联势函数 V(x)、W(x) 与谱曲线不变量。
• 证明所得算子在第一威克代数 A₁ 内生成交换子代数。

提出的方法

• 推导出一个非线性微分方程（方程 4），将势函数 V(x)、W(x) 与编码谱数据的多项式 Q(x,z) 联系起来。
• 采用假设 L₄ = (∂ₓ² + V)² + W，并假设 χ₁ 在双阿贝尔对合 σ(z,w) = (z,−w) 下不变，以确保自伴性。
• 用 Q 及其 x-导数表示公共本征函数的二阶系统系数 χ₀ 和 χ₁。
• 通过方程 (23) 和 (24) 递归地构造 Q(x,z) 的形式幂级数解，变量为 α₃，系数为 pᵢ(z)、qᵢ(z)。
• 通过证明 p₀(z)z 与 α₁p₁(z) + 2q₀(z)z 互素，证明所得谱曲线 F_g(z) 无重根。
• 通过构造特定参数选择（如 α₁=α₂=0, α₃=1）下的显式算子 L₄♯ 和 L₄g+2♯，验证解的正确性，确认其对易性与秩为二。

实验结果

研究问题

• RQ1 形式为 (∂ₓ² + V)² + W 的四阶微分算子在何种条件下是自伴的？
• RQ2 能否为任意亏格 g 的双阿贝尔谱曲线构造对易的秩为二的微分算子？
• RQ3 此类算子的势函数 V(x)、W(x) 与谱数据 Q(x,z) 之间的微分方程是什么？
• RQ4 这些算子是否在第一威克代数 A₁ 内生成交换子代数？
• RQ5 该构造能否推广至所有 g ≥ 1 的情形，以获得多项式系数的算子？

主要发现

• 论文证明：四阶算子 L₄ 自伴当且仅当 χ₁(x,P) = χ₁(x,σ(P))，从而证实了 S.P. 诺维科夫的猜想。
• 构造出一族新的对易算子 L₄♯ 和 L₄g+2♯，其中 L₄♯ = (∂ₓ² + α₃x³ + α₂x² + α₁x + α₀)² + g(g+1)α₃x，且 α₃ ≠ 0。
• 对于一般参数 (α₀,α₁,α₂,α₃)，谱曲线为非奇异双阿贝尔曲线，亏格为 g。
• 当 g=1 且 α₁=α₂=0、α₃=1 时，算子与经典迪克西梅尔算子一致，验证了与已知结果的一致性。
• 通过显式构造，证明算子 L₄♯ 和 L₄g+2♯ 在第一威克代数 A₁ 内生成交换子代数。
• 通过证明 F_g⁰(z) = p₀²(z)z 与 F_g¹(z) = p₀(α₁p₁ + 2q₀z) 互素，证明谱曲线 F_g(z) = z²ᵍ⁺¹ + ⋯ 无重根。