[論文レビュー] Invariant theory for quantum Weyl algebras under finite group action

Seçil Çeken, John H. Palmieri+2 more|arXiv (Cornell University)|Jan 30, 2015

Algebraic structures and combinatorial models参考文献 10被引用数 10

ひとこと要約

本稿は、$n$ が偶数で $\operatorname{char}k=0$ のとき、量子ウェイリ代数 $W_n$ の有限群作用における固定部分環がフィルタリングされたアーティン・シュレーダー・ゴレンシュタインであることを確立する。さらに、$n \geq 3$ が奇数で $\operatorname{char}k$ が $(n-1)!$ を割り切らないとき、$V_n(\mathcal{A})$ の自己準同型群にランク2の自由部分群が含まれることを示し、非可換版のティーツの代替定理を支持する。

ABSTRACT

We study the invariant theory of a class of quantum Weyl algebras under group actions and prove that the fixed subrings are always Gorenstein. We also verify the Tits alternative for the automorphism groups of these quantum Weyl algebras.

研究の動機と目的

• $n \geq 4$ が偶数で $\operatorname{char}k=0$ のとき、有限群作用に対して固定部分環 $W_n^G$ がフィルタリングされたアーティン・シュレーダー・ゴレンシュタインであることを証明すること。
• $n \geq 3$ が奇数で $\operatorname{char}k$ が $(n-1)!$ を割り切らないとき、$V_n(\mathcal{A})$ の自己準同型群に対してティーツの代替定理を確立すること。
• 量子ウェイリ代数の自己準同型群および不変量に関して、先行研究 [CPWZ1] の微小な誤りを是正すること。
• $n$ が偶数で $\operatorname{char}k \neq 2$ のとき、$(-1)$-量子ウェイリ代数 $V_n(\mathcal{A})$ 間の同型の基準を提示すること。

提案手法

• 有限群作用における固定部分環のホモロジー的性質を分析するために、[JZ, KKZ1] からの非可換不変量理論の技法を用いる。
• スカラー不変量の置換およびスケーリングに基づいて、$V_n(\mathcal{A})$ 代数間の同型を特定するための判別式法を適用する。
• 群作用と固定部分環のゴレンシュタイン性を結びつけるために、ホモロジー的デターミナント写像 $\operatorname{hdet}$ を用いる。
• 自己準同型群の構造を、$\sigma \in S_n$ および $r_i \in k^\times$ による形 $g(\sigma, \{r_i\})$ で分析し、このような写像が代数的関係を保存する条件を同定する。
• ティーツの代替定理の枠組みを用いて、$\operatorname{Aut}(V_n(\mathcal{A}))$ がランク2の自由部分群を含むか、またはほとんど可解であることを示す。
• 群論的議論を適用して、特定の状況（たとえば、ある $a_{ij} = 0$ または $a_{ij} = 1$ のとき）における自己準同型群を分類する。

実験結果

リサーチクエスチョン

• RQ1 $n$ が偶数で $\operatorname{char}k=0$ のとき、有限群作用 $G$ に対して固定部分環 $W_n^G$ がフィルタリングされたアーティン・シュレーダー・ゴレンシュタインである条件は何か？
• RQ2 $n \geq 3$ が奇数で $\operatorname{char}k$ が $(n-1)!$ を割り切らないとき、自己準同型群 $\operatorname{Aut}(V_n(\mathcal{A}))$ はランク2の自由部分群を含むか？
• RQ3 $n$ が偶数で $\operatorname{char}k \neq 2$ のとき、二つの $(-1)$-量子ウェイリ代数 $V_n(\mathcal{A})$ と $V_n(\mathcal{A}')$ が同型である条件は何か？
• RQ4 どの有限群が、ある $\mathcal{A}$ に対して $\operatorname{Aut}(V_n(\mathcal{A}))$ として現れるか？また、そのような代数は自己準同型群によって分類可能か？
• RQ5 $V_n(\mathcal{A})$ と $V_n(\mathcal{A}')$ 間のモリタ同倣が代数的同型を示唆するのに十分か？

主な発見

• $n \geq 4$ が偶数で $\operatorname{char}k=0$ のとき、すべての有限群作用 $G$ に対して固定部分環 $W_n^G$ はフィルタリングされたアーティン・シュレーダー・ゴレンシュタインである。これは、非可換設定への渡辺の定理の一般化である。
• $n \geq 3$ が奇数で $\operatorname{char}k$ が $(n-1)!$ を割り切らないとき、$\operatorname{Aut}(V_n(\mathcal{A}))$ はランク2の自由部分群を含み、これによりこれらの自己準同型群に対してティーツの代替定理が成立することが示される。
• $n \geq 4$ が偶数で $\operatorname{char}k \neq 2$ のとき、$V_n(\mathcal{A}) \cong V_n(\mathcal{A}')$ となるための必要十分条件は、ある置換 $\sigma \in S_n$ と非ゼロスカラー $\lambda_i$ が存在し、すべての $i<j$ に対して $a'_{ij} = \lambda_i\lambda_j a_{\sigma(i)\sigma(j)}$ が成り立つことである。これは完全な同型基準を提供する。
• 特定の状況（たとえば $n=4$ である特定の $a_{ij}=0$ のとき）、自己準同型群 $\operatorname{Aut}(V_n(\mathcal{A}))$ は自明または $\{\pm 1\}$ に同型となり、群構造が $a_{ij}$ の値に敏感に依存することを示している。
• $\operatorname{Aut}(V_n(\mathcal{A}))$ が短完全系列 $1 \to \{\pm 1\} \to \operatorname{Aut}(V_n(\mathcal{A})) \to H \to 1$ を持ち、$H=[H,H]$ であるとき、すべての部分群 $G$ に対して固定部分環 $V_n(\mathcal{A})^G$ はフィルタリングされたASゴレンシュタインである。これは定理1の拡張である。
• $n \geq 4$ が偶数のとき、同型でない $V_n(\mathcal{A})$ 代数が無限に存在する。これは同型基準と $a_{ij}$ パrameter の自由度によって示される。