Commutative algebras satisfying univariate identities with vanishing Peirce polynomial

技术摘要：满足具有消失 Peirce 多项式的单变量恒等式的交换代数

问题陈述
本文研究了一类由单变量多项式恒等式 $P=0$ 定义的特定交换非结合代数。分析此类代数的标准方法依赖于与幂等元相关的 Peirce 分解。该方法利用了从恒等式 $P$ 的线性化中导出的“Peirce 多项式” $\rho(P; q)$。该多项式的根构成了“抽象 Peirce 谱”，这为乘法算子 $L(c)$（对于任何幂等元 $c$）的特征值施加了先验约束。

然而，对于 Peirce 多项式恒等于零 ($\rho(P; q) \equiv 0$) 的恒等式，理论上存在显著空白。这类被称为**消逝型（evanescent）**的恒等式使得抽象 Peirce 谱变为整个域 $k$，从而消除了标准的谱约束。作者关注的是最简单的非平凡 6 次齐次消逝型恒等式：
$$E_1 := (x^3)^2 - (x^2)^3 = 0$$
满足该恒等式的代数被称为 (2, 3)-palintropic 代数。由于缺乏由一阶 Peirce 多项式提供的谱约束，该类代数的中心问题在于如何建立其结构理论。

方法论
作者采用了一个以线性化和非结合单项式组合学为核心的严谨代数框架：

1. Peirce 算子与多项式： 他们利用 Peirce 算子 $\rho: k(\{x\}) \to k[q]$，该算子将一个非结合多项式映射为一个结合多项式。对于对应于二叉根树 $T$ 的非结合单项式 $x^\alpha$，$\rho(x^\alpha; q) = \sum_{v \in L(T)} q^{\text{ht}(v)}$，其中 $\text{ht}(v)$ 是叶节点的高度。
2. 消逝型恒等式： 如果 $\rho(P; q) \equiv 0$，则称该恒等式是消逝型的。作者证明了消逝型恒等式的空间构成一个理想。他们确定了非平凡齐次消逝型恒等式的最小次数为 6，由 $E_1$ 和第二个恒等式 $E_2$ 组成。
3. 二阶线性化： 为了克服一阶 Peirce 多项式失效的问题，作者引入了二阶 Peirce 算子 $D(P; q, r, s)$。该算子由恒等式的二阶线性化导出，并通过在幂等元上进行求值，以确定“融合规则”（即 Peirce 本征空间之间的乘积如何分解）。
4. 中等代数（Medial Algebra）联系： 本文将 (2, 3)-palintropic 代数与中等代数（满足 $[x,y,z,w] = (xy)(zw) - (xz)(yw) = 0$）建立联系。他们证明了 Peirce 算子是从非结合多项式代数到特定的中等代数结构 $k[q]$ 上的同态。

主要贡献与结果

• (2, 3)-Palintropic 代数的特征化： 本文定义了满足 $(x^3)^2 = (x^2)^3$ 的 (2, 3)-palintropic 代数。研究表明这类代数范围广泛，涵盖了 Jordan 代数、幂结合代数以及中等代数。
• $\lambda \neq 1/2$ 时的融合规则： 尽管一阶 Peirce 多项式是平凡的，但作者证明了对于 (2, 3)-palintropic 代数中的任何幂等元 $c$，$E_1$ 的二阶 Peirce 多项式在第一变量上是线性的。这导致了对于特征值 $\lambda, \mu \neq 1/2$ 的极其简单的融合规则：
  $$A_c(\lambda) A_c(\mu) \subseteq A_c(\lambda\mu)$$
  这种乘法结构意味着 $A_c(0)$ 和 $A_c(1)$ 是子代数；且如果 $c$ 是非奇异的（即 $1/2 \notin \sigma(c)$），则 $A_c(0)$ 是一个理想。
• 同态性质： 一个主要结果是，对于 (2, 3)-palintropic 代数中的任何非奇异幂等元 $c$，乘法算子 $L(c)$ 是一个代数同态。这扩展了中等代数的一个已知性质。
• 幂结合性： 作者证明，在特征不被 30 整除的域上，任何含单位元的 (2, 3)-palintropic 代数都是幂结合的。此外，非奇异幂等元的 Peirce 子空间 $A_c(1)$ 始终是一个幂结合子代数。
• 三阶线性化： 文中推导了 Peirce 本征空间元素的三阶线性化公式。研究表明，对于不在特定例外集 $\Lambda$ 中的特征值 $\lambda$，元素 $x \in A_c(\lambda)$ 的任何单项式幂 $x^\alpha$ 都与主幂 $x^{\deg(\alpha)}$ 成比例。
• 对多项式映射的应用： 作者将这些代数结构与动力系统联系起来。他们展示了 (2, 3)-palintropic 代数可以产生交换的多项式映射 $\Phi_\alpha$ 和 $\Phi_\beta$（由单项式幂诱导）。如果单项式的次数互质，这些映射构成了 Veselov 意义下的可积多项式映射。

意义
该论文声称在以下领域具有重要意义：

1. 结构理论： 它提供了一种研究由消逝型恒等式定义的代数的系统方法，这类代数此前因缺乏谱约束而难以分析。它证明了即使在一阶方法失效时，二阶线性化仍能恢复结构刚性（融合规则）。
2. 统一性： 它将 (2, 3)-palintropic 代数定位为幂结合代数的自然推广，类似于中等代数与结合代数的关系。通过包含链 (结合 $\subset$ Jordan $\subset$ 幂结合 $\subset$ (2, 3)-palintropic) 以及 (中等 $\subset$ J-Medial $\subset$ (2, 3)-palintropic) 阐明了这些结构的层级关系。
3. 显式示例： 论文提供了 (2, 3)-palintropic 代数的具体构造，包括多项式环的同构（isotopes）以及具有明确计算出的 Peirce 谱的具体有限维示例，展示了该类代数的多样性。
4. 可积性： 它为可积多项式映射提供了一种新的代数构造，将非结合代数恒等式与交换映射及动力系统的理论联系起来。

作者对一般 (2, 3)-palintropic 代数的分类保持谦逊，指出虽然简单情形和幂零情形可能是可处理的，但完整的分类仍是一个开放问题。这项工作主要旨在开启对这些代数的研究并建立其基本性质。