The ring structure for equivariant twisted K-theory

TL;DR

This paper establishes a ring structure for equivariant twisted K-theory groups of crossed modules under certain conditions, providing explicit constructions and applications to Lie groups.

Contribution

It introduces conditions under which equivariant twisted K-theory groups admit a ring structure and constructs the transgression map explicitly for crossed modules.

Findings

Equivariant twisted K-theory groups can be endowed with a ring structure under 2-multiplicative twistings.

Explicit construction of the transgression map for crossed modules is provided.

Application to compact, simply connected Lie groups shows a canonical ring structure on their equivariant twisted K-theory.

Abstract

We prove, under some mild conditions, that the equivariant twisted K-theory group of a crossed module admits a ring structure if the twisting 2-cocycle is 2-multiplicative. We also give an explicit construction of the transgression map $T_1: H^*(\Gamma;A) \to H^{*-1}((N\rtimes \Gamma;A)$ for any crossed module $N\to \Gamma$ and prove that any element in the image is $\infty$-multiplicative. As a consequence, we prove that, under some mild conditions, for a crossed module $N \to \gm$ and any $e \in \check{Z}^3(\Gamma;S^1)$, that the equivariant twisted K-theory group $K^*_{e,\Gamma}(N)$ admits a ring structure. As an application, we prove that for a compact, connected and simply connected Lie group G, the equivariant twisted K-theory group $K_{[c], G}^* (G)$ is endowed with a canonical ring structure $K^{i+d}_{[c],G}(G)\otimes K^{j+d}_{[c],G}(G)\to K^{i+j+d}_{[c], G}(G)$, where $d=dim G$ and $[c]\in H^2(G\rtimes G;S^1)$.