[論文レビュー] 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

ひとこと要約

この論文は、微分が $d^N = 0$ を満たすが $d^2 = 0$ を満たさないという一般化である、階数付き $q$-微分代数が、カプラノフが定義したモノイダル構造を備えた $N$-複体の圏におけるモノイドとして自然に生じることを確立している。主な結果は、$N$ 乗単位根をもつ環上の $N$-複体のモノイダル圏が、ちょうど階数付き $q$-微分代数の圏を与えることであり、これはこの一般化にカテゴリー論的な基礎を与える。

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.

研究の動機と目的

• 階数付き微分代数の一般化を、$d^2 = 0$ の場合を越えて自然にカテゴリー論的枠組みで確立すること。
• 階数付き $q$-微分代数という概念が、$N$-複体のモノイダル圏に埋め込まれることで、カテゴリー論的に自然であるかどうかを調査すること。
• $N$-複体におけるモノイダル構造と、階数付き $q$-微分代数の代数的性質との関係を明確にすること。
• カプラノフの $N$-複体のモノイダル圏におけるモノイドが、既知の階数付き $q$-微分代数のクラスと正確に一致することを示すこと。

提案手法

• 単位的可換環 $\mathbb{K}$ 上の $N$-複体の圏にカプラノフが定義したモノイダル構造を採用し、$\mathbb{K}$ に $N$ 乗単位根 $q$ が存在すると仮定する。
• $q$-二項係数を用いて $N$-複体のテンソル積を定義し、階数付き加群構造と整合性を持たせ、自然同型を介した結合則を満たすようにする。
• $x \in \mathcal{A}^n$ に対して $d(xy) = d(x)y + q^n x d(y)$ を満たす、変則的ライプニッツ則を導出する。これはモノイド構造における積を特徴付ける。
• $[N]_q = 0$ と $1 \leq p \leq N-1$ のとき $\left[\begin{array}{c}N \\ p\end{array}\right]_q = 0$ であるという恒等式を用いて、テンソル積における $d^N = 0$ が成立することを検証する。
• このテンソル積に関して、$N$-複体の圏におけるモノイドが、ちょうど階数付き $q$-微分代数であると特定し、それらのカテゴリー論的自然性を示す。

実験結果

リサーチクエスチョン

• RQ1 階数付き $q$-微分代数という概念は、カテゴリー論的に自然なものなのか、それとも便宜的な一般化なのか？
• RQ2 $N$-微分構造が、$N$-複体のモノイダル圏構造から導けるのか？
• RQ3 $N$-複体のテンソル積の正確な形は何か？ それが代数的積における変則的ライプニッツ則を誘導するのか？
• RQ4 2つの階数付き $q$-微分代数のテンソル積が、なぜ階数付き $q$-微分代数とならないのか？ これは圏の性質に何を示唆するのか？

主な発見

• カプラノフが定義した $N$-複体の圏におけるモノイダル構造は、その下位の加群における階数付きテンソル積を拡張するという要請を満たす限り、同値を除いて一意に定まる。
• $N$-複体のテンソル積は $q$-二項係数を用いて定義され、$[N]_q$ の消滅および $1 \leq p \leq N-1$ のとき $\left[\begin{array}{c}N \\ p\end{array}\right]_q = 0$ であるため、$d^N = 0$ を満たす。
• このテンソル積に関して、$N$-複体の圏におけるモノイドは、[9] および [13] で定義された階数付き $q$-微分代数のクラスと正確に一致する。
• このようなモノイドにおける積は、$x \in \mathcal{A}^n$ に対して $d(xy) = d(x)y + q^n x d(y)$ を満たす変則的ライプニッツ則を満たし、これは標準的な階数付きライプニッツ則を一般化する。
• この構成により、階数付き $q$-微分代数という概念にカテゴリー論的根拠が与えられ、それが構造的な圏におけるモノイドとして自然に生じることを示している。