[论文解读] 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$ 时，量子 Weyl 代数 $W_n$ 在有限群作用下的固定子代数是分次 Artin-Schelter Gorenstein 的。此外，还证明了当 $n \geq 3$ 为奇数且 $\operatorname{char}k$ 不整除 $(n-1)!$ 时，$V_n(\mathcal{A})$ 的自同构群包含一个秩为二的自由子群，支持了非交换版本的 Tits 交替性定理。

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$ 是分次 Artin-Schelter Gorenstein 的。
• 在 $n \geq 3$ 为奇数且 $\operatorname{char}k$ 不整除 $(n-1)!$ 时，建立 $V_n(\mathcal{A})$ 的自同构群的 Tits 交替性。
• 纠正先前工作 [CPWZ1] 中关于量子 Weyl 代数的自同构群和不变量的若干小错误。
• 为 $n$ 为偶数且 $\operatorname{char}k \neq 2$ 时的 $(-1)$-量子 Weyl 代数 $V_n(\mathcal{A})$ 提供一个同构判别准则。

提出的方法

• 使用 [JZ, KKZ1] 中的非交换不变量理论技术，分析有限群作用下固定子代数的同调性质。
• 应用判别式方法，通过置换和缩放下的标量不变量，确定 $V_n(\mathcal{A})$ 代数之间的同构关系。
• 利用同调行列式映射 $\operatorname{hdet}$，将群作用与固定子代数的 Gorenstein 性质联系起来。
• 通过形式 $g(\sigma, \{r_i\})$ 分析自同构群结构，其中 $\sigma \in S_n$ 且 $r_i \in k^\times$，以确定此类映射在何时保持代数关系。
• 在 Tits 交替性框架下，证明 $\operatorname{Aut}(V_n(\mathcal{A}))$ 要么包含一个秩为二的自由子群，要么是几乎可解的。
• 应用群论论证，对特定情况进行自同构群的分类，例如当某些 $a_{ij} = 0$ 或 $a_{ij} = 1$ 时。

实验结果

研究问题

• RQ1 当 $n$ 为偶数且 $\operatorname{char}k=0$ 时，有限群作用于 $W_n$ 下，固定子代数 $W_n^G$ 在何种条件下是分次 Artin-Schelter Gorenstein 的？
• RQ2 当 $n \geq 3$ 为奇数且 $\operatorname{char}k$ 不整除 $(n-1)!$ 时，自同构群 $\operatorname{Aut}(V_n(\mathcal{A}))$ 是否包含一个秩为二的自由子群？
• RQ3 当 $n$ 为偶数且 $\operatorname{char}k \neq 2$ 时，两个 $(-1)$-量子 Weyl 代数 $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}')$ 之间存在 Morita 同构时，是否足以推出代数同构？

主要发现

• 当 $n \geq 4$ 为偶数且 $\operatorname{char}k=0$ 时，对于所有有限群作用 $G$，固定子代数 $W_n^G$ 是分次 Artin-Schelter Gorenstein 的，这将 Watanabe 定理推广到了非交换情形。
• 当 $n \geq 3$ 为奇数且 $\operatorname{char}k$ 不整除 $(n-1)!$ 时，$\operatorname{Aut}(V_n(\mathcal{A}))$ 包含一个秩为二的自由子群，表明这些自同构群满足 Tits 交替性。
• 当 $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 Gorenstein 的，这推广了定理 1。
• 当 $n \geq 4$ 为偶数时，存在无穷多个非同构的 $V_n(\mathcal{A})$ 代数，这由同构判别准则以及 $a_{ij}$ 参数选择的自由度所决定。