关于ODOs中心化子的分类：有效的微分代数方法

交换常微分算子环与代数曲线之间的对应关系自Burchnall-Chaundy 1923年的开创性工作以来已被广泛而深入地研究。本文是对近期发展的综述，旨在通过微分代数和符号计算使这一对应关系在计算上变得有效。普通微分算子 $L$ 的中心化子是一个极大交换环，即谱曲线 $\Gamma$ 的仿射环。在已知中心化子的一组有限生成元的假设下，描述了 $\Gamma$ 的定义理想。此外，$L-\lambda$ 在由 $L$ 的系数域和 $\Gamma$ 定义的新系数域上的分解问题，允许计算 $\Gamma$ 上的谱层。最终目标是为谱问题 $L(y)=\lambda y$（$\lambda$ 为通有值）发展皮卡-韦索夫理论。