On a $q$-Skew Amitsur's Theorem

技术摘要：关于 q-扭曲 Amitsur 定理

问题陈述
本文探讨了 Ore 扩张 $R[x; \sigma, \delta]$ 中雅可比根 $J(R[x; \sigma, \delta])$ 的结构。具体而言，它研究了该根与基环 $R$ 的交集 $J(R[x; \sigma, \delta]) \cap R$ 是否为一个幂零理想（即其中每个元素都是幂零元的理想）。这一探究被表述为对 Amitsur 1956 年关于标准多项式环定理的推广，在该定理中，$J(R[x]) = (J(R[x]) \cap R)[x]$ 且该交集是一个幂零理想。

本文聚焦于由自同构 $\sigma$ 和 $\sigma$-导子 $\delta$ 定义的 Ore 扩张情形。所研究的具体条件如下：

1. $R$ 是定义在不可数域 $k$ 上的代数。
2. $\sigma$ 是一个局部挠自同构（即对于任意 $a \in R$，存在某个 $n$ 使得 $\sigma^n(a) = a$）。
3. $\delta$ 是一个局部幂零的 $\sigma$-导子（即对于任意 $a \in R$，存在某个 $n$ 使得 $\delta^n(a) = 0$）。
4. 该导子是q-扭曲的，即对于 $k$ 中某个非零标量 $q$，满足 $q\sigma\delta = \delta\sigma$。

这项工作部分回答了 Greenfeld、Smoktunowicz 和 Ziembowski（2019）提出的一个开放性问题，即在局部幂零的 $\delta$ 和局部挠的 $\sigma$ 假设下，$J(R[x; \sigma, \delta]) \cap R$ 是否为幂零的。

方法论
证明策略遵循 Smoktunowicz 和 Ziembowski（2014）针对导子情形（$\sigma=1$）所建立的方法，并将其适配到 q-扭曲设定中。该方法依赖于以下几个关键技术组件：

• 幂级数中的拟可逆性：作者利用了一个事实，即如果一个元素位于多项式环的雅可比根中，则它是拟可逆的。通过将乘法扩展到 Ore 幂级数环 $R[[x; \sigma, \delta]]$（由于 $\delta$ 的局部幂零性，该环是良定义的），拟逆元可以表示为形式级数 $f = \sum (-ax^n)^i$。
• 次数分析与系数提取：证明分析了形如 $ax^n$ 的元素幂次的系数。利用广义的 q-二项式展开（命题 4）和 $(ax^n)^m$ 的迭代公式（引理 5），作者推导出了在 $\delta$ 和 $\sigma$ 作用下元素幂零次数的界（引理 6）。
• 不可数域上的线性无关性：一个关键步骤涉及考虑变标量 $\lambda \in k$ 下的 $\lambda ax^n$ 的拟逆元。由于 $k$ 是不可数的，作者采用了范德蒙德矩阵论证。通过证明对于无穷多个 $\lambda$，拟逆元的次数是有界的，推断出展开式中特定高次项系数必须为零。
• 局部挠性质：这些系数的消失导致了一种形如 $a\sigma^n(a)\sigma^{2n}(a)\cdots\sigma^{(d-1)n}(a) = 0$ 的关系。随后利用 $\sigma$ 的局部挠性质，选取一个 $n$ 为 $a$ 的阶的倍数，迫使该乘积变为 $a$ 的幂（具体为 $a^d$），从而证明了幂零性。

主要结果
本文确立了以下主要定理和推论：

• 定理 1：设 $R$ 是定义在不可数域 $k$ 上的 $k$-代数，$\sigma$ 为局部挠自同构，$\delta$ 为局部幂零的 q-扭曲 $\sigma$-导子。则集合 $I = \{a \in R : ax^t \in J(R[x; \sigma, \delta])\}$ 对于任意 $t \in \mathbb{N}$ 都是 $R$ 的幂零理想。

  • 意义：这确认了对于交集 $J(R[x; \sigma, \delta]) \cap R$ 中的任意元素 $a$，$a$ 是幂零的。这为 [GSZ19] 中的问题 6.17 提供了部分的肯定回答。

• 推论 10（q-扭曲 Amitsur 定理）：如果额外假设域 $k$ 的特征为零，则完整的 Amitsur 性质成立：
  $$J(R[x; \sigma, \delta]) = (J(R[x; \sigma, \delta]) \cap R)[x; \sigma, \delta]$$
  且 $J(R[x; \sigma, \delta]) \cap R$ 是 $R$ 的幂零理想。

  • 推导：该结果结合了定理 1 与 Shin 在 2024 年关于特征为零的 q-扭曲扩张中雅可比根刻画的结果。

意义与范围
本文声称部分解决了 Ore 扩张的雅可比根是否在基环中交出一个幂零理想的问题，具体是在不可数域、局部挠自同构以及 q-扭曲局部幂零导子的条件下。

作者明确指出，该结果是“部分”的，因为它依赖于域是不可数的，并且对于完整的 Amitsur 性质（推论 10），还依赖于域的特征为零。本文并未声称解决任意域的一般情形，也未声称解决不满足 q-扭曲条件（$q\sigma\delta = \delta\sigma$）的情形。

开放问题与未来方向
本文最后强调了剩余的开放问题，对当前结果的范畴保持了谦逊的态度：

1. 在推论 10 的语境下，$J(R[x; \sigma, \delta]) \cap R$ 是否总是幂零根（即最大的幂零理想）。
2. 如果移除 q-扭曲条件（$q\sigma\delta \neq \delta\sigma$），定理 1 是否仍然成立。
3. 如果 $\sigma$ 仅是局部有限而非局部挠，推论 10 是否仍然成立。
4. 当 $\sigma=1$（标准导子情形）时，对于特征为零域上的代数，$J(R[x; \delta]) \cap R$ 是否为幂零的。

作者推测这些问题可能得到肯定的回答，但指出它们目前仍处于未解状态。