[论文解读] Linear differential equations on $\mathbb{P}^{1}$ and root systems

Kazuki Hiroe|arXiv (Cornell University)|Oct 13, 2010

Advanced Algebra and Geometry参考文献 11被引用 4

一句话总结

本文建立了在 $\mathbb{P}^1$ 上具有非正则奇点的线性微分算子的欧拉变换与基卡-莫迪根系表示理论之间的联系。通过将谱类型定义为计数形式解重合首项的重数的元组，证明了欧拉变换的作用诱导出一个与基卡-莫迪根系的商同构的格点自同构，其威略群作为变换群作用。关键结果是：对于不可约算子，谱类型对应于广义根系中的根，从而将卡茨算法推广至非弗克斯型情形。

ABSTRACT

In this paper, we study the Euler transform on linear ordinary differential operators on $\mathbb{P}^{1}$. The spectral type is the tuple of integers which count the multiplicities of local formal solutions with the same leading terms. We compute the changes of spectral types under the action of the Euler transform and show that the changes of spectral types generate a transformation group of a $\mathbb{Z}$-lattice which is isomorphic to a quotient lattice of a Kac-Moody root lattice with the Weyl group as the transformation group.

研究动机与目标

• 理解欧拉变换在 $\mathbb{P}^1$ 上具有非正则奇点的线性微分算子上的作用。
• 定义并分析谱类型作为计数相同首项形式解重数的组合不变量。
• 证明在欧拉变换下谱类型的变化生成一个与基卡-莫迪根系的商同构的 $\mathbb{Z}$-格点自同构群。
• 通过谱类型与刚性指标，将卡茨算法从弗克斯型系统推广至非弗克斯型、非正则奇点情形。
• 在谱类型格点上定义广义根系，并证明不可约算子对应于该系统中的根。

提出的方法

• 将谱类型定义为整数元组，用于计数每个奇点处具有相同首项的形式解的重数。
• 利用大岛对韦勒代数 $W(x)$ 上欧拉变换的代数定义，计算其在谱类型上的作用。
• 从谱类型构造 $\mathbb{Z}$-格点 $L(P)$，并定义通过欧拉变换作用于其上的变换群 $\tilde{W}(P)$。
• 证明 $L(P)$ 同构于基卡-莫迪根系 $Q(P)$ 的商，且 $\tilde{W}(P)$ 作为威略群作用于其上。
• 在 $L(P)$ 上引入广义根系 $\Delta^\Phi$，通过根映射 $\Phi$ 的像定义 $\Phi$-根、$\Phi$-实根与 $\Phi$-虚根。
• 利用刚性指标 $\mathrm{idx\,}\mathbf{m}$ 对谱类型进行分类：若 $\mathrm{idx\,}\mathbf{m} = 2$，则 $\mathbf{m} \in \Delta^\Phi_{\text{re}}$；否则 $\mathbf{m} \in \Delta^\Phi_{\text{im}}$。

实验结果

研究问题

• RQ1 在 $\mathbb{P}^1$ 上，具有非正则奇点的线性微分算子的欧拉变换如何改变其谱类型？
• RQ2 由欧拉变换在谱类型上诱导的变换群能否被实现为格点上的威略群作用？
• RQ3 不可约微分算子的谱类型是否具有广义根系结构？
• RQ4 刚性指标 $\mathrm{idx\,}\mathbf{m} = 2$ 是否如弗克斯情形一样，表征通过有限次扭曲欧拉变换可将算子约化为秩1算子的可能性？
• RQ5 不可约算子的谱类型能否被识别为源自基卡-莫迪格系的广义根系中的根？

主要发现

• 欧拉变换在谱类型格点 $L(P)$ 上诱导出 $\mathbb{Z}$-格点自同构，形成一个与基卡-莫迪根系的商同构的群 $\tilde{W}(P)$。
• 格点 $L(P)$ 同构于基卡-莫迪根系 $Q(P)$ 的商，且威略群 $W(P)$ 作为变换群作用于其上。
• 对于不可约算子，谱类型 $\mathbf{m}$ 属于广义根系 $\Delta^\Phi$，当 $\mathrm{idx\,}\mathbf{m} = 2$ 时 $\mathbf{m} \in \Delta^\Phi_{\text{re}}$，否则 $\mathbf{m} \in \Delta^\Phi_{\text{im}}$。
• 刚性指标 $\mathrm{idx\,}\mathbf{m} = 2$ 表征了通过有限次迭代扭曲欧拉变换可将不可约算子约化为秩1算子的可能性。
• 广义根系 $\Delta^\Phi$ 扩展了基卡-莫迪代数的经典根系，其中 $\Phi$-根定义为根在典范映射 $\Phi$ 下的像。
• 不可约算子的谱类型 $\mathbf{m}$ 是一个 $\Phi$-根，其刚性指标决定了其在广义系统中为实根或虚根。