[论文解读] On the Hochschild (co)homology of Quantum Homogeneous Spaces

Ulrich Kraehmer|ArXiv.org|Jun 2, 2008

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

一句话总结

本文将布朗与张在Hochschild (co)同调中的庞加莱对偶性从霍普夫代数推广至右余理想子代数（量子齐性空间），证明对于光滑、戈伦斯坦的量子齐性空间，若满足 $AB^+ = B^+A$，则对偶双模 $ω = \mathrm{Ext}^{\dim(B)}_{B^e}(B, B^e)$ 是可逆的。关键结果表明，对于标准的波德莱量子2-球面，$ω \simeq B_{S^2}$，其中 $S^2$ 为反极的平方，从而确认了对偶性并实现了同调的显式计算。

ABSTRACT

The recent result of Brown and Zhang establishing Poincare duality in the Hochschild (co)homology of a large class of Hopf algebras is extended to right coideal subalgebras over which the Hopf algebra is faithfully flat, and applied to the standard Podles quantum 2-sphere.

研究动机与目标

• 将布朗与张在Hochschild (co)同调中的庞加莱对偶性从霍普夫代数推广至右余理想子代数（量子齐性空间）。
• 建立光滑、戈伦斯坦量子齐性空间中对偶双模 $\omega = \mathrm{Ext}^{\dim(B)}_{B^e}(B, B^e)$ 可逆的条件。
• 将该理论应用于标准波德莱量子2-球面，并通过对偶性计算其Hochschild上同调。
• 探究当 $AB^+ \neq B^+A$ 时，$\omega$ 的可逆性是否在所有光滑、戈伦斯坦量子齐性空间中普遍成立。

提出的方法

• 将布朗与张的对偶性结果推广至右余理想子代数 $B \subset A$，其中 $A$ 为具有可逆反极的霍普夫代数，且 $B$ 为关于 $k$ 的右余理想子代数并忠实平坦。
• 应用对偶同构 $\mathrm{Ext}^n_{B^e}(B, \cdot) \simeq \mathrm{Tor}^{B^e}_{\dim(B)-n}(\omega \otimes_B \cdot, B)$，适用于右平坦 $B$-双模，其中 $\omega = \mathrm{Ext}^{\dim(B)}_{B^e}(B, B^e)$。
• 利用 $B$ 作为右余理想子代数的结构，其定义为 $B = \{a \in A \mid (\pi \otimes \mathrm{id}) \circ \Delta(a) = \pi(1) \otimes a\}$，其中 $\pi: A \to A/B^+A$ 为典范投影。
• 在戈伦斯坦情形下，将 $\omega$ 构造为 $(B, A)$-霍普夫双模，证明其具有兼容的 $B$-双模与 $A$-余模结构。
• 将理论应用于 $A = \mathbb{C}_q[SL(2)]$，$B$ 为标准波德莱量子2-球面，利用 $A$ 中的显式共乘公式与基底计算。
• 采用类似Koszul的复形与上同调计算，验证其正合性并确定 $H^0(B, \omega)$，从而得出 $\omega \simeq B_{S^2}$ 的识别结果。

实验结果

研究问题

• RQ1 在光滑与科恩-麦克aul伊条件成立下，Hochschild (co)同调中的庞加莱对偶性是否可从霍普夫代数推广至右余理想子代数（量子齐性空间）？
• RQ2 对于满足 $AB^+ = B^+A$ 的光滑、戈伦斯坦量子齐性空间，对偶双模 $\omega = \mathrm{Ext}^{\dim(B)}_{B^e}(B, B^e)$ 是否可逆？
• RQ3 标准波德莱量子2-球面的 $\omega$ 的显式形式为何？其与反极平方 $S^2$ 的关系如何？
• RQ4 当 $\omega$ 可逆时，是否可将对偶同构反转，得到 $\mathrm{Tor}^n_{B^e}(\cdot, B) \simeq \mathrm{Ext}^{\dim(B)-n}_{B^e}(B, \omega^{-1} \otimes_B \cdot)$ 对所有 $B$-双模成立？
• RQ5 当 $AB^+ \neq B^+A$ 时，$\omega$ 是否对所有光滑、戈伦斯坦量子齐性空间均保持可逆？

主要发现

• 对于标准波德莱量子2-球面 $B \subset \mathbb{C}_q[SL(2)]$，其Hochschild上同调维数为 $\dim(B) = 2$，且 $\varepsilon|_B$ 为戈伦斯坦的。
• 对偶双模 $\omega$ 同构于 $B_{S^2}$，其中 $S^2$ 为 $A$ 的反极的平方，确认了作为 $B$-双模的同构关系 $\omega \simeq B_{S^2}$。
• 通过同构 $\omega_{n,m} \otimes_B \omega_{i,j} \simeq \omega_{n+i,m+j}$ 建立了 $\omega$ 的可逆性，表明 $\omega_{0,1}$ 可逆，其逆为 $\omega_{0,-1}$。
• 当且仅当 $i = 2(m - j)$ 对某个 $0 \leq m \leq 2j$ 成立时，零阶Hochschild上同调 $H^0(B, \omega_{i,j})$ 非平凡，此时同构于 $k$，从而确认了纤维条件。
• 由于 $\omega$ 的可逆性，该对偶同构在所有 $B$-双模上成立，从而可将对偶性反转为 $\mathrm{Tor}^n_{B^e}(\cdot, B) \simeq \mathrm{Ext}^{2-n}_{B^e}(B, \omega^{-1} \otimes_B \cdot)$。
• 结果确认了 $B$ 的模自同态由 $S^2$ 给出，与沃罗诺维奇的构造一致，且在 $B$ 上有 $\sigma(f) = S^2(f)$。