[论文解读] Mini-course on Hopf algebras--Hopf crossed products--

Akira Masuoka|arXiv (Cornell University)|Jul 6, 2012

Algebraic structures and combinatorial models参考文献 14被引用 3

一句话总结

本文提出了一门关于霍普夫交叉积的全面小课程，将群交叉积推广至霍普夫代数，确立其作为具有正规基的霍普夫-伽罗瓦扩张的刻画。主要贡献在于对超交换霍普夫超代数的结构分解定理，表明其同构于一个外代数与一个群型霍普夫代数的张量积，通过霍普夫交叉积构造实现。

ABSTRACT

Hopf crossed products, or in other words, cleft comodule algebras form a special but important class in Hopf-Galois extensions. To discuss this interesting subject, we will start with the more familiar group crossed products, and then see that they are naturally generalized by Hopf crossed products; these Hopf crossed products are characterized as Hopf-Galois extensions with normal basis. After showing this characterization due to Doi and Takeuchi, we will proceed to two applications of Hopf crossed products---the equivariant smoothness of Hopf algebras, and the tensor product decomposition in super-commutative Hopf superalgebras.

研究动机与目标

• 通过霍普夫代数结构将群交叉积推广至霍普夫交叉积。
• 通过具有正规基的霍普夫-伽罗瓦扩张刻画霍普夫交叉积，扩展道伊与竹内经典的结论。
• 将霍普夫交叉积应用于证明霍普夫代数的等变光滑性，并对超交换霍普夫超代数进行分解。
• 建立超交换霍普夫超代数与一个外代数和一个群型霍普夫代数张量积之间的典范同构。

提出的方法

• 通过群作用和满足结合性与归一化条件的2-上循环定义群交叉积。
• 利用霍普夫代数H和一个右H-余模范代数B及归一化上循环σ，将群交叉积推广至霍普夫交叉积。
• 通过道伊-竹内定理，利用霍普夫-伽罗瓦性质和正规基的存在性刻画霍普夫交叉积。
• 构造一个典范同构α: A → ∧(W) ⊗ H，其中A是超交换霍普夫超代数，W是其对偶余代数中奇性原点的对偶空间，H是群型霍普夫代数。
• 利用对偶余代数A°和奇性原点空间U = W*，在中性分量上诱导一个同构γ: B → ∧(W)。
• 通过检查其模掉幂零理想B⁺后的行为，验证映射α是增强的、右H-余线性且左B-线性的同构。

实验结果

研究问题

• RQ1 如何在霍普夫代数的背景下将群交叉积推广为霍普夫交叉积？
• RQ2 什么特征使霍普夫交叉积成为具有正规基的霍普夫-伽罗瓦扩张？
• RQ3 在何种条件下，超交换霍普夫超代数可通过霍普夫交叉积实现张量积分解？
• RQ4 对偶余代数与奇性原点空间如何与超交换霍普夫超代数的结构相关联？
• RQ5 上循环σ在确保霍普夫交叉积的结合性与代数结构中起什么作用？

主要发现

• 霍普夫交叉积被刻画为具有正规基的霍普夫-伽罗瓦扩张，推广了经典的道伊-竹内定理。
• 每个强分次代数，其每个分量中元素可逆，均可表示为群交叉积B ⋊σ Γ。
• 对于超交换霍普夫超代数A，存在一个典范同构α: A → ∧(W) ⊗ H，其中W是其对偶余代数中奇性原点空间的对偶。
• A的中性分量B同构于外代数∧(W)，且B⁺是幂零的，满足B⁺ = B₁B。
• 分解A ≅ ∧(W) ⊗ H作为超代数成立，其中H是群型霍普夫代数，且同构α既是增强的，也是右H-余线性的。
• 同构α模幂零理想B⁺成立，且由于α是左B-线性且模B⁺是同构，因此整体上为同构。