[论文解读] 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

一句话总结

本文对特征为零的整环上洛朗多项式代数上的局部有限和局部幂零导子及 $\varepsilon$-导子进行了分类。证明了此类代数不包含非零的局部幂零导子或 $\varepsilon$-导子，从而平凡地证实了 LNED 猜想。此外，本文在一元和二元洛 Laurent 多项式代数上验证了 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.

研究动机与目标

• 对特征为零的整环 $R$ 上的洛 Laurent 多项式代数 $\mathcal{A}_n = R[x^{-1},x]$ 上所有局部有限和局部幂零的 $R$-导子及 $R$-$\mathcal{E}$-导子进行分类。
• 在特征为零的域上的一元或二元洛 Laurent 多项式代数情形下，验证 $\mathcal{A}_n$ 的 LFED 与 LNED 猜想。
• 证明 $\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)$ 的常数项。
• 应用 Newton 多面体极值点的性质，当假设某些系数属于素理想时导出矛盾，从而证明像子空间为 Mathieu 子空间。
• 将一般 $R$-$\mathcal{E}$-导子的 LFED 猜想约化为 [Z4] 中猜想 3.11 的特例，利用导子像的结构分解。
• 利用洛 Laurent 多项式代数的结构及 $\phi$-不变子环的性质，根据系数条件显式描述 $\operatorname{Im}(\operatorname{Id} - \phi)$。
• 通过指数矩阵 $A$ 的秩进行情形分析（$k=0,1,2$），覆盖不同像结构，证明 $\mathcal{A}_1$ 与 $\mathcal{A}_2$ 的 LFED 猜想。

实验结果

研究问题

• RQ1 对于特征为零的整环 $R$，洛 Laurent 多项式代数 $\mathcal{A}_n = R[x^{-1},x]$ 是否存在非零的局部幂零 $R$-导子或 $R$-$\mathcal{E}$-导子？
• RQ2 在何种条件下，洛 Laurent 多项式代数 $\mathcal{A}_n$ 上局部有限 $R$-$\mathcal{E}$-导子的像构成 $\mathcal{A}_n$ 的 Mathieu 子空间？
• RQ3 LFED 猜想是否对特征为零的域上的一元或二元洛 Laurent 多项式代数成立？
• RQ4 能否根据洛 Laurent 多项式上的系数条件，完全描述局部有限 $R$-$\mathcal{E}$-导子 $\operatorname{Id} - \phi$ 的像？
• RQ5 一般 $R$-$\mathcal{E}$-导子在 $\mathcal{A}_n$ 上的 LFED 猜想是否可约化为 [Z4] 中已知猜想的一个特例？

主要发现

• 特征为零的整环 $R$ 上的洛 Laurent 多项式代数 $\mathcal{A}_n$ 不包含非零的局部幂零 $R$-导子或 $R$-$\mathcal{E}$-导子。
• 由于不存在非零的局部幂零导子或 $\mathcal{E}$-导子，LNED 猜想在 $\mathcal{A}_n$ 上平凡成立。
• 对于 $\mathcal{A}_n$ 上的所有局部有限 $R$-导子，LFED 猜想成立，且此类导子的像构成 Mathieu 子空间。
• 在特征为零的域 $K$ 上的一元或二元洛 Laurent 多项式代数中，LFED 与 LNED 猜想均被完全证实。
• 局部有限 $R$-$\mathcal{E}$-导子 $\operatorname{Id} - \phi$ 的像在系数条件上被显式描述，尤其当 $\phi$ 的指数矩阵 $A$ 的元素属于 $\mathbb{N}$ 时。
• 一般 $R$-$\mathcal{E}$-导子在 $\mathcal{A}_n$ 上的 LFED 猜想可约化为 [Z4] 中猜想 3.11 的一个特例，为未来验证提供了路径。