[论文解读] Discriminants and Automorphism Groups of Veronese subrings of skew polynomial rings

Kenneth Chan, Alexander Young+1 more|arXiv (Cornell University)|Jun 3, 2016

Advanced Differential Equations and Dynamical Systems参考文献 14被引用 5

一句话总结

该论文使用判别式方法计算了当 $ q $ 为单位根时，$ q $-斜多项式环的Veronese子环的自同构群。研究发现，当 $ n $ 与 $ v $ 奇偶性相反时，自同构群为 $ S_n \ltimes (\Bbbk^\times)^n $；当 $ n $ 为奇数且 $ \gcd(m,v)=1 $ 时，该群包含一个秩为 2 的自由子群，从而展现出Tits型替代性质。

ABSTRACT

We study important invariants and properties of the Veronese subalgebras of $q$-skew polynomial rings, including their discriminant, center and automorphism group, as well as cancellation property and the Tits alternative.

研究动机与目标

• 确定当 $ q $ 为非平凡单位根时，$ q $-斜多项式环的Veronese子环的自同构群。
• 研究这些Veronese子环的可约性与Tits型替代性质。
• 将基于判别式的分析方法扩展至非形变代数，包括那些不与交换多项式环同构的代数。
• 在 $ n $ 与 $ v $ 奇偶性不同以及 $ \gcd(m,v) $ 满足特定条件时，解析自同构群的结构。

提出的方法

• 利用判别式方法分析 $ A = \Bbbk_q[x_1,\dots,x_n]^{(v)} $ 的Veronese子环的自同构群。
• 应用判别理论中的刚性结果以控制对称性并计算自同构群。
• 使用导子 $ \partial_1, \partial_3 $ 及其指数映射 $ g_1 = \exp(\partial_1) $、$ g_3 = \exp(\partial_3) $ 构造自由子群。
• 利用 $ \deg \partial_i = v $ 的条件，确保自同构限制在Veronese子环 $ A^{(v)} $ 上。
• 应用引理 8.2 证明：若自同构保持次数 $ v $ 且在 $ A^{(v)} $ 上恒等，则其必为平凡自同构。
• 依赖 [CPWZ3, 命题 2.5] 验证在适当条件下 $ g_1 $ 与 $ g_3 $ 生成一个秩为 2 的自由群。

实验结果

研究问题

• RQ1 在什么条件下，$ \Bbbk_q[x_1,\dots,x_n]^{(v)} $ 的自同构群是几乎阿贝尔的？
• RQ2 在何种情况下，此类Veronese子环的自同构群包含一个秩为 2 的自由子群？这与Tits型替代性质有何关联？
• RQ3 当 $ n $ 与 $ v $ 奇偶性相同时，且 $ \gcd(m,v) = 1 $，自同构群的结构如何？
• RQ4 在定理 0.2 的假设下，Veronese子环 $ \Bbbk_q[x_1,\dots,x_n]^{(v)} $ 是否具有可约性？
• RQ5 代数的判别式与中心在确定自同构群结构中起到何种作用？

主要发现

• 当 $ n $ 为偶数且 $ q = -1 $ 时，若 $ n $ 与 $ v $ 奇偶性相反，则 $ \operatorname{Aut}(\Bbbk_{-1}[x_1,\dots,x_n]^{(v)}) \cong S_n \ltimes (\Bbbk^\times)^n $。
• 当 $ q $ 的阶 $ m > 2 $ 时，若 $ n $ 为偶数且 $ m \nmid v $，或 $ n $ 为奇数且 $ \gcd(m,v) \neq 1 $，则当 $ q^v = \pm 1 $ 时 $ \operatorname{Aut}(A) \cong \mathbb{Z}/(n) \ltimes (\Bbbk^\times)^n $，否则 $ \cong (\Bbbk^\times)^n $。
• 当 $ n $ 为奇数且 $ \gcd(m,v) = 1 $ 时，$ \operatorname{Aut}(\Bbbk_q[x_1,\dots,x_n]^{(v)}) $ 包含一个秩为 2 的自由子群，满足Tits型替代性质。
• 当 $ n=2 $ 且 $ v = m\gamma $ 时，$ \operatorname{Aut}(\Bbbk_q[x_1,x_2]^{(v)}) $ 包含一个秩为 2 的自由子群，即使该代数同构于交换Veronese子环。
• 当 $ n \geq 3 $ 且 $ (n,m,v) $ 不满足定理 0.2(a,b) 时，$ \Bbbk_q[x_1,\dots,x_n]^{(v)} $ 的自同构群尚未完全确定，但一个猜想认为其包含一个秩为 2 的自由子群。
• 判别式方法成功控制了非交换多项式环形变代数的自同构群，将其适用范围扩展至以往语境之外。