[論文レビュー] On some questions related to the Krichever correspondence

Denis Vasilievich Osipov, A. B. Zheglov|arXiv (Cornell University)|Oct 11, 2006

Algebraic structures and combinatorial models参考文献 13被引用数 4

ひとこと要約

本稿は、2次元Krichever対応を、$\mathbb{P}^2$ 上の明示的例の構成、2次元局所斜体上の一般化KP階層からKP型方程式を導出すること、およびこれらの斜体を不変量を用いて分類することによって進展させる。この研究は、高次元におけるKrichever写像を通じて代数幾何と可積分系を結びつける。非自明な自己同型が可解階層をもたらすことを示し、パラメータ$ a $を含む新しい非自明なKP方程式を導出する。この方程式は$ a=0$のとき古典的KP方程式に還元される。主な貢献は、非可換構造を持つ一般化KP階層と、$ a $-依存項を含む新しい可積分方程式の導出である。

ABSTRACT

We investigate various new properties and examples of one-dimensional and two-dimensional Krichever correspondence developed by Parshin. In particular, we give explicit examples of the Krichever-Parshin map for various plane curves, we introduce analogs of the Schur pairs in a two-dimensional local field and show that they are oft geometrical. At the end we investigate analogs of the KP hierarchy for two-dimensional local skew-fields with arbitrary commutation law instead of the usual law of Weyl algebra. We derive for these hierarchies new partial differential equations, which coincide with the usual KP equation for certain values of parameters.

研究の動機と目的

• $\mathbb{P}^2$ 上の明示的幾何的例を通じて、2次元Krichever対応を明確化すること。
• 2次元局所体を用いて1次元Krichever対応を高次元に一般化すること。
• 2次元局所斜体上の一般化KP階層から新しいKP型方程式を導出すること。
• 不変量$ (n, \xi, i_n, r_n, c, a_n) $を用いて、特徴0の2次元局所斜体を分類すること。
• 標準的自己同型のKP階層の可解性における役割を調査し、非自明な場合を同定すること。

提案手法

• 表面$ X $、曲線$ C $、点$ p $、ベクトル bundle $ \mathcal{F} $、および$ p $におけるフレーム$ e_p $、局所パラメータ$ t $、$ u $を用いて、表面に対するKrichever写像を構成する。
• $ C $ 上の点$ p $における完備化を通じて、2次元局所体$ k((t))((u)) $を用いる。ここで$ u $は$ C $の局所方程式、$ t $は局所パラメータである。
• 補題1を適用し、$ f $が$ p $を除く$ C $を定義するとき、Krichever部分空間$ W \subset k((t))((u))^{\oplus r} $を$ k[y_1, \dots, y_l]((f)) $として計算する。
• Lax形式における一般化KP階層を導出する：$ \partial_n L / \partial t_n = [(L^n)_+, L] $、ここで$ L \in z^{-1} + K_- \otimes k[[\dots, t_m, \dots]] $。
• $ \alpha = \text{id} $の仮定の下で階層を分析し、$ i=1 $、$ r=0 $、$ c=1 $のケースに注目し、$ a $を唯一の非自明パラメータとする。
• 補助変数を消去することで、新しい非自明なKP方程式を導出する：$ (4u_t - u''' - 12u u')' = 3u_{yy} + 6a(2x^{-2}u'' - x^{-2}u_y - x^{-1}u''' + x^{-1}u'_y - 2x^{-3}u') $。

実験結果

リサーチクエスチョン

• RQ1 特異的または接線を有する曲線に対して、$ \mathbb{P}^2 $ 上の2次元Krichever対応はどのように明示的に実現可能か？
• RQ2 2次元局所斜体上の一般化KP階層が非自明な可積分方程式を導出するための条件は何か？
• RQ3 不変量$ (n, \xi, i_n, r_n, c, a_n) $は、特徴0の2次元局所斜体をどのように分類するか？
• RQ4 標準的自己同型$ \alpha $はKP階層の可解性において果たす役割は何か？
• RQ5 パラメータ$ a $は古典的KP方程式をどのように変更し、その結果得られる非自明な方程式の構造は何か？

主な発見

• $ \mathbb{P}^2 $ 上の2次曲線$ C $と点$ p $における接線$ D $に対して、Krichever部分空間は$ W = k[\alpha]((\alpha^2 u / t^2)) $である。ここで$ \alpha = y/z $、$ u = (y/x)^2 + (z/x)^2 - 2z/x $。
• $ D \cdot C = 2p $のとき、Krichever部分空間は明示的に$ k[\alpha]((\alpha^2 u / t^2)) $として計算され、補題1が幾何的設定で確認される。
• 一般化KP階層は、標準的自己同型$ \alpha $が非自明な場合に自明になるが、$ \alpha = \text{id} $かつ$ i=1 $、$ r=0 $、$ c=1 $のときのみ非自明になり、$ a $が唯一の主要パラメータとなる。
• 導出されたKP方程式は$ (4u_t - u''' - 12u u')' = 3u_{yy} + 6a(2x^{-2}u'' - x^{-2}u_y - x^{-1}u''' + x^{-1}u'_y - 2x^{-3}u') $であり、$ a=0 $のとき古典的KP方程式に還元される。
• 斜体$ K $は、$ z u z^{-1} = \xi u + u^{\delta'_{i_n}} z^{i_n} + \cdots $を満たす$ k((u))((z)) $の有限次元拡張と同型であり、分類は$ (n, \xi, i_n, r_n, c, a_n) $に依存する。
• すべてのこのような斜体は$ K = K_+ \oplus K_- $の分解を有し、$ K_- $は負の位数の要素からなる。この分解により、KP階層のLax形式が可能になる。