[论文解读] Commutative Rings of Differential Operators Corresponding to Multidimensional Algebraic Varieties

Andrey E. Mironov|ArXiv.org|Nov 4, 2002

Advanced Topics in Algebra参考文献 4被引用 6

一句话总结

本文构建了在 $g-k$ 个变量中作用的 $N \times N$-矩阵微分算子的交换环，其特征函数与特征值由一个谱簇 $Y^k$ 上的点参数化，其中 $Y^k$ 是一个主极化阿贝尔簇中 $k$ 个平移后的theta-除子的交集。通过向量theta-函数与傅里叶–穆凯伊变换，本文建立了在 $Y^k$ 上具有在 $Q^k$ 处极点的亚纯函数嵌入到 $g-k$ 个变量中 $N \times N$-矩阵微分算子的交换环中的映射，其中 $N = r d_g$，$d_g$ 为theta-除子的 $g$ 重自交指数。关键结果是这些算子的多维Kadomtsev–Petviashvili层级的推广。

ABSTRACT

We construct new examples of multidimensional commuting matrix differential operators and a multidimensional analog of the Kadomtsev--Petviashvili hierarchy.

研究动机与目标

• 构建在 $g-k$ 个变量中作用的 $N \times N$-矩阵微分算子的交换环，其谱数据由多维代数簇 $Y^k$ 参数化。
• 通过向量theta-函数与傅里叶–穆凯伊变换，建立 $Y^k$ 上具有在 $Q^k$ 处极点的亚纯函数与矩阵微分算子之间的几何对应关系。
• 通过将一维Krichever构造推广到高维，将谱数据嵌入到多维可积层级中。
• 证明这些算子存在多维Kadomtsev–Petviashvili层级的类比，其时间依赖系数满足演化方程。

提出的方法

• 利用向量theta-函数在主极化阿贝尔簇 $X^g$ 上定义秩为 $r$ 的全纯向量丛的截面。
• 应用傅里叶–穆凯伊变换，在微分算子环上构造一个Baker–Akhiezer模，其表达形式基于向量theta-函数。
• 利用黎曼–罗赫–希茨布吕赫定理，证明自交指数 $d_g$ 是 $g!$ 的倍数，因此 $N = r d_g$ 是 $g!$ 的整数倍。
• 通过将 $Y^k$ 上的亚纯函数与谱参数为 $Y^k$ 的矩阵微分算子关联，构造嵌入映射 $L_k: \mathcal{A}_k \to \mathrm{Mat}(N, g-k)$。
• 通过引入时间变量 $t_{j,m}$ 并对向量函数进行theta-函数对数导数的指数变换，推导出时间依赖算子的演化方程。
• 利用解析依赖性与截面空间的维数计数，证明模 $\mathcal{D}_{g-k}\Phi_c^{j+1}$ 是秩为 $N$ 的自由模，且与 $M_c^{j+1}$ 重合，从而确立了嵌入关系。

实验结果

研究问题

• RQ1 如何构造在 $g-k$ 个变量中作用的矩阵微分算子交换环，使其谱数据对应于多维代数簇 $Y^k$？
• RQ2 谱簇 $Y^k = Y_{a_1} \cap \cdots \cap Y_{a_k}$ 的几何与代数结构是什么？它与阿贝尔簇的theta-除子有何关系？
• RQ3 能否将普通微分算子的Krichever构造推广到具有有限间隙性质的高维矩阵微分算子？
• RQ4 向量theta-函数与傅里叶–穆凯伊变换在实现多维可积系统谱对应关系中起什么作用？
• RQ5 如何为这类算子推导出多维Kadomtsev–Petviashvili层级的类比？

主要发现

• 数 $N = r d_g$ 是 $g!$ 的倍数，其中 $d_g$ 为theta-除子的 $g$ 重自交指数，确保矩阵尺寸为整数。
• 存在一个嵌入 $L_k: \mathcal{A}_k \to \mathrm{Mat}(N, g-k)$，将 $Y^k$ 上具有在 $Q^k$ 处极点的亚纯函数映射到 $g-k$ 个变量中矩阵微分算子的交换环。
• $L_k$ 的像由秩为 $r$ 的算子构成，意味着 $Y^k$ 的每一点对应 $r$ 个线性无关的特征函数。
• 当 $\dim Y^k = 2$ 时，谱曲面的Kodaira维数为 2，意味着其为一般型曲面。
• 算子 $L_k(\lambda)$ 满足演化方程 $\partial_t L_k(\lambda) = [L_k(\lambda), T_j]$，构成KP层级的多维类比。
• 该系统具有时间依赖的实现形式，其中 $\Psi = (\psi_{1,c}, \dots, \psi_{N,c})^\top$ 满足 $L_{j,m} \Psi = \partial_{t_{j,m}} \Psi$，且 $[\partial_{t_{j,m}} - L_{j,m}, \partial_{t_{i,n}} - L_{i,n}] = 0$，证实了可积性。