On the structural behavior of images of polynomials

技术摘要：多项式图像的结构行为

问题陈述
本文研究了非交换多项式在结合代数上求值所得图像的结构性质。具体而言，它关注由这些图像生成的加法和乘法子结构，包括加法子群、子环，以及将代数元素表示为多项式值之和或积的问题。本研究受 L'vov-Kaplansky 猜想驱动，该猜想断言：在无限域上的矩阵代数中，多重线性多项式的图像是一个向量空间；同时也受近期关于矩阵能否表示为加法交换子之积或乘法交换子之差的探究所驱动。

方法论
作者采用了环论技术的组合，包括素环理论、扩展中心以及 Martindale 对称商环理论。方法论涉及：

• 理想理论：分析非零理想在素环和单环上多项式值之积的和中的包含关系。
• 交换子分析：利用李理想和加法交换子的性质来确定环的生成性质。
• 矩阵分解：应用分块对角和、相似变换以及三角矩阵（特别是幺三角矩阵和幂零矩阵）的结构，来分解除环上矩阵代数中的元素。
• 因式分解：引入“可分解的”多重线性多项式（即在不相交变量集上的多项式之积），以简化对其图像的分析。
• 几何与代数论证：在实四元数的背景下，利用范数不等式、内积以及单位球面的特定几何性质，来刻画乘法交换子之差。

主要贡献与结果

1. 由多项式图像生成的加法结构：

   • 定理 1：在具有扩展中心 $C$ 的素环 $R$ 中，如果多项式 $f \in C\langle X \rangle$ 在 $RC$上不是中心值的，则由$f$在某个非零理想上的两个值的有限乘积之和生成的加法子群，包含$R$的一个非零理想。唯一的例外是当$R \cong M_2(\text{GF}(2))$ 时。
   • 推论 4：对于单 $F$-代数 $R$，如果 $p$ 不是中心值的，则由图像 $p(R)$ 生成的子环与 $R$ 重合（$M_2(\text{GF}(2))$ 例外情况除外）。
   • 定理 6：如果在具有多于两个元素的域上的代数中，$f(R)$ 是“完全非中心”的，那么对于每个极大理想 $M$，都有 $R = (f(R)^2)_+ + M$。
   • 定理 8 与 10：对于由作为理想的交换子生成的幺代数，如果 $R = (f(R)^n)_+$，那么 $R$ 中的每个元素都可以写成 $f(R)^n$ 中有限个（有界数量）元素之和。这推广了关于由交换子生成环的结果。

2. 加法交换子之积：

   • 定理 17：如果 $D$ 是一个中心 $F$ 为有限域（$|F| = q > n$）的除环，那么 $M_n(D)$ 中的每个矩阵都是两个加法交换子之积。
   • 定理 22：对于任意域 $F$，存在一个中心为 $F$ 的非交换除环 $D$（在 $F$ 上无限维），其中每个非零元素都是两个非中心交换子之积。
   • 定理 23：在关于域大小和矩阵奇偶性的特定条件下，如果除环 $D$ 的每个非零元素都是两个非中心交换子之积，那么 $M_n(D)$ 中的每个矩阵都是两个交换子之积。
   • 定理 30：如果 $D$ 是代数除环，那么 $M_n(D)$ 中的每个矩阵都是两个交换子之积。
   • 定理 31：有限矩阵代数 $M_\infty(D)$ 中的每个元素都是两个交换子之积。

3. 可分解多项式的图像：

   • 本文引入了可分解的多重线性多项式（即在不相交变量集上的多项式之积）。
   • 定理 34 与 35：对于无限域上（以及具有无限中心的除环上）的有限矩阵代数，可分解多重线性多项式 $p = p_1 p_2$（其中 $p_1, p_2$ 在代数上非零）的图像是整个代数。
   • 定理 39：对于除环上的 $2 \times 2$ 矩阵，如果 $p = p_1 p_2$ 满足某些非退化条件，则其图像是整个代数。

4. 多项式交换子：

   • 定理 43 与推论 47：对于非交换无限单代数 $R$，由多项式交换子 $p[R, R]$（其中 $p(x) - p(yx)$不是中心值的）生成的加法子群等于加法交换子子群$[R, R]$，而后者根据 Herstein 定理等于 $R$。因此，$R$ 作为环由其多项式交换子生成。

5. 乘法交换子与实四元数：

   • 定理 49：在实四元数除环 $\mathbb{H}$ 中，一个元素 $q$ 可以写成两个范数为 1 的元素（即 $SL_1(\mathbb{H})$ 中的元素）之差，当且仅当 $\|q\| \le 2$。这与 $n \ge 2$ 的情况形成对比，在后者中 $M_n(D) = SL_n(D) - SL_n(D)$。
   • 定理 50 与 51：对于 $n=1$，来自多项式图像的乘法交换子之差集合被限制在范数 $\le 2$ 的元素内。然而，对于 $n \ge 2$，$\mathbb{H}$ 上 $M_n(\mathbb{H})$ 中的每个矩阵都可以表示为两个源自多重线性多项式图像的乘法交换子之积的差。

意义
本文声称对非交换多项式图像生成的代数子结构进行了系统研究。它确立了，除少数例外（具体为 $M_2(\text{GF}(2))$）外，单代数上非中心多项式的图像在加法和乘法上均足够丰富，足以生成整个代数。这项工作将 L'vov-Kaplansky 猜想的理解扩展到可分解多项式，并解决了在 various 设定下（包括具有有限中心的除环和代数除环）将矩阵表示为交换子之积的问题。此外，它突显了一维情况（实四元数）与高维矩阵代数在将元素表示为乘法交换子之差方面存在的显著结构二分法。