[論文レビュー] On a theorem of Stafford

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

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

ひとこと要約

この論文は、スタフォードのWeyl代数に関する古典的結果を拡張し、形式的ローレンツ級数 $ K((x_1,\dots,x_n)) $ および収束的ローレンツ級数 $ \mathbb{C}\{\{x_1,\dots,x_n\}\} $ 上の微分作用素環における任意の左イデアルまたは右イデアルが2つの元で生成可能であることを証明している。著者らは、非可換Ore整域上の加群論的技法とワイエルシュトラスの準備定理を用いて、べき級数環における $ x $ 変数と $ \partial $ 変数の非対称性を克服し、スタフォードの証明を適応した。

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.

研究の動機と目的

• スタフォードのWeyl代数に関する定理を、形式的ローレンツ級数および収束的ローレンツ級数上の微分作用素環へ拡張すること。
• べき級数環における $ x $ 変数と $ \partial $ 変数の間の対称性の欠如が、スタフォードの元々の証明で用いられる双対性を破壊する問題に対処すること。
• 環 $ E_n = K((x_1,\dots,x_n))\langle\partial_1,\dots,\partial_n\rangle $ における任意の左イデアルまたは右イデアルが2つの元で生成可能であることを確立すること。
• 収束的ローレンツ級数 $ \mathbb{C}\{\{x_1,\dots,x_n\}\} $ 上の微分作用素環に対しても同様の結果が成り立つことを検証すること。
• ネノーア型単純非可換環においてすべての左イデアルまたは右イデアルが2生成であるという広範な予想を支援すること。

提案手法

• Björkの書籍におけるスタフォード定理の証明戦略を採用し、べき級数設定に適合させる。
• Weierstrass準備定理を用いて、$ D_n = K[[x_1,\dots,x_n]]\langle\partial_1,\dots,\partial_n\rangle $ 内の要素を適切な標準形に整える。
• $ F_r $ を $ D_r $ の商体とするとき、$ R_r = F_r((x_{r+1},\dots,x_n))\langle\partial_{r+1},\dots,\partial_n\rangle $ という環を用い、変数の数に関する帰納的帰納法で問題を簡略化する。
• 自由 $ S $-加群（$ S = T((x))\langle\partial_x\rangle $）上の加群論的議論を用い、特定の部分加群が「完全」であることを示す。
• Ore条件による共通左倍数の存在を活用し、生成元を構成する。
• $ D_n $ が左Ore整域であることを利用し、$ K[[x_1,\dots,x_n]] $ 内の可逆なべき級数 $ q_0 $ を用いて、$ D_n $ からの結果を $ E_n $ へと持ち上げる。

実験結果

リサーチクエスチョン

• RQ1 スタフォードのWeyl代数における2生成元定理は、形式的ローレンツ級数上の微分作用素環へ拡張可能か？
• RQ2 べき級数環における $ x $ 変数と $ \partial $ 変数の非対称性は、イデアル生成問題においてどのように克服できるか？
• RQ3 $ K((x_1,\dots,x_n))\langle\partial_1,\dots,\partial_n\rangle $ における任意の左イデアルまたは右イデアルは、2元の生成集合をもつか？
• RQ4 収束的ローレンツ級数 $ \mathbb{C}\{\{x_1,\dots,x_n\}\} $ 上の微分作用素環に対しても、2生成元性は保たれるか？
• RQ5 この結果は、ネノーア型単純非可換環におけるすべてのイデアルが2生成であるという予想をどの程度支持するか？

主な発見

• 環 $ E_n = K((x_1,\dots,x_n))\langle\partial_1,\dots,\partial_n\rangle $ における任意の左イデアルまたは右イデアルは2つの元で生成可能である。
• 収束的ローレンツ級数 $ \mathbb{C}\{\{x_1,\dots,x_n\}\} $ 上の微分作用素環に対しても同様の2生成元性が成り立つ。
• 変数の数に関する帰納的議論により結果が確立され、$ R_r $-加群の構造とOre条件が利用されている。
• 重要な技術的ステップとして、$ D_n $ 内の適切な $ d,e \in D_n $ に対して $ q_0 c \in D_n(a + dc) + D_n(b + ec) $ を満たす非ゼロの $ q_0 \in K[[x_1,\dots,x_n]] $ の共通左倍数の構成がある。この構成は $ E_n $ へと持ち上げられる。
• 証明は、スタフォードの元々の証明をBjörkの書籍に基づいて適応したものであり、$ x $ と $ \partial $ の対称性の使用を、ワイエルシュトラスの準備定理とねじれ加群の加群論的制御に置き換えている。
• この結果は、形式的および収束的ローレンツ級数上の微分作用素環という2つの重要な非可換ネノーア型単純環において、2生成元予想が正当化されることを確認している。