[论文解读] Extending Structures II: The Quantum Version

A. L. Agore, G. Militaru|arXiv (Cornell University)|Nov 9, 2010

Advanced Topics in Algebra参考文献 8被引用 5

一句话总结

本文引入了统一积——一种新的构造，它同时推广了霍普夫代数的半直积与双半直积——以分类所有通过给定霍普夫代数 $A$ 和余代数 $H$ 因子分解的霍普夫代数 $E$。该分类通过使用余代数映射和懒1-上循环的施雷耶类型定理实现，表明当且仅当结构映射满足涉及作用和广义上循环的特定相容性条件时，此类 $E$ 同构于 $A$ 与 $H$ 的统一积。

ABSTRACT

Let A be a Hopf algebra and H a coalgebra. We shall describe and classify up to an isomorphism all Hopf algebras E that factorize through A and H: that is E is a Hopf algebra such that A is a Hopf subalgebra of E, H is a subcoalgebra in E with 1_{E} \in H and the multiplication map $A\otimes H o E$ is bijective. The tool we use is a new product, we call it the unified product, in the construction of which A and H are connected by three coalgebra maps: two actions and a generalized cocycle. Both the crossed product of an Hopf algebra acting on an algebra and the bicrossed product of two Hopf algebras are special cases of the unified product. A Hopf algebra E factorizes through A and H if and only if E is isomorphic to a unified product of A and H. All such Hopf algebras E are classified up to an isomorphism that stabilizes A and H by a Schreier type classification theorem. A coalgebra version of lazy 1-cocycles as defined by Bichon and Kassel plays the key role in the classification theorem.

研究动机与目标

• 解决霍普夫代数的受限扩张结构问题，其中 $E$ 因子分解为霍普夫子代数 $A$ 和子余代数 $H$，且满足 $1_E \in H$。
• 将半直积与双半直积构造统一为单一框架——统一积，使用三个余代数映射：两个作用和一个广义上循环。
• 通过施雷耶类型分类定理，对所有稳定 $A$ 和 $H$ 的此类霍普夫代数 $E$ 进行同构分类。
• 阐明余代数值懒1-上循环在分类中的作用，将比洪与卡塞尔的定义推广至霍普夫代数设定。

提出的方法

• 通过三个结构映射定义霍普夫代数 $A$ 与余代数 $H$ 的统一积：左作用 $\triangleright: H \otimes A \to A$，右作用 $\triangleleft: H \otimes A \to H$，以及广义上循环 $f: H \otimes H \to A$，并满足归一化与相容性条件。
• 证明当且仅当三个映射满足一组12个相容性条件（包括双代数与反极公理）时，统一积构造在 $A \otimes H$ 上赋予霍普夫代数结构。
• 使用余代数值懒1-上循环 $u \in H^1_{l,c}(H,A)$ 参数化统一积之间的同构，推广经典群扩张中的施雷耶方法。
• 证明任何因子分解为 $A$ 与 $H$ 的霍普夫代数 $E$ 同构于 $A$ 与 $H$ 的统一积，从而提供完整分类。
• 将分类应用于特例：当 $f$ 为平凡时，恢复双半直积；当作用 $\triangleleft$ 为平凡时，恢复半直积。
• 构造一个显式例子：$k[A_4] \ltimes k[S] \cong k[A_6]$，展示一个既非半直积也非双半直积的统一积，其中 $A_6$ 为六元交替群，$S$ 为30个陪集代表元的集合。

实验结果

研究问题

• RQ1 在何种条件下，可将霍普夫代数 $E$ 构造为霍普夫代数 $A$ 与余代数 $H$ 的统一积，使得 $A$ 为霍普夫子代数，$H$ 为子余代数，且 $1_E \in H$？
• RQ2 如何将统一积构造推广为同时涵盖半直积与双半直积的单一框架？
• RQ3 余代数值懒1-上循环在分类 $A$ 与 $H$ 的统一积之间的同构中起何作用？
• RQ4 统一积构造能否产生既非半直积也非双半直积的霍普夫代数？若能，此类例子能否显式构造？
• RQ5 三个映射 ($\triangleright$, $\triangleleft$, $f$) 必须满足的精确相容性条件集合是什么，以确保统一积为霍普夫代数？

主要发现

• 霍普夫代数 $E$ 因子分解为霍普夫子代数 $A$ 与子余代数 $H$ 且满足 $1_E \in H$，当且仅当 $E$ 同构于 $A$ 与 $H$ 的统一积。
• 统一积构造同时推广了半直积与双半直积，前者在作用 $\triangleleft$ 为平凡时出现，后者在上循环 $f$ 为平凡时出现。
• 所有稳定 $A$ 与 $H$ 的此类霍普夫代数 $E$ 的同构分类由涉及余代数值懒1-上循环的施雷耶类型定理给出。
• 在双半直积情形下，$A \bowtie H$ 与 $A \bowtie' H$ 同构当且仅当作用相同，且存在一个满足涉及反极与乘法的三个特定方程的懒1-上循环 $u$。
• 构造了一个显式例子：$k[A_4] \ltimes k[S] \cong k[A_6]$，其中 $A_6$ 为六元交替群，$S$ 为30个陪集代表元的集合，展示一个既非半直积也非双半直积的统一积。
• 通过最小数据集可实现统一积的构造：霍普夫代数 $A$，单位元但未必结合的双代数 $H$，以及满足四个技术相容性条件的余代数映射 $\gamma: H \to A$。