[論文レビュー] 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

ひとこと要約

本稿は、任意の genus g のスペクトル曲線 w² = F_g(z) に対して、多項式係数をもつ自己随伴な可換微分作用素のランク2の例を初めて構成した。そのために、ポテンシャル V(x) と W(x) をスペクトル曲線に結びつける新しい方程式を導入した。主な貢献は、第一ウェイル代数内の可換部分代数を定義する、このような作用素のパラメトリック族の構成であり、これは楕円曲線（genus 1）やランク1のケースを超えて、高 genus への一般化である。

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.

研究の動機と目的

• 任意の genus のスペクトル曲線に対して、多項式係数をもつ自己随伴な可換微分作用素のランク2の構成。
• 既に長年未解決であった、genus 1（楕円曲線）やランク1を越えてこのような作用素を構成する問題の解決。
• 超楕円的対合に関する χ₁ 関数の不変性を用いた、4階微分作用素の自己随伴性の十分条件の確立。
• ポテンシャル V(x)、W(x) およびスペクトル曲線の不変量との間の非線形微分方程式の導出と解法。
• 得られた作用素が第一ウェイリ代数 A₁ 内の可換部分代数を生成することの証明。

提案手法

• スペクトルデータを符号化する多項式 Q(x,z) とポテンシャル関数 V(x)、W(x) を結ぶ非線形微分方程式（式 4）を導出。
• L₄ = (∂ₓ² + V)² + W というアンサッツを用い、自己随伴性を保証するために、χ₁ が超楕円的対合 σ(z,w) = (z,−w) に関して不変であると仮定。
• 共通固有関数の2階系の係数 χ₀ と χ₁ を Q 及びその x 微分で表す。
• Q(x,z) についての形式的べき級数解を α₃ に関して構成し、係数 pᵢ(z)、qᵢ(z) を式 (23) と (24) により再帰的に決定。
• p₀(z)z と α₁p₁(z) + 2q₀(z)z が互いに素であることを示すことにより、得られたスペクトル曲線 F_g(z) が重根を持たないことを証明。
• 具体的なパrameter選択（例：α₁=α₂=0、α₃=1）に対して L₄♯ と L₄g+2♯ を明示的に構成し、可換性とランク2の確認を実施。

実験結果

リサーチクエスチョン

• RQ1 形式 (∂ₓ² + V)² + W の4階微分作用素が自己随伴であるための条件は何か？
• RQ2 任意の genus g の超楕円的スペクトル曲線に対応するランク2の可換微分作用素を構成できるか？
• RQ3 このような作用素に対して、ポテンシャル V(x)、W(x) およびスペクトルデータ Q(x,z) を結ぶ微分方程式は何か？
• RQ4 これらの作用素は第一ウェイリ代数 A₁ 内で可換部分代数を生成するか？
• RQ5 この構成をすべての g ≥ 1 に対して多項式係数作用素を得る形に拡張できるか？

主な発見

• 本稿は、4階作用素 L₄ が自己随伴であることの必要十分条件が、χ₁(x,P) = χ₁(x,σ(P)) であること、すなわち S.P. ノヴィコフの予想を裏付けることを証明した。
• α₃ ≠ 0 のもとで、L₄♯ = (∂ₓ² + α₃x³ + α₂x² + α₁x + α₀)² + g(g+1)α₃x で与えられる、新しい可換作用素 L₄♯ と L₄g+2♯ の族が構成された。
• パrameter (α₀,α₁,α₂,α₃) が一般の場合、スペクトル曲線は非特異な超楕円的曲線（genus 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²ᵍ⁺¹ + ⋯ が重根を持たないことが示された。