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

ひとこと要約

本稿は、任意の genus $ g \geq 1 $ および偶数ランク $ r = 2k $、$ k > 1 $ に対して、多項式係数をもつ可換な常微分作用素の明示的例を構成する。さらに、任意の genus $ g \geq 1 $ およびランク $ r = 3k $、$ k \geq 1 $ に対しても同様の構成を拡張し、ミロノフの genus $ g $、ランク 2 および 3 の例を一般化する。主な貢献は、$ 2k $ 階および $ 4kg+2k $ 階、あるいは $ 6k $ 階および $ 6kg+3k $ 階の微分作用素を用いた標準形による体系的な構成法であり、係数が主作用素の係数およびその微分の多項式として表現されることで、$[L,M] = 0$ かつ genus $ 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.

研究の動機と目的

• 任意の genus $ g \geq 1 $ および偶数ランク $ r = 2k $、$ k > 1 $ に対して、多項式係数をもつ可換な常微分作用素の明示的例を構成すること。
• 既知の genus 1 の例を一般化し、任意の genus $ g \geq 1 $ およびランク $ r = 3k $、$ k \geq 1 $ に対しても同様の構成を拡張すること。
• 主作用素の係数およびその微分の多項式関数として係数を表現する体系的な方法を提供すること。
• 特に $ r = 6s \pm 1 $、$ s \geq 1 $ のようなランクに対して、このような作用素が存在するかどうかという未解決問題に取り組むこと。
• すべての $ r = 2k $ および $ r = 3k $、$ k \geq 1 $、$ g \geq 1 $ に対して、標準形をもつ可換な作用素ペアが存在し、それらのスペクトル曲線が genus $ g $ であることを確立すること。

提案手法

• ランク $ r = 2k $ の場合、$ L $ を $ 4k $ 階、$ M $ を $ 4kg + 2k $ 階の作用素として、$ 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 $ に拡張する際には、$ L $ を $ 6k $ 階、$ M $ を $ 6kg + 3k $ 階の作用素として構成し、$ \left( \frac{d}{dx} \right)^{k-2} $ 項までを含むより複雑な微分作用素構造を用い、定数項を $ -g(g+1)x $ に調整する。
• 作用素 $ M $ の係数が、$ L $ の係数およびその微分の多項式関数として表現されることを検証し、可換性条件 $[L,M] = 0$ が満たされることを確認する。

実験結果

リサーチクエスチョン

• RQ1 任意の genus $ g \geq 1 $ および偶数ランク $ r = 2k $、$ k > 1 $ に対して、多項式係数をもつ可換な常微分作用素を明示的に構成することは可能か？
• RQ2 ミロノフの genus $ g $、ランク 2 および 3 の例を、任意の偶数ランク $ r = 2k $ およびランク $ r = 3k $、$ k \geq 1 $ に一般化することは可能か？
• RQ3 すべての genus $ g \geq 1 $ およびすべてのランク $ r = 2k $、$ r = 3k $ に対して、スペクトル曲線が genus $ g $ であるような作用素が存在するか？もしそうならば、その標準形は何か？
• RQ4 なぜランク $ r = 6s \pm 1 $、$ s \geq 1 $ のような形の作用素に対しては明示的例が知られていないのか？これは根本的な障害であるのか、それとも構成法のギャップに起因するのか？
• RQ5 可換性を保ったまま、第二の作用素 $ M $ の係数を、$ L $ の係数およびその微分の多項式関数としてどのように表現できるか？

主な発見

• 本稿は、任意の genus $ g \geq 1 $ および偶数ランク $ r = 2k $、$ k > 1 $ に対して、$ L $ を $ 4k $ 階、$ M $ を $ 4kg + 2k $ 階とする可換な微分作用素 $ L $、$ M $ を明示的に構成し、$[L,M] = 0$ を満たす。
• $ k > 1 $ の場合、構成された作用素は標準（標準的）形式にあることが示され、代数的および幾何的解釈が単純化される。
• ミロノフの genus $ g $、ランク 2 および 3 の例は、任意の偶数ランク $ r = 2k $ に一般化され、スペクトル曲線が genus $ g $ のまま、多項式係数依存性が維持される。
• ランク $ r = 3k $、$ k \geq 1 $ の場合、$ L $ を $ 6k $ 階、$ M $ を $ 6kg + 3k $ 階とする作用素を構成し、$ M^2 = L^{2g+1} + \cdots + a_0 $ を満たすことで、$[L,M] = 0$ および多項式係数依存性が保証される。
• $ M $ の係数が、$ L $ の係数およびその微分の多項式関数として明示的に示され、可積分性および代数的整合性が確認される。
• 著者らは、すべてのランク、特に $ r = 6s \pm 1 $、$ s \geq 1 $ に対してもこのような作用素が存在すると予想しているが、明示的例はまだ知られていないことから、Weyl代数の可換部分代数論における未解決問題が浮き彫りになる。