[論文レビュー] 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$-Leibniz則を用いてホッフホールコhomologyおよび微分構造を一般化することで、単位的結合代数に対する普遍的$q$-微分計算を導入する。普遍的$q$-微分包絡を構成し、単位的代数において$q^N=1$の下で一般化されたホッフホールコhomologyが標準的ホッフホールコhomologyに回復することを示し、その他の場合には自明な一般化コhomologyが得られることを示す。

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$.

研究の動機と目的

• 微分計算およびコhomological構造を$q$-Leibniz則を用いて一般化することで、ホモロジー代数の$q$-アナログを構築すること。
• 単位的結合代数の普遍的$q$-微分包絡を構成し、古典的微分包絡を拡張すること。
• $q^N = 1$の下で$q$-微分代数の一般化コhomologyを研究し、特に円分コhomologyおよびホッフホールコhomologyとの関係を明らかにすること。
• $d^N = 0$が$q$-微分代数において果たす役割と、一般化ホモロジーおよび完全系列への影響を明確にすること。

提案手法

• $q \in \mathbb{C}^\times$を用いて、$d(\alpha\beta) = d(\alpha)\beta + q^{\partial\alpha}\alpha d(\beta)$というねじれたLeibniz則を用いて$q$-微分代数を定義する。
• テンソル代数$\mathfrak{T}(\mathcal{A})$の$q$-微分部分代数として、普遍的$q$-微分包絡$\Omega_q(\mathcal{A})$を構成する。
• $q$-Leibniz則を用いて、標準的$\delta_{-1}$を一般化した$q$-アナログのホッフホールコバウンダリー$\delta_q$を導出する。
• $\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$のとき一般化コhomologyが自明であることを示す。

実験結果

リサーチクエスチョン

• RQ1 古典的微分計算およびホッフホールコhomologyは、$q$-Leibniz則を用いてどのように$q$-アナログに一般化できるか？
• RQ2 単位的結合代数の普遍的$q$-微分包絡の構造は何か？
• RQ3 $q^N = 1$のとき、$q$-微分代数の一般化コホモロジー$H^{(p),n}$はどのようなものか？
• RQ4 $d^N = 0$を満たす$q$-微分$\mathit{d}$は、一般化ホモロジー理論をどのように導き、六角形構造を完全にするか？
• RQ5 一般化ホッフホールコホモロジーは、単位的代数において、どの程度で標準的ホッフホールコホモロジーを回復するか？

主な発見

• 普遍的$q$-微分包絡$\Omega_q(\mathcal{A})$は、$\mathfrak{T}(\mathcal{A})$の$q$-微分部分代数として構成され、$\mathcal{A}$を基とする$q$-微分代数に対して普遍的性質を満たす。
• $q \neq -1$のとき、$q$-微分$\mathit{d}^2$は$\mathit{d}^2(x) = [2]_q \, \mathbf{1} \otimes \mathit{d}(x)$として表され、$q$-Leibniz則と整合的であることが示される。
• $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$である。これは、単位的$\mathcal{A}$に対して標準的ホッフホールコホモロジーと等価であることを示している。
• $[i^\ell]$、$[d^m]$、および$[i^{N-(\ell+m)}]$を含むホモーレジズムの六角形は完全である。これは、$d^N = 0$の下で一般化ホモロジー構造が正当化されることを確認している。