2-Equivariant 2K-Theory

• 2-Equivariant 2K-Theory generalizes classical equivariant K-theory by integrating coherent Lie 2-group actions with 2-vector bundles over Lie groupoids.
• It constructs a 2K-theory spectrum through Grothendieck group completion, providing a categorified framework that refines traditional representation rings.
• Applications include enhanced orbifold invariants, categorified twisted K-theory, and new insights into equivariant elliptic cohomology.

2-Equivariant 2K-Theory generalizes classical equivariant K-theory, categorifying both the coefficient structure and the symmetry group action. The foundational construction centers on 2-vector bundles over Lie groupoids and introduces an equivariant enhancement via coherent Lie 2-group actions. This theory provides new invariants for geometric and orbifold objects, encodes categorical representation theory, and supplies a refined framework for higher chromatic and orbifold phenomena.

1. 2-Vector Bundles over Lie Groupoids

A 2-vector bundle over a Lie groupoid $X_\bullet = (X_1 \rightrightarrows X_0)$ is formulated using the symmetric monoidal bicategory $\mathsf{s2}$ of finite-dimensional superalgebras over a ground field $k$, with 1-morphisms the finite-rank $\mathbb{Z}/2$-graded bimodules and 2-morphisms even bimodule intertwiners. Given a hypercover of groupoids $\Gamma_\bullet \to X_\bullet$, a (super) 2-vector bundle $V$ comprises the following data:

• $A \to \Gamma_0$: a superalgebra bundle,
• $M \to \Gamma_1$: an invertible $(t^*A)-(s^*A)$ bimodule bundle,
• $\mu$: invertible even intertwiners over $\Gamma_2$,

$$\mu: M_{\gamma_2} \otimes_{A_{s(\gamma_2)}} M_{\gamma_1} \xrightarrow{\cong} M_{\gamma_2 \circ \gamma_1},$$

• $u$: invertible even intertwiners over $\Gamma_0$,

$u: A_x \xrightarrow{\cong} M_{\mathrm{id}_x},$

subject to the required coherence diagrams (pentagon and unit). The collection of these forms the bicategory $2\mathrm{VectBdl}_k(X_\bullet)$, and pullback along hypercovers assembles into a 2-stack over the site of Lie groupoids (Huan, 22 Jan 2026).

2. Equivariant Structures via Coherent 2-Group Actions

A coherent Lie 2-group $G_\bullet$ is a group object in the bicategory Bibun of Lie groupoids and bibundles. An action of $G_\bullet$ on a groupoid $X_\bullet$ consists of a bibundle

$\rho: G_\bullet \times X_\bullet \to X_\bullet$

together with invertible 2-cells encoding associativity and unity up to coherent isomorphism. A $G_\bullet$-equivariant 2-vector bundle over $X_\bullet$ is given by an object $V \in 2\mathrm{VectBdl}_k(X_\bullet)$ with an isomorphism over $G_\bullet \times X_\bullet$

$T: \mathrm{pr}^*V \xrightarrow{\cong} \rho^* V$

and compatible invertible 2-cells that implement higher associativity and unity (see diagrams (4.1.7)-(4.1.8) in (Huan, 22 Jan 2026)). This assignment forms the bicategory $(2\mathrm{VectBdl}_k)_{G_\bullet}(X_\bullet)$ of $G_\bullet$-equivariant 2-vector bundles.

3. The 2K-Theory Spectrum and Grothendieck Group

The strictly symmetric monoidal sub-bicategory $M(\mathsf{s2})$ (objects, invertible Morita equivalences, invertible intertwiners) is a 2-groupoid under $\oplus$. Its classifying space $|2\text{-Nerve}\,M(\mathsf{s2})|$ carries an $E_\infty$-group structure. The group-completion yields the infinite loop space $K(\mathsf{s2})$. For a Lie groupoid $X_\bullet$, the monoid of internal equivalence classes

$\pi_0\big(2\mathrm{VectBdl}_k(X_\bullet)\big)$

acquires a commutative monoid structure via $\oplus$. The main classification theorem identifies

$$\pi_0(\mathrm{Vect}_2(X_\bullet)) \cong [\,|X_\bullet|,\,|2\text{-Nerve}\,M(\mathsf{s2})|\,]$$

so that the 2K-theory is

$$2K(X_\bullet) := \mathrm{Gr}\big(\pi_0(2\mathrm{VectBdl}_k(X_\bullet))\big) \cong [\,|X_\bullet|,\,K(\mathsf{s2})\,]$$

where $\mathrm{Gr}$ denotes Grothendieck group completion. In the equivariant context, replace $X_\bullet$ by the action groupoid $G_\bullet \ltimes X_\bullet$ (Huan, 22 Jan 2026).

The spectrum representing 2K-theory is constructed functorially:

$$\mathbb{A}:\{\text{strict symmetric monoidal 2-groupoids}\} \to \{\text{spectra}\}$$

with

$$\mathbb{K}(\mathsf{s2}) = \mathbb{A}(M(\mathsf{s2}))$$

and $\Omega B|2\text{-Nerve}\,M(\mathsf{s2})|$ as its zeroth space. $\mathbb{K}(\mathsf{s2})$ satisfies Mayer–Vietoris and long-exact sequence formal properties under excision.

4. Examples and Higher Analogues: Representation and Orbifold Theory

• For $X_\bullet = \mathrm{pt}$ and arbitrary coherent $G_\bullet$, $$(2\mathrm{VectBdl}_k)_{G_\bullet}(\mathrm{pt}) \simeq 2\mathrm{Rep}\,G_\bullet$$ is the bicategory of 2-representations; $2K_{G_\bullet}(\mathrm{pt})$ is the Grothendieck group of finite-dimensional 2-representations, a categorified enhancement of the classical representation ring $R(G)$ (Huan, 22 Jan 2026).
• For $X_\bullet$ a proper étale groupoid modeling an orbifold and $G_\bullet = 1$, $2K_\text{orb}(X_\bullet)$ generalizes orbifold $K$-theory and detects classes arising from nontrivial Morita equivalence.

The construction extends to higher analogues of orbifolds (Lie groupoids with 2-group action), yielding both the bicategory of 2-orbifold 2-vector bundles and the associated 2-orbifold 2K-theory.

5. Relation to RO(2)-Equivariant and Genuine Equivariant K-Theory

For finite groups such as $G = \mathbb{Z}/2$ or elementary abelian 2-groups, $RO(G)$-graded equivariant $K$-theory exhibits intricacies not captured by the naive approach and requires a categorical and representation-theoretic refinement consistent with the 2-categorical framework (Rosenberg, 2012, Balderrama, 2022). Classical obstruction phenomena, such as the failure of the Hodgkin Künneth theorem at $G = \mathbb{Z}/2$, are circumvented by adopting full $RO(G)$-grading, and the resulting coefficients display rich structure involving power/transfers, restriction, and Adams operations.

The multifunctorial approach of equivariant algebraic $K$-theory (Yau, 2024) constructs an enriched multifunctor from $G$-categorically enriched multicategories (e.g., of $O$-pseudoalgebras) to orthogonal $G$-spectra, preserving genuine $E_\infty$-ring structures and enabling categorified representation-theoretic applications. These techniques apply to the 2-equivariant 2K-theory context, ensuring passage from categorical symmetry to equivariant stable homotopy invariants.

6. Applications and Theoretical Implications

Anticipated applications and directions for 2-equivariant 2K-theory include:

• Twisted $K$-theory and its categorification, via the bicategorical structure on vector bundles.
• Realization of 2K as a recipient of higher generalized characters, paralleling categorified character theory.
• Input to equivariant elliptic cohomology, particularly through loop groupoid models.
• Functoriality under maps of groupoids and descent properties along hypercovers.
• Blueprint for further chromatic generalizations, e.g., $\infty$-equivariant versions at higher heights (Huan, 22 Jan 2026).

A plausible implication is that the 2K-theory framework, through its spectrum and bicategorical foundation, provides a setting for new invariants in quantum field theory, higher representation theory, and equivariant geometric topology, especially for objects with higher-categorical or 'stacky' symmetry.