[論文レビュー] Images of Ideals under Derivations and $\mathcal E$-Derivations of Univariate Polynomial Algebras over a Field of Characteristic Zero

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

Advanced Differential Equations and Dynamical Systems参考文献 17被引用数 10

ひとこと要約

本稿は、特性が0の体上の1変数多項式代数に対して、LFEDおよびLNED予想を証明し、局所的有限または局所的冪零な微分作用素および$\varepsilon$-微分作用素によるイデアルの像がMathieu部分空間であることを示している。すべての$K$-微分作用素および$K$-$\mathcal{E}$-微分作用素について予想を確立し、証明にはベルヌーイ数およびClausen-von Staudtの定理に関する主要な結果が用いられ、重根をもつイデアルの根の自明性の証明に寄与している。

ABSTRACT

Let $K$ be a field of characteristic zero and $x$ a free variable. A $K$-$\mathcal E$-derivation of $K[x]$ is a $K$-linear map of the form $\operatorname{I}-ϕ$ for some $K$-algebra endomorphism $ϕ$ of $K[x]$, where $\operatorname{I}$ denotes the identity map of $K[x]$. In this paper we study the image of an ideal of $K[x]$ under some $K$-derivations and $K$-$\mathcal E$-derivations of $K[x]$. We show that the LFED conjecture proposed in [Z4] holds for all $K$-$\mathcal E$-derivations and all locally finite $K$-derivations of $K[x]$. We also show that the LNED conjecture proposed in [Z4] holds for all locally nilpotent $K$-derivations of $K[x]$, and also for all locally nilpotent $K$-$\mathcal E$-derivations of $K[x]$ and the ideals $uK[x]$ such that either $u=0$, or $\operatorname{deg}\, u\le 1$, or $u$ has at least one repeated root in the algebraic closure of $K$. As a bi-product, the homogeneous Mathieu subspaces (Mathieu-Zhao spaces) of the univariate polynomial algebra over an arbitrary field have also been classified.

研究の動機と目的

• 特性が0の体上の1変数多項式代数に対してLFEDおよびLNED予想を検証すること。
• 任意の体上の1変数多項式代数における斉次なMathieu部分空間を分類すること。
• $K$-微分作用素および$K$-$\mathcal{E}$-微分作用素によるイデアルの像を分析すること、特に局所的有限および局所的冪零な場合に注目すること。
• イデアルの生成子が重根をもつ、あるいは線形である場合に、その像がMathieu部分空間となる条件を確立すること。

提案手法

• $K$-$\mathcal{E}$-微分作用素に対して、$\delta = \mathrm{I} - \phi$の同値性を用い、$\phi$は$K[x]$の$K$-代数自己準同型である。
• ベルヌーイ数の性質およびClausen-von Staudtの定理を用いて、微分作用素の像における特定の多項式式の消滅を分析する。
• 数体上の$p$-進付値技術を用いて、ベルヌーイ数と多項式の係数を含む方程式における矛盾を導出する。
• 代数的数論の道具、特に$p$-進付値を適用できるように、$\overline{\mathbb{Q}}$の部分体に問題を還元する。
• 平行移動自己準同型を用いて、$\delta$-像と差分作用素を関連させ、結果を差分作用素$\Delta$へと移行可能であるようにする。
• Mathieu部分空間の根理論を適用し、$u$が重根をもつとき$\mathfrak{r}(\delta I) = \{0\}$であることを示し、$\delta I$がMathieu部分空間であることを示す。

実験結果

リサーチクエスチョン

• RQ1 任意の局所的有限$K$-微分作用素または$K$-$\mathcal{E}$-微分作用素$\delta$に対して、$K[x]$上のイデアルの像はMathieu部分空間をなすか？
• RQ2 任意の局所的冪零$K$-微分作用素または$K$-$\mathcal{E}$-微分作用素$\delta$に対して、$K[x]$上のイデアルの像はMathieu部分空間をなすか？
• RQ3 $\delta = \mathrm{I} - \phi$で$\phi(x) = x + c$のとき、$uK[x]$の像がMathieu部分空間となる条件は何か、生成子$u$に関してどのような条件が成立するか？
• RQ4 $u$が$K$の代数的閉包で重根をもつとき、$K$-$\mathcal{E}$-微分作用素によるイデアルの像の根が自明になることは可能か？
• RQ5 $\deg \phi(x) \geq 2$または$\phi(x) = x + c$である$\delta = \mathrm{I} - \phi$に関する結果は、量子微分作用素$D_h$とどのように関係するか？

主な発見

• すべての$K$-$\mathcal{E}$-微分作用素およびすべての局所的有限$K$-微分作用素$K[x]$に対して、LFED予想は成り立つ。
• すべての局所的冪零$K$-微分作用素$K[x]$に対して、LNED予想は成り立つ。
• すべての局所的冪零$K$-$\mathcal{E}$-微分作用素$K[x]$に対しても、LNED予想は成り立つ。
• $\delta = \mathrm{I} - \phi$で$\phi(x) = x + c$のとき、$uK[x]$の像は、$u = 0$、$\deg u \leq 1$、または$u$が$\overline{K}$で重根をもつならばMathieu部分空間である。
• このような$u$に対して、根$\mathfrak{r}(\delta I)$は自明である。これは$\delta I$がMathieu部分空間であることを示唆する。
• これらの結果は差分作用素$\Delta$へと拡張され、$\Delta$がこのようなイデアルをMathieu部分空間へ写像することを示し、したがって$h = c$の量子微分作用素$D_h$に対しても同様のことが成り立つ。