[論文レビュー] On Radicals of Ore Extensions and Related Questions

Be’eri Greenfeld, Agata Smoktunowicz+1 more|arXiv (Cornell University)|Feb 26, 2017

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

ひとこと要約

この論文は、オーレ拡大と微分多項式環における非可換環論におけるいくつかの未解決問題を解決する。R が導分 δ を持つ素性の根を持つ環であるとき、微分多項式環 R[X;δ] は局所冪零であることが示され、基礎体が無限大である場合、R[X;δ] の冪零根基が I[X;δ] の形を取ることを証明する—ニールセン、ツィエンボウスキー、ホンたちは長年の問いに答える。さらに、特徴がゼロの体上の次数を保存する導分におけるヤコブソン根基の安定性を示し、局所冪零 σ-導分を持つべき級数環のwell-definednessを確認し、先行研究を一般化する。

ABSTRACT

We answer several open questions and establish new results concerning differential and skew polynomial ring extensions, with emphasis on radicals. In particular, we prove the following results. If $R$ is prime radical and $δ$ is a derivation of $R$, then the differential polynomial ring $R[X;δ]$ is locally nilpotent. This answers an open question posed in by Nielsen and Ziembowski. The nil radical of a differential polynomial ring $R[X;δ]$ takes the form $I[X;δ]$ for some ideal $I$ of $R$, provided that the base field is infinite. This answers an open question posed by Hong, Kim, Lee and Nielsen for algebras over infinite fields. If $R$ is a graded algebra generated in degree $1$ over a field of characteristic zero and $δ$ is a grading preserving derivation on $R$, then the Jacobson radical of $R$ is $δ$-stable. Examples are given to show the necessity of all conditions, thereby proving this result is sharp. Skew polynomial rings with natural grading are locally nilpotent if and only if they are graded locally nilpotent. The power series ring $R[[X;σ,δ]]$ is well-defined whenever $δ$ is a locally nilpotent $σ$-derivation; this answers a conjecture by Bergen and Grzeszczuk and opens up the possibility of generalizing many research directions studied thus far only when further restrictions are put on $δ$.

研究の動機と目的

• 微分環およびスケュー多項式環における根基の構造に関する未解決問題を解消すること。
• オーレ拡大における導分の下での冪零根基およびヤコブソン根基の挙動を調査すること。
• 微分多項式環が局所冪零である、または特定の形の根基を持つための条件を同定すること。
• 局所冪零 σ-導分を持つべき級数環のwell-definednessを確立し、先行研究を拡張すること。

提案手法

• 微分多項式環 R[X;δ] における根基の構造を分析するためのイデアル論的技法の使用。
• 素性の根環および局所冪零導分の性質を応用して、R[X;δ] の局所冪零性を証明する。
• 無限大の基礎体の仮定を活用して、R のあるイデアル I に対して、冪零根基が I[X;δ] と表せることを特徴づける。
• 次数と特徴がゼロの仮定を用いて、次数付き代数における δ-安定性を証明する。
• 自然な次数付きスケュー多項式環の分析により、局所冪零性と次数付き局所冪零性の同値性を示す。
• δ が局所冪零 σ-導分であるとき、べき級数環 R[[X;σ,δ]] がwell-definedであることを証明し、バーゲンとグレズシュチュクの予想を確認する。

実験結果

リサーチクエスチョン

• RQ1 R が素性の根を持つとき、R が導分 δ を持つ微分多項式環 R[X;δ] が局所冪零である条件は何か？
• RQ2 特に無限大の体上で、R[X;δ] の冪零根基が R のあるイデアル I に対して I[X;δ] の形を取る条件は何か？
• RQ3 特徴がゼロの体上の次数付き代数 R において、自然な次数を保つ導分 δ に対してヤコブソン根基が δ-安定であるか？
• RQ4 自然な次数付きスケュー多項式環は、局所冪零であることと、次数付き局所冪零であることの同値性が成り立つか？
• RQ5 δ が局所冪零 σ-導分であるとき、べき級数環 R[[X;σ,δ]] は well-defined か？

主な発見

• R が素性の根であり、δ が R 上の導分であるとき、微分多項式環 R[X;δ] は局所冪零である。これはニールセンとツィエンボウスキーによる未解決問題を解決する。
• 基礎体が無限大であるとき、R[X;δ] の冪零根基は R のあるイデアル I に対して I[X;δ] の形を取る。これはホン、キム、リー、ニールセンによる未解決問題に答える。
• 特徴がゼロの体上、次数 1 で生成される次数付き代数 R と、次数を保存する導分 δ に対して、R のヤコブソン根基は δ-安定であり、反例によってこの結果が鋭いことが示されている。
• 自然な次数付きスケュー多項式環は、局所冪零であることと、次数付き局所冪零であることの同値性が成り立つ。これは正確な同値性を確立する。
• δ が局所冪零 σ-導分である限り、べき級数環 R[[X;σ,δ]] は well-defined である。これはバーゲンとグレズシュチュクの予想を確認し、オーレ拡大理論におけるより広範な一般化を可能にする。