2K-Theory and 2-Vector Bundles

• 2K-theory is a categorified extension of classical K-theory that classifies 2-vector bundles using Grothendieck group constructions in symmetric monoidal bicategories.
• It deploys a 2-stack framework to organize coherent structures on super-algebra bundles over Lie groupoids with equivariant and orbifold adaptations.
• Its spectrum-level realization and link to higher algebraic K-theory offer new insights into twisted cohomological invariants in geometry and mathematical physics.

2K-theory generalizes algebraic topological K-theory into the framework of 2-categories, organizing the classification of “2-vector bundles” and their higher-categorical symmetries. At its core, 2K-theory captures the Grothendieck group of equivalence classes of 2-vector bundles, which are categorified vector bundles whose fibers are not vector spaces but objects in a symmetric monoidal bicategory (specifically, finite-dimensional ℤ/2-graded super-algebras, invertible bimodules, and intertwiners). The theory admits further generalization to equivariant, orbifold, and higher groupoid contexts, providing a foundation for “twisted” and “higher” K-theoretic invariants in geometry and mathematical physics (Huan, 22 Jan 2026).

1. 2-Vector Bundles over Lie Groupoids

A 2-vector bundle over a Lie groupoid $X_1 \rightrightarrows X_0$ is a categorified bundle whose fibers are objects of a symmetric monoidal bicategory $s2$:

• Objects: finite-dimensional $\mathbb{Z}/2$-graded super-algebras $A = A_0 \oplus A_1$.
• 1-Morphisms: finite-dimensional graded $(B, A)$-bimodules $M$.
• 2-Morphisms: even $B$-$A$-intertwiners between bimodules.
• Composition: via relative tensor product $N \otimes_B M$ with canonical associators and unitors.

Given a hypercover $$f_\bullet: \Gamma_\bullet \twoheadrightarrow X_\bullet$$, a 2-vector bundle $s2$0 consists of:

• Super-algebra bundle $s2$1.
• Invertible even bimodule bundle $s2$2, with $s2$3 an $s2$4-$s2$5-bimodule for $s2$6.
• Coherent associator invertible intertwiner (the “multiplication” $s2$7) over $s2$8:

$s2$9

satisfying the pentagon identity on $\mathbb{Z}/2$0.

• Unitor intertwiner $\mathbb{Z}/2$1, satisfying triangle identities.

For the trivial groupoid, this data reduces to a classical super-algebra bundle with compatible bimodule isomorphisms (Huan, 22 Jan 2026).

2. The Symmetric Monoidal 2-Stack Structure

The assignment $\mathbb{Z}/2$2 defines a 2-prestack over Lie groupoids, upgraded via the plus-construction to a symmetric monoidal 2-stack $\mathbb{Z}/2$3. The monoidal structure is induced by direct sum “$\mathbb{Z}/2$4” both for super-algebras and their bimodules:

• $\mathbb{Z}/2$5 is performed fiberwise.
• All coherence (associativity, commutativity) is strict in this context.
• Internal equivalence classes are stable under $\mathbb{Z}/2$6.

This categorical sum enables the formation of a commutative monoid of internal equivalence classes of 2-vector bundles, as required for Grothendieck completion.

3. Definition and Formulation of 2K-Theory

2K-theory for a Lie groupoid $\mathbb{Z}/2$7 is defined as the Grothendieck group of internal-equivalence classes of invertible 2-vector bundles:

$\mathbb{Z}/2$8

Here, $\mathbb{Z}/2$9 is the set of internal-equivalence classes with respect to equivalences in the bicategory of 2-vector bundles. The group operation is induced from $A = A_0 \oplus A_1$0:

$A = A_0 \oplus A_1$1

For example, for $A = A_0 \oplus A_1$2 (the “orbifold point”), $A = A_0 \oplus A_1$3 is the Grothendieck group of super-algebra bundles on $A = A_0 \oplus A_1$4 modulo the action of $A = A_0 \oplus A_1$5, providing a height-2 analogue of twisted equivariant K-theory (Huan, 22 Jan 2026).

4. The 2K-Theory Spectrum and Homotopical Realization

The bicategory $A = A_0 \oplus A_1$6 comprises super-algebras as objects, invertible bimodules as 1-morphisms, and invertible intertwiners as 2-morphisms. $A = A_0 \oplus A_1$7 admits a strict symmetric monoidal structure under $A = A_0 \oplus A_1$8:

• Its 2-nerve $A = A_0 \oplus A_1$9 is a permutative 2-category.
• The group completion $(B, A)$0 is a connective infinite loop space.
• There is a canonical connective spectrum $(B, A)$1, whose zeroth space is $(B, A)$2.

The homotopy groups satisfy:

$(B, A)$3

A classification theorem asserts that, for any $(B, A)$4, internal equivalence classes of 2-vector bundles correspond bijectively to based homotopy classes of maps $(B, A)$5.

5. Equivariant, 2-Equivariant, and Orbifold 2K-Theory

The 2K-theory formalism extends to equivariant and higher groupoid contexts:

• Coherent Lie 2-Groups: A coherent Lie 2-group is a group object in the bicategory Bibun of Lie groupoids, bibundles, and bibundle-maps, with multiplication $(B, A)$6, identity $(B, A)$7, and higher invertible coherence 2-cells.
• $(B, A)$8-Equivariant 2-Vector Bundles: For a $(B, A)$9-action on $M$0, a $M$1-equivariant 2-vector bundle is a pseudofunctor $M$2 with additional compatible data (e.g., bibundle maps and modifications $M$3, $M$4 satisfying pentagon and triangle identities).
• The bicategory $M$5 collects $M$6-equivariant 2-vector bundles and their morphisms.

2-Equivariant 2K-theory is defined by passing to invertible objects and forming the Grothendieck group:

$M$7

This specializes to the classification of $M$8-equivariant 2-vector bundles modulo equivariant internal equivalence.

For more general groupoid objects (“2-orbifolds”), the same construction applies, yielding a 2K-theory of orbifolds, which refines ordinary orbifold K-theory by allowing super-algebra twists in the fibers.

6. Relationship with Higher Algebraic K-Theory and Applications

2K-theory encodes higher-categorical twists and symmetries in geometric, representation-theoretic, and topological settings:

• It elevates the classical notion of vector bundle K-theory to a level in which bundles themselves are categorified (with fibers modeled as 2-vector spaces).
• It provides a setting for height-2 analogues of twisted equivariant K-theories, relevant for generalized cohomology, representation theory of 2-groups, and approaches to quantum symmetries.
• The spectrum-level presentation realizes 2K-theory as a generalized cohomology theory with a specific universal property with respect to symmetric monoidal bicategories.

A plausible implication is that further exploration of higher $M$9K-theories, where fibers are $B$0-categories of modules over superalgebras, may parallel the extension from vector bundles to 2-vector bundles, and potentially lead to a full hierarchy of “higher twisted” cohomology theories.

7. Outlook and Open Problems

• The current construction ensures a well-behaved theory for 2-vector bundles over Lie groupoids with possible higher group actions, and yields a robust spectrum representing the theory.
• An open problem is the explicit characterization of 2K-theory for more general classes of higher stacks and the direct computation for specific geometric examples, such as compact orbifolds or moduli spaces arising in mathematical physics.
• The extension of the improved convergent-Gaussian constructions used in related fields (e.g., Borel-Leroy summability in $B$1 theories) to the context of 2K-theory remains unexplored.
• The relation of 2K-theory to categorified versions of KK-theory or to other bivariant K-theoretic frameworks is open for investigation.

References: (Huan, 22 Jan 2026)