Multiplicative structures on the twisted equivariant \(K\)-theory of finite groups (Q893800)

Let \(G\) be a finite group acting on a finite group \(K\). In the paper under review, there are two main topics that are investigated. The first is the classification of multiplicative and associative structures that the twisted \(G\)-equivariant \(K\)-theory of \(K\) can carry. The second is the classification of the possible monoidal structures of the category of twisted and \(G\)-equivariant bundles over \(K\). The authors introduce pseudomonoids over the the \(2\)-monoidal 2-category of discrete \(G\)-sets with a twist. There are three reasons for the introduction of pseudomoids. The first is that it exhibits the relationship between the cohomology of the semidirect products and the multiplicative structures on the \(G\)-equivariant twisted \(K\)-theory of a finite group \(K\). More precisely, the authors prove that the information encoded in a pseudomonoid with strict unit in the 2-category of \(G\)-sets with twists over the group \(K\) is equivalents to a 3-cocyle in \(Z^3(\text{Tot}^{*,*}(A^{*,*}(K \rtimes G, \mathbb{T})))\), the total complex of double subcomlpex of the double bar resolution \(C^{*,*}(K \rtimes G, \mathbb{T})\). The second is that some terms of the spectral sequence of the double complex can be interpreted in terms of obstructions and classification of the possible pseudomonoidal structures. The third is that some of the constructions make sense in categories other than the \(G\)-sets. A pseudomonoid with strict unit as before has precisely the information required to endow the category \(Bun_G(\mathcal{K})\) of projective \(G\)-equivariant complex vector bundles bundles with a monoidal structure. Therefore the isomorphism classes of bundles \(\text{Groth}(Bun_G(\mathcal{K}))\) becomes a fusion algebra. By studying the multiplicative structures on the twisted \(G\)-equivariant \(K\)-theory of \(K\) that make it into a ring, the authors find multiplicative structures that are not possible to categorize. Those are the ones that are not in the image of the homomorphism \({\phi}: Z^3(\text{Tot}^{*,*}(A^{*,*}(K \rtimes G, \mathbb{T}))) \to MS_G(K)\). As a special case the authors study the semidirect product where \(K = G\) and \(G\) acts on iteself by conjugation. Then, the cohomological information used to define the Twisted Drinfeld Double \(D^w(G)\), with \(w\in Z^3(G, \mathbb{T})\) defines an element in \(Z^3(\text{Tot}^{*,*}(A^{*,*}(G \rtimes G, \mathbb{T})))\). The authors prove that there is a general way for constructing from a cocycle in \( Z^n(G, \mathbb{T})\) an element in \(Z^n(\text{Tot}^{*,*}(A^{*,*}(G \rtimes G, \mathbb{T})))\) that has similar properties. Using the fact that, in this case, \(G{\times}G \cong G \rtimes G\), the authors prove that the map \(\phi\) defined above is an epimorphism. Thus the authors give a procedure to determine the fusion algebra of \(\text{Rep}(D^w(G)\) which is isomorphic to the equivariant \(K\)-theory \(\mathbb{K}\mathbb{U}_G(G)\). The authors also give explicit calculations for certain groups.