[论文解读] On a theorem of Stafford

Napoleon Caro, Daniel Levcovitz|arXiv (Cornell University)|May 24, 2010

Advanced Topics in Algebra参考文献 1被引用 3

一句话总结

本文通过证明在形式洛朗级数 $ K((x_1,\dots,x_n)) $ 和收敛洛朗级数 $ \mathbb{C}\{\{x_1,\dots,x_n\}\} $ 上的微分算子环中，每个左理想或右理想均由两个元素生成，将 Stafford 关于 Weyl 代数的经典结果加以推广。作者通过在非交换 Ore 域上运用 Weierstrass 预备定理与模理论技巧，克服了幂级数环中 $ x $-变量与 $ \partial $-变量之间的不对称性，从而适配 Stafford 的证明。

ABSTRACT

Stafford proved that every left or right ideal of the Weyl algebra A_n(K) is generated by two elements. In this paper we prove that every left or right ideal of the ring of differential operators over the field of formal Laurent series K((x_1,...,x_n)) is also generated by two elements. The same is true for the ring of differential operators over the convergent Laurent series C{x_1,...,x_n}. This is in accordance with the conjecture that says that in a (noncommutative) noetherian simple ring, every left or right ideal is generated by two elements.

研究动机与目标

• 将 Stafford 关于 Weyl 代数的定理推广至形式洛朗级数与收敛洛朗级数上的微分算子环。
• 解决幂级数环中 $ x $-变量与 $ \partial $-变量之间缺乏对称性的问题，该问题破坏了 Stafford 原证明中使用的对偶性。
• 证明在 $ E_n = K((x_1,\dots,x_n))\langle\partial_1,\dots,\partial_n\rangle $ 中，每个左理想或右理想均由两个元素生成。
• 验证该结果在收敛洛朗级数上的微分算子环 $ \mathbb{C}\{\{x_1,\dots,x_n\}\} $ 中同样成立。
• 支持更广泛的猜想：在诺特单非交换环中，所有左理想或右理想均可由两个元素生成。

提出的方法

• 改编 Björk 书中 Stafford 定理的证明策略，针对幂级数情形进行修改。
• 使用 Weierstrass 预备定理，将 $ D_n = K[[x_1,\dots,x_n]]\langle\partial_1,\dots,\partial_n\rangle $ 中的元素化为合适的标准形。
• 研究环 $ R_r = F_r((x_{r+1},\dots,x_n))\langle\partial_{r+1},\dots,\partial_n\rangle $，其中 $ F_r $ 是 $ D_r $ 的分式域，通过归纳法逐步简化问题。
• 在自由 $ S $-模上运用模论论证，其中 $ S = T((x))\langle\partial_x\rangle $，以证明某些子模是满的。
• 利用 Ore 条件保证存在公共左倍数，从而构造生成元。
• 利用 $ D_n $ 是左 Ore 环的事实，通过乘以可逆幂级数 $ q_0 \in K[[x_1,\dots,x_n]] $，将结果从 $ D_n $ 提升至更大的环 $ E_n $。

实验结果

研究问题

• RQ1 Stafford 关于 Weyl 代数的两生成元定理能否推广至形式洛朗级数上的微分算子环？
• RQ2 在幂级数环中，如何克服 $ x $-变量与 $ \partial $-变量之间不对称性，以解决理想生成问题？
• RQ3 每个左理想或右理想在 $ K((x_1,\dots,x_n))\langle\partial_1,\dots,\partial_n\rangle $ 中是否都存在两元素生成集？
• RQ4 在收敛洛朗级数 $ \mathbb{C}\{\{x_1,\dots,x_n\}\} $ 上的微分算子环中，两生成元性质是否仍然成立？
• RQ5 该结果在多大程度上支持如下猜想：诺特单非交换环中所有理想均可由两个元素生成？

主要发现

• 在 $ E_n = K((x_1,\dots,x_n))\langle\partial_1,\dots,\partial_n\rangle $ 中，每个左理想或右理想均由两个元素生成。
• 在收敛洛朗级数上的微分算子环 $ \mathbb{C}\{\{x_1,\dots,x_n\}\} $ 中，同样的两生成元性质也成立。
• 该结果通过关于变量数的归纳论证建立，利用 $ R_r $-模结构与 Ore 条件。
• 一个关键技术步骤是构造一个非零元素 $ q_0 \in K[[x_1,\dots,x_n]] $，使得 $ q_0 c \in D_n(a + dc) + D_n(b + ec) $ 对某些 $ d,e \in D_n $ 成立，该结果可提升至 $ E_n $。
• 证明依赖于对 Björk 书中 Stafford 原证明的改编，用 Weierstrass 预备定理与对挠模的模论控制替代了 $ x $ 与 $ \partial $ 之间的对称性使用。
• 该结果确认了对两类重要非交换诺特单环——形式洛朗级数与收敛洛朗级数上的微分算子环——的两生成元猜想。