[论文解读] A strict totally coordinatized version of Kapranov and Voevodsky's 2-category {\bf 2Vect}

Josep Elgueta|arXiv (Cornell University)|Jun 23, 2004

Homotopy and Cohomology in Algebraic Topology被引用 5

一句话总结

本文构建了一个严格、完全坐标化的2-范畴 ${\bf 2SVect}_{cc}$，即卡普兰诺夫与福耶沃斯基的2-范畴2Vect的完全严格且计算明确的版本。通过仅在对象层面进行骨骼化，并引入规范变换以恢复1-态射与2-态射复合中的结合律，实现了严格性。该工作提供了使用张量积和置换矩阵表示的2-态射的水平与垂直复合的显式公式。

ABSTRACT

We give a concrete description of a strict totally coordinatized version of Kapranov and Voevodsky's 2-category of finite dimensional 2-vector spaces. In particular, we give explicit formulas for composition of 1-morphisms and the two compositions between 2-morphisms

研究动机与目标

• 解决卡普兰诺夫与福耶沃斯基的 ${\bf 2Vect}_{cc}$ 中的非严格性问题，其因2-态射的水平复合不满足结合律而无法构成严格2-范畴。
• 构建2Vect的完全严格2-范畴版本，同时保持完全坐标化并适用于显式计算。
• 为范畴线性代数和高维代数结构提供一个具体且可管理的框架。
• 支持在高阶表示理论、拓扑量子场论以及4-流形不变量中的应用。

提出的方法

• 引入一个新的2-范畴 ${\bf 2SVect}_{cc}$，其对象为自然数，1-态射为秩矩阵 ${{\bf R}}$ 与规范变换 $s$ 的配对 $({\bf R}, s)$，其中 $s$ 为每个条目分配矩阵。
• 定义2-态射的垂直复合为逐分量矩阵乘法，并一致处理空矩阵与零矩阵。
• 使用张量积与置换矩阵 ${{\bf P}}(\widetilde{{\bf R}}_k, {{\bf R}}, {\bf a})$ 定义2-态射的水平复合，确保严格结合律。
• 使用公式 $(\widetilde{{\bf R}},\widetilde{s}) \circ ({\bf R},s) = (\widetilde{{\bf R}}{\bf R}, \widetilde{s} \ast s)$ 定义1-态射的复合，其中 $\widetilde{s} \ast s$ 涉及张量积与逆矩阵。
• 为置换矩阵引入规范化条件，以保持复合公式的统一性。
• 确保单位1-态射为 $(Id_n, 1)$，单位2-态射为在非空条目中为单位矩阵的矩阵。

实验结果

研究问题

• RQ1 能否构建一个完全坐标化的2-范畴，使其在1-态射与2-态射复合中均严格满足结合律，而不同于 ${\bf 2Vect}_{cc}$？
• RQ2 如何系统性地引入规范变换，以在不损失坐标化特性的情况下恢复2-态射复合的严格结合律？
• RQ3 此类严格2-范畴中，2-态射的水平与垂直复合由何种显式公式控制？
• RQ4 在该严格框架中，可逆性与2-同构条件如何体现？
• RQ5 该构造能否作为范畴线性代数以及2-表示上张量结构的理论基础？

主要发现

• 所构建的2-范畴 ${\bf 2SVect}_{cc}$ 在1-态射与2-态射复合中均严格满足结合律，解决了 ${\bf 2Vect}_{cc}$ 的非严格性问题。
• 2-态射的水平复合显式给出为 $(\widetilde{{\sf T}} \circ {\sf T})_{kj} = \widetilde{s}^\prime_k({\bf R}^\prime({\bf e}_j)) \left( \bigoplus_{i=1}^m \widetilde{{\sf T}}_{ki} \otimes {\sf T}_{ij} \right) \widetilde{s}_k({\bf R}({\bf e}_j))^{-1}$，其中通过置换矩阵确保一致性。
• 2-态射的垂直复合为逐分量矩阵乘法：$({\sf T}^\prime \cdot {\sf T})_{ij} = {\sf T}^\prime_{ij} {\sf T}_{ij}$，并正确处理空矩阵与零矩阵。
• 单位1-态射为 $({\rm Id}_n, 1)$，单位2-态射为 $({\bf 1}_{({\bf R},s)})_{ij} = {\rm Id}_{R_{ij}}$（当 $R_{ij} \neq 0$ 时），否则为空。
• 1-态射 $({\bf R}, s)$ 可逆当且仅当 $n = m$ 且 ${{\bf R}}$ 为置换矩阵。
• 两个1-态射2-同构当且仅当它们具有相同的秩矩阵 ${{\bf R}}$，且一个2-态射是2-同构当且仅当其所有非空条目均为可逆矩阵。