[论文解读] Homogenising differential operators

Francisco Jesús Castro Jiménez, Luis Narváez Macarro|arXiv (Cornell University)|Nov 8, 2012

Polynomial and algebraic computation参考文献 2被引用 6

一句话总结

本文提出了一种在 Weyl 代数中对线性微分算子进行齐次化的方法，将 Lazard 的多项式齐次化推广至该代数，用于计算与可接受滤子相关的分次理想。该文建立了齐次代数中 δ-标准基的除法算法与 Buchberger 型判别准则，从而实现了对 D-模的关联分次理想的有效计算，这是斜率计算中的关键步骤。

ABSTRACT

We consider the Weyl algebra A (=A_n(k)) and its Rees algebra B with respect to the Bernstein filtration. The homogenisation of a differential operator in A is an element in B. In this paper we establish the validity of the division theorem for homogenized differential operators and Buchberger's algorithm for computing Groebner (or standard) bases in B. As an application we describe an algorithm for computing delta-standard bases in the Weyl algebra A.

研究动机与目标

• 将 Lazard 的多项式齐次化方法推广至 Weyl 代数中的线性微分算子。
• 通过序函数及其关联的线性形式，定义并研究 Weyl 代数上的可接受滤子。
• 构建一个算法框架，用于在齐次化代数 $ A_n[t] $ 中计算 δ-标准基，从而实现对左理想 $ I \subset A_n $ 的关联分次理想 $ \mathrm{gr}_\delta(I) $ 的计算。

提出的方法

• 引入一个齐次化映射 $ h: A_n \to A_n[t] $，将 Weyl 代数的元素提升至一个带有中心变量 $ t $ 的分次代数 $ B = A_n[t] $，其中关系按 $ t^2 $ 缩放。
• 通过 $ A_n $ 上的序函数 $ \delta $ 定义可接受滤子，其特征由 $ \mathbb{Q}^{2n} $ 上具有整数系数的线性形式 $ \Lambda_\delta $ 描述，且满足 $ p_i + q_i \geq 0 $。
• 将 Rees 代数 $ B $ 构造为 Weyl 代数的齐次化版本，满足 $ A_n \cong B/(t-1) $，并在 $ B $ 上定义一个单项序 $ \prec_\delta^h $。
• 在 $ B $ 上建立除法定理与 Buchberger 算法，利用半对称式 $ S(H_1, H_2) $ 测试 δ-标准基的完备性。
• 证明：齐次化理想 $ \widetilde{I} \subset A_n[t] $ 的 δ-标准基在 $ t \mapsto 1 $ 下的像，即为 $ I \subset A_n $ 的 δ-标准基。
• 证明：这些生成元在 $ t=1 $ 下的首项形式 $ \sigma_\delta(G_{i|t=1}) $ 生成 $ \mathrm{gr}_\delta(I) $，即 $ I $ 的关联分次理想。

实验结果

研究问题

• RQ1 如何将多项式的齐次化方法扩展至 Weyl 代数中的线性微分算子，以促进算法计算？
• RQ2 在 Weyl 代数上，什么样的条件构成可接受滤子？这类滤子能否通过 $ \mathbb{Q}^{2n} $ 上的线性形式来刻画？
• RQ3 Buchberger 算法能否被适配至齐次化 Weyl 代数 $ A_n[t] $，以计算左理想的 δ-标准基？
• RQ4 齐次化过程如何保持关联分次理想 $ \mathrm{gr}_\delta(I) $ 的结构？其计算意义是什么？

主要发现

• 微分算子 $ P \in A_n $ 的齐次化被定义为 $ h(P) \in A_n[t] $，即将 $ P $ 提升为 Rees 代数 $ B $ 中的齐次元素，且满足 $ A_n \cong B/(t-1) $。
• Weyl 代数上的可接受滤子由序函数 $ \delta $ 刻画，其为定义在 $ \mathbb{N}^{2n} $ 上的整值线性形式 $ \Lambda_\delta $ 的线性扩张，且满足 $ p_i + q_i \geq 0 $。
• 在 $ A_n[t] $ 中，相对于单项序 $ \prec_\delta^h $，存在一个除法算法，可实现唯一表示 $ H = \sum Q_i P_i + R $，且其 Newton 多面体受到控制。
• 半对称式 $ S(H_1, H_2) $ 通过指数三元组的最小公倍式定义，用作 δ-标准基完备性的判别准则。
• 若对所有配对，$ S(P_i, P_j) $ 除以 $ \{P_1, \dots, P_r\} $ 的余式为零，则 $ \{P_1, \dots, P_r\} $ 是理想 $ J \subset A_n[t] $ 的 δ-标准基。
• 齐次化理想 $ \widetilde{I} \subset A_n[t] $ 的 δ-标准基在 $ t \mapsto 1 $ 下的像，即为 $ I \subset A_n $ 的 δ-标准基，且这些生成元的首项形式生成 $ \mathrm{gr}_\delta(I) $。