[论文解读] Tensor product of N-complexes and generalization of graded differential algebras

Michel Dubois‐Violette|ArXiv.org|Oct 20, 2009

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

一句话总结

本文证明了graded $q$-differential algebras——即graded differential algebras的推广，其中微分满足 $d^N = 0$ 而非 $d^2 = 0$——自然地作为Kapranov定义的monoidal结构下的$N$-复形(category of $N$-complexes)中的monoid而出现。关键结果是：在具有本原$N$次单位根的环上，$N$-复形的monoidal category恰好构成了graded $q$-differential algebras的范畴，为这一推广提供了范畴论基础。

ABSTRACT

It is known that the notion of graded differential algebra coincides with the notion of monoid in the monoidal category of complexes. By using the monoidal structure introduced by M. Kapranov for the category of $N$-complexes we define the corresponding generalization of graded differential algebras as the monoids of this category. It turns out that this generalization coincides with the notion of graded $q$-differential algebra which has been previously introduced and studied.

研究动机与目标

• 建立一个自然的范畴框架，以将graded differential algebras的推广超越$d^2 = 0$的情形。
• 通过将graded $q$-differential algebra嵌入$N$-复形的monoidal category中，探究其范畴上的自然性。
• 阐明$N$-复形上的monoidal结构与graded $q$-differential algebras的代数性质之间的关系。
• 证明Kapranov的$N$-复形monoidal category中的monoid恰好与已知的graded $q$-differential algebras类一致。

提出的方法

• 采用Kapranov在含本原$N$次单位根$q$的单位交换环$\mathbb{K}$上的$N$-复形category上的monoidal结构。
• 通过$q$-二项式系数定义$N$-复形的张量积，确保与分次模结构相容，并满足结合律（至自然同构）。
• 推导出扭曲的莱布尼茨法则 $d(xy) = d(x)y + q^n x d(y)$，其中 $x \in \mathcal{A}^n$，该法则刻画了monoid结构中的乘积。
• 通过恒等式 $[N]_q = 0$ 及 $q$-二项式系数 $\left[\begin{array}{c}N \\ p\end{array}\right]_q = 0$（当 $1 \leq p \leq N-1$ 时）验证张量积中 $d^N = 0$ 成立。
• 将$N$-复形category中的monoid识别为graded $q$-differential algebras，从而证明其范畴上的自然性。

实验结果

研究问题

• RQ1 graded $q$-differential algebra的概念是否具有范畴上的自然性，还是仅仅人为的推广？
• RQ2 能否从$N$-复形上的monoidal category结构推导出分次代数上的$N$-微分结构？
• RQ3 何种精确形式的$N$-复形张量积能诱导代数乘积中的扭曲莱布尼茨法则？
• RQ4 为何两个graded $q$-differential algebras的张量积不再是graded $q$-differential algebra？这反映了范畴的何种性质？

主要发现

• Kapranov定义的$N$-复形category上的monoidal结构，由其对底层模的分次张量积的扩展要求唯一确定（至范畴等价）。
• 通过$q$-二项式系数定义$N$-复形的张量积，且由于$[N]_q$和$q$-二项式系数$\left[\begin{array}{c}N \\ p\end{array}\right]_q$在$1 \leq p \leq N-1$时为零，因此满足$d^N = 0$。
• 在此张量积下，$N$-复形category中的monoid恰好是[9]和[13]中定义的graded $q$-differential algebras。
• 此类monoid中的乘积满足扭曲莱布尼茨法则 $d(xy) = d(x)y + q^n x d(y)$，其中 $x \in \mathcal{A}^n$，该法则推广了标准的分次莱布尼茨法则。
• 该构造为graded $q$-differential algebra的概念提供了范畴论上的解释，表明其自然地作为结构化范畴中的monoid出现。