[论文解读] Higher-Dimensional Algebra VII: Groupoidification

John C. Baez, Alexander E. Hoffnung+1 more|arXiv (Cornell University)|Aug 29, 2009

Algebraic structures and combinatorial models参考文献 30被引用 38

一句话总结

本文提出范畴化框架——广群化（groupoidification），以广群替代向量空间，以广群的跨度（spans）替代线性算子，从而为量子力学与代数结构提供组合解释。它展示了去广群化（degroupoidification）如何恢复标准线性代数结构，并将该方法应用于费曼图、赫克代数（Hecke algebras）与霍尔代数（Hall algebras），表明量子群与杨—巴克斯方程（Yang–Baxter）解可从有限集结构及有限域上的射影几何中自然涌现。

ABSTRACT

Groupoidification is a form of categorification in which vector spaces are replaced by groupoids, and linear operators are replaced by spans of groupoids. We introduce this idea with a detailed exposition of "degroupoidification": a systematic process that turns groupoids and spans into vector spaces and linear operators. Then we present three applications of groupoidification. The first is to Feynman diagrams. The Hilbert space for the quantum harmonic oscillator arises naturally from degroupoidifying the groupoid of finite sets and bijections. This allows for a purely combinatorial interpretation of creation and annihilation operators, their commutation relations, field operators, their normal-ordered powers, and finally Feynman diagrams. The second application is to Hecke algebras. We explain how to groupoidify the Hecke algebra associated to a Dynkin diagram whenever the deformation parameter q is a prime power. We illustrate this with the simplest nontrivial example, coming from the A2 Dynkin diagram. In this example we show that the solution of the Yang-Baxter equation built into the A2 Hecke algebra arises naturally from the axioms of projective geometry applied to the projective plane over the finite field with q elements. The third application is to Hall algebras. We explain how the standard construction of the Hall algebra from the category of representations of a simply-laced quiver can be seen as an example of degroupoidification. This in turn provides a new way to categorify - or more precisely, groupoidify - the positive part of the quantum group associated to the quiver.

研究动机与目标

• 开发一种系统化的广群化框架，作为范畴化的一种形式，以广群替代向量空间，以跨度替代线性算子。
• 展示如何通过广群的基数（groupoid cardinality）等方法，从广群中系统地恢复标准线性代数结构，特别是通过去广群化过程。
• 将广群化应用于量子谐振子，揭示其产生/湮灭算子与费曼图的组合解释。
• 证明当 q 为素数幂时，Dynkin 图（如 A₂）的赫克代数可被广群化，且杨—巴克斯方程的解源于 𝔽_q 上的射影几何。
• 证明单连通（simply-laced）quiver 的霍尔代数可自然地由去广群化过程导出，从而为量子群的正部分提供新的广群化构造。

提出的方法

• 去广群化被形式化为一个将广群与跨度映射到向量空间与线性算子的过程，利用广群基数定义向量空间的维数。
• 广群基数定义为对所有同构类 x 的 ∑ 1/|Aut(x)| 的求和，推广了带有群作用的集合的“大小”概念。
• 该构造使用从广群到有限集广群（E）的函子，其中结构类型（structure types）与物质类型（stuff types）为关键示例。
• 广群的跨度用于建模线性映射，其复合通过拉回（pullbacks）定义，且证明所得线性算子在去广群化下保持结构。
• 该方法应用于三个关键示例：通过有限集与双射的广群构造谐振子；通过带有结构的有限集上的广群构造赫克代数；通过 𝔽_q 上表示的广群构造霍尔代数。
• 论文利用范畴等价与自然变换，证明在适当条件下，去广群化函子是范畴之间的等价。

实验结果

研究问题

• RQ1 如何通过系统化的去广群化过程，从广群与跨度中重构线性代数结构？
• RQ2 量子谐振子的 Fock 空间及其产生/湮灭算子能否通过有限集与双射的广群化实现组合解释？
• RQ3 当 q 为素数幂时，与 A₂ Dynkin 图相关的赫克代数是否可被广群化？若可，其与 𝔽_q 上射影几何有何关联？
• RQ4 能否从范畴论的构造出发，推导出单连通 quiver 在 𝔽_q 上表示的霍尔代数？这是否为量子群的正部分提供了新的范畴化？
• RQ5 在 𝔽_q 上射影平面上，A₂ 赫克代数中的杨—巴克斯方程解是否能自然地从射影几何的公理中导出？

主要发现

• 量子谐振子的希尔伯特空间与有限集及其双射的广群的去广群化结果同构，Fock 空间基向量元素对应于有限集的同构类。
• 该空间上的产生与湮灭算子由广群的跨度生成，其对易关系可通过广群态射组合推导得出。
• 对于 A₂ Dynkin 图且 q 为素数幂的情形，赫克代数通过 𝔽_q 上射影平面上的旗（flags）广群实现广群化，杨—巴克斯解则源于射影几何的关联公理。
• 单连通 quiver 在 𝔽_q 上的霍尔代数被证明同构于其表示广群的去广群化结果，从而为相关量子群的正部分提供了新的广群论构造。
• 当应用于适当广群时，去广群化函子被证明是范畴等价，为该方法建立了严格的范畴论基础。