[论文解读] Inverse spectral problem for GK integrable system

V. V. Fock|arXiv (Cornell University)|Mar 1, 2015

Differential Equations and Boundary Problems被引用 10

一句话总结

本文通过构造作用-角度映射的有理逆映射，解决了Goncharov-Kenyon（GK）可积系统的逆谱问题。给定一个亏格为 $ g $ 的平面代数曲线及一个度数为 $ g-1 $ 的线丛，该方法利用无穷维空间中完全旗的构型，并将 [FG] 中的有限维旗坐标方法推广至无穷维情形，从而重构相空间 $ \mathcal{X}^1_\Gamma $ 中的原始点，建立了曲线与线丛模空间和GK系统代数环面之间的有理同构。

ABSTRACT

A.Goncharov and R.Kenyon has defined a class of integrable system on a cluster varieties constructed out of a Newton polygon on the plane. In the present note we show that thiest cluster varieties coincides with the configuration spaces of collections of complete flags in an infinite dimensional space invariant with respect to two commuting operators. We use this interpretation to give explicit solution for these integrable systems in terms of theta-functions.

研究动机与目标

• 求解从给定谱曲线 $ \Sigma(\boldsymbol{x}) $ 与度数为 $ g-1 $ 的线丛 $ \mathcal{L}(\boldsymbol{x}) $ 重构相空间点 $ \boldsymbol{x} \in \mathcal{X}^1_\Gamma $ 的逆问题。
• 在曲线与线丛对的模空间与代数环面 $ H^1(T, \mathbb{C}^\times) $ 之间建立有理同构，完成作用-角度映射的构造。
• 将旗构型坐标系从有限维推广至无穷维空间，将 [FG] 中的方法适配至GK可积系统背景。
• 利用theta函数与基本形式，提供显式重构公式，并借助Fay的三 secant 恒等式验证一致性。

提出的方法

• 该构造依赖于配对空间 $ (\Sigma, \mathcal{L}) $ 与在无穷维向量空间中、在由两个生成元生成的自由阿贝尔群作用下不变的完全旗构型空间之间的有理同构。
• 从 [FG] 适配旗构型空间的坐标至无穷维情形，从而实现相空间的显式参数化。
• 谱曲线 $ \Sigma(\boldsymbol{x}) $ 定义为行列式 $ \det \mathfrak{D}_{\boldsymbol{K}}[\boldsymbol{\lambda} d^{-1}(\boldsymbol{x})] = 0 $ 的零点集，其中 $ \boldsymbol{\lambda} \in H^1(T, \mathbb{C}^\times) $，其牛顿多边形 $ \Delta_\Gamma $ 与 $ \boldsymbol{x} $ 无关。
• 线丛 $ \mathcal{L}(\boldsymbol{x}) $ 构造为狄拉克算子 $ \mathfrak{D}_{\boldsymbol{K}}[\boldsymbol{A}] $ 的核的对偶，并通过连续性延拓至紧化曲线。
• 利用基本形式 $ E(x,y) $ 表达具有指定除子的线丛截面，应用Fay的广义三 secant 恒等式验证重构的一致性。
• 通过求解 $ \boldsymbol{x} \in \mathcal{X}^1_\Gamma $，使得其对应的谱曲线与线丛与给定数据匹配，从而构造逆映射，使用 $ \mathrm{Pic}^g(\Sigma) $ 中的theta特征与除子类。

实验结果

研究问题

• RQ1 能否利用代数几何工具，显式构造GK可积系统作用-角度映射的逆映射？
• RQ2 如何利用无穷维空间中的完全旗构型来参数化GK系统的相空间？
• RQ3 theta函数与基本形式在从几何不变量重构谱数据的过程中起什么作用？
• RQ4 逆映射是否为有理映射？其在何种条件下全局成立？
• RQ5 Fay的三 secant 恒等式如何确保从曲线与线丛数据重构相空间点的一致性？

主要发现

• 作用-角度映射的逆存在且为有理同构，建立了相空间 $ \mathcal{X}^1_\Gamma $ 与模空间 $ (\Sigma, \mathcal{L}) $ 之间的一一对应，其中 $ \Sigma $ 为亏格 $ g $ 的曲线，$ \mathcal{L} $ 为度数 $ g-1 $ 的线丛。
• 该构造利用了此类配对空间与无穷维空间中完全旗构型空间之间的有理同构，推广了 [FG] 中的有限维旗坐标。
• 谱曲线 $ \Sigma(\boldsymbol{x}) $ 由一个与 $ \boldsymbol{x} $ 无关的牛顿多边形 $ \Delta_\Gamma $ 的洛朗多项式方程 $ \det \mathfrak{D}_{\boldsymbol{K}}[\boldsymbol{\lambda} d^{-1}(\boldsymbol{x})] = 0 $ 定义，确保了曲线族的普遍性。
• 线丛 $ \mathcal{L}(\boldsymbol{x}) $ 作为狄拉克算子核的对偶被恢复，其度数 $ g-1 $ 通过阿贝尔定理与theta特征得到确认。
• 基本形式 $ E(x,y) $ 允许显式构造具有指定除子的线丛截面，Fay的广义三 secant 恒等式确保了重构在所有数据下的统一性。
• 通过求解 $ \boldsymbol{x} \in \mathcal{X}^1_\Gamma $，使得其谱曲线与线丛与输入匹配，显式构造了逆映射，使用 $ \mathrm{Pic}^g(\Sigma) $ 中的除子类与theta函数。