[论文解读] Universal $q$-differential calculus and $q$-analog of homological algebra

Michel Dubois‐Violette, Richard Kerner|ArXiv.org|Aug 29, 1996

Advanced Topics in Algebra参考文献 5被引用 45

一句话总结

本文引入了结合单位元的结合代数的通用 $q$-微分演算，通过 $q$-莱布尼茨法则推广了霍奇希德上同调与微分结构。它构建了通用 $q$-微分包络，并表明对于结合单位元代数，当 $q^N=1$ 时，广义霍奇希德上同调恢复标准霍奇希德上同调，其他情况下广义上同调为平凡。

ABSTRACT

We recall the definition of $q$-differential algebras and discuss some representative examples. In particular we construct the $q$-analog of the Hochschild coboundary. We then construct the universal $q$-differential envelope of a unital associative algebra and study its properties. The paper also contains general results on $d^N=0$.

研究动机与目标

• 通过使用 $q$-莱布尼茨法则，推广微分演算与上同调结构，发展同调代数的 $q$-类比。
• 构建结合单位元结合代数的通用 $q$-微分包络，扩展经典微分包络。
• 研究当 $q^N = 1$ 时 $q$-微分代数的广义上同调，特别是与分圆上同调和霍奇希德上同调的关系。
• 阐明 $d^N = 0$ 在 $q$-微分代数中的作用及其对广义同调与正合序列的影响。

提出的方法

• 通过扭曲的莱布尼茨法则定义 $q$-微分代数：$d(\alpha\beta) = d(\alpha)\beta + q^{\partial\alpha}\alpha d(\beta)$，其中 $q \in \mathbb{C}^\times$。
• 将通用 $q$-微分包络 $\Omega_q(\mathcal{A})$ 构造为张量代数 $\mathfrak{T}(\mathcal{A})$ 的 $q$-微分子代数。
• 利用 $q$-莱布尼茨法则推导 $q$-类比的霍奇希德上边界算子 $\delta_q$，推广标准的 $\delta_{-1}$。
• 建立 $\Omega_q(\mathcal{A})$ 的普遍性质：任何以 $\mathcal{A}$ 为零度分量的 $q$-微分代数，均可唯一地通过它进行分解。
• 分析当 $d^N = 0$ 时的广义同调 $H^{(k)} = \ker(d^k)/\operatorname{Im}(d^{N-k})$，证明一个同态六边形的正合性。
• 将构造应用于示例：$\mathfrak{T}(\mathcal{A})$、$C(\mathcal{A})$ 和 $\Omega_q(\mathcal{A})$，表明当 $n \geq 1$ 时广义上同调为平凡。

实验结果

研究问题

• RQ1 如何通过 $q$-莱布尼茨法则，将经典微分演算与霍奇希德上同调推广为 $q$-类比？
• RQ2 结合单位元结合代数的通用 $q$-微分包络的结构是什么？
• RQ3 当 $q^N = 1$ 时，$q$-微分代数的广义上同调 $H^{(p),n}$ 是什么？
• RQ4 具有 $d^N = 0$ 的 $q$-微分算子 $d$ 如何诱导出具有正合六边形结构的广义同调理论？
• RQ5 广义霍奇希德上同调在多大程度上能恢复结合单位元代数的标准霍奇希德上同调？

主要发现

• 通用 $q$-微分包络 $\Omega_q(\mathcal{A})$ 被构造为 $\mathfrak{T}(\mathcal{A})$ 的 $q$-微分子代数，满足关于 $\mathcal{A}$ 上 $q$-微分代数的普遍性质。
• 当 $q \neq -1$ 时，$q$-微分算子满足 $d^2(x) = [2]_q \, \mathbf{1} \otimes d(x)$，表明其与 $q$-莱布尼茨法则相容。
• 当 $q \neq -1$ 时，归一化的 $2$-上循环 $d_{\mathfrak{A}} \cup d_{\mathfrak{A}}$ 是 $q$-恰当的，意味着 $i_2$ 可唯一延拓为从 $\mathcal{A} \otimes \Omega^1(\mathcal{A})$ 到双模同态。
• 当 $q^N = 1$ 时，$\Omega_q(\mathcal{A})$、$C(\mathcal{A})$ 和 $\mathfrak{T}(\mathcal{A})$ 的广义上同调 $H^{(p),n}$ 对于 $n \geq 1$ 为平凡，且 $H^{(p),0} = \mathbb{C}$。
• 对于 $C(\mathcal{A}, \mathcal{M})$ 的广义霍奇希德上同调 $H^{(p),n}$，有 $H^{(p),Nk} = H^{2k}$ 且 $H^{(p),N(k+1)-p} = H^{2(k+1)-1}$，其余所有 $H^{(p),n} = 0$，表明其与标准霍奇希德上同调等价于结合单位元代数。
• 涉及 $[i^\ell]$、$[d^m]$ 和 $[i^{N-(\ell+m)}]$ 的同态六边形是正合的，确认了在 $d^N = 0$ 条件下的广义同调结构。