[论文解读] Quadratic algebra of square groups

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

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

一句话总结

本文引入了平方群——阿贝尔群的二次类比——的对称单一路径积，扩展了经典阿贝尔群的张量积。关键结果是，配备此新张量积 $\underline{\circledcirc}$ 的平方群范畴构成一个对称单一路径范畴，将线性代数推广至二次设置，且张量积保持右正合与平衡。

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}$，该运算推广经典张量积并保持关键代数性质。
• 确立该新张量积使平方群范畴具备对称单一路径结构，从而将线性代数推广至二次代数。
• 探讨该结构对二次环、模及其在二次同伦理论与麦克莱恩上同调中作用的含义。
• 证明张量积 $\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 二次环与模在二次同伦理论与麦克莱恩上同调中扮演何种角色？

主要发现

• 范畴 $ (\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')) $。
• 该构造为二次代数（包括二次环与模）提供了基础，具有在麦克莱恩上同调与二次同伦理论中的应用。