[论文解读] Homological Dimension of Crossed Products

Yao-Zhong Zhang|ArXiv.org|Nov 28, 2003

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

一句话总结

该论文证明了当霍普夫代数 $ H $ 为有限维、半单且余半单时，交叉积代数 $ R\#_{\sigma}H $ 的左整体维数、弱维数以及右整体维数均与基代数 $ R $ 的相应维数相等。该结果通过 $ R $ 与 $ (R\#_{\sigma}H)\#H^{*} $ 之间的莫代塔等价性推导得出，利用了在交叉积上关于投射与平坦化解析的同调代数技术。

ABSTRACT

We obtain that the global dimensions of $R$ and the crossed product $R # _σH$ are the same; meantime, their weak dimensions are also the same, when $H$ is finite-dimensional semisimple and cosemisimple Hopf algebra.

研究动机与目标

• 确定代数 $ R $ 与其与霍普夫代数 $ H $ 的交叉积 $ R\#_{\sigma}H $ 之间的同调维数关系。
• 将关于斜群环（交叉积的特例）的已知结果推广至在 $ H $ 上具有结构条件的一般交叉积。
• 在 $ H $ 的有限性与半单性条件下，确立 $ R $ 与 $ R\#_{\sigma}H $ 的整体维数与弱维数相等。
• 通过维数相等性解决交叉积代数中的半素性与正则性保持问题。
• 将麦克康奈尔与罗布森关于斜群环的结果推广至更广泛的霍普夫代数设定。

提出的方法

• 利用 $ R\#_{\sigma}H $ 作为左 $ R $-模同构于 $ R \otimes H $ 的事实，实现模论性质的转移。
• 应用引理 1.1 与引理 1.2，证明 $ R\#_{\sigma}H $-模的投射与平坦化解析在 $ R $ 上仍保持为解折，从而保持同调维数。
• 采用对偶构造 $ (R\#_{\sigma}H)\#H^{*} $，借助霍普夫代数对偶性，建立 $ R $ 与 $ R\#_{\sigma}H $ 之间的莫代塔等价。
• 利用整体维数与弱维数在莫代塔等价下的不变性（引理 2.1），在莫代塔等价代数之间等同维数。
• 应用 $ H $ 为有限维、半单且余半单的条件，以确保 $ H^{*} $ 同样为半单且余半单，从而支持对偶论证。
• 依赖于存在一个归一化的积分 $ t \in \int_H^r $ 满足 $ \epsilon(t) = 1 $，以定义将 $ R $-映射上延为 $ R\#_{\sigma}H $-映射的模同态（引理 1.4）。

实验结果

研究问题

• RQ1 在何种霍普夫代数 $ H $ 的条件下，$ R $ 与 $ R\#_{\sigma}H $ 的整体与弱同调维数相等？
• RQ2 结果 $ \lgD(R) = \lgD(R\#_{\sigma}H) $ 是否可超越斜群环，推广至一般交叉积？
• RQ3 在 $ R $ 与 $ (R\#_{\sigma}H)\#H^{*} $ 之间建立的莫代塔等价是否意味着同调维数相等？
• RQ4 哪些结构性质（如半单性、余半单性）是交叉积中维数保持所必需的？
• RQ5 同调维数的保持是否意味着其他环论性质（如冯·诺依曼正则性或半遗传性）也得以保持？

主要发现

• 当 $ H $ 为有限维、半单且余半单时，$ R\#_{\sigma}H $ 的左整体维数等于 $ R $ 的左整体维数。
• 在 $ H $ 满足相同条件时，$ R\#_{\sigma}H $ 的弱维数等于 $ R $ 的弱维数。
• 在相同条件下，$ R\#_{\sigma}H $ 的右整体维数等于 $ R $ 的右整体维数，完整实现了三类维数的对称性。
• 通过霍普夫代数对偶性建立的 $ R $ 与 $ (R\#_{\sigma}H)\#H^{*} $ 之间的莫代塔等价，是实现维数相等性的关键机制。
• 该结果推广了麦克康奈尔与罗布森关于斜群环 $ R*G $ 的定理，后者是 $ \sigma $ 平凡时交叉积的特例。
• 若 $ H $ 为有限维、半单且余半单（例如，当 $ H $ 为余交换且 $ \chark \nmid \dim H $ 时），则 $ R $ 为冯·诺依曼正则当且仅当 $ R\#_{\sigma}H $ 为冯·诺依曼正则。