On Isotropy Groups of Quantum Weyl Algebras and Jordanian Plane

技术摘要：量子 Weyl 代数与 Jordanian 平面的各向同性群

问题陈述
本文研究了两种特定非交换代数——量子 Weyl 代数 $A_1^q(k)$ 和 Jordanian 平面 $\Lambda_2(k)$——上导数的各向同性群。研究的核心对象是导数 $\delta$ 的各向同性群，定义为自同构 $\rho$ 的子群，其中 $\rho$ 与 $\delta$ 交换（即 $\rho \delta \rho^{-1} = \delta$），并受到约束条件：若 $\delta$ 是一个 $\sigma$-导数，则 $\rho$ 还必须与底层的自同构 $\sigma$ 交换。作者旨在明确确定这些群的结构，并利用它们来区分这两种代数的结构特性；尽管两者都是二生成二次代数，但已知它们是非同构的。

方法论
作者结合了分类定理、直接计算和结构分解方法：

1. 量子 Weyl 代数 ($A_1^q(k)$):

   • 分类： 研究依赖于 Brzeziński 对 $A_1^q(k)$（其中 $q$ 不是单位根）的 $\sigma$-导数的分类。该代数的自同构群被限制为对角自同构 $\rho_\beta(x) = \beta^{-1}x, \rho_\beta(y) = \beta y$。
   • 分解： 作者将 $\sigma$-导数空间分解为直和子空间：内导数 ($Inn_\sigma$)、与 $h=1-yx$中的多项式 ($H_\mu$) 相关的一类特定非内导数，以及与$x$和$y$的单项式 ($P_\mu$) 相关的一类非内导数。
   • 交集公式： 利用一个通用的引理，作者证明了任意 $\sigma$-导数的各向同性群是其在上述分解中非零分量的各向同性群的交集。
   • 算术分析： 对于每个分量，他们推导出了关于自同构 $\rho_\beta$ 参数 $\beta$ 的显式条件，这通常简化为涉及单位根以及指数的最大公约数 (gcd) 的算术条件。

2. Jordanian 平面 ($\Lambda_2(k)$):

   • 自同构与导数结构： 作者利用已知的自同构群描述（三角型：$\phi(x) = \gamma x + g(y), \phi(y) = \gamma y$）以及导数（包括内导数和局部幂零型导数）。
   • 交换性准则： 他们建立了一个内导数的自同构属于其各向同性群的充要条件：$\rho(w) - w \in k$。
   • 显式计算： 他们将此准则应用于单项式内导数和局部幂零导数（由 $\delta(y)=0, \delta(x)=p(y)$ 定义），以计算它们的特定各向同性群。

主要贡献与结果

• 量子 Weyl 代数：

  • 显式各向同性群： 论文提供了所有类型 $\sigma$-导数族的算术描述。
    • 对于 2a 型非内导数（涉及 $f(h)$），若导数为内导数，则各向同性群为全自同构群 $Aut(R)$；若为非内导数，则根据特定的单位根条件，各向同性群为平凡或受限的。
    • 对于 2b 型导数（涉及 $h^d b(y)$ 和 $h^d a(x)$），其各向同性群同构于循环群 $Z_d$，其中 $d$ 是多项式 $a(x)$ 和 $b(y)$ 中指数加上 1 的最大公约数。
    • 对于内导数 $ad_w$，其各向同性群由集合 $S = \{j-i \mid c_{i,j} \neq 0\}$ 的最大公约数决定。若 $\gcd(S) = 0$，则群为 $k^*$；若 $\gcd(S) = d > 1$，则为 $Z_d$；若 $\gcd(S) = 1$，则为平凡群。
  • 交集定理： 作者证明了对于任何 $\sigma$-导数 $\delta$，其各向同性群是其在分解 $Der_\sigma(R) = Inn_\sigma(R) \oplus H_\mu \oplus P_\mu$ 中非零分量的各向同性群的交集。

• Jordanian 平面：

  • 单项式内导数： 特征化了 $ad_{x^m y^n}$ 的各向同性群。对于 $m \ge 1$ 且 $(m,n) \neq (1,0)$，该群同构于 $Z_{m+n}$（由满足 $\gamma^{m+n}=1$ 且 $g(y)=0$ 的自同构组成）。
  • 局部幂零导数： 对于由 $\delta_p(y)=0$ 和 $\delta_p(x)=p(y)$ 定义的导数，其各向同性群由满足 $p(\gamma y) = \gamma p(y)$ 的自同构 $\phi_{\gamma, g}$ 组成。
  • 三角子群： 一个重要的发现是，局部幂零导数 $\delta_1$（其中 $p(y)=1$）的各向同性群同构于多项式加法群 $(k[y], +)$，这是一个无限维的三角子群。

意义与结构区分
论文得出结论，各向同性群的集合作为一种自然的不变量，反映了两种代数之间的结构差异：

• 在量子 Weyl 代数中（当 $q$ 不是单位根时），其自同构群是一维的（一个环面 $k^*$）。因此，所有导数的各向同性群都受限于该环面，通常是有限循环群或环面本身。
• 在Jordanian 平面中，其自同构群更大，允许存在“大型三角子群”。作者展示了特定局部幂零导数的各向同性群包含一个与 $(k[y], +)$ 同构的无限维三角子群。

这种对比为 $A_1^q(k)$ 与 $\Lambda_2(k)$ 的非同构性提供了一个新的视角。虽然两者的非同构性是一个已知结果（Shirikov），但这项工作表明，各向同性群的行为——特别是 Jordanian 平面中无限维三角子群的存在与量子 Weyl 代数中该类子群的缺失——为区分非交换代数提供了一种独特的判别不变量。论文还提出了一个关于刻画 $k[x]$ 的 Ore 扩充之各向同性群的更广泛问题。