[论文解读] On the cohomology of a smash product of Hopf algebras

Mitja Mastnak|ArXiv.org|Oct 8, 2002

Algebraic structures and combinatorial models参考文献 10被引用 5

一句话总结

本文为余代交换霍普夫代数的群半直积的斯威德勒上同调建立了五项精确序列，推广了塔哈拉对群半直积的序列。引入了度量上同调，并证明了霍普夫代数的群半直积 $ H = N \rtimes T $ 的上同调嵌入一个精确序列，涉及 $ \mathrm{H}^1_{\mathrm{meas}}(T, \mathrm{Hom}(N,A)) \to \widetilde{\mathrm{H}}^2(H,A) \to \mathrm{H}^2(N,A)^T \to \mathrm{H}^2_{\mathrm{meas}}(T, \mathrm{Hom}(N,A)) \to \widetilde{\mathrm{H}}^3(H,A) $，将群上同调结果推广至霍普夫代数。

ABSTRACT

A five term sequence for the low degree cohomology of a smash product of (cocommutative) Hopf algebras is obtained, generalizing that of Tahara for a semi-direct product of groups.

研究动机与目标

• 将塔哈拉对群半直积的五项精确序列推广至余代交换霍普夫代数的群半直积设定。
• 通过斯威德勒上同调，将群上同调结果推广至霍普夫代数上同调的语境。
• 以度量上同调与稳定上同调精确描述群半直积 $ N \rtimes T $ 的第二上同调。
• 阐明当作用平凡时 $ \widetilde{\mathrm{H}}^2(H,A) $ 的结构，表明其可分解为来自 $ T $、$ N $ 与度量映射的分量。

提出的方法

• 为余代交换霍普夫代数 $ N $ 与 $ T $ 的群半直积 $ H = N \rtimes T $ 构造斯威德勒上同调的五项精确序列，其中 $ A $ 为交换的 $ H $-模代数。
• 将度量上同调 $ \mathrm{H}^i_{\mathrm{meas}}(T, \mathrm{Hom}(N,A)) $ 定义为普遍度量霍普夫代数 $ M(N,A) $ 的上同调，以捕捉以 $ A $ 为值的 $ T $-度量 $ N $。
• 使用 $ H $ 的标准斯威德勒链复形，系数为 $ A $，并通过卷积与模作用定义微分。
• 通过将度量闭链上移至 $ H $-闭链，证明映射 $ j: \mathrm{H}^2_{\mathrm{meas}}(T, \mathrm{Hom}(N,A)) \to \widetilde{\mathrm{H}}^3(H,A) $ 是良定义的。
• 证明限制映射 $ \mathrm{res}: \widetilde{\mathrm{H}}^2(H,A) \to \mathrm{H}^2(N,A)^T $ 是满射，其像为 $ \mathrm{H}^2(N,A) $ 的 $ T $-不变部分，且复合映射 $ d \circ \mathrm{res} $ 恒为零。
• 在特殊情形下建立同构，例如当作用平凡时，得到分解 $ \mathrm{H}^2(H,A) \simeq \mathrm{H}^2(T,A) \oplus \mathrm{H}^1_{\mathrm{meas}}(T, \mathrm{Hom}(N,A)) \oplus \mathrm{H}^2(N,A) $。

实验结果

研究问题

• RQ1 塔哈拉对群上同调的五项精确序列如何推广至余代交换霍普夫代数的群半直积设定？
• RQ2 度量上同调 $ \mathrm{H}^i_{\mathrm{meas}}(T, \mathrm{Hom}(N,A)) $ 在描述群半直积上同调中起什么作用？
• RQ3 限制映射 $ \mathrm{res}: \widetilde{\mathrm{H}}^2(H,A) \to \mathrm{H}^2(N,A)^T $ 与 $ T $ 的度量上同调有何关系？
• RQ4 当 $ T $ 作用于 $ N $ 为平凡时，$ \widetilde{\mathrm{H}}^2(H,A) $ 的结构如何？
• RQ5 能否使用该序列计算群半直积 $ U\mathfrak{g} \rtimes kG $ 的上同调，特别是在特征零情形下？

主要发现

• 本文为群半直积 $ H = N \rtimes T $ 的斯威德勒上同调建立了五项精确序列，推广了塔哈拉对群半直积的序列。
• 该序列为 $ 0 \to \mathrm{H}^1_{\mathrm{meas}}(T, \mathrm{Hom}(N,A)) \to \widetilde{\mathrm{H}}^2(H,A) \xrightarrow{\mathrm{res}} \mathrm{H}^2(N,A)^T \xrightarrow{d} \mathrm{H}^2_{\mathrm{meas}}(T, \mathrm{Hom}(N,A)) \xrightarrow{j} \widetilde{\mathrm{H}}^3(H,A) $，且在每一项处精确。
• 当 $ T $ 作用于 $ N $ 为平凡时，有 $ \widetilde{\mathrm{H}}^2(H,A) \simeq \mathrm{H}^2(T,A) \oplus \mathrm{H}^1_{\mathrm{meas}}(T, \mathrm{Hom}(N,A)) \oplus \mathrm{H}^2(N,A) $，提供了第二上同调的分解。
• 同构 $ \mathrm{H}^1_{\mathrm{meas}}(T, \mathrm{Hom}(N,A)) \simeq \mathrm{P}(T,N,A) $ 成立，其中 $ \mathrm{P}(T,N,A) $ 为从 $ T \times N $ 到 $ A $ 的双度量映射的群。
• 对于 $ H = U\mathfrak{g} \rtimes kG $，当 $ k $ 为特征零的代数闭域且 $ |G|^{-1} \in k $ 时，上同调满足 $ \mathrm{H}^2(H,A) \simeq \mathrm{H}^2(G, \mathcal{U}(A)) \oplus \mathrm{H}^2(\mathfrak{g}, A^+)^G $，表明在怀特黑德引理下李代数部分的消失。
• 在 $ \mathfrak{g} = \mathfrak{sl}_n(k) $ 且 $ G \simeq C_n $ 的例子中，有 $ \mathrm{H}^2(H,k) \simeq k^\times / (k^\times)^n $，展示了该序列在显式计算中的实用性。