[论文解读] On Pointed Hopf Algebras with Weyl Groups of exceptional type

Yao-Zhong Zhang, Yao-Zhong Zhang+3 more|ArXiv.org|Apr 16, 2008

Algebraic structures and combinatorial models参考文献 20被引用 9

一句话总结

本文对例外型（E6, E7, E8, F4, G2）Weyl群的 pointed Hopf代数进行分类，证明了所有非−1型 pointed Hopf代数均为无限维，而所有中心量子线性空间均为有限维。本文识别出所有−1型双一 Nichols代数，并表明除少数情况外，这些 Weyl群上可约 Yetter-Drinfeld 模的 Nichols代数均为无限维，使用 GAP 计算与奎瓦 Hopf代数及 Nichols代数的分类定理。

ABSTRACT

All -1-type pointed Hopf algebras and central quantum linear spaces with Weyl groups of exceptional type are found. It is proved that every non -1-type pointed Hopf algebra with real $G(H)$ is infinite dimensional and every central quantum linear space over finite group is finite dimensional. It is proved that except a few cases Nichols algebras of reducible Yetter-Drinfeld modules over Weyl groups of exceptional type are infinite dimensional.

研究动机与目标

• 对例外型 Weyl群（E6, E7, E8, F4, G2）上的所有−1型 pointed Hopf代数及中心量子线性空间进行分类。
• 确定这些 Weyl群上可约 Yetter-Drinfeld 模的 Nichols代数的维数性质。
• 证明每个具有实群型群点元素的非−1型 pointed Hopf代数均为无限维。
• 在分次拉回-推送 YD Hopf代数同构意义下，提供例外型 Weyl群上−1型双一 Nichols代数的完整列表。
• 使用计算工具（GAP）计算例外型 Weyl群的共轭类、中心化子及特征表。

提出的方法

• 利用 [ZCZ, 定理 1] 中的奎瓦 Hopf代数与 Nichols代数的分类定理，识别−1型 pointed Hopf代数与量子线性空间。
• 应用 GAP 软件计算例外型 Weyl群中各共轭类的代表元、中心化子及其特征表。
• 通过 Yetter-Drinfeld 模的结构分析，建立双一 Nichols代数与箭头 Nichols代数之间的同构关系。
• 应用 [HS, 定理 8.2, 8.6] 的结果，证明在大多数情况下，可约 Yetter-Drinfeld 模的 Nichols代数为无限维。
• 通过构造箭头 PBW 基，证明中心量子线性空间的有限维性。
• 利用双一 Nichols代数 $\mathfrak{B}({\mathcal{O}}_s,\rho)$ 与箭头 Nichols代数之间的关系，统一不同代数框架下的分类方法。

实验结果

研究问题

• RQ1 在例外型 Weyl群上，哪些−1型 pointed Hopf代数存在？如何在同构意义下对其进行分类？
• RQ2 所有非−1型 pointed Hopf代数在这些 Weyl群上是否均为无限维？
• RQ3 在具有例外型 Weyl群的有限群上，所有中心量子线性空间是否均为有限维？
• RQ4 在哪些例外型 Weyl群上的可约 Yetter-Drinfeld 模中，Nichols代数为有限维？
• RQ5 在分次拉回-推送 YD Hopf代数同构意义下，例外型 Weyl群上−1型双一 Nichols代数的完整列表是什么？

主要发现

• 所有具有实群型群点元素的例外型 Weyl群（E6, E7, E8, F4, G2）上的非−1型 pointed Hopf代数均为无限维。
• 所有具有例外型 Weyl群的有限群上的中心量子线性空间均为有限维，且可构造箭头 PBW 基。
• 除少数例外情况外，例外型 Weyl群上可约 Yetter-Drinfeld 模的 Nichols代数均为无限维。
• 所有例外型 Weyl群上的−1型双一 Nichols代数均已完全分类，并列于表 15–18 中。
• 该分类包括通过 GAP 计算的 E6, E7, E8, F4, G2 的共轭类、中心化子及特征表的详细数据。
• 双一 Nichols代数 $\mathfrak{B}({\mathcal{O}}_s,\rho)$ 同构于箭头 Nichols代数，从而实现不同代数框架下分类方法的统一。