[论文解读] Super, quantum and non-commutative species

Rafael Díaz, Eddy Pariguán|arXiv (Cornell University)|Sep 28, 2005

Homotopy and Cohomology in Algebraic Topology参考文献 33被引用 12

一句话总结

本文通过将组合范畴理论扩展至包含负对象和对称单峰范畴，提出了一套用于超对称、量子及非交换组合数学的范畴框架。该理论通过量子与超组合范畴实现了威尔代数和形变量子化的范畴化，提供了一套费曼积分的形式化体系，并建立了一个到具有格拉斯曼变量的形式幂级数的赋值映射。

ABSTRACT

We introduce an approach to the categorification of rings, via the notion of distributive categories with negative objects, and use it to lay down categorical foundations for the study of super, quantum and non-commutative combinatorics. Via the usual duality between algebra and geometry, these constructions provide categorifications for various types of affine spaces, thus our works may be regarded as a starting point towards the construction of a categorical geometry.

研究动机与目标

• 通过带有负对象的分配范畴，发展超对称、量子及非交换组合数学的范畴基础。
• 将组合范畴理论扩展至包含形式幂级数与格拉斯曼变量，从而实现对量子场论与形变量子化的范畴化处理。
• 通过量子组合范畴对威尔代数与星积实现范畴化，为创生与湮灭算符的正规排序提供新视角。
• 通过范畴化仿射空间与形式泊松结构，为范畴几何奠定基础。
• 建立从超组合范畴到带有对易反对易变量的形式幂级数环的赋值映射，将范畴论与物理学中的代数结构联系起来。

提出的方法

• 引入 $G$-$C$ 组合范畴作为从半单广群 $G$ 到对称单峰范畴 $C$ 的函子，推广组合范畴理论。
• 将超组合范畴定义为从 $\mathbb{B}^d \times F_m$ 到对称分配范畴 $C$ 的函子，其中 $\mathbb{B}^d$ 表示玻色子结构，$F_m$ 表示费米子结构。
• 利用对象与指标集的分拆上的直和与带符号张量积，构造超组合范畴上的和与积运算。
• 定义赋值映射 $|F|$，为每个超组合范畴分配一个关于 $x_1, \dots, x_d$ 与格拉斯曼变量 $\theta_1, \dots, \theta_m$ 的形式幂级数。
• 引入超乘法序列，并通过对象与指标集的分拆上的带符号和给出其组合解释。
• 通过所有有序分拆上的带符号张量积定义超组合范畴的逆，确保 $|S||S^{-1}| = 1$。

实验结果

研究问题

• RQ1 如何将组合范畴理论扩展以包含负对象与非交换结构，从而服务于量子与超对称理论应用？
• RQ2 威尔代数的范畴类比是什么？它与量子场论中正规排序的关系如何？
• RQ3 如何通过从结构化广群到对称单峰范畴的函子，对形变量子化进行范畴化？
• RQ4 格拉斯曼变量与带符号张量积在构建超对称组合范畴的一致代数结构中起什么作用？
• RQ5 能否发展一种形式化的范畴框架，统一微扰费曼积分、星积与超李代数？

主要发现

• 在定义的和与积运算下，超组合范畴 $C^{\mathbb{B}^d \times F_m}$ 构成一个对称分配范畴。
• 赋值映射 $|F| = \sum_{(a,I)} |F([a], I)| \frac{x^a}{a!} \theta_I$ 是从超组合范畴到形式幂级数环 $R[[x_1,\dots,x_d]] \otimes \bigwedge[\theta_1,\dots,\theta_m]$ 的良定义环同态。
• 超乘法序列满足一个涉及分拆对象与指标集的带符号二项式型恒等式，推广了经典二项式系数。
• 超组合范畴 $S = 1 - F$ 的逆由所有对象与指标集的有序分拆上的带符号和给出，确保在赋值环中满足乘法逆性质。
• 该构造通过量子组合范畴的结构，为量子场论中的正规排序问题提供了范畴解释。
• 该框架实现了对微扰费曼积分与形变量子化的形式化范畴处理，尤其适用于常数泊松括号的情形。