[论文解读] Skew Hopf algebras, irreducible extensions and the pi-method

Lars Kadison|arXiv (Cornell University)|Jan 15, 2007

Algebraic structures and combinatorial models参考文献 15被引用 8

一句话总结

本文通过在不可约深度二扩张 $A|B$ 关联的对偶双代数胚上利用两个非退化配对，构造反自同态，提出了一类新的霍普夫代数胚——斜霍普夫代数。关键贡献是通过 $\pi$-方法系统地将反自同态与配对推广至模，建立了左右 $\pi$-方法生成的余上链复形之间的同伦余零映射。

ABSTRACT

To a depth two extension A | B, we associate the dual bialgebroids S := \End {}_BA_B and T := (A ø_B A)^B over the centralizer R=C_A(B). In the set-up where R is a subalgebra of B, which is quite common, two nondegenerate pairings of S and T will define an anti-automorphism τof the algebra S. Making use of a two-sided depth two structure, we prove that τis an antipode and S is a Hopf algebroid of a type we call skew Hopf algebra. A final section discusses how τand the nondegenerate pairings generalize to modules via the pi-method for depth two, and a certain derived mapping of cochain complexes is nullhomotopic.

研究动机与目标

• 通过深度二扩张中对偶双代数胚的构造，定义一类新的霍普夫代数胚，称为斜霍普夫代数。
• 利用 $\pi$-方法将反自同态与非退化配对从代数推广至模，适用于深度二扩张。
• 在 $R \subseteq B$ 的不可约扩张背景下，建立反自同态作为两个非退化配对之差的条件。
• 证明双侧深度二结构可使反自同态满足霍普夫代数胚的所有公理，而无需假设弗罗贝尼乌斯结构。

提出的方法

• 在中心化子 $R = C_A(B)$ 上定义对偶双代数胚 $S = \mathrm{End}_B A_B$ 与 $T = (A \otimes_B A)^B$。
• 利用 $S$ 与 $T$ 之间的两个非退化配对，定义 $S$ 上的反自同态 $\tau$。
• 利用双侧深度二结构，证明 $\tau$ 满足霍普夫代数胚的反自同态公理。
• 应用 $\pi$-方法，通过 $A$-双模的余上链复形，将 $\tau$ 与配对推广至模。
• 构造由左、右 $\pi$-方法生成的余上链复形之间的同伦余零映射。
• 利用左、右 D2 伪基 $\beta_i, t_i$ 与 $\gamma_j, u_j$ 建立同构，并验证双代数胚公理。

实验结果

研究问题

• RQ1 在不假设弗罗贝尼乌斯或 H-可分结构的前提下，如何系统地为来自深度二扩张的双代数胚定义反自同态？
• RQ2 在什么条件下，两个非退化配对之差能唯一确定在端射双代数胚 $S = \mathrm{End}_B A_B$ 上的反自同态？
• RQ3 在深度二扩张中，$\pi$-方法如何将反自同态与配对从代数推广至模？
• RQ4 双侧深度二条件如何使 $S$ 上的斜霍普夫代数结构得以构造？

主要发现

• 作为两个非退化配对之差定义的反自同态 $\tau$ 满足霍普夫代数胚的所有公理，使得 $S$ 成为一个斜霍普夫代数。
• 反自同态 $\tau$ 的构造关键依赖于双侧深度二结构，而非弗罗贝尼乌斯或 H-可分假设。
• 在不可约扩张情形下，若 $R \subseteq B$，则 $T$ 的左、右 $R$-对偶重合，从而支持配对构造。
• $\pi$-方法将反自同态与配对推广至模，且左右 $\pi$-复形之间的映射为同伦余零。
• 通过左 D2 伪基，建立了 $A$-双模 $M$ 的同构 $T \otimes_R M \cong A \otimes_B M$，支持余上链复形的同构。
• 恒等式 $\delta^n s_n + s_{n+1} d^{n+2} = \Phi_{n+2}$ 确认了 $\pi$-方法映射的同伦余零性，验证了向模的推广。