[論文レビュー] Quadratic algebra of square groups

Hans Joachim Baues, Mamuka Jibladze+1 more|ArXiv.org|Jan 31, 2006

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

ひとこと要約

この論文は、アーベル群の二次的類似物であるスクエア群に対して、対称モノイダルなテンソル積を導入する。これは古典的なアーベル群のテンソル積を拡張するものであり、主な結果として、この新しいテンソル積 $∕∕$ を備えたスクエア群の圏は、線形代数を二次的設定に一般化する対称モノイダル圏をなしており、テンソル積は右完全かつバランス型のままである。

ABSTRACT

There is a long-standing problem of algebra to extend the symmetric monoidal structure of abelian groups, given by the tensor product, to a non abelian setting. In this paper we show that such an extension is possible. Morover our non abelian tensor product remains even right exact and balanced. We describe the new non-abelian tensor product in the context of quadratic algebra which extends linear algebra.

研究の動機と目的

• アーベル群の対称モノイダル構造（古典的テンソル積により与えられる）を、スクエア群を用いて非アーベルな設定へ拡張すること。
• 古典的テンソル積を一般化し、重要な代数的性質を保つ新しいテンソル積演算 $\underline{\circledcirc}$ をスクエア群上で定義すること。
• この新しいテンソル積がスクエア群の圏に対称モノイダル構造をもたらし、線形代数を二次的代数へ一般化することを確立すること。
• この構造が二次的環、二次的加群、および二次ホモトピー理論とマクレーンコhomologyにおける役割に与える影響を調査すること。
• テンソル積 $\underline{\circledcirc}$ が右完全かつバランス型であることを示すことにより、非アーベルな文脈でも本質的な代数的挙動を保つこと。

提案手法

• アーベル群を群の圏上の二次的自己関手として一般化するスクエア群を、追加構造を持つ図式 $ (M_e \to M_{ee}, M_e \to M_{\mathrm{ee}}) $ として定義する。
• 双線形性を一般化する関係を用いてテンソル積 $ M \underline{\circledcirc} N $ を構成し、非アーベル構造を補正する非自明な補正項 $ (x_2 | x_1)_H \bar{\otimes} H(y) $ を含める。
• 整合性と対称性の公理を検証することで、$ (\mathsf{SG}, \underline{\circledcirc}, \mathbb{Z}_{\mathrm{nil}}) $ が対称モノイダル圏であることを証明する。
• 関手 $ \mathscr{J} $ を用いて、コアシンメトリーを持つアーベル群の圏 $ \mathsf{Cos} $ と $ \mathsf{SG} $ のフル部分圏 $ \mathsf{SG}_\Sigma \subset \mathsf{SG} $ の間の同値を確立する。
• $ \mathsf{SG}_\Sigma $ 上でテンソル積 $ \underline{\circledcirc} $ と合成積 $ \square $ が一致し、$ \mathscr{J} $ が対称モノイダル同値であることを示す。
• 二次的自己関手の構造を用いて、$ \mathbb{Z}_{\mathrm{nil}} $ を $ G \mapsto G^{\mathrm{nil}} = G/[G,[G,G]] $ として解釈し、代数とホモトピー的代数を結びつける。

実験結果

リサーチクエスチョン

• RQ1 アーベル群のテンソル積による対称モノイダル構造を、非アーベルな設定へ拡張できるか？
• RQ2 非アーベルなスクエア群のテンソル積が、右完全かつバランス型のままであるか？
• RQ3 スクエア群の圏に、古典的アーベル群テンソル積を一般化する対称モノイダル構造が存在するか？
• RQ4 $ \mathsf{SG}_\Sigma $ 上でテンソル積 $ \underline{\circledcirc} $ と $ \square $（自己関手の合成）の関係は何か？
• RQ5 二次的環と二次的加群は、二次ホモトピー理論とマクレーンコhomologyにおいて果たす役割は何か？

主な発見

• 圏 $ (\mathsf{SG}, \underline{\circledcirc}, \mathbb{Z}_{\mathrm{nil}}) $ は、アーベル群の対称モノイダル構造を一般化する対称モノイダル圏である。
• アーベル群 $ M $ と $ N $ に対して、新しいテンソル積は $ M \underline{\circledcirc} N = M \otimes N $ を満たし、古典的線形代数と整合性を持つ。
• テンソル積 $ \underline{\circledcirc} $ は右完全かつバランス型であり、非アーベルな文脈でも本質的なホモロジー的性質を保つ。
• 関手 $ \mathscr{J}: \mathsf{Cos} \to \mathsf{SG}_\Sigma $ は圏同値であり、コアシンメトリーを持つアーベル群とスクエア群のフル部分圏の間の対応関係を確立する。
• $ \mathsf{SG}_\Sigma $ 上で、テンソル積 $ \underline{\circledcirc} $ と $ \square $ は一致し、$ \mathscr{J} $ は対称モノイダル同値である。さらに、$ \mathscr{J}(A,\partial) \underline{\circledcirc} \mathscr{J}(A',\partial') \cong \mathscr{J}((A,\partial) \otimes (A',\partial')) $ が成り立つ。
• この構成は、二次的代数（二次的環や二次的加群を含む）の基盤を提供し、マクレーンコhomologyおよび二次ホモトピー理論への応用を持つ。