[論文レビュー] 2-Equivariant 2-Vector bundles and 2K-theories

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

Homotopy and Cohomology in Algebraic Topology被引用数 0

ひとこと要約

この研究は、有限次元超代数の二階層的カテゴリーを用いて Lie 群oids 上の2ベクトル束を構成し、それらのホモトピーカテゴリのグロット補完として2K理論を定義し、BAおよび Lie 群 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.

研究の動機と目的

• ベクトル束の chromatic レベル-2 的一般化を2-カテゴリー設定へ動機づけ、2ベクトル束のホモトピーカテゴリの完成として2K理論を発展させる。
• 超代数、二重モジュール、及び間違い作用を用いたs2Vectk(Bicategory)として Lie 群語 X• 上の2ベクトル束を構成する。
• Ho(2VBdlk(X•)) と分類空間へのヌルックモの写像との間の分類定理を確立し、2-等変設定へ拡張する。
• Lie 群oid に対する coherent な Lie 2-Group の作用を持つ2-等変2ベクトル束のフレームワークを開発し、等変分類定理を証明する。
• BAの2グループおよび Lie 群 G に対する explicit な2等変2K-理論を計算し、既知の表現環と Lurie の予測と関係づける。

提案手法

• Lie 群oids 上の2ベクトル束を適合な超代数束、バイモジュール束、間接作用を用いてbicategory pre-s2VBdlk(X•)として定義する。
• 同相関係 Ho(2VBdlk(X•)) を作り、Grothendieck 完全性を取って 2K(X•) を得る。
• Ho(2VBdlk(X•)) ≃ Ho MapNerve(X•, hN) の分類定理を証明し、対象と1-射を単純化された分類空間へのホモトピー的写像に対応づける。
• 協調的な Lie 2-群 G• によって作用される Lie 群oid X• に対する2-等変2ベクトル束の枠組みに拡張し、 Ho(2VBdlk)G•(X•) ≃ Ho MapNerve(G•) sSet (Nerve(X•), hNG•) を与える。
• 点の2K理論の計算を提供し、2-群 BA および Lie 群 G に対して、結果を表現とねじれた K-理論として解釈する。

実験結果

リサーチクエスチョン

• RQ1 ベクトル束の適切な高次カテゴリー的類似物は何であり、それは通常のK-理論とねじれたK-理論と整合する2K-理論を生むのか。
• RQ2 Lie 群oids 上の2ベクトル束は、2-同値性を介して分類空間を用いて分類できるのか。
• RQ3 coherent な Lie 2-Group の作用に対する等変拡張はどう振る舞い、等変2ベクトル束とその2K-理論を分類できるのか。
• RQ4 BA のような基本的な2-群および(discrete) Lie 群 G に対する明示的な2K-理論計算は何か、それらは既知の表現環とどう関係するのか。
• RQ5 Bicategory 内部の弱群oid対象物を用いることで、2-オービォールド束とその2K-理論をどのように構成できるのか。

主な発見

• 2K(X•) は Ho(2VBdlk(X•)) のグロット/グロースト補完として定義され、通常のK-理論とねじれたK-理論を2-カテゴリー的枠組みに統合する。
• 分類同型 Ho(2VBdlk(X•)) ≃ Ho MapNerve(X•) with hN が、対象と1-射を単純形写像への対応として統合する。
• 等変設定では Ho(2VBdlk)G•(X•) は自然に Nerve(G•)-等変写像のホモトピー的写像空間 hNG• への写像のホモトピーカテゴリーと同値となり、G•-ねじれたデータを捉える。
• BA with A abelian に対して、2Rep(BA) の内部同値類は A=U(1) の場合 Z[t,t−1]、A=Z/n の場合 Z[t]/(t^n−1) の表現環を回収し、Lurie の2等変楕円コホモロジー予測と一致する。
• Lie 群の場合、Ho(2Rep(G)) の1-射は G の(射影的) 超表現に対応し、平凡対象の内 End が通常の等変K-理論 KG(∗) を回収する。
• Picard 分析は、可逆二模の束の分類をもたらし、F(∗)=k⊕m に対してワースラト構造 (Z/2) ≀ Σm を露出させ、強い変換は(射影的) 超表現を反映する。
• この枠組みは、bicategory 内部の弱群oid対象を用いた2-オービフォールドへ拡張され、2-ベクトル束と2K-理論を高次オービフォールド上で適用できる。