[論文レビュー] The LFED and LNED Conjectures for Laurent Polynomial Algebras

Wenhua Zhao|arXiv (Cornell University)|Jan 21, 2017

Advanced Differential Equations and Dynamical Systems参考文献 15被引用数 8

ひとこと要約

本稿は、整域の特徴が0である環上のローレンツ多項式代数における局所的有限および局所的冪零微分作用素と$\varepsilon$-微分作用素を分類する。このような代数は、非ゼロの局所的冪零微分作用素または$\varepsilon$-微分作用素を有さないことが示され、LNED予想が自明に裏付けられる。さらに、特徴が0である体上の1変数および2変数ローレンツ多項式代数についてLFED予想を検証し、これらのケースで両予想を確立する。

ABSTRACT

Let $R$ be an integral domain of characteristic zero, $x=(x_1, x_2, ..., x_n)$ $n$ commutative free variables, and ${\mathcal A}_n:=R[x^{-1}, x]$, i.e., the Laurent polynomial algebra in $x$ over $R$. In this paper we first classify all locally finite or locally nilpotent $R$-derivations and $R$-$\mathcal E$-derivations of ${\mathcal A}_n$, where by an $R$-$\mathcal E$-derivation of ${\mathcal A}_n$ we mean an $R$-linear map of the form $\operatorname{Id}_{{\mathcal A}_n}-ϕ$ for some $R$-algebra endomorphism $ϕ$ of ${\mathcal A}_n$. In particular, we show that ${\mathcal A}_n$ has no nonzero locally nilpotent $R$-derivations or $R$-$\mathcal E$-derivations. Consequently, the LNED conjecture proposed in [Z4] for ${\mathcal A}_n$ follows. We then show some cases of the LFED conjecture proposed in [Z4] for ${\mathcal A}_n$. In particular, we show that both the LFED and LNED conjectures hold for the Laurent polynomial algebras in one or two commutative free variables over a field of characteristic zero.

研究の動機と目的

• 特徴が0である整域$R$上のローレンツ多項式代数$\mathcal{A}_n = R[x^{-1},x]$におけるすべての局所的有限および局所的冪零$R$-微分作用素および$R$-$\mathcal{E}$-微分作用素を分類すること。
• $\mathcal{A}_n$におけるLFEDおよびLNED予想を、特に特徴が0である体上の1変数または2変数の場合に検証すること。
• $\mathcal{A}_n$が非ゼロの局所的冪零$R$-微分作用素または$R$-$\mathcal{E}$-微分作用素を有さないことを示し、これによりこのクラスにおけるLNED予想が自明に裏付けられることを確立すること。
• 一般の$R$-$\mathcal{E}$-微分作用素におけるLFED予想を、[Z4]の予想の特別な場合に還元し、今後の研究のための枠組みを提供すること。

提案手法

• 関連する代数自己準同型$\phi$の指数行列を用いて、単項式上での作用を分析することで、$\mathcal{A}_n$上の$R$-微分作用素および$R$-$\mathcal{E}$-微分作用素を分類する。
• 付値論および素イデアルを法とする還元を用いて、$\operatorname{Im}(\operatorname{Id} - \phi)$の像を分析し、特に大きな素数$p$における$f^p(x)$の定数項に注目する。
• ニュートン多面体における極値点の性質を適用し、特定の係数が素イデアルに属するものと仮定した場合に矛盾を導き出し、像部分空間がMathieu部分空間であることを示す。
• 一般の$R$-$\mathcal{E}$-微分作用素におけるLFED予想を、[Z4]の定理3.11の特別な場合に還元し、微分作用素の像の構造的分解を活用する。
• ローレンツ多項式代数の構造および$\phi$-不変部分環の性質を用いて、$\operatorname{Im}(\operatorname{Id} - \phi)$を係数条件の観点から明示的に記述する。
• 指数行列$A$のランクに関する場合分けを用いて$\mathcal{A}_1$および$\mathcal{A}_2$におけるLFED予想を証明し、$k=0,1,2$の各ケースに対応する異なる像構造をカバーする。

実験結果

リサーチクエスチョン

• RQ1 特徴が0である整域$R$上のローレンツ多項式代数$\mathcal{A}_n = R[x^{-1},x]$は、非ゼロの局所的冪零$R$-微分作用素または$R$-$\mathcal{E}$-微分作用素を有するか？
• RQ2 局所的有限$R$-$\mathcal{E}$-微分作用素の像が、$\mathcal{A}_n$におけるMathieu部分空間となる条件は何か？
• RQ3 特徴が0である体上の1変数または2変数ローレンツ多項式代数において、LFED予想は成り立つか？
• RQ4 局所的有限$R$-$\mathcal{E}$-微分作用素の像は、ローレンツ多項式の係数条件の観点から完全に記述可能か？
• RQ5 一般の$R$-$\mathcal{E}$-微分作用素における$\mathcal{A}_n$のLFED予想は、[Z4]の既知の予想に還元可能か？

主な発見

• 特徴が0である整域$R$上のローレンツ多項式代数$\mathcal{A}_n$は、非ゼロの局所的冪零$R$-微分作用素または$R$-$\mathcal{E}$-微分作用素を有さない。
• LNED予想は、非ゼロの局所的冪零微分作用素や$\mathcal{E}$-微分作用素が存在しないことから、$\mathcal{A}_n$において自明に成立する。
• すべての局所的有限$R$-微分作用素の像は、$\mathcal{A}_n$におけるMathieu部分空間をなすため、LFED予想は$\mathcal{A}_n$において成立する。
• 特徴が0である体$K$上の1変数または2変数ローレンツ多項式代数において、LFEDおよびLNED予想の両方が完全に確認される。
• 局所的有限$R$-$\mathcal{E}$-微分作用素$\operatorname{Id} - \phi$の像は、特に$\phi$の指数行列$A$の成分が$\mathbb{N}$に属する場合、ローレンツ多項式の係数条件の観点から明示的に記述可能である。
• 一般の$R$-$\mathcal{E}$-微分作用素における$\mathcal{A}_n$のLFED予想は、[Z4]の定理3.11の特別な場合に還元可能であり、今後の検証のための道筋を提供する。