[论文解读] 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

一句话总结

本文通过在 $\mathbb{P}^2$ 上构造显式例子，推进了二维 Krichever 对应关系的研究，从二维局部斜域上的广义 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$ 上的显式几何例子阐明二维 Krichever 对应关系。
• 利用二维局部域将一维 Krichever 对应关系推广至高维。
• 从二维局部斜域上的广义 KP-层次推导出新的 KP 型方程。
• 利用不变量 $ (n, \xi, i_n, r_n, c, a_n) $ 对特征为 0 的二维局部斜域进行分类。
• 研究典范自同构在 KP-层次可解性中的作用，并识别非平凡情形。

提出的方法

• 通过数据 $ (X, C, p, \mathcal{F}, e_p, t, u) $ 构造曲面的 Krichever 映射，其中 $ X $ 为曲面，$ C $ 为曲线，$ p $ 为点，$ \mathcal{F} $ 为向量丛。
• 利用在曲线 $ C $ 上点 $ p $ 处的完备化构造二维局部域 $ k((t))((u)) $，其中 $ u $ 为 $ C $ 的局部方程，$ t $ 为局部参数。
• 应用引理 1 计算 Krichever 子空间 $ W \subset k((t))((u))^{\oplus r} $ 为 $ k[y_1, \dots, y_l]((f)) $，其中 $ f $ 定义了在 $ p $ 之外的曲线。
• 推导出 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 $ 上对奇点或相切曲线显式实现二维 Krichever 对应关系？
• RQ2 在二维局部斜域上的广义 KP-层次在何种条件下产生非平凡可积方程？
• RQ3 不变量 $ (n, \xi, i_n, r_n, c, a_n) $ 如何对特征为 0 的二维局部斜域进行分类？
• RQ4 典范自同构 $ \alpha $ 在 KP-层次可解性中起什么作用？
• RQ5 参数 $ a $ 如何修改经典 KP 方程？其结果的非平凡方程具有何种结构？

主要发现

• 对于 $ \mathbb{P}^2 $ 上在点 $ p $ 处有切线 $ D $ 的二次曲线 $ C $，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。
• 若典范自同构 $ \alpha $ 非平凡，则广义 KP-层次为平凡；仅当 $ \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 $ 同构于 $ k((u))((z)) $ 的有限维扩张，满足 $ z u z^{-1} = \xi u + u^{\delta'_{i_n}} z^{i_n} + \cdots $，其分类依赖于 $ (n, \xi, i_n, r_n, c, a_n) $。
• 每个此类斜域均允许分解 $ K = K_+ \oplus K_- $，其中 $ K_- $ 由负阶元素组成，从而支持 KP-层次的 Lax 表述。