[論文レビュー] 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$-歪多項式環のヴェロネーゼ部分環の自己同型群を、判別式法を用いて計算する。$n$ と $v$ が異なる偶奇性を持つとき、自己同型群は $S_n \ltimes (\Bbbk^\times)^n$ であることが示され、また $n$ が奇数で $\gcd(m,v)=1$ のとき、群はランク 2 の自由部分群を含み、ティーツの代替性が成立することを示している。

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$-歪多項式環のヴェロネーゼ部分環の自己同型群を特定すること。
• これらのヴェロネーゼ部分環について、可約性とティーツの代替性を調査すること。
• 判別式に基づく手法を、非変形代数、特に可換多項式環と同型でないものにも拡張すること。
• $n$ と $v$ の偶奇性の違い、および $\gcd(m,v)$ の条件に応じて、自己同型群の構造を解明すること。

提案手法

• ヴェロネーゼ部分環 $A = \Bbbk_q[x_1,\dots,x_n]^{(v)}$ の自己同型群を分析するために判別式法を用いる。
• 判別式理論からの剛性結果を応用し、対称性を制御し、自己同型群を計算する。
• 微分作用素 $\partial_1, \partial_3$ 及びその指数関数 $g_1 = \exp(\partial_1)$, $g_3 = \exp(\partial_3)$ を用いて自由部分群を構成する。
• 各 $\deg \partial_i = v$ であるという条件を用いて、自己同型がヴェロネーゼ部分環 $A^{(v)}$ に制限されることを保証する。
• Lemma 8.2 を適用し、次数 $v$ を保存し、$A^{(v)}$ 上で恒等的に作用する自己同型は自明であることを示す。
• [CPWZ3, Proposition 2.5] に依拠し、適切な条件下で $g_1$ と $g_3$ がランク 2 の自由群を生成することを検証する。

実験結果

リサーチクエスチョン

• RQ1 $n$, $v$, および $q$（有限位数 $m$）に対して、$\Bbbk_q[x_1,\dots,x_n]^{(v)}$ の自己同型群がほとんどアーベル的であるのはどのような条件下か？
• RQ2 このようなヴェロネーゼ部分環の自己同型群がランク 2 の自由部分群を含むのはいつか？ これはティーツの代替性とどのように関係するか？
• RQ3 $n$ と $v$ が同じ偶奇性であり、$\gcd(m,v) = 1$ のとき、自己同型群の構造はいかなるものか？
• RQ4 定理 0.2 の仮定のもとで、ヴェロネーゼ部分環 $\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 の自由部分群を含み、ティーツの代替性を満たす。
• $n=2$ で $v = m\gamma$ のとき、$\operatorname{Aut}(\Bbbk_q[x_1,x_2]^{(v)})$ はランク 2 の自由部分群を含むが、代数は可換ヴェロネーゼ部分環と同型である。
• $n \geq 3$ で $(n,m,v)$ が定理 0.2(a,b) を満たさないとき、$\Bbbk_q[x_1,\dots,x_n]^{(v)}$ の自己同型群は完全には特定されていないが、ある予想によりランク 2 の自由部分群を含むとされている。
• 判別式法は、可換多項式環の変形でない代数に対しても自己同型群を制御でき、従来の文脈を超えてその適用範囲を拡張した。