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

ひとこと要約

本稿は、種数2のスペクトル曲線に対応する、多項式係数をもつ可換な常微分作用素の新規族を構成し、一般係数に対して、第一のウェイル代数の自己同型群による軌道の集合が無限大であることを証明する。構成には、6つのパラメータに依存する特定の4階作用素 $ 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) $ の作用における軌道の構造を調査すること。
• 種数2の一般スペクトル曲線に対して、その軌道集合が有限か無限かを特定すること。
• 第一のウェイリ代数に属する、明示的かつ単純な可換微分作用素族を構成し、種数2の超楕円スペクトル曲線方程式を満たすこと。
• ベルステの予想（スペクトル曲線の種数に応じて軌道の有限性が決まる）を支持する証拠を提供すること。

提案手法

• 6つの複素パラメータ $ \alpha_i $ に依存する可変係数をもつ4階微分作用素 $ L_4^{\flat} $ を構成する。
• 直接的な代数的計算を用いて、$ L_4^{\flat} $ と可換である10階作用素 $ L_{10}^{\flat} $ を明示的に計算する。
• 係数 $ c_i $ が $ \alpha_i $ の多項式関数である、スペクトル曲線方程式 $ Y^2 = X^5 + c_4X^4 + \cdots + c_0 $ を導出する。
• $ \mathbb{C}^6 \to \mathbb{C}^5 $ という写像 $ \alpha_i \mapsto c_i $ を定義し、その微分が一般点で全射であることを証明する。
• 写像の支配性を用いて、一般の $ c_i $ に対して1パラメータ族の解が存在することを示し、その結果として $ \mathrm{Aut}(A_1) $-軌道が無限に存在することを導く。
• 自己同型の作用がパラメータ空間に与える影響を解析することで、この族に属する作用素がすべて異なる $ \mathrm{Aut}(A_1) $-軌道上にあることを示す。

実験結果

リサーチクエスチョン

• RQ1 スペクトル曲線 $ Y^2 = X^5 + c_4X^4 + \cdots + c_0 $ が種数2である一般の場合に、$ \mathrm{Aut}(A_1) $-軌道の集合は有限か無限か？
• RQ2 第一のウェイリ代数に属する、明示的かつ単純な可換微分作用素族を構成し、このようなスペクトル曲線を実現できるか？
• RQ3 1パラメータ族の解の存在は、ウェイリ代数自己同型群による異なる軌道が無限に存在することを示唆するか？
• RQ4 自己随伴作用素に用いられる手法を、非自己随伴の場合の可換微分作用素の文脈に拡張できるか？

主な発見

• $ g = 2 $ に対して、すべての複素数 $ \alpha_i $ について、作用素 $ 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 $ は10階作用素 $ L_{10}^{\flat} $ と可換である。
• ペair $ (L_4^{\flat}, L_{10}^{\flat}) $ は、係数 $ c_i $ が $ \alpha_i $ の多項式関数として依存するスペクトル曲線方程式 $ Y^2 = X^5 + c_4X^4 + \cdots + c_0 $ を満たす。
• $ \mathbb{C}^6 \to \mathbb{C}^5 $ という写像 $ \alpha_i \mapsto c_i $ は、一般点において微分が全射であるため、支配的である。
• 一般の $ c_i $ に対して、解空間には1パラメータ族の作用素が含まれるため、$ \mathrm{Aut}(A_1) $-軌道が無限に存在することが示される。
• 構成された族は、種数2の曲線に対応する多項式係数をもつ非自己随伴可換作用素の、最初に知られる単純な例である。
• 著者らは、$ L_4^{\flat} $ がすべての $ g $ に対して $ 4g+2 $ 階の作用素と可換であると予想している。この構成は $ g=2 $ を超えて拡張可能である。