[论文解读] Algebraic quantum permutation groups

Julien Bichon|ArXiv.org|Oct 8, 2007

Algebraic structures and combinatorial models被引用 5

一句话总结

该论文证明，在特征为零的域上，代数量子置换群 $A_s(n,\mathbb{K})$ 是作用于对角代数 $\mathbb{K}^n$ 的普遍余半单霍普夫代数，从而在代数设定下精炼了王的紧致量子群构造。此外，通过 $\mathbb{K}^n$ 上的群分次，该文对 $A_s(n,\mathbb{K})$ 的余交换、余半单商代数进行了分类，表明它们对应于对称群中传递阿贝尔子群的自由积的商代数。

ABSTRACT

We discuss some algebraic aspects of quantum permutation groups, working over arbitrary fields. If $K$ is any characteristic zero field, we show that there exists a universal cosemisimple Hopf algebra coacting on the diagonal algebra $K^n$: this is a refinement of Wang's universality theorem for the (compact) quantum permutation group. We also prove a structural result for Hopf algebras having a non-ergodic coaction on the diagonal algebra $K^n$, on which we determine the possible group gradings when $K$ is algebraically closed and has characteristic zero.

研究动机与目标

• 将王的普遍紧致量子置换群 $\mathcal{Q}_n$ 扩展到任意域上的代数设定，特别是特征为零的域。
• 证明当 $\mathbb{K}$ 的特征为零时，$A_s(n,\mathbb{K})$ 是作用于 $\mathbb{K}^n$ 的普遍余半单霍普夫代数。
• 当 $\mathbb{K}$ 代数闭且特征为零时，对 $A_s(n,\mathbb{K})$ 的余交换、余半单霍普夫代数商代数进行分类。
• 通过共作用与霍普夫代数商代数的结构，描述对角代数 $\mathbb{K}^n$ 上所有可能的群分次。

提出的方法

• 将霍普夫代数 $A_s(n,\mathbb{K})$ 构造为王的 $A_s(n,\mathbb{C})$ 的代数对应物，通过生成元与关系定义，编码半魔方矩阵与魔方矩阵的条件。
• 利用 $\mathbb{K}^n$ 上的 $G$-分次与群代数 $\mathbb{K}[G]$ 的共作用之间的对应关系，将分次问题转化为霍普夫代数共作用结构。
• 应用余半单霍普夫代数理论及哈尔积分的存在性，分析 $\mathbb{K}^n$ 上共作用的结构，特别关注非遍历与遍历情形。
• 利用余交换、余半单霍普夫代数在代数闭特征为零域上同构于群代数 $\mathbb{K}[G]$ 的事实，将分类问题简化为群论数据。
• 应用结合交换代数中群分次的结果，特别是非零齐次分量的群元素有限性，以及遍历情形下群的阿贝尔性。
• 利用 $A_s(n,\mathbb{K})$ 的普遍性质，证明任何此类共作用都可分解为 $A_s(n,\mathbb{K})$ 的商代数，从而将商代数分类为传递阿贝尔子群自由积的商代数。

实验结果

研究问题

• RQ1 在特征为零的域 $\mathbb{K}$ 上，是否存在一个作用于 $\mathbb{K}^n$ 的普遍余半单霍普夫代数？其结构如何？
• RQ2 霍普夫代数以非遍历方式作用于 $\mathbb{K}^n$ 时，其结构受到何种约束？
• RQ3 当 $\mathbb{K}$ 代数闭且特征为零时，如何对 $A_s(n,\mathbb{K})$ 的余交换、余半单商代数进行分类？
• RQ4 哪些群分次可实现在对角代数 $\mathbb{K}^n$ 上？它们与霍普夫代数共作用有何关系？

主要发现

• 在特征为零的域 $\mathbb{K}$ 上，$A_s(n,\mathbb{K})$ 是作用于 $\mathbb{K}^n$ 的普遍余半单霍普夫代数，从而在代数设定下精炼了王的普遍性定理。
• 任何非遍历方式作用于 $\mathbb{K}^n$ 的霍普夫代数，必须通过较小 $m_i$ 的 $A_s(m_i,\mathbb{K})$ 代数的自由积的商代数，如命题 4.1 所示。
• 当 $\mathbb{K}$ 代数闭且特征为零时，$A_s(n,\mathbb{K})$ 的每个余交换、余半单商代数同构于 $\mathbb{K}[G]$，其中 $G$ 是对称群 $S_{m_i}$ 中传递阿贝尔子群的自由积的商群。
• 当且仅当 $G$ 是自由积 $\prod G_i$ 的商群，其中 $G_i \subset S_{m_i}$ 为传递阿贝尔群且 $\sum m_i = n$ 时，$\mathbb{K}^n$ 上存在忠实的 $G$-分次，如命题 5.2 所述。
• 该分次为遍历当且仅当对应的群 $G$ 是 $S_n$ 的传递阿贝尔子群，这意味着 $G$ 在 $[n]$ 上作用传递。
• 作为 $C^*$-代数，$A_s(n,\mathbb{C})$ 的余交换、余半单商代数同构于 $\mathbb{C}[G]$，其中 $G$ 是传递阿贝尔群自由积的商群，如推论 5.3 所示。