[论文解读] 2-Equivariant 2-Vector bundles and 2K-theories

Zhen Huan|arXiv (Cornell University)|Jan 22, 2026

Homotopy and Cohomology in Algebraic Topology被引用 0

一句话总结

这项工作在李群群组上的椒笛向量丛利用有限维超代数的双域上范畴构造 2-向量丛，定义 Grothendieck 完备的 2K-理论并证明带显式计算的 BA 与李群 G 的等变及轨道理论扩展。

ABSTRACT

We construct a theory of 2-vector bundles over a Lie groupoid, with fibers modeled by the bicategory of super algebras, bimodules and intertwiners. We demonstrate that these 2-vector bundles form a symmetric monoidal 2-stack. From this structure, we define the 2K-theory as the Grothendieck group of the internal equivalence classes of the 2-vector bundle over the given Lie groupoid, and we construct the spectra representing this theory. We then extend this framework to the equivariant setting. For any Lie groupoid equipped with an action by a coherent 2-group, we introduce the bicategory of 2-equivariant 2-vector bundles over it. This leads to the definition of 2-equivariant 2K-theory as the Grothendieck group of the internal equivalence classes in the bicategory. Furthermore, we define a higher analogue of orbifold, which generalizes Lie groupoids with a 2-group action, and construct the bicategory of 2-orbifold 2-vector bundles. Finally, we can define the 2-orbifold 2K-theory.

研究动机与目标

• 在向量丛的色彩级别-2推广到2-范畴设置并将 2K-理论发展为 2-向量丛同伦范畴的完备性
• 使用超代数、双模和互爲子构建的双域范畴 s2Vectk 来定义李群群组上的 2-向量丛
• 建立 Ho(2VBdlk(X•)) 与 X• 的神经（nerve）到某个分类空间的映射之间的同构分类定理，并推广到 2-等变情形
• 发展带一致 Lie 2-群作用的李群群组的 2-等变 2K-理论并证明等变分类定理
• 为 BA 和李群 G 计算显式的 2-等变 2K-理论，将其与已知表示环及 Lurie 的预测联系起来

提出的方法

• 通过适配的超代数丛、双丛和互映子构成的双范畴 pre-s2VBdlk(X•) 来定义李群群组上的 2-向量丛
• 构造同伦范畴 Ho(2VBdlk(X•)) 并取其 Grothendieck 完备得到 2K(X•)
• 证明分类定理 Ho(2VBdlk(X•)) ≃ Ho MapNerve(X•, hN)，使对象和 1-态与单纯形映射到分类空间相关
• 将框架推广到对由一致 Lie 2-群 G• 作动力的李群群组的 2-等变 2-向量丛，使 Ho(2VBdlk)G•(X•) ≃ Ho MapNerve(G•) sSet (Nerve(X•), hNG•)
• 为点的 2K-理论提供 BA 的 2-群以及 Lie 群 G 的计算，将结果解释为表示及扭曲的 K-理论

实验结果

研究问题

• RQ1 什么是适当的更高范畴类似于向量丛，从而得到与普通及扭曲 K-理论兼容的 2K-理论？
• RQ2 如何通过分类映射空间将李群群组上的 2-向量丛在 2-等价下进行分类？
• RQ3 带一致 Lie 2-群作用的等变扩展如何运作，是否可以对等变 2-向量丛及其 2K-理论进行分类？
• RQ4 对基本 2-群如 BA 以及（离散）Lie 群 G 的显式 2K-理论计算是什么，这些如何与已知表示环相关？
• RQ5 在双范畴中内部的弱群伙对象如何产生 2-轨道丛及其 2K-理论？

主要发现

• 2K(X•) 被定义为 Ho(2VBdlk(X•)) 的 Grothendieck 完备，统一了普通与扭曲的 K-理论于一个 2-范畴框架内
• 存在一个分类等价 Ho(2VBdlk(X•)) ≃ Ho MapNerve(X•) 其中 hN 表示 2-神经的同伦极限，整合对象与 1-态
• 在等变情形下，Ho(2VBdlk)G•(X•) 自然等价于 Nerve(G•)-等变映射到 hNG• 的同伦范畴，捕获 G•-扭曲数据
• 对于 BA 其中 A 为交换群，(2Rep(BA)) 的内部等价类恢复表示环 Z[t,t−1] 当 A=U(1)，以及 Z[t]/(tn−1) 当 A=Z/n，与 Lurie 对 2-等变椭圆共轭理论的预测相符
• 对于 Lie 群 G，Ho(2Rep(G)) 的 1-态对应 G 的（投影）超表示，平凡对象的内端态恢复普通等变 K-理论 KG(∗)
• Picard 分析给出可逆双模丛的分类，揭示 F(∗)=k⊕m 的置换积结构 (Z/2) ≀ Σm，强变换反映（投影）超表示
• 将框架扩展到 2-轨道通过在双范畴内部的弱群对象，实现高阶轨道上的 2-向量丛与 2K-理论